A simplified proof of desingularization and applications
From MaRDI portal
Publication:2583386
DOI10.4171/RMI/425zbMATH Open1086.14012arXivmath/0206244OpenAlexW2010061190MaRDI QIDQ2583386FDOQ2583386
Authors: Ana Bravo, Santiago Encinas, Orlando E. Villamayor 
Publication date: 16 January 2006
Published in: Revista Matemática Iberoamericana (Search for Journal in Brave)
Abstract: 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 (X). 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.
Full work available at URL: https://arxiv.org/abs/math/0206244
Recommendations
Global theory and resolution of singularities (algebro-geometric aspects) (14E15) Computational aspects of higher-dimensional varieties (14Q15)
Cites Work
- Title not available (Why is that?)
- Algebraic approximation of structures over complete local rings
- Resolution of singularities of an algebraic variety over a field of characteristic zero. I
- Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant
- Strong resolution of singularities in characteristic zero
- Séminaire de géométrie algébrique du Bois Marie 1960/61 (SGA 1), dirigé par Alexander Grothendieck. Augmenté de deux exposés de M. Raynaud. Revêtements étales et groupe fondamental. Exposés I à XIII. (Seminar on algebraic geometry at Bois Marie 1960/61 (SGA 1), directed by Alexander Grothendieck. Enlarged by two reports of M. Raynaud. Ètale coverings and fundamental group)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Constructiveness of Hironaka's resolution
- Good points and constructive resolution of singularities
- Smoothness, Semistability, and Toroidal Geometry
- On Algorithmic Equi-Resolution and Stratification of Hilbert Schemes
- Title not available (Why is that?)
- Title not available (Why is that?)
- The Hironaka theorem on resolution of singularities (Or: A proof we always wanted to understand)
- Equivariant resolution of singularities in characteristic 0
- Title not available (Why is that?)
- Patching local uniformizations
- Good points of a hypersurface
- Automated resolution of singularities for hypersurfaces
- Title not available (Why is that?)
- Weak Hironaka theorem
- Title not available (Why is that?)
- Title not available (Why is that?)
- A STRENGTHENING OF RESOLUTION OF SINGULARITIES IN CHARACTERISTIC ZERO
- Title not available (Why is that?)
- Title not available (Why is that?)
- Sur la théorie du contact maximal. (On the theory of maximal contact)
- A new proof of desingularization over fields of characteristic zero
- Quasi-Canonical Uniformization of Hypersurface Singularities of Characteristic Zero
- Strengthening the theorem of embedded desingularization
Cited In (59)
- Notes on constructive desingularization
- A principalization algorithm for locally monomial ideal sheaves on 3-folds with an application to toroidalization
- A new proof of desingularization over fields of characteristic zero
- A simpler proof of toroidalization of morphisms from 3-folds to surfaces
- Nash multiplicities and isolated points of maximum multiplicity
- Sequences of monoidal transformations of a regular Noetherian local domain
- \(Q\)-universal desingularization
- Effective Hironaka resolution and its complexity
- Pseudomeromorphic currents on subvarieties
- Resolution algorithms and deformations
- Resolution of Singularities: An Introduction
- Partial local resolution by characteristic zero methods
- On constructive desingularization
- Today's menu: geometry and resolution of singular algebraic surfaces
- Embedded desingularization for arithmetic surfaces -- toward a parallel implementation
- The dualizing complex of \(F\)-injective and Du Bois singularities
- Constructiveness of Hironaka's resolution
- Algorithmic equiresolution of deformations of embedded varieties
- Toroidalization of locally toroidal morphisms from \(n\)-folds to 3-folds
- Title not available (Why is that?)
- Techniques for the study of singularities with applications to resolution of 2-dimensional schemes
- Algorithms for checking rational roots of \(b\)-functions and their applications
- A procedure for computing the log canonical threshold of a binomial ideal
- Towards massively parallel computations in algebraic geometry
- Polyhedral Resolutions of Algebraic Varieties
- Łojasiewicz exponents and resolution of singularities
- Finite morphisms and Nash multiplicity sequences
- On a new compactification of moduli of vector bundles on a surface. IV: Nonreduced moduli
- Toroidalization of locally toroidal morphisms
- Introduction to 𝑝-adic Igusa zeta functions
- On the use of naturality in algorithmic resolution
- A simplified game for resolution of singularities
- Formal desingularization of surfaces: The Jung method revisited
- Some applications of resolution of singularities from the practical point of view
- A subadditivity formula for multiplier ideals associated to log pairs
- Contact loci and Hironaka's order
- Automated resolution of singularities for hypersurfaces
- A semi-canonical reduction for periods of Kontsevich–Zagier
- A modified coefficient ideal for use with the strict transform
- Singular foliations with trivial canonical class
- Alternative invariants for the embedded resolution of purely inseparable surface singularities
- Title not available (Why is that?)
- On the motivic oscillation index and bound of exponential sums modulo \(p^m\) via analytic isomorphisms
- Desingularization in computational applications and experiments
- Simultaneous algorithmic resolution of singularities
- The Hironaka theorem on resolution of singularities (Or: A proof we always wanted to understand)
- Zeta functions and oscillatory integrals for meromorphic functions
- Toward resolution of singularities over a field of positive characteristic. I. Foundation; the language of the idealistic filtration
- Motivic Serre invariants, ramification, and the analytic Milnor fiber
- Equivalence and resolution of singularities
- The Computational Complexity of the Resolution of Plane Curve Singularities
- A remark on strong factorizing resolutions
- A smoothness test for higher codimensions
- Desingularization by blowings-up avoiding simple normal crossings
- Algorithms in the classical Néron desingularization
- Resolution of singularities of pairs preserving semi-simple normal crossings
- A computational view on Hironaka's resolution of singularities
- Towards parallel methods in birational geometry
- Massively parallel computations in algebraic geometry
Uses Software
This page was built for publication: A simplified proof of desingularization and applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2583386)
