Weak toroidalization over non-closed fields
The authors prove that a dominant morphism of algebraic varieties over a field \(k\) of characteristic zero can be ``improved by suitable projective modifications of the domain and codomain. More precisely, if \(f:X \to B\) is a dominant morphism, there are projective, birational morphisms \(m_X:X' \to X\) and \(m_B:B' \to B\), with \(W'\) and \(B'\) smooth, quasiprojective varieties, open toroidal embeddings \(U_{X'} \subset X'\) and \(U_{B'} \subset B'\), so that the induced birational map \(f':X' \to B'\) is a toroidal morphism. Moreover, if \(Z\) is a proper closed subset of \(X'\) then \(Z' = m_X ^{-1}(Z)\) is a strict normal crossings divisor of \(X'\), disjoint with \(U_{X'}\), and \(U_{X'}\) is isomorphic to \(m_{X'}(U_X)\). A similar result, but also assuming \(k\) algebraically closed, was proved in [\textit{D. Abramovich} and \textit{K. Karu}, Invent. Math. 139, No. 2, 241--273 (2000; Zbl 0958.14006)], although for some applications the algebraically closed condition is too restrictive. The present demonstration is based on that of the mentioned paper, but sometimes special care is necessary to show that certain objects are defined over \(k\) itself and not some algebraic extension of it. The proof begins with a series of reductions that allow us to assume, among other things, that \(X\) and \(B\) are projective and normal. Then one uses an inductive argument (on the relative dimension of \(X\) over \(B\)). Namely, the morphism \(f\) is factored as \(X \to P \to B\), where \(\dim P= \dim X -1\). After further work one may assume that the morphism \(X \to P\) defines a semistable family of curves (the geometric fibers are connected nodal curves). This fact and the inductive hypothesis of \(P \to B\) allow the authors, after considerable work, to finish the proof. The base of the induction (i.e., the case where the relative dimension of \(X\) over \(B\) is equal to zero) is not trivial. In this case, after several reductions, the authors are able to use a variant of Abhyankar's Lemma. Although eventually the morphisms \(m_X\) and \(m_B\) are birational, in the course of the proof they use \textit{alterations} (proper, generally finite morphisms). They go back to birational morphisms by taking quotients under the action of suitable finite groups. The article is fairly self-contained. The authors briefly review a number a number of necessary notions and results, which facilitates the reading.
- Toroidalization of dominant morphisms of 3-folds
- Toroidalization of locally toroidal morphisms of 3-folds
- Toroidal varieties and the weak factorization theorem
- A simpler proof of toroidalization of morphisms from 3-folds to surfaces
- Toroidalization of locally toroidal morphisms from \(N\)-folds to surfaces
- Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant
- Critères de platitude et de projectivité. Techniques de platification d'un module. (Criterial of flatness and projectivity. Technics of flatification of a module.)
- Exposé X. Gabber's modification theorem (log smooth case)
- Families of curves and alterations
- Geometric proofs of theorems of Ax-Kochen and Eršov
- Good points and constructive resolution of singularities
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- scientific article; zbMATH DE number 3373899 (Why is no real title available?)
- Introduction to Toric Varieties. (AM-131)
- Lectures on Resolution of Singularities (AM-166)
- Local monomialization of transcendental extensions.
- Logarithmic structures of Fontaine-Illusie. II
- Resolution of singularities of an algebraic variety over a field of characteristic zero. I
- Smoothness, semi-stability and alterations
- Smoothness, Semistability, and Toroidal Geometry
- The tame fundamental groups of a formal neighbourhood of a divisor with normal crossings on a scheme
- Toric singularities: Log-blow-ups and global resolutions
- Torification and factorization of birational maps
- Toroidal embeddings. I
- Toroidalization of dominant morphisms of 3-folds
- Weak semistable reduction in characteristic 0
- Monomialization of strongly prepared morphisms from nonsingular \(n\)-folds to surfaces
- Weak semistable reduction in characteristic 0
- The tight approximation property
- Toroidalization of locally toroidal morphisms from \(n\)-folds to 3-folds
- Principalization of ideals on toroidal orbifolds
- Proof of a conjecture of Colliot-Thélène and a Diophantine excision theorem
- Toroidalization of locally toroidal morphisms from \(N\)-folds to surfaces
- Toroidalization of locally toroidal morphisms of 3-folds
- Monomialization of morphisms and p-adic quantifier elimination
- The structure of morphisms
- scientific article; zbMATH DE number 3985616 (Why is no real title available?)
- A simpler proof of toroidalization of morphisms from 3-folds to surfaces
- Local monomialization of analytic maps
- scientific article; zbMATH DE number 2220978 (Why is no real title available?)
- Toroidalization of locally toroidal morphisms
- Some aspects of rational points and rational curves
- Existence of canonical models for Kawamata log terminal pairs
- Monomialization of a quasianalytic morphism
- Quotient singularities in the Grothendieck ring of varieties
This page was built for publication: Weak toroidalization over non-closed fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q361834)
