3
$\begingroup$

Today in my introductory algebraic geometry class we defined the so-called Rees algebra associated with an ideal $I$ of a ring $R$ (with strong conditions on $R$, if you like: I don't mind restricting to finitely generated reduced algebras $R$ over an algebraically closed field $k$). If we want to think of (maximal) Proj applied to the Rees algebra as Spec $R$ blown up along the vanishing set of $I$, what happens when $I$ is not radical?

In particular, if $R = k[X_1,\cdots,X_n]$ and $I = (X_1,\cdots,X_n)$ we get $\mathbb{A}^n$ blown up at the origin. Have people tried to interpret geometrically the Rees algebra of $I^m$ for $m > 1$, or even $I^2$? I asked my professor, and (in an unusual turn of events) he did not have an answer available off the top of his head.

$\endgroup$
1
  • 1
    $\begingroup$ It is still called blowup (cf. 5.6 in Swanson-Huneke people.reed.edu/~iswanson/book/index.html ). What it looks like geometrically is another question (but then again, I have never understood what is geometic about blowing up...). $\endgroup$ Nov 16, 2010 at 11:09

2 Answers 2

5
$\begingroup$

The blowup of $Spec R$ along $I$ and $I^m$ give isomorphic results. This is Hartshorne exercise II.7.11.a. In general, any birational projective morphism is realized as the blowing up of the target along some ideal sheaf, which in general will be quite complicated (e.g. not radical, but not a power of a radical ideal either).

$\endgroup$
2
$\begingroup$

Here are some other examples that you might find interesting. Try blowing up the following ideals:

$(x,y^2), (x^2, y^2), (x,y^2)(x,y) = (x^2, xy, y^3)$

Playing around with the third one will likely lead you to understand what blowing up the product of ideals does.

In some related contexts, you might ask what ideals $I, J$ have the same normalized blow-ups $\pi : \widetilde X \to X$ and the same pull-backs $I \cdot O_{\widetilde X} = J \cdot O_{\widetilde X}$. The answer is whenever $I$ and $J$ have the same integral closure (in some sense, the integral closure of an ideal is the largest ideal having the same normalized blow-up, and pull-back, as the given ideal).

In particular, the ideal $(x^2, y^2)$ has the same integral closure as $(x^2,xy, y^2)$ because, while they have different blow-ups, the normalizations of those blow-ups is the same.

The previously mentioned book by Swanson and Huneke certainly will have some discussion of this.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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