A strong desingularization theorem

arXivmath/0104001MaRDI QIDQ6471015FDOQ6471015

Authors: Ana Bravo, Orlando E. Villamayor 

Publication date: 30 March 2001

Abstract: Let $X$ be a closed subscheme embedded in a scheme $W$ smooth over a field $$ of characteristic zero, and let $mathcalI(X)$ be the sheaf of ideals defining $X$. Assume that the set of regular points of $X$ is dense in $X$. We prove that there exists a proper, birational morphism, $pi:W_{r}longrightarrowW$, obtained as a composition of monoidal transformations, so that if $X_{r}subset{W}_r$ denotes the strict transform of $XsubsetW$ then: 1) The morphism $pi:W_{r}longrightarrowW$ is an embedded desingularization of $X$ (as in Hironaka's Theorem); 2) The {em total transform} of $mathcalI(X)$ in ${mathcalO}_{W_r}$ factors as a product of an invertible sheaf of ideals $mathcalL$ supported on the exceptional locus, and the sheaf of ideals defining the strict transform of $X$ (i.e. $mathcalI(X){mathcalO}_{W_r}=mathcalLcdotmathcalI(X_r)$). This result is stronger than Hironaka's Theorem, in fact (2) is novel and does not hold for desingularizations which follow Hironaka's line of proof unless $X$ is a hypersurface. We will say that $W_{r}longrightarrowW$ defines a {em Strong Desingularization of $X$}.

Mathematics Subject Classification ID

Global theory and resolution of singularities (algebro-geometric aspects) (14E15)

This page was built for publication: A strong desingularization theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6471015)