Related papers: Serre depth and local cohomology
Let $R$ be a commutative Noetherian local ring. We prove that the finiteness of the injective dimension of a finitely generated $R$-module $C$ is determined by the existence of a Cohen--Macaulay module $M$ that satisfies an inequality…
In this paper, an algebraic theory for local rings of finite embedding dimension is developed. Several extensions of (Krull) dimension are proposed, which are then used to generalize singularity notions from commutative algebra. Finally,…
Let $A$ be a commutative Noetherian ring of characteristic zero and $R=A[X_1, \ldots, X_d]$ be a polynomial ring over $A$ with the standard $\mathbb{N}^d$-grading. Let $I\subseteq R$ be an ideal which can be generated by elements of the…
Let R be a commutative noetherian local ring, and M a finitely generated R-module of infinite projective dimension. It is well-known that the depths of the syzygy modules of M eventually stabilize to the depth of R. In this paper, we…
We show how to obtain minimal projective resolutions of finitely generated modules over an idempotent subring $\Gamma_e := (1-e)R(1-e)$ of a semiperfect noetherian basic ring $R$ by a construction inside $\mathsf{mod} R$. This is then…
In this paper we prove that if R is a left Noetherian and left regular ring such that all finitely generated projective left R-modules are stably free, then the same is true for the completion R[[x;\sigma,\delta]] of any Ore extension…
The authors develop a notion of homological prime spectrum for an arbitrary monoidal triangulated category, ${\mathbf C}$. Unlike the symmetric case due to Balmer, the homological primes of ${\mathbf C}$ are not defined as the maximal Serre…
Let $\mathfrak{a}$ be an ideal of a noetherian (not necessarily local) ring $R$ and $M$ an $R$-module with $\mathrm{Supp}_RM\subseteq\mathrm{V}(\mathfrak{a})$. We show that if $\mathrm{dim}_RM\leq2$, then $M$ is $\mathfrak{a}$-cofinite if…
Motivated by the notion of geometrically linked ideals, we show that over a Gorenstein local ring $R$, if a Cohen-Macaulay $R$-module $M$ of grade $g$ is linked to an $R$-module $N$ by a Gorenstein ideal $c$, such that $Ass_R(M)\cap…
We study $\mathbb{S}_n$-equivariant motivic invariants of the moduli space $\mathcal{M}_{g, n}(\mathbb{P}^r, d)$ of degree-$d$ maps from $n$-pointed curves of genus $g$ to $\mathbb{P}^r$. In particular, we obtain formulas for the Serre…
Let $R$ be a $d$-dimensional standard graded ring over an Artin local ring. Let $M$ be the unique maximal homogeneous ideal of $R.$ Let $h^i(R)_n$ denote the length of $H^i_M(R)_n$, i.e. the nth graded component of the ith local cohomology…
Let $S$ be the polynomial ring on the space of non-square generic matrices or the space of odd-sized skew-symmetric matrices, and let $I$ be the determinantal ideal of maximal minors or $\operatorname{Pf}$ the ideal of sub-maximal…
For a commutative ring R and a faithfully flat R-algebra S we prove, under mild extra assumptions, that an R-module M is Gorenstein flat if and only if the left S-module S\otimes M is Gorenstein flat, and that an R-module N is Gorenstein…
Let $R$ be a commutative noetherian ring. We prove that the class of modules of projective dimension bounded by $k$ is of finite type if and only if $R$ satisfies Serre's condition $(S_k)$. In particular, this answers positively a question…
Let R be a commutative noetherian local ring with residue field k and assume that it is not Gorenstein. In the minimal injective resolution of R, the injective envelope E of the residue field appears as a summand in every degree starting…
We develop a new technique for studying monomial ideals in the standard polynomial rings $A[X_1,\ldots,X_d]$ where $A$ is a commutative ring with identity. The main idea is to consider induced ideals in the semigroup ring…
A finitely generated module C over a commutative noetherian ring R is semidualizing if Hom_R(C,C) \cong R and Ext^i_R(C,C) = 0 for all i \geq 1. For certain local Cohen-Macaulay rings (R,m), we verify the equality of Hilbert-Samuel…
Let K be a local field of mixte characteristics. We assume that the residue field is perfect. Let X\_K be a proper smooth scheme over K admitting an integer model X which is proper and semi-stable. In this article, we prove a period…
In this article, we shall characterize torsionfreeness of modules with respect to a semidualizing module in terms of the Serre's condition (S_n). As its applications, we give a characterization of Cohen-Macaulay rings R such that R_p is…
We analyze the embedding dimension of a normal weighted homogeneous surface singularity, and more generally, the Poincar\'e series of the minimal set of generators of the graded algebra of regular functions, provided that the link of the…