Néron desingularization of extensions of valuation rings with an Appendix by Kęstutis Česnavičius

Abstract

Zariski's local uniformization, a weak form of resolution of singularities, implies that every valuation ring containing $\mathbf{Q}$ is a filtered direct limit of smooth $\mathbf{Q}$-algebras. Given an immediate extension of valuation rings $V\subset V^{\prime }$ containing $\mathbf{Q}$ we show that $V^{\prime }$ is a filtered direct limit of smooth $V$-algebras. This corrects a paper of us \cite{Po1} where we thought that we may reduce to the case when the value groups are finitely generated. For this correction we use an infinite tower of ultrapowers construction that rests on results from model theory. .

Theorem 2 is given in a weaker form. This version will appear in Proceedings of Transient Transcendence in Transylvania 2019, Eds. Alin Bostan, Kilian Raschel (possible in Springer Collection PROMS)