A Simplified Proof of Desingularization and Applications

  • Ana María Bravo

    Universidad Autónoma de Madrid, Spain
  • Santiago Encinas

    Universidad de Valladolid, Spain
  • Orlando Villamayor U.

    Universidad Autónoma de Madrid, Spain


This paper contains a short and simplified proof of desingularization over fields of characteristic zero, together with various applications to other problems in algebraic geometry (among others, the study of the behavior of desingularization of families of embedded schemes, and a formulation of desingularization which is stronger than Hironaka's). Our proof avoids the use of the Hilbert-Samuel function and Hironaka's notion of normal flatness: First we define a procedure for principalization of ideals (i.e. a procedure to make an ideal invertible), and then we show that desingularization of a closed subscheme is achieved by using the procedure of principalization for the ideal associated to the embedded scheme . The paper intends to be an introduction to the subject, focused on the motivation of ideas used in this new approach, and particularly on applications, some of which do not follow from Hironaka's proof.

Cite this article

Ana María Bravo, Santiago Encinas, Orlando Villamayor U., A Simplified Proof of Desingularization and Applications. Rev. Mat. Iberoam. 21 (2005), no. 2, pp. 349–458

DOI 10.4171/RMI/425