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

From MaRDI portal
scientific article
Language Label Description Also known as
English
A property of the absolute integral closure of an excellent local domain in mixed characteristic
scientific article

    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