scholarly journals Notes on endomorphisms, local cohomology and completion

Author(s):  
Peter Schenzel

Let M M denote a finitely generated module over a Noetherian ring R R . For an ideal I ⊂ R I \subset R there is a study of the endomorphisms of the local cohomology module H I g ( M ) , g = g r a d e ( I , M ) , H^g_I(M), g = grade(I,M), and related results. Another subject is the study of left derived functors of the I I -adic completion Λ i I ( H I g ( M ) ) \Lambda ^I_i(H^g_I(M)) , motivated by a characterization of Gorenstein rings given in [25]. This provides another Cohen-Macaulay criterion. The results are illustrated by several examples. There is also an extension to the case of homomorphisms of two different local cohomology modules.

2003 ◽  
Vol 92 (2) ◽  
pp. 161 ◽  
Author(s):  
Peter Schenzel

As a certain generalization of regular sequences there is an investigation of weakly proregular sequences. Let $M$ denote an arbitrary $R$-module. As the main result it is shown that a system of elements $\underline x$ with bounded torsion is a weakly proregular sequence if and only if the cohomology of the Čech complex $\check C_{\underline x} \otimes M$ is naturally isomorphic to the local cohomology modules $H_{\mathfrak a}^i(M)$ and if and only if the homology of the co-Čech complex $\mathrm{RHom} (\check C_{\underline x}, M)$ is naturally isomorphic to $\mathrm{L}_i \Lambda^{\mathfrak a}(M),$ the left derived functors of the $\mathfrak a$-adic completion, where $\mathfrak a$ denotes the ideal generated by the elements $\underline x$. This extends results known in the case of $R$ a Noetherian ring, where any system of elements forms a weakly proregular sequence of bounded torsion. Moreover, these statements correct results previously known in the literature for proregular sequences.


2018 ◽  
Vol 17 (02) ◽  
pp. 1850020 ◽  
Author(s):  
Moharram Aghapournahr

Let [Formula: see text] be a commutative Noetherian ring, [Formula: see text] and [Formula: see text] be two ideals of [Formula: see text] and [Formula: see text] be an [Formula: see text]-module (not necessary [Formula: see text]-torsion). In this paper among other things, it is shown that if dim [Formula: see text], then the [Formula: see text]-module [Formula: see text] is finitely generated, for all [Formula: see text], if and only if the [Formula: see text]-module [Formula: see text] is finitely generated, for [Formula: see text]. As a consequence, we prove that if [Formula: see text] is finitely generated and [Formula: see text] such that the [Formula: see text]-module [Formula: see text] is [Formula: see text] (or weakly Laskerian) for all [Formula: see text], then [Formula: see text] is [Formula: see text]-cofinite for all [Formula: see text] and for any [Formula: see text] (or minimax) submodule [Formula: see text] of [Formula: see text], the [Formula: see text]-modules [Formula: see text] and [Formula: see text] are finitely generated. Also it is shown that if dim [Formula: see text] (e.g. dim [Formula: see text]) for all [Formula: see text], then the local cohomology module [Formula: see text] is [Formula: see text]-cofinite for all [Formula: see text].


2010 ◽  
Vol 17 (04) ◽  
pp. 699-704
Author(s):  
Lizhong Chu

Let R = ⨁n≥ 0 Rn be a homogeneous noetherian ring with local base ring [Formula: see text], and N a finitely generated graded R-module. Let [Formula: see text] be the i-th local cohomology module of N with respect to R+ := ⨁n > 0 Rn. Let t be the largest integer such that [Formula: see text] is not minimax. We prove that [Formula: see text] is [Formula: see text]-coartinian for any i > t, and [Formula: see text] is artinian. Let s be the first integer such that [Formula: see text] is not minimax. We show that for any i ≤ s, the graded module [Formula: see text] is artinian.


2007 ◽  
Vol 50 (4) ◽  
pp. 598-602 ◽  
Author(s):  
Keivan Borna Lorestani ◽  
Parviz Sahandi ◽  
Siamak Yassemi

AbstractLet R be a commutative Noetherian ring, α an ideal of R and M a finitely generated R-module. Let t be a non-negative integer. It is known that if the local cohomology module is finitely generated for all i < t, then is finitely generated. In this paper it is shown that if is Artinian for all i < t, then need not be Artinian, but it has a finitely generated submodule N such that /N is Artinian.


2003 ◽  
Vol 75 (3) ◽  
pp. 313-324 ◽  
Author(s):  
J. Asadollahi ◽  
K. Khashyarmanesh ◽  
SH. Salarian

AbstractLetRbe a commutative Noetherian ring with nonzero identity and letMbe a finitely generated R-module. In this paper, we prove that if an idealIofRis generated by a u.s.d-sequence onMthen the local cohomology module(M) isI-cofinite. Furthermore, for any system of ideals Φ of R, we study the cofiniteness problem in the context of general local cohomology modules.


2007 ◽  
Vol 14 (03) ◽  
pp. 497-504 ◽  
Author(s):  
Mohammad T. Dibaei ◽  
Siamak Yassemi

Let R be a commutative Noetherian ring, 𝔞 an ideal of R, and M a finitely generated R-module of finite Krull dimension n. We describe the (finite) sets [Formula: see text] and [Formula: see text] of primes associated and attached to the highest local cohomology module [Formula: see text] in terms of the local formal behaviour of 𝔞.


2016 ◽  
Vol 59 (2) ◽  
pp. 271-278
Author(s):  
Fatemeh Dehghani-Zadeh

AbstractLet be a graded Noetherian ring with local base ring (R0 ,m0) and let . Let M and N be finitely generated graded R-modules and let a = a0 + R+ an ideal of R. We show that and are Artinian for some i s and j s with a specified property, where bo is an ideal of R0 such that a0 + b0 is an m0-primary ideal.


2007 ◽  
Vol 83 (2) ◽  
pp. 217-226 ◽  
Author(s):  
Kazem Khashyarmaneshs ◽  
Ahmad Abbasi

AbstractLetMandNbe finitely generated and graded modules over a standard positive graded commutative Noetherian ringR, with irrelevant idealR+. Letbe thenth component of the graded generalized local cohomology module. In this paper we study the asymptotic behavior of AssfR+() as n → –∞ wheneverkis the least integerjfor which the ordinary local cohomology moduleis not finitely generated.


2015 ◽  
Vol 15 (01) ◽  
pp. 1650019 ◽  
Author(s):  
Tsutomu Nakamura

Let R be a commutative Noetherian ring, 𝔞 an ideal of R and M, N two finitely generated R-modules. Let t be a positive integer or ∞. We denote by Ωt the set of ideals 𝔠 such that [Formula: see text] for all i < t. First, we show that there exists the ideal 𝔟t which is the largest in Ωt and [Formula: see text]. Next, we prove that if 𝔡 is an ideal such that 𝔞 ⊆ 𝔡 ⊆ 𝔟t, then [Formula: see text] for all i < t.


Sign in / Sign up

Export Citation Format

Share Document