Hypersurface sections and \(\text{S}_2\)-modules
type: Item
instance of: scholarly article
title: Hypersurface sections and \(\text{S}_2\)-modules
zbMATH Open document ID: 0988.13008
DOI: 10.1007/PL00000424
author: Mark R. Johnson
published in: Archiv der Mathematik
publication date: 2001-02-20T00:00:00Z
review text: Let \(R\) be a local ring and \(M\) an equidimensional finitely generated module. Let \(I\) be the intersection of the embedded primes of \(M\) and let \(M^{un}:=M/H^0_I(M)\). Then \(\text{Ass}(M^{un})\) consists on the minimal primes of \(M\), hence \(M^{un}\) is unmixed (i.e., equidimensional and without embedded primes). The author's main result is the following one: Let \(S\) be a local Cohen-Macaulay ring, \(N\) an unmixed \(S\)-module, \(\underline x=x_1, \dots,x_n\) a sequence in \(S\) which is \(S/\text{Ann}(N)\)-regular and set \(R=S/ (\underline x)\), \(M=N/(\underline x)N\). Assume that \(N/(x_1, \dots,x_i)N\) is unmixed in codimension 1 for \(1\leq i\leq n\). If \(M^{un}\) satisfies Serre's condition \(\text{S}_2\) then \(M\) is unmixed (i.e., \(M=M^{un})\) and \(\underline x\) is \(N\)-regular. The proof follows an idea of \textit{C. Huneke} and \textit{B. Ulrich} [J. Algebr. Geom. 2, 487-505 (1993; Zbl 0808.14041)]. -- The applications of the result concern ideals, i.e., the case \(N=S/J\). Assume, in this case, that \(\underline x\) is also \(S\)-regular and put \(I=(J+(\underline x))/ (\underline x)\), i.e., \(M=R/I\). The author shows for example that: (a) If \(I\) is an unmixed ideal of positive height and generically a complete intersection, if \(S^n(J)\simeq J^n\) and if \(I^{(n)}=I^n\) then \(S^n(I)\simeq I^n\). (b) If \(I\) is a complete intersection in codimension 1, if \(J^{(n)}=J^n\) and if \(R/I^{(n)}\) satisfies \(\text{S}_2\) then \(I^{(n)}=I^n\).
Mathematics Subject Classification ID: 13C40
Mathematics Subject Classification ID: 13H10
Mathematics Subject Classification ID: 13C15
zbMATH DE Number: 1437095
zbMATH Keywords: unmixed ideal
zbMATH Keywords: local ring
zbMATH Keywords: Cohen-Macaulay ring
zbMATH Keywords: complete intersection
reviewed by: Iustin Coandă
MaRDI profile type: Publication
full work available at URL: pl00000424
OpenAlex ID: W2007037623
Recommended article: Characterization of rings and modules with Serre condition \((S_n)\)
Recommended article: Locally unmixed modules and ideal topologies
Recommended article: On the unmixedness and universal catenaricity of local rings and local cohomology modules
Recommended article: On the parametric decomposition of powers of parameter ideals in a Noetherian local ring
Recommended article: Vanishing of local cohomology and set-theoretically Cohen-Macaulay ideals
Recommended article: Fitting ideals and finite projective dimension
Recommended article: Links of symbolic powers of prime ideals
Recommended article: Uniform annihilators of local cohomology
Recommended article: Asymptotic behavior of integral closures, quintasymptotic primes and ideal topologies
Recommended article: Q3158501
description: scientific article; zbMATH DE number 1437095