Lyubeznik conjectured that local cohomology modules of regular rings have finitely many associated primes. We examine this conjecture for polynomial rings over the integers, and record some equational identities that arise from studying special cases.
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 construct an example where a local cohomology module of a hypersurface has p-torsion elements for every prime integer p, and consequently has infinitely many associated prime ideals. We also answer a related question of Hochster.
We introduce the notions of Koszul $N$-complex, $\check{\mathrm{C}}$ech $N$-complex and telescope $N$-complex, explicit derived torsion and derived completion functors in the derived category $\mathbf{D}_N(R)$ of $N$-complexes using the $\check{\mathrm{C}}$ech $N$-complex and the telescope $N$-complex. Moreover, we give an equivalence between the category of cohomologically $\mathfrak{a}$-torsion $N$-complexes and the category of cohomologically $\mathfrak{a}$-adic complete $N$-complexes, and prove that over a commutative noetherian ring, via Koszul cohomology, via RHom cohomology (resp. $\oti…
This paper deals with the notion of grade of ideals with respect to torsion theories defined via some homological tools such as Ext-modules, Koszul cohomology modules, Čech and local cohomology modules over commutative rings which are not necessarily Noetherian. We also compare these approaches of grade.
This note discusses some examples showing that the crystalline cohomology of even very mildly singular projective varieties tends to be quite large. In particular, any singular projective variety with at worst ordinary double points has infinitely generated crystalline cohomology in at least two cohomological degrees. These calculations rely critically on comparisons between crystalline and derived de Rham cohomology.
Let $A$ be a Dedekind domain of characteristic zero such that its localization at every maximal ideal has mixed characteristic with finite residue field. Let $R=A[X_1,\ldots, X_n]$ be a polynomial ring and $I=(a_1U_1, \ldots, a_c U_c)\subseteq R$ an ideal, where $a_j \in A$ (not necessarily units) and $U_j$'s are monomials in $X_1, \ldots, X_n$. We call such an ideal $I$ as a $\mathfrak{C}$-monomial ideal. Consider the standard multigrading on $R$. We produce a structure theorem for the multigraded components of the local cohomology modules $H^i_I(R)$ for $i \geq 0$. We further analyze the tor…
We characterize the $k$-torsion freeness of the module of differentials of order $n$ of a point of a hypersurface in terms of the singular locus of the corresponding local ring.
Tensor products usually have nonzero torsion. This is a central theme of Auslander's paper "Modules over unramified regular local rings"; the theme continues in the work of Huneke and Wiegand. The main focus in this note is on tensor powers of a finitely generated module over a local ring. Also, we study torsion-free modules N with the property that its tensor product with any module M has torsion, unless M is very special. Important examples of such modules N are the Frobenius power of a ring, viewed as a module over itself, that is a complete intersection domain of positive characteristic.
We introduce a notion of generalized local cohomology modules with respect to a pair of ideals $(I,J)$ which is a generalization of the concept of local cohomology modules with respect to $(I,J).$ We show that generalized local cohomology modules $H^i_{I,J}(M,N)$ can be computed by the Čech cohomology modules. We also study the artinianness of generalized local cohomology modules $H^i_{I,J}(M,N).$
Let $R$ be a Gorenstein local ring, $\frak{a}$ an ideal in $R$, and $M$ an $R$-module. The local cohomology of $M$ supported at $\frak{a}$ can be computed by applying the $\frak{a}$-torsion functor to an injective resolution of $M$. Since $R$ is Gorenstein, $M$ has a complete injective resolution, so it is natural to ask what one gets by applying the $\frak{a}$-torsion functor to it. Following this lead, we define stable local cohomology for modules with complete injective resolutions. This gives a functor to the stable category of Gorenstein injective modules. We show that in many ways this b…
Let R be a commutative noetherian ring. We consider the question of when n-syzygy modules over R are n-torsionfree in the sense of Auslander and Bridger. Our tools include Serre's condition and certain conditions on the local Gorenstein property of R. Our main result implies the converse of a celebrated theorem of Evans and Griffith.
Let A be a Noetherian local ring with canonical module K. We characterize A when K is a torsionless, reflexive, or q-torsionfree module. If A is a Cohen-Macaulay ring, H.-B. Foxby proved in 1974 that the A-module K is q-torsionfree if and only if the ring A is q-Gorenstein. With mild assumptions, we provide a generalization of Foxby's result to arbitrary Noetherian local rings admitting the canonical module. In particular, since the reflexivity of the canonical module is closely related to the ring being Gorenstein in low codimension, we also explore quasi-normal rings, introduced by W. V. Vas…
This paper discusses the connection between the local cohomology modules and the Serre classes of $R$-modules. Such connection provided a common language for expressing some results about the local cohomology $R$-modules, that has appeared in different papers.
In this paper, some results on vanishing and non-vanishing of generalized local cohomology modules are presented and some relations between those modules and, Ext and ordinary local cohomology modules are studied. Also, several cofiniteness propositions for generalized local cohomology modules are established which, among other things, provide an alternative answer to a question in [Y2].
Yoshizawa investigated when local cohomology modules have an annihilator that does not depend on the choice of the defining ideal. In this paper we refine his results and investigate the relationship between annihilators of local cohomology modules and restricted flat dimensions.
Let $\fa$ be an ideal of a $d$-dimensional commutative Noetherian ring $R$. In this paper we give some information on some last non-zero local cohomology modules known as top local cohomology modules in particular, $H^{d-1}_{\fa}(R)$.
A commutative ring is said to have ITI with respect to an ideal a if the a-torsion functor preserves injectivity of modules. Classes of rings with ITI or without ITI with respect to certain sets of ideals are identified. Behaviour of ITI under formation of rings of fractions, tensor products and idealisation is studied. Applications to local cohomology over non-noetherian rings are given.
Let $K$ be an algebraically closed field of characteristic zero and let $R = K[X_1,\ldots,X_n]$. Let $I$ be an ideal in $R$. Let $A_n(K)$ be the $n^{th}$ Weyl algebra over $K$. By a result of Lyubeznik, the local cohomology modules $H^i_I(R)$ are holonomic $A_n(K)$-modules for each $i \geq 0$. In this paper we compute the Euler characteristic of De-Rahm cohomology of $H^{\htt P}_P(R)$ for certain classes of prime ideals $P$ in $R$.
For a finite module $M$ over a local, equicharacteristic ring $(R,m)$, we show that the well-known formula $\cohdim(m,M)=\dim M$ becomes trivial if ones uses Matlis duals of local cohomology modules together with spectral sequences. We also prove a new, ring-theoretic vanishing criterion for local cohomology modules.
For any commutative ring $A$ we introduce a generalization of $S$--artinian rings using a hereditary torsion theory $σ$ instead of a multiplicative closed subset $S\subseteq{A}$. It is proved that if $A$ is a totally $σ$--artinian ring, then $σ$ must be of finite type, and $A$ is totally $σ$--noetherian.
Let $K$ be a field of characteristic zero, $R = K[X_1,...,X_n]$ and let $I$ be an ideal in $R$. Let $A_n(K) = K<X_1,...,X_n, \partial_1,..., \partial_n>$ be the $n^{th}$ Weyl algebra over $K$. By a result due to Lyubeznik the local cohomology modules $H^i_I(R)$ are holonomic $A_n(K)$-modules for each $i \geq 0$. In this article we compute the Koszul homology modules $H_*(\partial_1,...,\partial_n ; H^*_I(R))$ for certain classes of ideals.
We investigate Matlis duals of local cohomology modules and prove that, in general, their zeroth Bass number with respect to the zero ideal is not finite. We also prove that, somewhat surprisingly, if we apply local cohomology again (i. e. to the Matlis dual of the local cohomology module), we get (under certain hypotheses) either zero or $E$, an $R$-injective hull of the residue field of the local ring $R$.
Let $R$ be a commutative Noetherian ring and $M$ be a finitely generated $R$-module. Considering the new concept of linkage of ideals over a module, we study associated prime ideals, cofiniteness and Artinianness of local cohomology modules of $M$ with respect to some linked ideals over it.
Let R be a commutative noetherian ring. Denote by mod R the category of finitely generated R-modules. In this paper, we study n-torsionfree modules in the sense of Auslander and Bridger, by comparing them with n-syzygy modules, and modules satisfying Serre's condition (S_n). We mainly investigate closedness properties of the full subcategories of mod R consisting of those modules.
We investigate Tate cohomology of modules over a commutative noetherian ring with respect to semidualizing modules. We identify classes of modules admitting Tate resolutions and analyze the interaction between the corresponding relative and Tate cohomology modules. As an application of our approach, we prove a general balance result for Tate cohomology. Our results are based on an analysis of Tate cohomology in abelian categories.
Let $A$ be a noetherian ring, $\fa$ an ideal of $A$, and $M$ an $A$--module. Some uniform theorems on the artinianness of certain local cohomology modules are proven in a general situation. They generalize and imply previous results about the artinianness of some special local cohomology modules in the graded case.
Let S be a toric algebra over a field K of characteristic 0 and let I be a monomial ideal of S. We show that the local cohomology modules H^i_I(S) are of finite length over the ring of differential operators D(S;K), generalizing the classical case of a polynomial algebra S. As an application, we compute the characteristic cycles of some local cohomology modules.
Let $R$ be a noetherian ring, $\fa$ an ideal of $R$ such that $\dim R/\fa=1$ and $M$ a finite $R$--module. We will study cofiniteness and some other properties of the local cohomology modules $\lc^{i}_{\fa}(M)$. For an arbitrary ideal $\fa$ and an $R$--module $M$ (not necessarily finite), we will characterize $\fa$--cofinite artinian local cohomology modules. Certain sets of coassociated primes of top local cohomology modules over local rings are characterized.
A submodule $W$ of a p-primary module $M$ of bounded order is known to be regular if $W$ and $M$ have simultaneous bases. In this paper we derive necessary and sufficient conditions for regularity of a submodule.
Let $\mathfrak{a}$ be an ideal of local ring $(R,\mathfrak{m})$ and $M$ a finitely generated $R$-module and $n\in\Bbb N$. It is shown that some results concerning cominimaxness of formal local cohomology modules.
We study the difference between the lengths of the torsion of the differential modules of the local ring R of an algebroid curve and its first quadratic transform. The conjecture is that this difference should be positive if R is not regular. This is shown to be true in some cases, especially for stable complete intersections and for semigroup rings which are complete intersections.
There is a conjecture, that the torsionfreeness of the module of differentials in a point of an algebraic or algebroid curve should imply that the curve is non singular at that point. A report on the main results is given.