A property of the absolute integral closure of an excellent local domain in mixed characteristic (Q841556)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 5604549
Language Label Description Also known as
default for all languages
No label defined
    English
    A property of the absolute integral closure of an excellent local domain in mixed characteristic
    scientific article; zbMATH DE number 5604549

      Statements

      A property of the absolute integral closure of an excellent local domain in mixed characteristic (English)
      0 references
      0 references
      17 September 2009
      0 references
      For an arbitrary domain \(R\), the absolute integral closure \(R^+\) is defined as the integral closure of \(R\) inside an algebraic closure of the field of fractions of \(R\). By Theorem 5.5 of \textit{M. Hochster} and \textit{C. Huneke} [Ann. Math. (2) 135, No. 1, 53--89 (1992; Zbl 0753.13003)] \(R^+\) is a balanced big Cohen-Macaulay algebra in the case \(R\) is an excellent local domain of prime characteristic, i.e., every system of parameters in R is a regular sequence on \(R^+\). But if \(R\) is of characteristic zero and of dimension \(\geq4\), \(R^+\) is not balanced big Cohen-Macaulay algebra [see Proposition 3.6 of \textit{I. M. Aberbach} and \textit{M. Hochster}, J. Pure Appl. Algebra 122, No. 3, 171--184 (1997; Zbl 0908.13006)]. Now assume that \((R,m, k)\) is a local excellent domain of mixed characteristic \(p\) and of dimension \(\geq 3\). Then the main result of the paper under review says that \(H^1_m(R^+/\sqrt{p R^+}) = 0\) and every part of a system of parameters of \(R/\sqrt{p R}\) of length two is a regular sequence on \(R^+/\sqrt{p R^+}\).
      0 references
      absolute integral closure
      0 references

      Identifiers