Rings with approximation property

Étale and flat extensions; Henselization; Artin approximation (13B40) Henselian rings (13J15) Local deformation theory, Artin approximation, etc. (14B12)

Review text

Let A be a noetherian semilocal ring which satisfies the Artin approximation property. It is well known that A is henselian, universally catenary and that the formal fibres of A are geometrically normal. The present paper proves that the formal fibres of A are geometrically regular; and hence, that A is an excellent ring. [The converse, that every henselian excellent semilocal ring which contains the field of rational numbers has the Artin approximation property, has already been proved by the author in Invent. Math. 88, 39-63 (1987; Zbl 0614.13014).] The idea of the proof is to find ``enough equations for describing the singularity of the localization \(\hat A_ P\) where \(\hat A\) is the completion of A and P is a prime ideal in the singular locus of A. The main tool in the proof is the theorem (due to the author and Artin) that if R is an excellent discrete valuation ring, then the formal power series ring \(RX_ 1,...,X_ n\) is a direct limit of smooth R- algebras.

Recommendations

Cites work

Cited in

(25)

This page was built for publication: Rings with approximation property

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