Related papers: Simple Constructive Weak Factorization
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…
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…
Suppose that X to Y is a generically finite map of nonsingular varieties over a field of characteristic zero, and v is a valuation of the function field of X. We prove that it is possible to perform a sequence of monoidal transforms X' to X…
For proper morphisms, we give a functorial flatification algorithm by blow-ups in the spirit of Hironaka's flatification algorithm. In characteristic zero, this gives functorial flatification by blow-ups in smooth centers. We also give a…
We prove functorial weak factorization of projective birational morphisms of regular quasi-excellent schemes in characteristic 0 broadly based on the existing line of proof for varieties. From this general functorial statement we deduce…
We describe an equivalent formulation of algebraic weak factorisation systems, not involving monads and comonads, but involving double categories of morphisms equipped with a lifting operation satisfying lifting and factorisation axioms.
We give an algorithm for removing stackiness from smooth, tame Artin stacks with abelian stabilisers by repeatedly applying stacky blow-ups. The construction works over a general base and is functorial with respect to base change and…
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…
The main goal of the present paper is two-fold. First we extend the theory of toroidal embeddings introduced by Kempf, Knudsen, Mumford and Saint-Donat to the class of toroidal varieties with stratifications (which is the main body of the…
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.
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…
Using full images of accessible functors, we prove some results about combinatorial and accessible model categories. In particular, we give an example of a weak factorization system on a locally presentable category which is not accessible.
We factorize three-dimensional terminal flops into a composition of divisorial contractions to points and blowing-up smooth curves.
This article presents three characterizations of the weak factorization systems on finitely complete categories that interpret intensional dependent type theory with Sigma-, Pi-, and Id-types. The first characterization is that the weak…
We give a short proof of W{\lodarczyk's theorem that any birational map between smooth projective varieties in characteristic zero is a composition of weighted blowups and blowdowns.
Let X be a smooth and tame stack with finite inertia. We prove that there is a functorial sequence of blow-ups with smooth centers after which the stabilizers of X become abelian. Using this result, we can extend the destackification…
We compute the factorization homology of a polynomial algebra over a compact and closed manifold with trivialized tangent bundle up to weak equivalence in a new way. This calculation is based on the model of a graph complex and an explicit…
We first introduce and study the notion of multi-weighted blow-ups, which is later used to systematically construct an explicit yet efficient algorithm for functorial logarithmic resolution in characteristic zero, in the sense of Hironaka.…
We give a constructive proof of the factorization theorem for the classical Hardy space in terms of fractional integral operator. Moreover, the result is extended to the multilinear case and weighted case. As an application, we obtain the…
We describe a simple approach to factorize non-commutative (nc) polynomials, that is, elements in free associative algebras (over a commutative field), into atoms (irreducible elements) based on (a special form of) their minimal linear…