By this time I’m sure everyone whose curiousity was piqued by the statement of the Grothendieck-Riemann-Roch theorem has read it themselves. Nevertheless, in case you haven’t, I will proceed to outline the steps of the surprisingly “easy” proof. It is “easy” in the sense that the most is made of a relatively simple computation on projecive space. Last time we saw that it is enough to prove the formula separately for an injection and a projection. We’ll see here how to carry these two steps through and how the first may be reduced to the inclusion of a divisor. Though last time I said that I wanted to go into each step in more detail, I realized that 1) probably very few people are (still?) following along, 2) for those who are, they will get more by seeing an outline and reading the paper or looking at Fulton’s Intersection Theory themselves, and 3) this way we can illustrate the power of the theorem with some applications.
Step 1: Projective Space.
Let be n-dimensional projective space and let
be a coherent sheaf on
. The first step will be to show that the so-called Hirzebruch-Riemann-Roch formula is valid:
. As discussed previously in the series, this is the GRR formula in the special case of a map from projective space to a point.
To verify this formula, let be a hyperplane and let
be its class. The Chern polynomial of
is
and so
.
The sheaf corresponds to a graded module
over
. By Hilbert’s syzygy theorem,
admits a finte length resolution by free graded modules. This implies that in
, the sheaf
is equal to a linear combination of sheaves of the form
and by linearity, it suffices to show the theorem holds for
. We know everything we could hope to about this sheaf, in particular,
and
. We are reduced to verifying the formula
and this may be rewritten in terms of residues as
.
We’ll leave this statement as an exercise with the hint that the change of variables will be quite helpful.
Step 2: A projection
Let be n-dimensional projective space and consider the projection map
. We have the following fact, which is not too difficult to prove:
The natural map is surjective.
We won’t prove this fact, but will only say that the proof procedes by induction on n, and uses a homotopy property of the K-groups that is similar to the corresponding property in the Chow ring (the corresponding properties for divisors are proved in Hartshorne’s Algebraic Geometry, II.6.5 and II.6.6).
The fact that GRR is true for the map now follows from Step 1 and from the last Lemma stated in the previous post.
Step 3: A closed immersion of a divisor
Suppose that is the inclusion of a smooth subvariety. We will denote by
the normal bundle of
and
the sheaf of ideals. We have the exact sequence
and the identity .
The GRR formula for this case then reads for
. Indeed, this follows by the projection formula and the identity
.
We now will prove this formula when is a divisor in
and
for
.
The left hand side of the equation becomes
. Here
denotes the line bundle associated to the divisor (note: restricting
to
gives the normal bundle
). The first equality is an application of the projection formula. The second equality follows from the exact sequence above. Because
is a ring homomorphism, this then reads
.
We now analyze the right hand side of the equation. This reads
. Here the second equality is another application of the projection formula and the formula finally follows because
.
Corollary 1 GRR is true for the injection for the map
for a fixed point
.
By the Lemma from last time, the proof of this corollary reduces to the case when is a point. Then the statement follow from the previous argument when
and in general by induction. (Warning – that barely constitutes a proof sketch).
Corollary 2 If the statement above is true when , then it is true in general.
This follows from the first Lemma from last time and Corollary 1 because we may compose with an injection
for a sufficiently large dimensional projective space.
Step 4: Reduction to the case of a divisor; i.e., end of proof.
Part of the beauty of the proof of GRR is that the absolute most is made out of the computation of projective space over a point and the inclusion of a divisor. We now reduce the general case of an inclusion of a subvariety to that of a divisor using the blow-up construction.
By Corollary 2 above, we may assume that (the inclusion) is of codimension
. Let
be the blowup of X along Y. Denote by
the exceptional divisor
,
the inclusion and
the projection. Recall that if
is the normal bundle of
in
, and
is the pullback to
, then
constains the restriction of the line bundle associated to
restricted to
, which we will denote
. We will set
, a bundle of rank
.
We have the following facts about the behavior under such a blowup.
Facts:
A. and so
is the identity map.
B.
C. For we have
.
D. modulo
as long as
.
Recall that of a bundle means we take the alternating sum of the wedge products of that bundle, interpreted as an element in K-theory. We have the following further
Fact E: for
a bundle of rank
.
We may now conclude the proof of GRR:
By the same computation as in the divisor case, we must verify formula
(1) .
Because the codimension of is large, we may apply Fact D to know that
is equivalent to zero modulo
. Then this class is in the image of
(exercise) and so by the previous case, we may apply GRR to this class and the map
. This gives:
(2) .
We will then verify that pushing forward this equation by gives equation (1).
By Fact C, we have that is equal to
and then the LHS of our verification follows from Fact A.
Using the fact that is multiplicative and Fact E, we compute that
.
Since , we get the formula
.
By Fact B then, the image of the two sides of this equation by is equal to
and the RHS of the verification follows from the fact that
. Whew!
I’ll leave the Facts as exercises or inspiration to learn more about blowups. Facts A and B are pretty easy and Fact E is a straightforward compuation. Facts C and D require much more work – but at the moment I can’t see a great reason for going through their proofs. Applications to follow (more quickly than this post did I hope).
Pingback: Blogging Guide - 6 Steps to Start a Blog the Right Way | Internet Marketing
Cool post! In place of the result about congruence modulo 1 – L, one can also directly prove the “key formula” for push-pull of cycles in a blowup (using deformation to the normal cone as in Fulton). Then the “key formula” for push-pull of elements in K-theory (your formula C) together with the key formula for cycles implies GRR for blowups.
Good point! Also, as I understand it, the method of using the “key formula” as in Fulton allows one to prove GRR type formulas in more general setups.
Very nice!
Pingback: Chern Classes and Generalized Riemann-Roch Theorems | Theories and Theorems