Related papers: Local cohomology modules of a regular affine domai…

Let $(R,\mathfrak{m})$ be a Noetherian regular local ring containing a field of characteristic $p>0$ and $I$ a nonzero ideal of $R$. In this short note, we prove that if $\operatorname{H}^i_I(R)\neq 0$, then $…

Let $R$ be a commutative noetherian ring and $I$ an ideal of $R$. Assume that for all integers $i$ the local cohomology module $H_I^i(R)$ is $I$-cofinite. Suppose that $R_\mathfrak{p}$ is a regular local ring for all prime ideals…

Let $R$ be a commutative $F$-algebra, where $F$ is a field of characteristic 0, satisfying the following conditions: $R$ is equidimensional of dimension $n$, every residual field with respect to a maximal ideal is an algebraic extension of…

For a noetherian ring R we call an R-module M cofinite if there exists an ideal I of R such that M is I-cofinite; we show that every cofinite module M satisfies dim_R(M)<=injdimR(M). As an application we study the question which local…

In this article, we prove that if $R\to S$ is a homomorphism of Noetherian rings that splits, then for every $i\geq 0$ and ideal $I\subset R$, $\Ass_R H^i_I(R)$ is finite when $\Ass_S H^i_{IS}(S)$ is finite. In addition, if $S$ is a…

Let $K$ be a field and let $R = K[X_1, \ldots, X_m]$ with $m \geq 2$. Give $R$ the standard grading. Let $I$ be a homogeneous ideal of height $g$. Assume $1 \leq g \leq m -1$. Suppose $H^i_I(R) \neq 0$ for some $i \geq 0$. We show (1)…

In this paper we prove the following generalization of a result of Hartshorne: Let $(S,\n)$ be a regular local ring of dimension $4$. Assume that $x,y,u,v$ is a regular system of parameters for $S$ and $a:=xu+yv$. Then for each finitely…

Let $R=k[x_1,..., x_n]$ be a polynomial ring over a field $k$ of characteristic $p>0,$ and let $I=(f_1,...,f_s)$ be an ideal of $R.$ We prove that every associated prime $P$ of $H^i_I(R)$ satisfies $\text{dim}R/P\geqslant…

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…

Let $k$ be an infinite field of characteristic $p > 0$ and let $R = k[Y_1,\ldots, Y_d]$ (or $R = k[[Y_1,\ldots, Y_d]]$). Let $F \colon \text{Mod}(R) \rightarrow \text{Mod}(R)$ be the Frobenius functor and let $\mathcal{M}$ be a $F_R$-finite…

Let $R$ be a regular ring containing a field $k$. Let $\mathbf{x} = x_1, \ldots, x_r$ be a regular sequence in $R$ such that $R/(\mathbf{x})$ is a regular ring. Fix $m \geq 1$. Set $A_m = R/(\mathbf{x})^m$. We show that for any ideal $Q$ of…

Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$, and let $M$ be a finitely generated $R$-module. For a non-negative integer $t$, we prove that $H_{\fa}^t(M)$ is $\fa$-cofinite whenever $H_{\fa}^t(M)$ is Artinian and…

Let $R$ be a regular ring, let $J$ be an ideal generated by a regular sequence of codimension at least $2$, and let $I$ be an ideal containing $J$. We give an example of a module $H^3_I(J)$ with infinitely many associated primes, answering…

Let $R$ be a Noetherian ring, $I$ and $J$ two ideals of $R$ and $t$ an integer. Let $S$ be the class of Artinian $R$-modules, or the class of all $R$-modules $N$ with $\dim_RN\leq k$, where $k$ is an integer. It is proved that $\inf\{i:…

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…

Let $K$ be a field and let $R$ be a regular domain containing $K$. Let $G$ be a finite subgroup of the group of automorphisms of $R$. We assume that $|G|$ is invertible in $K$. Let $R^G$ be the ring of invariants of $G$. Let $I$ be an ideal…

Let $R$ be a commutative noetherian ring, and $\mathcal{Z}$ a stable under specialization subset of $\Spec(R)$. We introduce a notion of $\mathcal{Z}$-cofiniteness and study its main properties. In the case $\dim(\mathcal{Z})\leq 1$, or…

Let $R$ denote a commutative Noetherian (not necessarily local) ring, $M$ an arbitrary $R$-module and $I$ an ideal of $R$ of dimension one. It is shown that the $R$-module $\Ext^i_R(R/I,M)$ is finitely generated (resp. weakly Laskerian) for…

Let T be a commutative Noetherian local ring of dimension at least two and R=T[x_1,...,x_n] a polynomial ring in n variables over T. Consider R as a graded ring with deg T = 0 and deg x_i = 1 for all i. Let I=R_+ and f a homogeneous…

Suppose that k is a field of characteristic zero, X is an r by s matrix of indeterminates, where r \leq s, and R = k[X] is the polynomial ring over k in the entries of X. We study the local cohomology modules H^i_I(R), where I is the ideal…