Separable integral extensions and plus closure

DOI10.1007/S002290050156MaRDI QIDQ1294054zbMATH OpenOpenAlexFDO

Authors Anurag K. Singh

Publication date 24 July 2000

Published in Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0210092

zbMATH Keywords

characteristic \(p\)Cohen-Macaulay algebracubic hypersurface ringexcellent domainintegral closureplus closureseparable module-finite extension

Mathematics Subject Classification ID

Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Integral closure of commutative rings and ideals (13B22) Cohen-Macaulay modules (13C14) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: Let R be an excellent local domain of positive characteristic, and R^+ denote the integral closure of R in an algebraic closure of its fraction field. Hochster and Huneke proved that R^+ is a big Cohen-Macaulay algebra for R, and asked if there is a smaller R-algebra with the Cohen-Macaulay property. In this paper we establish the existence of a smaller big Cohen-Macaulay algebra which is, moreover, a separable extension.

Review text

Let \(R\) be an excellent domain of characteristic \(p\), \(K\) the quotient field of \(R\), \(\overline{K}\) an algebraic closure of \(K\) and \(L\) the maximal separable field extension of \(K\) in \(\overline{K}\). Let \(R^+\) (respectively \(R^{+\operatorname {sep}})\) be the integral closure of \(R\) in \(\overline{K}\) (respectively \(L\)) and, for an ideal \(I\) of \(R\), \(I^+= IR^+\cap R\). Using an equational construction, the author shows that for every element \(z\in I^+\) there exists an integral domain \(S\), which is a separable module-finite extension of \(R\), such that \(z\in IS\). Consequently, he shows that \(I^+= IR^{+\operatorname {sep}}\cap R\), for every ideal \(I\) of \(R\). He also proves that, when \(R\) is local, \(R^{+\operatorname {sep}}\) is a big Cohen-Macaulay \(R\)-algebra [\textit{M. Hochster} and \textit{C. Huneke} have shown in Ann. Math., II. Ser. 135, 53-89 (1992; Zbl 0753.13003) that \(R^+\) is a big Cohen-Macaulay algebra]. In the last section, it is shown that \(xyz\in (x^2, y^2, z^2)^+\) in the cubic hypersurface ring \(R = k[X, Y, Z]/ (X^3+ Y^3+ Z^3)\), where \(K\) is a field of characteristic \(p\equiv 1\pmod 3\).

Recommendations

• The plus closure of an ideal.
• Infinite integral extensions and big Cohen-Macaulay algebras
• Extended plus closure and colon-capturing
• A property of the absolute integral closure of an excellent local domain in mixed characteristic
• Tight closure, plus closure and Frobenius closure in cubical cones
• Applications of the existence of big Cohen-Macaulay algebras
• Coherence of absolute integral closures
• Closure operations that induce big Cohen-Macaulay modules and classification of singularities
• On the existence of birational maximal Cohen-Macaulay modules over biradical extensions in mixed characteristic
• Tight closure of parameter ideals

Cited in

(10)

• The plus closure in degree two extensions
• Purely inseparable extensions of complete intersections
• The plus closure of an ideal.
• scientific article; zbMATH DE number 1743910 (Why is no real title available?)
• scientific article; zbMATH DE number 3342106 (Why is no real title available?)
• scientific article; zbMATH DE number 2236748 (Why is no real title available?)
• Openness of splinter loci in prime characteristic
• Vanishing of Tors of absolute integral closures in equicharacteristic zero
• Galois extensions, plus closure, and maps on local cohomology
• Absolute integral closure in positive characteristic

This page was built for publication: Separable integral extensions and plus closure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1294054)