Let $R$ be a noetherian ring, $\fa$ an ideal of $R$, $M$ an $R$--module and $n$ a non-negative integer.
In this paper we first will study the finiteness properties of the kernel and the cokernel of the natural map $f:\Ext^n_{R}(R/\fa,M)\lo \Hom_{R}(R/\fa,\lc^{n}_{\fa}(M))$. Then we will get some corollaries about the associated primes and artinianness of local cohomology modules. Finally we will study the asymptotic behaviour of the kernel and the cokernel of this natural map in the graded case.
Let $\fa$ be an ideal of a Noetherian local ring $(R,\fm)$ and $M$ a finitely generated $R$-module. In this paper we introduce some criterions on Artinianness of formal local cohomology, in particular vanishing and finiteness of local cohomology modules. We find out the lower and upper bound for Artinianness of formal local cohomology
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 $R$ be a noetherian ring, $\fa$ an ideal of $R$, and $M$ an $R$--module. We prove that for a finite module $M$, if $\LC^{i}_{\fa}(M)$ is minimax for all $i\geq r\geq 1$, then $\LC^{i}_{\fa}(M)$ is artinian for $i\geq r$. A Local-global Principle for minimax local cohomology modules is shown. If $\LC^{i}_{\fa}(M)$ is coatomic for $i\leq r$ ($M$ finite) then $\LC^{i}_{\fa}(M)$ is finite for $i\leq r$. We give conditions for a module, which is locally minimax to be a minimax module. A non-vanishing theorem and some vanishing theorems are proved for local cohomology modules.
This paper at first concerns some criteria on Artinianness and vanishing of formal local cohomology modules. Then we consider the cosupport and the set of coassociated primes of these modules more precisely.
This paper centers around Artinianness of the local cohomology of $ZD$-modules. Let $\fa$ be an ideal of a commutative Noetherian ring $R$. The notion of $\fa$-relative Goldie dimension of an $R$-module $M$, as a generalization of that of Goldie dimension is presented. Let $M$ be a $ZD$-module such that $\fa$-relative Goldie dimension of any quotient of $M$ is finite. It is shown that if $\dim R/\fa=0$, then the local cohomology modules $H^i_{\fa}(M)$ are Artinian. Also, it is proved that if $d=\dim M$ is finite, then $H^d_{\fa}(M)$ is Artinian, for any ideal $\fa$ of $R$ . These results exten…
Let $R$ be a Noetherian ring, $I$ an ideal of $R$ and $M$ an $R$-module. In this article, we examine the question of whether an arbitrary top local cohomology module, $\operatorname{H}^{\operatorname{cd}(I,M)}_I(M)$, is Artinian, or not. Several results related to this question are obtained; in particular, we prove that over a Noetherian local unique factorization domain $R$ of dimension three, for a finitely generated faithful module $M$, a top local cohomology module is Artinian if and only if $\operatorname{cd}(I,M)= 3$.
We use a result of Hellus about generalized local duality to describe some generalized Matlis duals for certain quasi-\F-modules. Furthermore, we apply this description to obtain examples for non-artinian local cohomology modules by the theory of \F-modules. In particular, we get a new view on Hartshorne's counterexample for a conjecture by Grothendieck about the finiteness of $Hom_R(R/I,H^i_I(R))$ for a noetherian local Ring $R$ and an ideal $I \subseteq R$.
Let $R=\bigoplus_{n\geq 0}R_n$, $\fa\supseteq \bigoplus_{n> 0}R_n$ and $M$ and $N$ be a standard graded ring, an ideal of $R$ and two finitely generated graded $R$-modules, respectively. This paper studies the homogeneous components of graded generalized local cohomology modules. First of all, we show that for all $i\geq 0$, $H^i_{\fa}(M, N)_n$, the $n$-th graded component of the $i$-th generalized local cohomology module of $M$ and $N$ with respect to $\fa$, vanishes for all $n\gg 0$. Furthermore, some sufficient conditions are proposed to satisfy the equality $\sup\{\en(H^i_{\fa}(M, N))| i\g…
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 $\mathfrak{F}^i_{\mathfrak{a},I,J}(M)$ and $\check{\mathfrak{F}}^i_{\mathfrak{a},I,J}(M)$ with respect to a pair of ideals, for all $i\geq 0$. The main subject of the paper is to study the finiteness properties and Artinianness of $\mathfrak{F}^i_{\mathfrak{a},I,J}(M)$ and $\check{\mathfrak{F}}^i_{\mathfrak{a},\mathfrak{m},J}(M)$. We study the maximum and minimum integer $i\in \…
Let $R$ be a commutative noetherian ring, $I,J$ be two ideals of $R$, $M$ be an $R$-module, and $\mathcal{S}$ be a Serre class of $R$-modules. A positive answer to the Huneke$^,$s conjecture is given for a noetherian ring $R$ and minimax $R$-module $M$ of krull dimension less than 3, with respect to $\mathcal{S}$. There are some results on cofiniteness and artinianness of local cohomology modules with respect to a pair of ideals. For a ZD-module $M$ of finite krull dimension and an integer $n\in\mathbb{N}$, if $\lc^{i}_{I,J}(M)\in\mathcal{S}$ for all $i>n$, then $\lc^{i}_{I,J}(M)/\fa^{j}\lc^{i…
Let $(R,\mathfrak m)$ be a Noetherian local ring, $I$ an ideal of $R$ and $M$ a weakly finite or a coatomic $R$-module of dimension $n$. In this article, we resolve the Artinianness and non-Artinianness of top local cohomology modules, $H^{cd(I,M)}_I(M)$, in all cases except in the case $cd(I,M)=n-1$ and $dim(R/{I+Ann(M)})>1$ for which we have some sorter results under certain conditions.
Let $R$ be a commutative Noetherian ring with non-zero identity, $\fa$ an ideal of $R$, $M$ a finite $R$--module and $X$ an arbitrary $R$--module. Here, we show that, in the Serre subcategories of the category of $R$--modules, how the generalized local cohomology modules, the ordinary local cohomology modules and the extension modules behave similarly at the initial points. We conclude some Artinianness and cofiniteness results for $\lc^{n}_{\fa}(M, X)$, and some finiteness results for $\Supp_R(\lc^{n}_{\fa}(M, X))$ and $\Ass_R(\lc^{n}_{\fa}(M, X))$.
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.
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).$
Cofiniteness of the generalized local cohomology modules Hai(M, N) of two R-modules M and N with respect to an ideal a is studied for some i,s with a specified property. Furthermore, Artinianness of Hbj 0(Hai(M, N)) is investigated by using the above result, in certain graded situations, where b 0 is an ideal of R 0 such that b 0 + a 0 is an m 0-primary ideal.
Let $R$ be a commutative Noetherian ring, $Φ$ a system of ideals of $R$, $\fa \in Φ$, $M$ an arbitrary $R$-module and $t$ a non-negative integer. Let $\mathcal{S}$ be a Melkersson subcategory of $R$-modules. Among other things, we prove that if $\lc^{i}_Φ(M)$ is in $\mathcal{S}$ for all $i < t$ then $\lc^{i}_\fa(M)$ is in $\mathcal{S}$ for all $i < t$ and for all $\fa \in Φ$. If $\mathcal{S}$ is the class of $R$-modules $N$ with $\dim N \leq k$ where $k \geq -1$, is an integer, then $\lc^{i}_Φ(M)$ is in $\mathcal{S}$ for all $i < t$ (if and only if) $\lc^{i}_\fa(M)$ is in $\mathcal{S}$ for all…
Let $\mathfrak{q}$ denote an ideal of a local ring $(A,\mathfrak{m})$. For a system of elements $\underline{a} = a_1,\ldots,a_t$ such that $a_i \in \mathfrak{q}^{c_i}, i = 1, \ldots,t,$ and $n \in \mathbb{Z}$ we investigate a subcomplex resp. a factor complex of the Čech complex $\check{C}_{\underline{a}} \otimes_A M$ for a finitely generated $A$-module $M$. We start with the inspection of these cohomology modules that approximate in a certain sense the local cohomology modules $H^i_{\underline{a}}(M)$ for all $i \in \mathbb{N}$. In the case of an $\mathfrak{m}$-primary ideal $\underline{a} A$…
In continuation of [1] we study associated primes of Matlis duals of local cohomology modules (MDLCM). We combine ideas from Helmut Zöschinger on coassociated primes of arbitrary modules with results from [1], [4], [5], [6] and obtain partial answers to questions which were left open in [1]. These partial answers give further support for conjecture $(*)$ from [1] on the set of associated primes of MDLCMs. In addition, and also inspired by ideas from Zöschinger, we prove some non-finiteness results of local cohomology.
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.
Let $R$ be a commutative Noetherian ring that is a smooth $\mathbb Z$-algebra. For each ideal $I$ of $R$ and integer $k$, we prove that the local cohomology module $H^k_I(R)$ has finitely many associated prime ideals. This settles a crucial outstanding case of a conjecture of Lyubeznik asserting this finiteness for local cohomology modules of all regular rings.
Let $(R,m)$ be a local Noetherian ring, let $I\subset R$ be any ideal and let $M$ be a finitely generated $R$-module. In 1990 Craig Huneke conjectured that the local cohomology modules $H^i_I(M)$ have finitely many associated primes for all $i$. In this paper I settle this conjecture by constructing a local cohomology module of a local $k$-algebra with an infinite set of associated primes, and I do this for any field $k$.
Let $R$ be a commutative Noetherian ring and $\fa$ an ideal of $R$. We intend to establish the dual of two Faltings' Theorems for local homology modules of an Artinian module. As a consequence of this, we show that, if $A$ is an Artinian module over semi-local complete ring $R$ and $j$ is an integer such that $H_i^{\fa}(A)$ is Artinian for all $i<j$, then the set $\Coass_R(H_j^{\fa}(A))$ is finite. We also introduce the notion of the $n$th Artinianness dimension $g_n^\fa(A)=\inf\{g^{\fa R_{\fp}}(^\fp A): \fp\in\Spec(R) \ \ \text{and} \ \ \dim R/\fp\geq n\}$, for all $n\in\mathbb{N}_{0}$ and pr…
The asymptotic stability of several homological invariants of the graded pieces of a graded module has attracted quite a lot of attention over the last decades. We provide in this text several stability results together with estimates of the degree from which it stabilizes. Before we establish these regularity results, we prove several facts about depth and cohomological dimension with respect to a finitely generated ideal and about Castelnuovo-Mumford regularity of a graded module.
Let R be a commutative Noetherian d-dimensional complete equicharacterisitc regular local ring and let I be an ideal of R such that every minimal prime over I has height at most c. Let v=d - [(d-2)/c]-1 and v'=d - [(d-1)/c]. It has been known that the i-th local cohomology module of any R-module M with support in I vanishes for i>v', and if I is prime, for i>v; both results are sharp. The purpose of this paper is to prove a necessary and sufficient condition, for a not necessarily prime I, for the vanishing in the range i>v, i.e. in the same range as for a prime ideal. The condition is in term…
In this paper we consider the local cohomology of monomial ideals with respect to monomial prime ideals and show that all these local cohomology modules are tame.
Let $J$ be an ideal of a noetherian local ring $R$. We show new results on the set of attached primes $\Att_R(\LCMo ^l_J(R))$ of a local cohomology module $\LCMo ^l_J(R)$. To prove our results we establish and use new relations between the set $\Att_R(\LCMo ^l_J(R))$ of attached primes of a local cohomology module and the set $\Ass_R(D(\LCMo ^l_J(R)))$ of associated primes of the Matlis dual of the same local cohomology module.
This is an expanded version of a lecture on finiteness properties of local cohomology modules given at the 48th Algebra Symposium held at Nagoya University in August 2003.
After motivating the question we prove various results about the set of associated primes of Matlis duals of top local cohomology modules. In some cases we can calculate this set, for the general situation we present a conjecture. An easy application of this theory is the well-known fact that Krull dimension can be expressed by the vanishing of local cohomology modules.
Local cohomology modules, even over a Noetherian ring $R$, are typically unwieldly. As such, it is of interest whether or not they have finitely many associated primes. We prove the affirmative in the case where $R$ is a Stanley-Reisner ring over a field, whose associated simplicial complex is a $T$-space.
We construct normal hypersurfaces whose local cohomology modules have infinitely many associated primes. These include unique factorization domains of characteristic zero with rational singularities, as well as F-regular unique factorization domains of positive characteristic. As a consequence, we answer a question on the associated primes of Frobenius powers of ideals, which arose from the localization problem in tight closure theory.
Lyubeznik's conjecture, (\cite{Ly1}, Remark 3.7) asserts the finiteness of the set ssociated primes of local cohomology modules for regular rings. But, in the case of ramified regular local ring, it is open. Recently, in Theorem 1.2 of \cite{Nu1}, it is proved that in any Noetherian regular local ring $S$ and for a fixed ideal $J\subset S$, associated primes of local cohomology $H^i_J(S)$ for $i\geq 0$ is finite, if it does not contain $p$. In this paper, we use this result to construct examples of local cohomology modules for ramified regular local ring so that they have finitely many associa…
School of Mathematics, Institute for Advanced Study（高等研究院数学学院）；Department of Mathematics, Princeton University（普林斯顿大学数学系）；Department of Mathematics, Purdue University（普渡大学数学系）
The $i$-th local cohomology module of a finitely generated graded module $M$ over a standard positively graded commutative Noetherian ring $R$, with respect to the irrelevant ideal $R_+$, is itself graded; all its graded components are finitely generated modules over $R_0$, the component of $R$ of degree 0. This paper is concerned with the asymptotic behaviour of $\Ass_{R_0}(H^i_{R_+}(M)_n)$ as $n \to -\infty$. The smallest $i$ for which such study is interesting is the finiteness dimension $f$ of $M$ relative to $R_+$, defined as the least integer $j$ for which $H^j_{R_+}(M)$ is not finitely …
This first part of the paper describes the support of top graded local cohomology modules. As a corrolary one obtains a simple criteria for the vanishing of these modules and also the fact that they have finitely many minimal primes. The second part of this paper constructs examples of cohomological Hilbert functions which are not of polynomial type.
Let $\mathfrak{a}$ be an ideal of a commutative Noetherian ring $R$ and $M$ a finitely generated $R$-module. In this paper we proved that if $\operatorname{Supp}\mathfrak{F}_\mathfrak{a}^i(M)$ is finite for all $i<t$, then so is $\operatorname{Ass}(\mathfrak{F}_{\mathfrak{a}}^t(M))$.
Let $R_0$ be any domain, let $R=R_0[U_1, ..., U_s]/I$, where $U_1, ..., U_s$ are indeterminates of some positive degrees, and $I\subset R_0[U_1, ..., U_s]$ is a homogeneous ideal. The main theorem in this paper is states that all the associated primes of $H:=H^s_{R_+}(R)$ contain a certain non-zero ideal $c(I)$ of $R_0$ called the ``content'' of $I$. It follows that the support of $H$ is simply $V(\content(I)R + R_+)$ (Corollary 1.8) and, in particular, $H$ vanishes if and only if $c(I)$ is the unit ideal. These results raise the question of whether local cohomology modules have finitely many …
Let (R,m) be a complete Noetherian local ring and let M be a finite R--module of positive Krull dimension n. It is shown that any subset T of Assh_R(M) can be expressed as the set of attached primes of the top local cohomology module H^n_a(M) for some ideal a of R. Moreover if a is an ideal of R such that the set of attached primes of H^n_a(M) is a non--empty proper subset of Assh_R(M), then H^n_a(M)=H^n_b(M) for some ideal b of R with dim_R (R/b)=1.
The study of Frobenius actions on local cohomology modules over a local ring of prime characteristic has interesting connections with the theory of tight closure. This paper establishes new connections by developing the notion of relative Frobenius actions on local cohomology. As an application, we show that a ring has $F$-nilpotent singularities if and only if the tight closure of every parameter ideal is equal to its Frobenius closure.
Let $I$ and $J$ be two ideals of a commutative Noetherian ring $R$ and $M$ be an $R$-module of dimension $d$. If $R$ is a complete local ring and $M$ is finite, then attached prime ideals of $H^{d-1}_{I,J}(M)$ are computed by means of the concept of co-localization. Also, we illustrate the attached prime ideals of $H^{t}_{I,J}(M)$ on a non-local ring $R$, for $t= \dim M$ and $t= cd(I,J,M)$.
Let $R$ be an excellent regular ring of dimension $d$ containing a field $K$ of characteristic zero. Let $I$ be an ideal in $R$. We show that $Ass \ H^{d-1}_I(R)$ is a finite set. As an application we show that if $I$ is an ideal of height $g$ with $height \ Q = g$ for all minimal primes of $I$ then for all but finitely many primes $P \supseteq I$ with $height \ P \geq g +2$, the topological space $Spec^\circ(R_P/IR_P)$ is connected.
Let $R=k[x_1,\dots,x_n]$ be a ring of polynomials over a field $k$ of characteristic $p>0$. There is an algorithm due to Lyubeznik for deciding the vanishing of local cohomology modules $H^i_I(R)$ where $I\subset R$ is an ideal. This algorithm has not been implemented because its complexity grows very rapidly with the growth of $p$ which makes it impractical. In this paper we produce a modification of this algorithm that consumes a modest amount of memory.
A generalization of Grothendieck's non-vanishing theorem is proved for a module which is finite over a local homomorphism. It is also proved that the Gorenstein injective dimension of such a module, if finite, is bounded below by its Krull dimension and is equal to the supremum of the depths of the localizations of the ring over primes in the support of the module.
We find sufficient conditions which imply equality of the finitistic test ideal and test ideal in rings of prime characteristic. Utilizing recent progress from the prime characteristic minimal model program we equate the notions of $F$-regular and strongly $F$-regular for 4-dimensional rings essentially of finite type over a field of prime characteristic $p>5$.
Let $\fa$ be an ideal of a commutative Noetherian ring $R$ and $M$ a finitely generated $R$-module. Let $t$ be a natural integer. It is shown that there is a finite subset $X$ of $\Spec R$, such that $\Ass_R(H_{\fa}^t(M))$ is contained in $X$ union with the union of the sets $\Ass_R(\Ext_R^j(R/\fa,H_{\fa}^i(M)))$, where $0\leq i<t$ and $0\leq j\leq t^2+1$. As an immediate consequence, we deduce that the first non $\fa$-cofinite local cohomology module of $M$ with respect to $\fa$ has only finitely many associated prime ideals.
For a finitely generated module $M$, over a commutative Noetherian local ring $(R, \mathfrak{m})$, it is shown that there exist only a finite number of non--isomorphic top local cohomology modules $\mathrm{H}_{\mathfrak{a}}^{\mathrm{dim} (M)}(M)$, for all ideals $\mathfrak{a}$ of $R$. We present a reduced secondary representation for the top local cohomology modules with respect to an ideal. It is also shown that for a given integer $r\geq 0$, if $\mathrm{H}_{\mathfrak{a}}^{r}(R/\mathfrak {p})$ is zero for all $\mathfrak{p}$ in $\mathrm{Supp}(M)$, then $\mathrm{H}_{\mathfrak{a}}^{i}(M)= 0$ for…
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.
Let $\mathfrak{a}$ be an ideal of Noetherian ring $R$ and let $M$ be an $R$-module such that $\mathrm{Ext}^i_R(R/\mathfrak{a},M)$ is finite $R$-module for every $i$. If $s$ is the first integer such that the local cohomology module $\mathrm{H}^s_\mathfrak{a}(M)$ is non $\mathfrak{a}$-cofinite, then we show that $\mathrm{Hom}_{R}(R/\mathfrak{a}, \mathrm{H}^s_\mathfrak{a}(M))$ is finite. Specially, the set of associated primes of $\mathrm{H}^s_\mathfrak{a}(M)$ is finite. Next assume $(R,\mathfrak{m})$ is a local Noetherian ring and $M$ is a finitely generated module. We study the last integer $n…
For a Noetherian regular ring $S$ and for a fixed ideal $J\subset S$, assume that the associated primes of local cohomology module $H^i_J(S)$ does not contain $p$ for some $i\geq 0$, and we call this as a property $\textit{\textbf{P}}^{i,p}_{J,S}$ or $\textit{\textbf{P}}$ for brevity. Recently, in Theorem 1.2 of \cite{Nu1}, it is proved that in a Noetherian regular local ring $S$ and for a fixed ideal $J\subset S$, associated primes of local cohomology module $H^i_J(S)$ for $i\geq 0$ is finite, if it does not contain $p$. In this paper, we study how the property $\textit{\textbf{P}}$ (as menti…
The notion of weakly Laskerian modules was introduced recently by the authors. Let $R$ be a commutative Noetherian ring with identity, $\fa$ an ideal of $R$, and $M$ a weakly Laskerian module. It is shown that if $\fa$ is principal, then the set of associated primes of the local cohomology module $H_{\fa}^i(M)$ is finite for all $i\geq 0$. We also prove that when $R$ is local, then $\Ass_R(H_{\fa}^i(M))$ is finite for all $i\geq 0$ in the following cases: (1) $\dim R\leq 3$, (2) $\dim R/\fa\leq 1$, (3) $M$ is Cohen-Macaulay and for any ideal $\fb$, with $l=\grade(\fb,M)$, $\Hom_R(R/\fb,H_{\fb}…
Let $R$ be a commutative Noetherian ring of prime characteristic $p$. In this paper we give a short proof using filter regular sequences that the set of associated prime ideals of $H^t_I(R)$ is finite for any ideal $I$ and for any $t \ge 0$ when $R$ has finite $F$-representation type or finite singular locus. This extends a previous result by Takagi-Takahashi and gives affirmative answers for a problem of Huneke in many new classes of rings in positive characteristic. We also give a criterion about the singularities of $R$ (in any characteristic) to guarantee that the set of associated primes …
Assume that $R = \bigoplus_{i\in \mathbb{N}_{0}} R_{i}$ is a homogeneous graded Noetherian ring, and that $M$ is a $ \mathbb{Z}$--graded $R$--module, where $ \mathbb{N}_{0}$ (resp. $ \mathbb{Z}$) denote the set all non--negative integers (resp. integers). The set of all homogeneous attached prime ideals of the top non--vanishing local cohomology module of a finitely generated module $M$, $\LH_{R_{+}}^{c}(M)$, with respect to the irrelevant ideal $R_{+}: =\bigoplus_{i\geq 1} R_{i}$ and the set of associated primes of $\LH _{R_{+}}^{i}(M)$ is studied. The asymptotic behavior of $\Hom_{R}(R/R_{+}…
In this article, we study the following question raised by Mel Hochster: let $(R,m,K)$ be a local ring and $S$ be a flat extension with regular closed fiber. Is $\cV(mS)\cap\Ass_S H^i_I(S)$ finite for every ideal $I\subset S$ and $i\in \NN?$ We prove that the answer is positive when $S$ is either a polynomial or a power series ring over $R$ and $\dim(R/I\cap R)\leq 1.$ In addition, we analyze when this question can be reduced to the case where $S$ is a power series ring over $R$. An important tool for our proof is the use of $Σ$-finite $D$-modules, which are not necessarily finitely generated …
