Invariants of projective space I: Cohomology
Tuesday, December 04th, 2012 | Author: Konrad Voelkel
I want to explain a particularly easy example of a motivic cellular decomposition: That of -dimensional projective space. We will have a look at the cohomology, the Chow groups and the algebraic K-theory of projective space -- a discussion probably interesting to non-motivic people as well. After these invariants, I will look at the motive and the A¹-homotopy type. Then I want to describe the decomposition of the motive (and the homotopy type) homotopy-theoretically, by means of cofiber sequences. (We will see that projective space is not isomorphic to a coproduct of motivic spheres with the same motive). Of course, nothing is new, I'm just working out exercises here.
In this part 1, I discuss only the cohomology of . Part 2 contains a discussion of the intersection theory and bundles and part 3 contains the motivic stuff. I intentionally left out usage of projective bundle formulas, as I will discuss them separately.
CW structure on the associated analytic space
We can compute the Betti cohomology, i.e. the singular cohomology of the associated analytic space, by showing that the manifold admits a CW-structure and computing the cellular cohomology (which also satisfies the Eilenberg-Mac Lane axioms, hence is isomorphic).
For this is easy, as is just a single point. Suppose now we already have a CW-structure on , then we will construct by attaching one -cell by the gluing map given by quotienting out the -action, i.e. I claim . The map is known under the name "Hopf map", and it is a surjective map.
The CW structure of , as we have just seen, is such that there is a single -dimensional cell for each . The chain complex computing cellular cohomology thus has no differentials, so we can quickly see that
Smooth de Rham theory and ring structure
We can also look at the deRham cohomology of as a smooth -dimensional real manifold. The advantage is that we would see the cup product structure (coming from the wedge of differential forms). From what we already know, there should be a closed smooth differential -form which isn't exact for each . We know that will be a volume form and similarly can be chosen to be a volume form of when restricted to that subspace. Then we have homologous to for , so that the multiplicative structure in the cohomology can be described as and by writing (of degree ) we have the identity of graded rings
Some people like to describe the cohomology of projective space by choosing an arbitrary hyperplane (so the complement is isomorphic to ) and then with in degree . This description arises from the Poincaré duality map taking singular -cycles in to singular -cocycles, which takes any complex hyperplane to the same cohomology class of degree (since the real codimension of a complex hyperplane is ).
Cup product with integer coefficients
Of course, it is unsatisfying to have the multiplicative structure only with real coefficients, so we can work a little bit more (or differently) and compute the cup product via Yoneda products in sheaf cohomology of the constant sheaf . I'm too lazy now, but in the end you get
Yet another way to get the cup product is the most "canonical" way with cellular cohomology (in my eyes), where we use only the diagonal morphism and the Künneth formula. I'm going to do that:
The diagonal induces a homomorphism and the Künneth formula tells us , so we can take classes , form , move this through the Künneth isomorphism and the morphism induced by the diagonal and end up in again, where we call the result . Since Künneth is a graded isomorphism, this map is graded and thus we have all properties of a cup product. All other constructions (via Yoneda Ext products or wedge products of differential forms) yield the same product (otherwise we wouldn't call it cup product).
There is still something left out in this discussion, namely Hodge theory. Betti cohomology of a smooth projective variety carries a Hodge structure. For projective space, there isn't much to discuss, as the Hodge structure is trivial in the sense that every class in is of Hodge type , i.e. the Hodge diamond of has only the Hodge numbers and all other Hodge numbers vanish. The computation can be found in Voisin's book, section 7.2 (page 167 of book one of the english edition).
The structure of a homogeneous space
Now, a little bit of general theory not necessary to proceed:
The -dimensional projective space parametrizes 1-dimensional linear subspaces of affine -space, which we can consider as partial flags of linear subspaces . We have a natural -action on (hence on flags). Partial flags of linear subspaces in are stabilized by certain parabolic subgroups of , for example full flags are stabilized by a Borel subgroup. The quotient thus parametrizes precisely full flags in . The quotients that parametrize partial flags of a certain shape (determined by ) are called generalized Grassmannians.
I included this material here to give an outlook on how to proceed past projective space later on, in further calculations.
In look at the subgroup given by block matrices with a block of size just all of (in the upper left corner) and a block of size (in the lower right corner) just , i.e. , and a block of size just (in the upper right corner), with a block of size just zeroes (in the lower left corner). If we look at , we see that, as a variety, the big block in the upper left corner of is killed and what remains is from the right column of , modulo the group action from from the lower right corner of . So we really have
The good thing about this description is that contains a maximal torus (the diagonal matrices) and then there is a nice general theory of Schubert calculus to be applied. Topologically, this also gives us a CW structure, isomorphic to the structure we built "manually" before.
Algebraic de Rham cohomology over the rationals
By definition, , a sheaf cohomology group. A cup product structure comes from the wedge product on the de Rham complex . One can compute algebraic de Rham cohomology by the Hodge-to-de Rham spectral sequence, which is
From for and for (this is Hartshorne's Exercise III.7.3) we see that the spectral sequence degenerates hence the odd-dimensional algebraic de Rham cohomology of vanishes and for .
In particular, we have . With the Künneth formula we compute for an -fold product . The symmetric group acts on this polynomial ring as well as on the -fold product . We let the symmetric group act trivially on and the map becomes -equivariant. It induces an -equivariant injection , so after taking invariants we obtain
with in degree . Observe just that is the Weyl group of , and its appearance here is no accident.
I don't want to compute l-adic cohomology here, since even the definitions are a bit lengthy.
For example, for odd and for even . There is a Galois action on such that is equivariantly isomophic to , the limit over the roots of unity . Also, , where we equip with a trivial Galois action. Note that there are many non-equivariant isomorphisms .
Similar in spirit, there is crystalline cohomology (or rigid cohomology) but I don't know enough about the subject to compute anything, so I have to leave that out.
Counting points over finite fields & Zeta function
I have written about this before (although with a different aim), so I don't want to repeat it.
The Zeta function of projective space is ,
as you can compute by hand from the decomposition of -rational points .
So far this is what I had to tell about the cohomology of projective space.