A strong desingularization theorem

Details A strong desingularization theorem A strong desingularization theorem

2001-03-31

arxiv.org/abs/math/0104001v1

Mathematics

Algebraic Geometry

31 pages

Scientific paper

Let $X$ be a closed subscheme embedded in a scheme $W$ smooth over a field ${\bf k}$ of characteristic zero, and let ${\mathcal I}(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\longrightarrow W$, obtained as a composition of monoidal transformations, so that if $X_r\subset W_r$ denotes the strict transform of $X\subset W$ then: 1) The morphism $\pi:W_r\longrightarrow W$ is an embedded desingularization of $X$ (as in Hironaka's Theorem); 2) The {\em total transform} of ${\mathcal I}(X)$ in ${\mathcal O}_{W_r}$ factors as a product of an invertible sheaf of ideals ${\mathcal L}$ supported on the exceptional locus, and the sheaf of ideals defining the strict transform of $X$ (i.e. ${\mathcal I}(X){\mathcal O}_{W_r}={\mathcal L}\cdot{\mathcal I}(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\longrightarrow W$ defines a {\em Strong Desingularization of $X$}.

Affiliated with

Also associated with

No associations

Rating

A strong desingularization theorem does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A strong desingularization theorem, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A strong desingularization theorem will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-406391