Complexes acyclic up to integral closure

1994 ◽  
Vol 116 (3) ◽  
pp. 401-414
Author(s):  
D. Katz

In [R] D. Rees introduced the notions of reduction and integral closure for modules over a commutative Noetherian ring and proved the following remarkable result. Let R be a locally quasi-unmixed Noetherian ring and I an ideal generated by n elements. Suppose that height (I) = h. Then the ith module of cycles in the Koszul complex on a set of n generators for I is contained in the integral closure of the ith module of boundaries for i > n − h. This result should be considered a dimension-theoretic analogue of the famous depth sensitivity property of the Koszul complex demonstrated by Serre and Auslander-Buschsbaum in the 1950s. At roughly the same time, Hoschster and Huneke introduced the notion of tight closure and thereafter gave a number of theorems in the same (though considerably broader) vein for tight closure. In particular, in [HH] they showed that if R is an equidimensional local ring of characteristic p > 0, which is a homomorphic image of a Gorenstein ring, then for all i > 0, the ith module of cycles is contained in the tight closure of the ith module of boundaries for any complex satisfying the so-called standard rank and height conditions (see the definitions below). Since the tight closure is contained in the integral closure for such rings, the result of Hochster and Huneke extends (in characteristic p) considerably the result of Rees. In fact, their result could be considered a dimension-theoretic analogue of the Buchsbaum-Eisenbud exactness theorem ([BE]), which in a certain sense is the ultimate depth sensitivity theorem. Moreover, using the technique of reduction to characteristic p, Hochster and Huneke have shown that their results hold in equicharacteristic zero as well, whenever the tight closure is defined.

2012 ◽  
Vol 19 (04) ◽  
pp. 693-698
Author(s):  
Kazem Khashyarmanesh ◽  
M. Tamer Koşan ◽  
Serap Şahinkaya

Let R be a commutative Noetherian ring with non-zero identity, 𝔞 an ideal of R and M a finitely generated R-module. We assume that N is a weakly Laskerian R-module and r is a non-negative integer such that the generalized local cohomology module [Formula: see text] is weakly Laskerian for all i < r. Then we prove that [Formula: see text] is also weakly Laskerian and so [Formula: see text] is finite. Moreover, we show that if s is a non-negative integer such that [Formula: see text] is weakly Laskerian for all i, j ≥ 0 with i ≤ s, then [Formula: see text] is weakly Laskerian for all i ≤ s and j ≥ 0. Also, over a Gorenstein local ring R of finite Krull dimension, we study the question when the socle of [Formula: see text] is weakly Laskerian?


1992 ◽  
Vol 35 (3) ◽  
pp. 511-518
Author(s):  
H. Ansari Toroghy ◽  
R. Y. Sharp

Let E be an injective module over a commutative Noetherian ring A (with non-zero identity), and let a be an ideal of A. The submodule (0:Eα) of E has a secondary representation, and so we can form the finite set AttA(0:Eα) of its attached prime ideals. In [1, 3.1], we showed that the sequence of sets is ultimately constant; in [2], we introduced the integral closure a*(E) of α relative to E, and showed that is increasing and ultimately constant. In this paper, we prove that, if a contains an element r such that rE = E, then is ultimately constant, and we obtain information about its ultimate constant value.


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.


1990 ◽  
Vol 108 (2) ◽  
pp. 231-246 ◽  
Author(s):  
Anne-Marie Simon

In this paper A is a commutative noetherian ring, a an ideal of A and the A- modules are given the a-adic topology.It is a general feeling that completeness is a kind of finiteness condition. We make precise that feeling and, after a result concerning the homology of a complex of complete modules which can be used in place of Nakayama's Lemma, we establish analogies between complete modules and finitely generated ones, with respect to flat dimension, injective dimension, Bass numbers and the Koszul complex. This is particularly clear in the local case, where we have also some partial information on the support of a complete module. With respect to dimension however, the analogy fails, as shown by an example.


2012 ◽  
Vol 11 (01) ◽  
pp. 1250013 ◽  
Author(s):  
AMIR BAGHERI ◽  
MARYAM SALIMI ◽  
ELHAM TAVASOLI ◽  
SIAMAK YASSEMI

