4
$\begingroup$

Starting from an informal understanding of blowing-up as replacing a subscheme by the possible directions into it (or some more accurate formulation of this), how does one justify the definition of the blow-up of $X$ along $Y$ by the formula

$ \mathrm{Bl}_Y(X) = \mathbf{Proj} \left( \mathrm{Rees}(\mathcal{I}) \right ) = \mathbf{Proj} \left ( \mathcal{O}_X \oplus \mathcal{I} \oplus \mathcal{I}^2 \oplus \cdots\right )?$

Here $\mathcal{I}$ is the ideal sheaf defining $Y$ in $X$ (with appropriate conditions as needed).

I'm not used to thinking about what $\mathbf{Proj}$ looks like; although things like $ \mathbf{Proj}\left ( \mathrm{Sym} \left ( (\mathcal{O}_S^{n+1})^\vee \right )\right ) = \mathbb{P}^n_S$ are obviously quite intuitive.

What happens if I consider instead $ \mathbf{Proj}\left ( \mathrm{Sym}(\mathcal{I} ) \right )$? Is this a related object, and what's its geometric interpretation? (In some simple examples these are closely related, as in the case of the blowup of the plane at the origin where $\mathrm{Sym}(\mathcal{I}) = \mathrm{Rees}(\mathcal{I})$; see comments to rattle's answer.)

(I'm aware of the universal property of blow-ups where this description fits in rather easily, although my understanding of $\mathbf{Proj}$ is sufficiently lacking for me to understand that properly; but that's not really the question I'm asking.)

2 Answers 2

3

I can probably only satisfy your intuition when we are blowing up a nonsingular $k$-variety $X$ in a nonsingular subvariety $Y$. In this case, Theorem 8.24 in chapter II of Hartshorne's book shows that the exceptional divisor of the blow-up is actually $\mathbb{Proj}(\mathrm{Sym}(\mathcal{I}/\mathcal{I}^2))$, and $\mathcal{I}/\mathcal{I}^2$ is the conormal sheaf of $Y$ in $X$. Hence, we really replace $Y$ by all possible directions through it.

Note that $\mathbb{Proj}(\mathrm{Sym}(\mathcal{I}))$ does not usually make sense since $\mathcal{I}$ can only be locally free if it defines something in codimension one. In that case, it will be the same as the blow-up, namely the same as $X$ - you are changing nothing.

  • 0
    That argument seems very solid, and thinking about it,$I$figured that the morphism of graded $A$-algeras $\mathrm{Sym}(I)\to\mathrm{Rees}(I)$ "defined" by $x\otimes y\mapsto xyT^2$ should always be well-defined and surjective. Howver,$I$have to be frank and admit that right now, I don't really know much more and don't want to speculate. I will look into it, though.2011-10-18
3

I had exactly the same question about how taking the Rees or symmetric algebra of an ideal would lead to diffrent geometric constructions, and wasn't satisfied by rattle's answer. Thought I might share my findings on this.

The essential difference between the two is the following : the Rees algebra corresponds to what is called the normal cone, ie the "set" of all normal directions through the subscheme, whereas considering the symmetric algebra leads to the normal bundle, ie the vector space generated by all normal directions. See the discussion of the tangent cone on wikipedia : http://en.wikipedia.org/wiki/Tangent_cone.

Now we always have a surjection $\mathrm{Sym}(\mathcal{I}) \to \mathrm{Rees}(\mathcal{I})$ which induce a canonical closed immersion of the cone in the bundle, which is quite intuitive. Observe that in the case of a smooth scheme, the normal directions already form a vector space, so that both algebras will coincide, as rattle mentioned in his answer.

Hence the reason why we define the blow-up by means of the Rees algebra is that we really want to replace the closed subscheme by all normal directions through it, and not by whatever vector space they would generate, as we would have done with the symmetric algebra.