Invariants of projective space III: Motives
Monday, December 10th, 2012 | Author: Konrad Voelkel
I want to explain a particularly easy example of a motivic cellular decomposition: That of -dimensional projective space. The discussion started with cohomology (part 1), continued with bundles and cycles (part 2) and in this part 3, we discuss motivic stuff.
Motives
Chow motive of projective space
One can compute the Chow motive of projective space by guessing it and using Manin's identity principle, a variant of the Yoneda lemma. To do such a "calculation" in general, the guessing part will be a problem. We can try to do systematic guessing. In fact, the previous two posts on projective space have prepared this. We expect, from the Weil cohomology computations, to have a motive (we can forget about the grading and the
for now).
Manin's identity principle states that the functor that maps a motive to the functor
is fully faithful (where the grading on the right hand side is taken to be the grading in intersection groups). If you know the Yoneda lemma, this is an easy consequence. If you don't know the Yoneda lemma, you should be sitting at your desk, trying to prove it!
We compare the motives and
by looking at their corresponding functors
. The only input we need from intersection theory is a projective bundle formula
We compute for any :
Using the first line with and
we can take the identity on
to yield a canonical morphism
, which is an isomorphism, since it induces an isomorphism of corresponding functors.
We can use this now to compute realizations of the Chow motive. As we have seen, we just need to know how the Lefschetz motive realizes, i.e. what a Weil cohomology does on
. For example, Betti realization
gives us a one-dimensional vector space
with Hodge decomposition
. The
-adic realization gives us a one-dimensional vector space
, where
is the
-adic Tate module of roots of unity
, which has a natural Galois action (which is part of the realization). Consequently,
with Hodge decomposition
and
.
We could have skipped the Weil cohomology computations for , it would have sufficed to compute the motive and the realizations of
. But how would we have guessed the motive then? Well, using geometry. I will come to that later in this article.
Voevodsky motives
Now I want to describe the motive of projective space (and its decomposition) in Voevodsky's framework of the derived category of mixed motives (which isn't constructed as the derived category of an abelian category, however it looks like that). By a general theorem (which is not too hard), the motive of a smooth projective variety is in the image of a (contravariant!) functor from Chow motives, so we don't need to work any longer for projective space. The following is for educational purposes only. I want to consider only perfect fields , since I don't know what's possible for non-perfect fields.
The triangulated category of effective geometrical motives over , denoted
is defined as the pseudo-abelian envelope of a localization (at the minimal thick subcategory containing
and Mayer-Vietoris sequences) of the homotopy category of bounded complexes over
, the category of finite correspondences of smooth schemes over
. We denote the image of a smooth scheme
in this category by
(following Voevodsky).
A few easy calculations:
Since we have the pseudo-abelian property, we can do at least the usual splitting , where
is the unit object for the tensor structure and
is the reduced motive of
. The Tate object is defined as
(warning: Voevodsky motives are covariant, while Chow motives are contravariant, hence some formula look different; this is such a formula).
For Mayer-Vietoris, we can take the usual two charts which are a Zariski open covering of
, so there is a distinguished triangle
which in our case looks like
so that is an isomorphism.
To work with these motives, it is better to look at another category, which is denoted by . A presheaf with transfers on
is an additive contravariant functor from
to abelian groups. Such a presheaf with transfers can be seen as a presheaf on
with additional restriction maps for each correspondence which isn't the graph of a morphism; in particular for the transposed graphs, which give restriction maps "in the other direction", hence the name "with transfers". A presheaf with transfers on
is called Nisnevich sheaf if the corresponding presheaf of abelian groups on
is a Nisnevich sheaf. A (pre)sheaf with transfers is called homotopy invariant if every projection map
induces an isomorphism of sections. Now
is the full subcategory of
of complexes with homotopy invariant cohomology sheaves. This category is a triangulated pseudo-abelian category. One can show that
admits a full embedding (as tensor triangulated category) into
.
Both categories of effective motives yield larger categories of motives by inverting the Tate twist operation , thus one has
a full tensor triangulated subcategory of
. Now one could write down a Gysin sequence and a projective bundle theorem which can be used to compute the motive of
, entirely in terms of
; the problem is that the proof I know of goes through the computation of the motive of
, in terms of
.
Denote by the presheaf with transfers associated to a smooth scheme
and by
the complex obtained from the simplicial object
.
Voevodsky motive of projective space
We use , which is called a motivic complex. We have already discussed
. In a similar spirit, we have
, using the following lemma: for
a Zariski covering of
the Cech resolution
is a quasi-isomorphism in the Zariski topology.
Let's denote and look at the map
given by
. The fibers of this map are just
. There is an
-homotopy inverse
given by the section
, and the
-homotopy of
to
is given by multiplication of
with
. Such a pair of
-homotopy inverse maps yield a chain homotopy equivalence
.
Theorem: For each , there are quasi-isomorphisms of Zariski sheaves:
.
The proof of this theorem (which I got from the Mazza-Voevodsky-Weibel book, Chapter 15) uses a few facts about presheaves with transfers, for example the Nisnevich sheafification of a homotopy invariant presheaf with transfers
is again homotopy invariant; and more is true: all the presheaves
are homotopy invariant. Using this, one can show that a presheaf with transfers
that satisfies
also satisfies
and
.
Proof sketch: Let be the usual cover of
by
charts
and let
be the cover by
charts of
. Intersecting
charts gives
. There are quasi-isomorphisms (of complexes of Nisnevich sheaves with transfers)
and
, so
is a resolution of
(as Nisnevich sheaf). Now
is quasi-isomorphic to
, hence to
for the Zariski topology.
One can write down a resolution of
such that one gets a map
whose terms are direct sums of
-homotopy equivalences, so
is a quasi-isomorphism. Applying
gives us
.
One can show that the isomorphism in this theorem factors through every inclusion with
.
Corollary: There is a quasi-isomorphism .
Proof: by induction, where the case is already done. The map
is split injective in
, since the quasi-isomorphism
(from the induction hypothesis) factors through it. Hence the distinguished triangle
splits.
Computations from the motive: motivic cohomology
Now that we have the motive, we can (in principle) compute motivic cohomology
where the Ext is in the category of Nisnevich sheaves with transfer.
So we have to understand . This can be simplified to
, so we are reduced to understand the motivic cohomology of a point.
From the motivic cycle class isomorphism one can recover the Chow groups of
. The motivic Chern character yields an isomorphism computing the algebraic K-Theory of
(see this article about the divisorial jungle, where I discuss this briefly).
A¹-homotopy type and motivic cell structure
We can take one step backwards and look at not with (co)homological eyes, but with homotopical ones. The functor
factors through a model category
of simplicial Nisnevich sheaves on
, where one can do homotopy theory.
In this model category one can write down
, a space (=simplicial Nisnevich sheaf) which has the same motive as
, since wedging with the
-dimensional simplicial sphere
induces a shift by
, hence
. One could now try to write down (or prove existence of) an
-homotopy equivalence of
with
.
This turns out to be impossible in general, since the homotopy types are different (but they become isomorphic over a quadratically closed base field). We can already see that in the real realization, which is a functor that assigns to a homotopy type a topological space which acts like the -points. The projective space has non-orientable real realization, while
is orientable. This is like the difference between
and
.
One can write down a motivic cell structure for , where the attaching maps split over a quadratically closed field. One can say that motives don't distinguish between
and
, but the homotopy type does (even the stable homotopy type).
Such a motivic cell structure can be constructed like in topology: start with a point and attach a 1-cell
along the attaching map
which is the quotient map after the
-action. You get a
. Then attach a 2-cell
along
, you get
and so on.
We get the motive out of a motivic cell structure, since a cofiber sequence yields a distinguished triangle and
has the motive
, so we can write the distinguished triangle as
which splits, i.e. , since the morphism
is trivial.
This is the calculation of the motive, thus of higher Chow groups, algebraic K-Theory and all Weil cohomology theories, that I like most.