Related papers: A fast flatness testing algorithm in characteristi…
Let $K$ be a field and $F$ a free group. By a classical result of Cohn and Lewin, the free group algebra $K\left[F\right]$ is a free ideal ring (FIR): a ring over which the submodules of free modules are themselves free, and of a…
We address two aspects of finitely generated modules of finite projective dimension over local rings and their connection in between: embeddability and grade of order ideals of minimal generators of syzygies. We provide a solution of the…
In two recent papers, the author has developed a theory of graded annihilators of left modules over the Frobenius skew polynomial ring over a commutative Noetherian ring $R$ of prime characteristic $p$, and has shown that this theory is…
Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring, $M$ be a finitely generated $R$-module and $\mathfrak{a}$, $I$ and $J$ be ideals of $R$. We investigate the structure of formal local cohomology modules of…
In this paper, we prove the following non-linear generalization of the classical Sylvester-Gallai theorem. Let $\mathbb{K}$ be an algebraically closed field of characteristic $0$, and $\mathcal{F}=\{F_1,\cdots,F_m\} \subset…
We present basic properties of Gr\"obner bases of submodules of a free module of finite rank over a polynomial ring $R$ with coefficients in a graded truncated discrete valuations ring $A$. As an application, we give a criterion for a…
A map of fine log schemes $X \to Y$ induces a map from the scheme underlying $X$ to Olsson's algebraic stack of strict morphisms of fine log schemes over $Y$. A sheaf on $X$ is called \emph{log flat over} $Y$ iff it is flat over this…
We classify plethories over fields of characteristic zero, thus answering a question of Borger-Wieland and Bergman-Hausknecht. All plethories over characteristic zero fields are linear, in the sense that they are free plethories on a…
We extend the group-theoretic notion of conditional flatness for a localization functor to any pointed category, and investigate it in the context of homological categories and of semi-abelian categories. In the presence of functorial…
We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the valuation of the discriminant, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater…
In this paper, we study locally projectively flat Finsler metrics with constant flag curvature ${\bf K}$. We prove those are totally determined by their behaviors at the origin by solving some nonlinear PDEs. The classifications when ${\bf…
This paper considers the minimization of a general objective function $f(X)$ over the set of rectangular $n\times m$ matrices that have rank at most $r$. To reduce the computational burden, we factorize the variable $X$ into a product of…
It is proved that a module M over a commutative noetherian ring R is injective if Ext^i((R/p)_p,M)=0 holds for every i\ge 1 and every prime ideal p in R. This leads to the following characterization of injective modules: If F is faithfully…
Through a study of torsion functors of local cohomology modules we improve some non-finiteness results on the top non-zero local cohomology modules with respect to an ideal.
We consider the BGG category $\mathcal{O}$ of a quantized universal enveloping algebra $U_q(\mathfrak{g})$. We call a module $M\in \mathcal{O}$ tensor-closed if $M\otimes N\in\mathcal{O}$ for any $N\in \mathcal{O}$. In this paper we prove…
Let $F$ be a subfield of $\mathbb R$ and let $K$ be a basic closed semi-algebraic set in $\mathbb R$ with $\partial K\subset F$. Let $\mathcal N$ be the natural choice of generators of $K$. We show that if $f\in F[x]$ is $\geq 0$ on $K$,…
Given an ideal $a \subseteq R$ in a (log) $Q$-Gorenstein $F$-finite ring of characteristic $p > 0$, we study and provide a new perspective on the test ideal $\tau(R, a^t)$ for a real number $t > 0$. Generalizing a number of known results…
We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the discriminant valuation, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater than…
The bottleneck of micromagnetic simulations is the computation of the long-ranged magnetostatic fields. This can be tackled on regular N-node grids with Fast Fourier Transforms in time N logN, whereas the geometrically more versatile finite…
We investigate homological and depth-theoretic properties of finitely generated modules of finite projective dimension over Noetherian local rings. A central theme is the study of criteria for freeness and reflexivity derived from the…