Let R be a commutative Noetherian ring and let I be an ideal of R. In this paper, we study the amalgamated duplication ring R ⋈ I which is introduced by D'Anna and Fontana. It is shown that if R satisfies Serre's condition (Sn) and I𝔭 is a maximal Cohen–Macaulay R𝔭-module for every 𝔭 ∈ Spec (R), then R ⋈ I satisfies Serre's condition (Sn). Moreover if R ⋈ I satisfies Serre's condition (Sn), then so does R. This gives a generalization of the same result for Cohen–Macaulay rings in [D'Anna, A construction of Gorenstein rings, J. Algebra306 (2006) 507–519]. In addition it is shown that if R is a local ring and Ann R(I) = 0, then R ⋈ I is quasi-Gorenstein if and only if [Formula: see text] satisfies Serre's condition (S2) and I is a canonical ideal of R. This result improves the result of D'Anna which is corrected by Shapiro and states that if R is a Cohen–Macaulay local ring, then R ⋈ I is Gorenstein if and only if the canonical ideal of R exists and is isomorphic to I, provided Ann R(I) = 0.


1990 ◽  
Vol 32 (2) ◽  
pp. 173-188 ◽  
Author(s):  
R. Y. Sharp ◽  
M. Yassi

Let A be a commutative Noetherian ring (with non-zero identity). The Cousin complex C(A) for A is described in [19, Section 2]: it is a complex of A-modules and A-homomorphismswith the property that, for each n ∈ N0 (we use N0 to denote the set of non-negative integers),Cohen–Macaulay rings can be characterized in terms of the Cousin complex: A is a Cohen–Macaulay ring if and only if C(A) is exact [19, (4.7)]. Also, the Cousin complex provides a natural minimal injective resolution for a Gorenstein ring (see [19,(5.4)]).


Author(s):  
Hamidreza Karimirad ◽  
Moharram Aghapournahr

Let [Formula: see text] be a commutative Noetherian ring, [Formula: see text] an ideal of [Formula: see text] and [Formula: see text] an [Formula: see text]-module with [Formula: see text]. We get equivalent conditions for top local cohomology module [Formula: see text] to be Artinian and [Formula: see text]-cofinite Artinian separately. In addition, we prove that if [Formula: see text] is a local ring such that [Formula: see text] is minimax, for each [Formula: see text], then [Formula: see text] is minimax [Formula: see text]-module for each [Formula: see text] and for each finitely generated [Formula: see text]-module [Formula: see text] with [Formula: see text] and [Formula: see text]. As a consequence we prove that if [Formula: see text] and [Formula: see text], then [Formula: see text] is [Formula: see text]-cominimax if (and only if) [Formula: see text], [Formula: see text] and [Formula: see text] are minimax. We also prove that if [Formula: see text] and [Formula: see text] such that [Formula: see text] is minimax for all [Formula: see text], then [Formula: see text] is [Formula: see text]-cominimax for all [Formula: see text] if (and only if) [Formula: see text] is minimax for all [Formula: see text].


1994 ◽  
Vol 136 ◽  
pp. 133-155 ◽  
Author(s):  
Kazuhiko Kurano

Throughout this paperAis a commutative Noetherian ring of dimensiondwith the maximal ideal m and we assume that there exists a regular local ringSsuch thatAis a homomorphic image ofS, i.e.,A=S/Ifor some idealIofS. Furthermore we assume thatAis equi-dimensional, i.e., dimA= dimA/for any minimal prime idealofA. We put.


2013 ◽  
Vol 20 (04) ◽  
pp. 637-642 ◽  
Author(s):  
Abolfazl Tehranian ◽  
Atiyeh Pour Eshmanan Talemi

Let R be a commutative Noetherian ring, I, J two ideals of R, and M an R-module. For a non-negative integer t, we show: (a) If [Formula: see text] for all j < t and [Formula: see text] are finite (resp., Artinian), then [Formula: see text] is finite (resp., Artinian). (b) If [Formula: see text] for all j < t and [Formula: see text] are finite (resp., Artinian), then [Formula: see text] is finite (resp., Artinian). In addition, if (R,𝔪) is a local ring, J a non-nilpotent ideal, and M a finite R-module, then we show that [Formula: see text] is not Artinian for some i ∈ ℕ0.


1985 ◽  
Vol 26 (1) ◽  
pp. 51-67 ◽  
Author(s):  
Adrian M. Riley ◽  
Rodney Y. Sharp ◽  
Hossein Zakeri

Let A be a commutative Noetherian ring (with non-zero identity). The Cousin complex C(A) for A is described in [6, §2]: it is a complex of A-modules and A-homomorphismswith the property that, for each n≥0,Cohen-Macaulay rings may be characterized in terms of the Cousin complex: A is a Cohen-Macaulay ring if and only if C(A) is exact [6, (4.7)]. Also the Cousin complex provides a natural minimal injective resolution for a Gorenstein ring: see [6, (5.4)].


Sign in / Sign up

Export Citation Format

Share Document