MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose I have a smooth algebraic surface $X$ and a subscheme $Z$ such that the blowup $$Y = Bl(X,Z)$$ is smooth.

Now $Z$ does not have to be smooth, say if it is given by some power of the maximal ideal at a point, but is it nevertheless the case that $Y$ is isomorphic to the iterated blowup of $X$ along smooth points?

share|cite|improve this question

Yes. Every proper, birational morphism between smooth algebraic surfaces can be obtained by the iterated blowup at reduced points. I don't have a reference at hand, but it's contained somewhere in Beauville's book. It's probably also in Hartshorne Chapter V.

The basic idea is that given such a morphism $Y \rightarrow X$, there are finitely many points of $X$ where it is not an isomorphism. You can blow up at these and $Y$ will factor through the blow-up. You repeat this process finitely many times and you'll get an isomorphism.

share|cite|improve this answer

The OP is assuming the blowup is smooth already. In which case maybe the statement follows from the cone theorem in MMP? (overkill for surfaces!)

share|cite|improve this answer
is it clear that contractions of extremal rays still map to X? Or can we run some relative MMP for Y over X? – user1640 Sep 2 '11 at 0:38
Yes, one can run a relative MMP to get the claim. But, as martin says, this is indeed overkill. – ulrich Sep 2 '11 at 9:52

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.