Néron desingularization of extensions of valuation rings with an Appendix by Kęstutis Česnavičius
2019
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.
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
27
References
5
Citations
NaN
KQI