1996/03/24 by Fedor Bogomolov, Tony Pantev, Bogomolov, Fedor +1
Computer Science · Mathematics · #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Commutative Algebra and Its Applications #FOS: Mathematics #Polynomial and algebraic computation #alg-geom #math.AG
paper · pdf · doi:10.48550/arxiv.alg-geom/9603019
11 pages, minor corrections, version revised for publication LATEX 2e
openalex publication_date 1996/03/24 · arxiv created 1996/07/26 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The purpose of this note is to give a simple proof of the following theorem: Let X be a normal projective variety over an algebraically closed field k, \opchar k = 0 and let D ⊂ X be a proper closed subvariety of X. Then there exist a smooth projective variety M, a strict normal crossings divisor R ⊂ M and a birational morphism f : M → X with f-1 D = R. The method of proof is inspired by A.J. de Jong alteration ideas. We also use a multidimensional version of G.Belyi argument which allows us to simplify the shape of a ramification divisor. By induction on the dimension of X the problem is reduced to resolving toroidal singularities. This process however is too crude and does not permit any control over the structure of the birational map f. A different proof of the same theorem was found independently by D. Abramovich and A.J. de Jong. The approach is similar in both proofs but they seem to be rather different in details.