Related papers: On the asymptotic behavior of the linearity defect
A 2009 paper by Iacob and Iyengar characterizes noetherian regular rings in terms of properties of complexes of projective modules, flat modules, and injective modules. We show that the relevant properties of such complexes are equivalent…
Let $(Q, \mathfrak{n})$ be a regular local ring and let $f_1, \ldots, f_c \in \mathfrak{n}^2$ be a $Q$-regular sequence. Set $(A, \mathfrak{m}) = (Q/(\mathbf{f}), \mathfrak{n}/(\mathbf{f}))$. Further assume that the initial forms $f_1^*,…
We study the homological algebra of an R = Q/I module M using A-infinity structures on Q-projective resolutions of R and M. We use these higher homotopies to construct an R-projective bar resolution of M, Q-projective resolutions for all…
Let $(R,\mathfrak{m})$ be a Noetherian local ring and $I$ an ideal of $R$. We study how local cohomology modules with support in $\mathfrak{m}$ change for small perturbations $J$ of $I$, that is, for ideals $J$ such that $I\equiv J\bmod…
Let $I$ be an ideal of a local ring $(R,\mathfrak m)$ with $d = \dim R.$ For the local cohomology module $H^i_I(R)$ it is a well-known fact that it vanishes for $i > d$ and is an Artinian $R$-module for $i = d.$ In the case that the…
Let $(R,\fm)$ be a local ring, and let $C$ be a semidualizing complex. We establish the equality $r_R(Z) = \nu(\Ext^{g-\inf C}_R(Z,C))\mu^{\depth C}_R(\mathfrak{m}, C)$ for a homologically finite and bounded complex $Z$ with finite…
Let $R$ be a finitely generated positively graded algebra over a Noetherian local ring $B$, and $\mathfrak{m} = [R]_+$ be the graded irrelevant ideal of $R$. We provide a local criterion characterizing the $B$-freeness of all the local…
For a Noetherian commutative ring $R$, let $H^i_I(R)$ be the $ i$-th local cohomology module of $R$ with respect to $I$. In \cite{Hel-08}, Hellus posed the question of identifying rings $R$ such that $\operatorname{injdim}_R…
We give an elementary proof of Grothendieck's non-vanishing Theorem: For a finitely generated non-zero module $M$ over a Noetherian local ring $A$ with maximal ideal $\m$, the local cohomology module $H^{\dim M}_{\m}(M)$ is non-zero.
For given integers $m,n \geq 2$ there are examples of ideals $I$ of complete determinantal local rings $(R,\mathfrak{m}), \dim R = m+n-1, \operatorname{grade} I = n-1,$ with the canonical module $\omega_R$ and the property that the socle…
In this work, we prove that if a graded, commutative algebra $R$ over a field $k$ is not Koszul then, denoting by $\mathfrak{m}$ the maximal homogeneous ideal of $R$ and by $M$ a finitely generated graded $R$-module, the nonzero modules of…
Let $R$ be a commutative Noetherian ring, $I$ an ideal of $R$ and $M$ a finitely generated $R$-module with $\dim_R(M)=d$. Denote by $\depth_R(I,M)$ the depth of $M$ in $I$. In \cite{HT}, C. Huneke and V. Trivedi proved that if $R$ is a…
Thirty years ago, Huneke (for local rings) and Lyubeznik (in general) conjectured that for all regular rings $R$, the local cohomology modules $H^i_I(R)$ have finitely many associated prime ideals. We prove substantial new cases of their…
We introduce a fundamental homological invariant, called Serre depth, which stratifies Serre's conditions in the same way that depth stratifies the Cohen-Macaulay property. We study the Serre depths of modules over arbitrary Noetherian…
For a module-finite algebra over a commutative noetherian ring, we give a complete description of flat cotorsion modules in terms of prime ideals of the algebra, as a generalization of Enochs' result for a commutative noetherian ring. As a…
Let $(R,\mathfrak{m},k)$ denote a local ring. For $I$ and $J$ ideals of $R$, for all integer $i$, let $H^i_{I,J}(-)$ denote the $i$-th local cohomology functor with respect to $(I,J)$. Here we give a generalized version of Local Duality…
In this paper we show how, given a complex of graded modules and knowing some partial Castelnuovo-Mumford regularities for all the modules in the complex and for all the positive homologies, it is possible to get a bound on the regularity…
Let $R$ be a local ring and let $M$ be a finitely generated $R$-module. Appealing to the natural left module structure of $M$ over its endomorphism ring and corresponding center $Z(\operatorname{End}_R(M))$, we study when various…
Let $(R, \mathfrak m)$ be a commutative noetherian local ring and $I$ an ideal of $R$. Let $\mathcal{P}$ be the class of all $I$-generated $R$-modules $M$ (i.e. there is an epimorphism $I^{(\Lambda)} \twoheadrightarrow M$) and let…
Set $ A := Q/({\bf z}) $, where $ Q $ is a polynomial ring over a field, and $ {\bf z} = z_1,\ldots,z_c $ is a homogeneous $ Q $-regular sequence. Let $ M $ and $ N $ be finitely generated graded $ A $-modules, and $ I $ be a homogeneous…