English
Related papers

Related papers: Bockstein homomorphisms in local cohomology

200 papers

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…

Commutative Algebra · Mathematics 2015-06-15 Bhargav Bhatt , Manuel Blickle , Gennady Lyubeznik , Anurag K. Singh , Wenliang Zhang

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…

Commutative Algebra · Mathematics 2023-07-14 Ryo Takahashi , Naoki Wakasugi

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…

Commutative Algebra · Mathematics 2015-12-18 Rajsekhar Bhattacharyya

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…

Commutative Algebra · Mathematics 2010-01-20 Yi Zhang

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…

Commutative Algebra · Mathematics 2025-08-13 Takumi Murayama

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$…

Commutative Algebra · Mathematics 2016-03-01 Hailong Dao , Pham Hung Quy

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}…

Commutative Algebra · Mathematics 2007-05-23 Mohammad T. Dibaei , Siamak Yassemi

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…

Commutative Algebra · Mathematics 2011-11-22 Emily E. Witt

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…

Commutative Algebra · Mathematics 2014-07-10 Yi Zhang

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…

Commutative Algebra · Mathematics 2019-02-20 Tony J. Puthenpurakal

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…

Commutative Algebra · Mathematics 2015-12-18 Rajsekhar Bhattacharyya

Let $(R,\mathfrak m)$ denote an $n$-dimensional complete local Gorenstein ring. For an ideal $I$ of $R$ let $H^i_I(R), i \in \mathbb Z,$ denote the local cohomology modules of $R$ with respect to $I.$ If $H^i_I(R) = 0$ for all $i \not= c =…

Commutative Algebra · Mathematics 2008-06-30 Peter Schenzel

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…

Commutative Algebra · Mathematics 2007-05-23 Mordechai Katzman

Let $(R, \mathfrak m)$ denote an $n$-dimensional Gorenstein ring. For an ideal $I \subset R$ of height $c$ we are interested in the endomorphism ring $B = \Hom_R(H^c_I(R), H^c_I(R)).$ It turns out that $B$ is a commutative ring. In the case…

Commutative Algebra · Mathematics 2009-05-07 Peter Schenzel

Let $\frak a$ denote an ideal in a regular local (Noetherian) ring $R$ and let $N$ be a finitely generated $R$-module with support in $V(\frak a)$. The purpose of this paper is to show that all homomorphic images of the $R$-modules…

Commutative Algebra · Mathematics 2017-03-03 Monireh Sedghi , Kamal Bahmanpour , Reza Naghipour

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)…

Commutative Algebra · Mathematics 2024-11-21 Tony J. Puthenpurakal

Let $(A,\mathfrak{m})$ be a Cohen-Macaulay local ring of dimension $d$ and let $I$ be an $\mathfrak{m}$-primary ideal. Let $G$ be the associated graded ring of $A$ \wrt \ $I$ and let $\R = A[It,t^{-1}]$ be the extended Rees ring of $A$ with…

Commutative Algebra · Mathematics 2013-08-30 Tony J. Puthenpurakal

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…

Commutative Algebra · Mathematics 2013-08-02 Tony J. Puthenpurakal , Rakesh B. T. Reddy

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…

Commutative Algebra · Mathematics 2014-11-18 Anurag K. Singh

Let $I$ denote an ideal of a local Gorenstein ring $(R, \mathfrak m)$. Then we show that the local cohomology module $H^c_I(R), c = \height I,$ is indecomposable if and only if $V(I_d)$ is connected in codimension one. Here $I_d$ denotes…

Commutative Algebra · Mathematics 2008-10-28 Peter Schenzel
‹ Prev 1 2 3 10 Next ›