Ok, so I took the weekend off to figure out where things are going and get a bit ahead. Will probably be doing that all month. So now, we’re going to talk about cones and normal cones, with the goal of eventually defining the intersection product itself.
We’re not going to worry about what’s coming up though, at the moment. First, we need to define what a cone is. Let be a scheme, and let
be a sheaf of graded algebras such that
is surjective,
is coherent, and
is generated by
. We define a cone over
to be anything of the form
, the relative spectrum of the sheaf of algebras. Note: every vector bundle is a cone. This really is a good generalization of vector bundles, at least for the purposes we need.
As we go, we’ll cite the properties and definitions of cones that we need. But right now, we’re going to start talking about the most important one: the normal cone. Now, let be a closed subscheme define by a sheaf of ideals
. Well, one thing we can do is look at the graded sheaf of algebras
. Then we take the cone it defines, and this is
, the normal cone of
in
.
Now, let’s take a moment to make sure that we’ve got the right definition. What happens if is a regular embedding of codimension
? Well, in that case, we actually get a vector bundle of rank
, on
. If we look back in Hartshorne, we recall that
is the conormal sheaf, so then
is the normal sheaf. And this is then going to be locally free of rank
, so it gives us a vector bundle. To see that it’s the one given by the normal cone, remember that
is the total space of a vector bundle. So we have at the least, consistency of language here.
Now, part of why the normal cone is so useful is that it is connected to the notion of a blowup. First off, recall that , the projectivization of a certain cone. Let’s call the blowup
. Adn we’re going to look at the exceptional divisor. That is, if we have the projection
, we look at
. This is a Cartier divisor, by the universal property of blowups. Now, which one is it? Well, it’s actually going to be the projective cone of
. What is that? It’s precisely
, so we get
.
So then, , with
.
Pingback: Normal Cones « sciencev