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
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