10
$\begingroup$

Is the composition of blowing-up of algebraic varieties itself a blowing-up ?

I think this is true but I am surprised not to have found any reference, though it seems to be an interesting property. Of course, I'm not able either to prove it myself...

If one blows up quasi projective varieties, then the result is easy : since the composition is be a projective birationnal morphism, it is a blowing-up [Hartshorne, th 7.17, p. 166]. But what about the general case ?


Edit

In the late but very good answer of Lierre (!), it is claimed that “There exists a $p$ and an ideal sheaf $J\subset \mathcal O_{X_0}$ such that $J\cdot \mathcal O_{X_1} = E_0^p I_1$.” How to prove it ? I not sure we can patch the argument of the short answer.

1 Answers 1