Embedded resolution of singularities - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T04:10:52Z http://mathoverflow.net/feeds/question/120525 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/120525/embedded-resolution-of-singularities Embedded resolution of singularities Dan W 2013-02-01T15:18:19Z 2013-02-02T00:15:51Z <p>I'd like to check with my colleagues whether I have correctly understood "embedded resolution of singularities". </p> <p>Let $X$ be a nonsingular projective variety over $\mathbf C$ and let $D$ be a "nice" divisor on $X$, say $D$ has strictly normal crossings. (Maybe we could just take $D$ to be a closed subscheme?)</p> <p>Then, has the following statement been proven? And what is a "good" reference?</p> <p>There exists a projective birational surjective morphism $\psi:Y\to X$ with $Y$ a nonsingular projective variety over $\mathbf C$ and the inverse image of $D$ in $Y$ a nonsingular projective variety over $\mathbf C$ of codimension one in $Y$?</p> <p>I'm worried about whether I have correctly understood this statement, or maybe one needs some "normality" conditions on $D$ to assure this "embedded" resolution of singularities.</p> <p>Also, how does one obtain this embedded resolution of singularities? Can we write down a terminating process which ends with an embedded resolution of singularities?</p> <p>I have a hard time "believing" the above statement, but I don't know why. If anybody can explain to me that this is not so surprising as a result I would be very thankful.</p> http://mathoverflow.net/questions/120525/embedded-resolution-of-singularities/120554#120554 Answer by Donu Arapura for Embedded resolution of singularities Donu Arapura 2013-02-01T21:54:02Z 2013-02-01T21:54:02Z <p>What embedded resolution does achieve is this: if $Z\subset X$ is a Zariski closed set in a variety, then there is a smooth variety $Y\to X$, obtained from a series of blow ups along smooth centers, such that the preimage of $Z$ is a divisor with normal crossings. However, there is no reason to expect that the inverse of image of $Z$ (or your $D$) in a further blow up will be smooth. (Francesco said this already in a comment, but it bears repeating.) This is already clear in the case where D is a union of two lines in the plane. If you take the preimage in a further blow up, you will get a tree of $\mathbb{P}^1$'s. So your instinct is correct here.</p> http://mathoverflow.net/questions/120525/embedded-resolution-of-singularities/120564#120564 Answer by Sándor Kovács for Embedded resolution of singularities Sándor Kovács 2013-02-02T00:15:51Z 2013-02-02T00:15:51Z <p>As Donu and Francesco already explained, the preimage of $D$ is usually not smooth simply because if it contains any subvarieties (subschemes) that are blown up, then the preimage will not be irreducible, but if $X$ is normal, then the preimage will be connected and hence necessarily singular along the intersection of different components.</p> <p>On the other hand what can be achieved is that the <em>strict transform</em> of $D$ is non-singular. The strict transform or birational transform is the closure of the dense subset of $D$ that lies on the locus of $X$ where the resolution is an isomorphism. </p>