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

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'\) containing \(\mathbf{Q}\) we show that \(V'\) is a filtered direct limit of smooth V-algebras. This corrects a paper of us [23] 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.