Inseparable local uniformization

From MaRDI portal
Publication:2377425



Abstract: It is known since the works of Zariski in early 40ies that desingularization of varieties along valuations (called local uniformization of valuations) can be considered as the local part of the desingularization problem. It is still an open problem if local uniformization exists in positive characteristic and dimension larger than three. In this paper, we prove that Zariski local uniformization of algebraic varieties is always possible after a purely inseparable extension of the field of rational functions, i.e. any valuation can be uniformized by a purely inseparable alteration.


The paper under review deals with local uniformization of algebraic varieties, which can be considered as the local part of desingularization. The author proves that it always hold after a purely inseparable extension of the function field of the variety. More precisely, let \(X\) be an integral algebraic variety. Then \(X\) may be covered by a finite number of integral and regular varieties \(Y_{1},\dotsc,Y_{n}\) such that the extensions \(k(Y_{i})/k(X)\) are all purely inseparable. The proof goes by induction on the dimension and involves fibrating by curves. It is worth noticing that the proof of the induction step relies on inseparable local uniformization for some points on non-Archimedean \(k\)-analytic curves (type 1 and 4 in Berkovich's terminology; they are called terminal by the author). A decompletion procedure then allows to deduce a uniformization result for certains valuations on a curve over \(k^\circ\). The base case of the induction, which consists in local uniformization for Abhyankar valuations, is proved at the end of the paper. It involves techniques from logarithmic geometry.



Cites work


Cited in
(45)








This page was built for publication: Inseparable local uniformization

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