Blowing things up

In my post on Resolution of Singularities, I talked about three means of resolving singularities of varieties. One, normalization, which resolves codimension one singularities, has been covered. Now, we’re moving on to the real heavy guns. Hironaka proved that blow-ups resolve ALL singularities. And aside from that, blow-ups are useful to construct new varieties out of old.

Though the geometry is of central importance and, I think, came first historically, we’re going to talk algebra first. Let R be a ring and I be an ideal. Then we define the graded ring B_I R=R\oplus I\oplus I^2\oplus\ldots to be the blowup algebra of I in R. Now, we can express this ring as R[It], that is, we take an additional variable, and then adjoin all the elements of I multiplied by it to the ring, and take the grading in t. Now, for a finitely generated k-algebra, we can write the blowup algebra more explicitly.

Let I=(f_0,\ldots,f_\ell) be an ideal and let a_1,\ldots,a_n be generators of R as a k-algebra. Then we can define a map k[x_1,\ldots,x_n,y_0,\ldots,y_\ell]\to B_I R by x_i\mapsto a_i and y_j\mapsto f_j t. Now, we look at the kernel of this map. We have to get an ideal which is homogeneous in the y_j, and so we can define a variety in \mathbb{A}^n\times\mathbb{P}^\ell. This is the blowup of the affine variety determined by R along the subvariety determined by I. Or, actually, the subscheme determined by I, because we made no requirement that I be radical. It has the nice property that the projection \mathbb{A}^n\times\mathbb{P}^\ell\to \mathbb{A}^n takes the blowup variety to the original affine variety, and is an isomorphism on the open set of points which aren’t in the preimage of V(I).

Before doing any more description of blowups and their general properties, we’re going to give a much more general construction which reduces to the above in the case of an affine variety.

Now, let X be a noetherian scheme and let \mathscr{I} be a coherent sheaf of ideals on X. We define \mathbb{B}(\mathscr{I}) to be the graded sheaf of algebras \oplus_{j\geq 0} \mathscr{I}^j where \mathscr{I}^0=\mathscr{O}_X. This sheaf of algebras is commutative and quasi-coherent, and locally it is finitely generated by \mathbb{B}^1(\mathscr{I}) over \mathbb{B}^0(\mathscr{I}), which means that \mathscr{I} generates it over \mathscr{O}_X.

