Related papers: Local factorization and monomialization of morphis…
Suppose that f is a dominant morphism from a k-variety X to a k-variety Y, where k is a field of characteristic 0 and v is a valuation of the function field k(X). We allow v to be an arbitary valuation, so it may not be discrete. We prove…
Suppose that $\Phi:X\to Y$ is a morphism from a 3 fold to a surface (over an algebraically closed field of characteristic zero). We prove that there exist sequences of blowups of nonsingular subvarieties $X_1\to X$ and $Y_1\to Y$ such that…
Suppose that $f: Y\to X$ is a proper, dominant, tamely ramified morphism of algebraic surfaces, over a perfect field. We show that it is possible to perform sequences of monoidal transforms $Y'\to Y$ and $X'\to X$ to obtain an induced…
We give a simplified algorithm of the functorial weak factorization of birational morphisms of nonsingular varieties over a field of characteristic zero into a composite of blow-ups and blow-downs with smooth centers.
The strong factorization conjecture states that a proper birational map between smooth algebraic varieties over a field of characteristic zero can be factored as a sequence of smooth blowups followed by a sequence of smooth blowdowns. We…
We prove a monomialization theorem for mappings in general classes of infinitely differentiable functions that are called quasianalytic. Examples include Denjoy-Carleman classes, the class of $\cC^\infty$ functions definable in a…
Birational properites of generically finite morphisms $X\rightarrow Y$ of algebraic varieties can be understood locally by a valuation of the function field of $X$. In finite extensions of algebraic local rings in characteristic zero…
Suppose that $f:X\to Y$ is a dominant morphism of 3-folds over an algebraically closed field of characteristic zero. We prove that there exist sequences of blow ups of points and nonsingular curves $\Phi:X_1\to X$ and $\Psi:Y_1\to Y$ such…
We prove that a birational morphism of projective 3-folds, over a field of characteristic zero, can be made toroidal by performing a sequence of blow ups of points and nonsingular curves above the domain and target.
Building on the work of the fourth author in math.AG/9904074, we prove the weak factorization conjecture for birational maps in characteristic zero: a birational map between complete nonsingular varieties over an algebraically closed field…
Theorem 1.2.6 of [ATW20] provides a relatively functorial logarithmic principalization of ideals on relative logarithmic orbifolds $X\to B$ in characteristic 0, relying on a delicate monomialization theorem for Kummer ideals. The paper…
We investigate different approaches to transform a given binomial into a monomial via blowing up appropriate centers. In particular, we develop explicit implementations in {\sc Singular}, which allow to make a comparison on the basis of…
We initiate the study of factorization centers of birational maps, and complete it for surfaces over a perfect field in this article. We prove that for every birational automorphism $\phi : X \dashrightarrow X$ of a smooth projective…
In this paper we develop a Morse-like theory in order to decompose birational maps and morphisms of smooth projective varieties defined over a field of characteristic zero into more elementary steps which are locally \'etale isomorphic to…
In this paper we prove strong toroidalization of birational morphisms of 3-folds. Suppose that f:X\to Y is a birational morphism of nonsingular complete 3-folds, and D_Y, D_X are simple normal crossings divisors on Y and X such that…
We generalize an algorithm by Goward for principalization of monomial ideals in nonsingular varieties to work on any scheme of finite type over a field. The normal crossings condition considered by Goward is weakened to the condition that…
We prove that any dominant morphism of algebraic varieties over a field k of characteristic zero can be transformed into a toroidal (hence monomial) morphism by projective birational modifications of source and target. This was previously…
Let A^2 be the affine plane over a field K of characteristic 0. Birational morphisms of A^2 are mappings A^2 \to A^2 given by polynomial mappings \phi of the polynomial algebra K[x,y] such that for the quotient fields, one has K(\phi(x),…
We give a simpler and more conceptual proof that a morphism from a 3-fold to a surface, over an algebraically closed field of characteristic 0, can be made into a toroidal morphism by sequences of blow ups of nonsingular subvarieties above…
The problem of toroidalization is to construct a toroidal lifting of a dominant morphism $\varphi:X\to Y$ of algebraic varieties by blowing up in the target and domain. This paper contains a solution to this problem when $\varphi$ is…