Abhyankar places admit local uniformization in any characteristic

Local Uniformization of Abhyankar Valuations

We prove local uniformization of Abhyankar valuations of an algebraic function field K over a ground field k. Our result generalizes the proof of this result, with the additional assumption that the residue field of the valuation ring is separable over k, by Hagen Knaf and Franz-Viktor Kuhlmann. The proof in this paper uses different methods, being inspired by the approach of Zariski and Abhyankar.

Overweight deformations of affine toric varieties and local uniformization

We study Abhyankar valuations of excellent equicharacteristic local domains with an algebraically closed residue field. For zero dimensional valuations we prove that whenever the ring is complete and the semigroup of values taken by the valuation is finitely generated (which implies that the valuation is Abhyankar) the valuation can be uniformized in an embedded way by a birational map which is monomial with respect to a suitable system of generators of the maximal ideal. We prove that conversely if a valuation is Abhyankar after a birational modification and localization at the point picked b…

Every place admits local uniformization in a finite extension of the function field

We prove that every place P of an algebraic function field F|K of arbitrary characteristic admits local uniformization in a finite extension E of F. We show that E|F can be chosen to be Galois, after a finite purely inseparable extension of the ground field K. Instead of being Galois, the extension can also be chosen such that the induced extension EP|FP of the residue fields is purely inseparable and the value group of F only gets divided by the residue characteristic. If F lies in the completion of an Abhyankar place, then no extension of F is needed. Our proofs are based solely on valuation…

赋值环扩张的本原有限生成性

Essential finite generation of extensions of valuation rings

本文在完全一般性下证明了 Knaf 猜想，即用相关赋值扩张的经典不变量来刻画赋值环局部扩张何时本原有限型，推进了赋值局部一致化问题。

Altered Local Uniformization Of Rigid-Analytic Spaces

We prove a version of Temkin's local altered uniformization theorem. We show that for any rig-smooth, quasi-compact and quasi-separated admissible formal $\mathcal{O}_K$-model $\mathfrak{X}$, there is a finite extension $K'/K$ such that $\mathfrak{X}_{\mathcal{O}_{K'}}$ locally admits a rig-étale morphism $g\colon \mathfrak{X}' \to \mathfrak{X}_{\mathcal{O}_{K'}}$ and a rig-isomorphism $h\colon \mathfrak{X}" \to \mathfrak{X}'$ with $\mathfrak{X}'$ being a successive semi-stable curve fibration over $\mathcal{O}_{K'}$ and $\mathfrak{X}"$ being a poly-stable formal $\mathcal{O}_{K'}$-scheme. Mor…

On local uniformization in arbitrary characteristic, I

We prove that every place of an algebraic function field F|K of arbitrary characteristic admits local uniformization in a finite extension F' of F. We show that F'|F can be chosen to be normal. If K is perfect and P is of rank 1, then alternatively, F' can be obtained from F by at most two Galois extensions; if in addition P is zero-dimensional, then we only need one Galois extension. Certain rational places of rank 1 can be uniformized already on F. We introduce the notion of "relative uniformization" for arbitrary finitely generated extensions of valued fields. Our proofs are based solely on…