Last time I gave the definition of -rings and tried to motivate them from the perspective of K-theory. I’d like to continue with how to define abstract Chern classes for -rings and explain Riemann–Roch formalism. We’ll assume all -rings R have an augmentation, are equipped with a positive structure, and have an involution. I’ll once again use K-theory as motivation for the definitions.
In topological K-theory, if we have a space X with a vector bundle E, there exists a map such that the pullback decomposes into a direct sum of line bundles, and the map on cohomology rings is injective. The corresponding statement for -rings is that we can embed any -ring R into a larger one such that every element can be written as a sum of elements with augmentation .
Let be a graded ring. We let be the group under multiplication of formal power series of the form where . A map of Abelian groups (we use addition for R), written is a Chern class homomorphism if
- For each line element u, for i>1.
- For two line elements u and v, .
We will also assume that each is a polynomial. Chern class homomorphisms are compatible with the splitting principle in the following way. If we want to split an element X in R, then there exists a -ring R’ and a graded ring A’ which extends A, together with a Chern class homomorphism which restricts to the one for R. Hence, Chern classes are completely determined by what they do to line elements.
So we get “factorizations” . This allows us to define the Chern character via and the Todd class .
Now we move on to Riemann–Roch formalism. Let C be a category. A Riemann–Roch functor is a triple such that
- For all X in C, we have commutative rings K(X) and A(X). Let UK(X) and UA(X) be the underlying additive groups.
- For every morphism , we have ring homomorphisms (pullbacks) and which make K and A into contravariant functors from C to commutative rings.
- For every morphism , we have group homomorphisms (pushforwards) and which make UK and UA into covariant functors from C to Abelian groups.
- The projection formula where and and holds for H=K and H=A.
- is a natural transformation from K to A.
The statement that Riemann–Roch holds for a morphism f in C means that there exists an element such that for all x in K(X). The element measures the failure for to be a natural transformation of covariant functors.
If Riemann–Roch holds for two morphisms, then it also holds for their composition.
To bring in -rings, we focus more specifically on Chern class functors. This is a Riemann–Roch functor where we further assume that
- The image of K is the category of -rings with involution.
- The image of A is the category of graded rings whose morphisms are degree 0 maps.
- For every X in C, is a Chern class homomorphism.
Fix this Chern class functor. Since this post is already getting too technical, let me just mention that one defines what it means for a morphism in C to be an elementary embedding and elementary projection, and shows that Riemann–Roch holds for such morphisms. The elements in both cases are defined in terms of Todd classes.
Now we relate this to the Grothendieck–Riemann–Roch theorem. For this, we fix some Noetherian commutative ring R and let C be the category whose objects are schemes over Spec R that are quasi-projective and connected. The morphisms in our category are those which are projective local complete intersection morphisms: these are all morphisms of the form where E is a vector bundle on Y, and is the corresponding projective bundle, and i is a closed embedding whose image is locally a complete intersection (i.e., there is an open affine cover where in each open affine, the ideal of X is generated by a regular sequence). Here K is the K-theory of algebraic vector bundles over X, and A is a certain associated graded ring of K(X). We have pullbacks of vector bundles which makes K and A into contravariant functors. The pushforward on K is given by an alternating sum of higher direct images. In this case, i is an elementary embedding, and p is an elementary projection in the language used above.
What comes out of all of this (and the stuff I skipped on elementary embeddings and elementary projections), is that Riemann–Roch holds for all morphisms in this category, and the element can be written as the Todd class where is the virtual tangent bundle of f defined as
using the notation above. here denotes the relative tangent bundle, and is the normal bundle of X inside of (this is a bundle because X is a local complete intersection).
We’ll do one last thing: specialize to the case that R=k is a field and we consider only connected nonsingular quasiprojective varieties over k and proper morphisms between them. Given X, we can embed it inside some projective space via a map i. A map is proper if and only if the graph morphism induced by the maps i and f is a closed embedding. Whenever a nonsingular variety is embedded as a closed subvariety of another nonsingular variety, it is automatically a local complete intersection, so we see that this case is really a special case of the preceding paragraph (here E is a trivial rank n+1 vector bundle over Y). Also, on a nonsingular variety, every coherent sheaf has a finite resolution by vector bundles, so K(X) is in fact the Grothendieck group of coherent sheaves (though the multiplication for coherent sheaves which aren’t vector bundles involves sums and Tor functors). Furthermore, we can let A be the Chow ring functor (which shows that it coincides with the associated graded of K in this case), and our natural transformation is the usual Chern character ch. We’ll finish with what Grothendieck–Riemann–Roch says in this case:
Let be a proper morphism between nonsingular quasiprojective varieties, and let [F] be an element in K(X). Then