scholarly journals Proregular sequences, local cohomology, and completion

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.

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.


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.


2018 ◽  
Vol 17 (12) ◽  
pp. 1850233 ◽  
Author(s):  
Maryam Salimi

Let [Formula: see text] be a commutative Noetherian ring and let [Formula: see text] be a proper ideal of [Formula: see text]. We study some properties of a family of rings [Formula: see text] that are obtained as quotients of the Rees algebra associated with the ring [Formula: see text] and the ideal [Formula: see text]. We deal with the strongly cotorsion property of local cohomology modules of [Formula: see text], when [Formula: see text] is a local ring. Also, we investigate generically Cohen–Macaulay, generically Gorenstein, and generically quasi-Gorenstein properties of [Formula: see text]. Finally, we show that [Formula: see text] is approximately Cohen–Macaulay if and only if [Formula: see text] is approximately Cohen–Macaulay, provided some special conditions.


2018 ◽  
Vol 17 (12) ◽  
pp. 1850230
Author(s):  
Ali Fathi

Let [Formula: see text] be ideals of a commutative Noetherian ring [Formula: see text] and [Formula: see text] be a finitely generated [Formula: see text]-module. By using filter regular sequences, we show that the infimum of integers [Formula: see text] such that the local cohomology modules [Formula: see text] and [Formula: see text] are not isomorphic is equal to the infimum of the depths of [Formula: see text]-modules [Formula: see text], where [Formula: see text] runs over all prime ideals of [Formula: see text] containing only one of the ideals [Formula: see text]. In particular, these local cohomology modules are isomorphic for all integers [Formula: see text] if and only if [Formula: see text]. As an application of this result, we prove that for a positive integer [Formula: see text], [Formula: see text] is Artinian for all [Formula: see text] if and only if, it can be represented as a finite direct sum of [Formula: see text] local cohomology modules of [Formula: see text] with respect to some maximal ideals in [Formula: see text] for any [Formula: see text]. These representations are unique when they are minimal with respect to inclusion.


2018 ◽  
Vol 17 (11) ◽  
pp. 1850213
Author(s):  
Ebrahim Zangoiezadeh ◽  
Kazem Khashyarmanesh

Let [Formula: see text] be a commutative Noetherian ring and [Formula: see text] be an ideal of [Formula: see text] such that [Formula: see text], where [Formula: see text] is the cohomological dimension of [Formula: see text] with respect to [Formula: see text] and [Formula: see text] is the grade of [Formula: see text]. We show that whenever, [Formula: see text] for all [Formula: see text] and all integers [Formula: see text] with [Formula: see text] and [Formula: see text], then there exists an exact sequence [Formula: see text] of endomorphisms of local cohomology modules, where [Formula: see text] and, for [Formula: see text], [Formula: see text] is the ring of fractions of [Formula: see text] with respect to multiplicatively closed subset [Formula: see text] of [Formula: see text].


2012 ◽  
Vol 19 (spec01) ◽  
pp. 1187-1196 ◽  
Author(s):  
K. Khashyarmanesh ◽  
F. Khosh-Ahang

In this research, by using filter regular sequences, we obtain some exact sequences of right or left derived functors of local cohomology modules. Then we use them to gain some conditions under which a right or left derived functor of some special functors over local cohomology modules belongs to a Serre subcategory. These results can conclude some generalizations of previous results in this context or regain some of them.


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.


2014 ◽  
Vol 21 (03) ◽  
pp. 517-520 ◽  
Author(s):  
Hero Saremi ◽  
Amir Mafi

Let R be a commutative Noetherian ring, 𝔞 an ideal of R, and M a non-zero finitely generated R-module. Let t be a non-negative integer. In this paper, it is shown that [Formula: see text] for all i < t if and only if there exists an ideal 𝔟 of R such that dim R/𝔟 ≤ 1 and [Formula: see text] for all i < t. Moreover, we prove that [Formula: see text] for all i.


Author(s):  
Donatella Delfino

Let (R,m) be a local, noetherian, d-dimensional ring and let M be a finitely generated R-module. Since the local cohomology modules are artinian, is finitely generated for all i and j (see [4], Remark 1*middot;3 and 2·1). Grothendieck[2] made the following conjecture: If I is an ideal of a noetherian ring R, thenis finitely generated for all j.


Sign in / Sign up

Export Citation Format

Share Document