So once we have a nice graded sheaf of commutative algebras on a scheme, what can we do with it? Well, perhaps we can generalize our earlier notion of Proj, which took a graded ring, and get a way to take sheaves of graded algebras to schemes. We construct the new functor, Proj, first by doing things locally, then gluing it together. So let \cup U_i be an open affine cover of X and \mathscr{S} a graded sheaf of algebras. Then we denote by PU_i=\mathrm{Proj}(\Gamma(U,\mathscr{S}|_U), and this comes with a natural morphism PU_i\to U_i. A standard gluing argument (rather similar to the one from normalization) lets us patch these maps together to get \mathbf{Proj}(\mathscr{S}).

Now, if you got lost in that nasty local construction, well, it happens, and though it’s nice to know that these things always exist, the situations we will be focusing on will be nicer in general. However, there is an alternate useful characterization of blowups which we should mention, and it doesn’t make existence obvious, but it shows that there’s a nice geometric universal property here. Let X be any scheme and let Y\subset X a subscheme. Then the blowup of X along Y, which is \phi:Bl_Y(X)\to X is the scheme and morphism characterized by the following two properties:

  1. The scheme \phi^{-1}(Y) in Bl_Y(X) is a Cartier divisor.
  2. If f:W\to X is any morphism with f^{-1}(Y) a Cartier divisor in W, then there is a unique morphism g:W\to Bl_Y(X) with $latx f=\phi\circ g$.

We call E=\phi^{-1}(Y) the exceptional divisor of the blowup, and we call Y the center of the blowup.

Now, there’s yet another way to describe a special case of the blowup: if you’re blowing up an affine variety at a single reduced point (that is, no blowup up at (x^2,xy), but you can at (x,y).) We’ll just assume that the point we want to look at is the origin, because we can always translate and it keeps those pesky numbers from getting in the way. So we’ll blowup \mathbb{A}^n at the origin. Take the coordinates on \mathbb{A}^n to be x_1,\ldots,x_n and take coordinates on \mathbb{P}^{n-1} to be y_0,\ldots,y_{n-1}. Then the blowup of \mathbb{A}^n at the origin is the zero locus of the polynomials x_iy_j=x_jy_i in \mathbb{A}^n\times\mathbb{P}^{n-1}. For any other affine variety, we just stick it into \mathbb{A}^n and then take its inverse image in the map Bl_0\mathbb{A}^n\to \mathbb{A}^n.

So, before when I said that blowing up stretches out a subscheme to a hypersurface, I meant really that it becomes a Cartier divisor. Now, the universal property tells us immediately that it’s useless to blow up at a Cartier divisor, because the universal property is already satisfied! Generally the trick is to blow up a higher codimension subvariety or to blow up a Weil divisor that isn’t Cartier.

So now we’ll work out a couple of blowups explicitly, and see how they work. We start with the nodal cubic, with the thought that blowups are supposed to resolve singularities, so lets see it do the simplest one possible. We’ll use that last characterization of blowups, involving affine space, for this, and so we take t,u to be the homogeneous coordinates on the projective line. So the blowup of \mathbb{A}^2 at the origin is given by xu=ty, and we have the equation y^2=x^3+x^2 which defines the nodal cubic. These two define the blowup together. For intuition, think of this roughly as taking the nodal cubic, crossing it with a line, and then taking a diagonal slice, so we want to think that the node has been pulled apart by giving the curve a constantly increasing third coordinate as you go from one end to the other.

To see that this actually happens, look at the set on which t\neq 0. Then we have y^2=x^2(x+1) and y=xu in \mathbb{A}^3. Substitution yields x^2u^2-x^2(x+1)=0, and so we get x^2(u^2-x-1)=0, so the preimage has two components. One is given by u^2=x+1, and the other is given by x=y=0 and u arbitrary. The latter is just the exceptional divisor, and we toss it out, because though it is the preimage of the origin, we’re only concerned with a few points on that preimage. Now, u^2=x+1 and y=xu together give us a ring isomorphic to k[u], by y=xu and x=u^2-1, so this component is a copy of \mathbb{A}^1, and it maps down to the nodal cubic upon projection. One last remark on this example, this component meets the exceptional divisor at two points, u=\pm 1, which are the preimages of the node, so we really did pull it apart.

The part that we cared about above is called the proper transform. It is obtained by taking your subvariety and looking at the open subset of it which contains none of the points in the subvariety being blown up along. Then you look at the inverse image of that open set, and take the closure. So above, the proper transform of the nodal cubic is the affine line, and it intersects the exceptional divisor twice.

Now, we can get places by blowing up nonsingular varieties too. Something we’ll come back to is the topic of nonsingular cubic surfaces, which I mentioned in another post which isn’t part of this series. Take the projective plane and then start blowing up points. Make sure that no three of them lie on a line, though. Do this six times, and make sure that the sixth is chosen so that they don’t all lie on any conic. The surface you get here is isomorphic to a nonsingular cubic surface (we will prove this later, unless the plan changes drastically). Now, it’s a classic fact that there are twentyseven lines on such a surface. Well, here’s the accounting for them:

  • 6 are the exceptional divisors of the blowup
  • 15 are the lines proper transforms of lines joining pairs of blownup points
  • 6 are the proper transforms of conics passing through collections of five points.

About Charles Siegel

Charles Siegel is currently a postdoc at Kavli IPMU in Japan. He works on the geometry of the moduli space of curves.
This entry was posted in AG From the Beginning, Algebraic Geometry. Bookmark the permalink.

6 Responses to Blowing things up

  1. sarah says:

    Charles! Your timing is pretty spectacular. Or maybe you are already aware of what I’m about to tell you and cleverly planned on blogging about resolution of singularities this week.

    This is the first week of the PCMI workshop here, in Utah. The topic of the workshop is “Analytic and Algebraic Geometry: Common Problems, Different Methods”–much of the algebraic side is dedicated to the minimal model program, in part because the wonderful Chris Hacon is local, although I was told today that the topic for this workshop was planned before the recent Hacon-Mckernan results. Anyway, to lead up to the minimal model program, Mircea Mustata is giving an excellent lecture series on resolution of singularities. So, what I’m trying to say is that you should be here.

  2. Charles says:

    Sarah,

    I wasn’t aware of the timing, and wish I had known about this in advance to try to get funding to show up. Oh well. As for doing Resolution stuff, I wrote my post on Resolutions for a new blog Carnival, “The Giant’s Shoulders” (which I will be hosting in December) and focuses on discussions of classic papers in the sciences (and mathematics), and I’d been reading Kollar’s book on the topic. The normalization post and this post are partly to help explain the Resolutions post, which is outside of my running narrative.

  3. Pingback: Flat Modules and Morphisms « Rigorous Trivialities

  4. Tittu says:

    From the post I have clearly understood the blowing up affine n-space at the origin. Now , how to blow up projective n-space at the origin?

    • Well, blowing up is an isomorphism away from locus blown up, so first remember that projective space doesn’t HAVE an origin. Then, you take your projective space, choose coordinates to make the point you’re blowing up the 0 of some affine chart, and blow that up, but then you can glue the whole thing back together with (essentially) the same gluing map, because away from p and \pi^{-1}(p), the blowup map is an isomorphism.

  5. Tittu says:

    Thanks!

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s