Homological properties of the perfect and absolute integral closures of noetherian domains (Q985693)

Let \((R,\mathfrak{m})\) be a commutative noetherian local domain. Its absolute integral closure \(R^+\) is defined as the integral closure of \(R\) inside an algebraic closure of the field of fractions of \(R\). It is known that if \(R\) is henselian then \(R^+\) is local; its unique maximal ideal is then denoted by \(\mathfrak{m}_{R^+}\). If \(R\) has prime characteristic \(p\) then its perfect closure \(R_\infty\) consists of all \(x \in R^+\) such that \(x^{p^n} \in R\) for some \(n \geq 0\). About the absolute integral closure \(R^+\), the author proves the following. If \(R\) is henselian and \(R/\mathfrak{m}\) has prime characteristic then: (1) The module \(R^+/\mathfrak{m}_{R^+}\) has a bounded resolution of length \(2\,\mathrm{dim}\,R\) by countably generated free \(R^+\)-modules. (2) If \(R\) is complete with \(\mathrm{dim}\,R=1\) then \(\mathrm{gldim}\,R^+=2\). About the perfect closure \(R_\infty\) (where \(R\) is assumed to have prime characteristic), the author proves the following. (1) Every prime ideal in \(R_\infty\) has a bounded resolution by countably generated free \(R_\infty\)-modules. (2) If \(\mathrm{dim}\,R_\infty<3\) then \(\sup\{\mathrm{pd}_{R_\infty}(R_\infty/\mathfrak{p}) \,|\, \mathfrak{p} \in \mathrm{Spec}\,R_\infty\}\) is finite. (3) If \(R_\infty\) is coherent then \(\mathrm{gldim}\,R_\infty \leq \mathrm{dim}\,R+1\). (4) If \(R\) is regular with \(\mathrm{dim}\,R=1\) then \(\mathrm{gldim}\,R_\infty=2\).