Where we’re at, and where we’re going
In this blog post we’ll give the first formal construction of a category of motives. In particular, we’ll construct the category of (geometric) étale motives. These aren’t necessarily the motives that we’ll want to work with. For example, the final step of the construction will give us a category which we can’t currently prove has a full or faithful embedding from the previous step — except in the case our coefficients contain . In this case we are only helped along knowing more precise results from the theory of Voevodsky’s geometric (Nisnevich) motives — in particular Voevodsky’s cancellation theorem.
This means we won’t stay long with this category. However, we can describe properties of the categories in that make up the construction. It’s possible to point out relations when the coefficient system is particularly well-behaved. In this setting well-behaved means torsion; it is analogous to the fact that étale cohomology is better behaved with torsion coefficients that we find étale motives are as well.
However, I haven’t taken up the task of doing this here. I may come back to this section at a later date to add more of what is known about the category of geometric étale motives as it’s constructed below. (If you’re reading this paragraph I haven’t done that yet).
A1 Weak Equivalence
Our construction of categories of motives will require this section and the next. For the set up: let be a Grothendieck topology where it makes sense to consider sheaves with transfers (i.e. a topology satisfying T1). Let be two complexes of -sheaves with transfers with coefficients in a ring (i.e. compelxes of elements of ).
(5.1) Definition: A morphism in the derived category of bounded above chain complexes is called an -weak equivalence if the cone of is in the smallest thick subcategory satisfying:
i) for every smooth scheme the cone of , which is the two term complex
is contained in
ii) is closed under direct sums which exist in .
Remark: The last part, regarding existence, is necessary as arbitrary direct sums of sheaves of bounded above chain complexes need not be bounded above.
By the last two paragraphs of the thick subcategories section here, the class of -weak equivalences form a saturated multiplicative system of morphisms.
We’ll consider the scheme pointed by , defined by . Let be the structure map.
These two morphisms induce morphisms on presheaves with transfers
Further, since the equality holds as morphisms of schemes, and the inclusion to presheaves with transfers is fully faithful, we have the equality as presheaves with transfers . If we define to be the cokernel of the morphism (a posteriori, equivalently the kernel of ) then this shows the short exact sequence
is split. In other words, we have an isomorphism .
(5.2) Definition: the complex will be called the Tate complex in this blog (at least until I give it another name in a later post).
Using the Tate complex we can define Tate twists in derived categories of complexes of sheaves in suitable Grothendieck topologies . That is,
(5.3) Definition: the functor , which is the sheafification of the tensor product of these complexes, , is called the Tate twist operation.
For brevity, we’ll write for the th iteration of the Tate twist for any postive .
This is related to the Tate twist defined in Grothendieck’s categories of pure Chow motives in the following way: as above we define to be the cokernel of the morphism , induced from the map of schemes . This cokernel will be called the Lefschetz motive. The following diagram shows the situation we are in, with the middle row is exact and obtained from applying the Čech complex from Proposition (2.8) to the cover and of ; the objects on the bottom rows are the cokernels of the vertical morphisms; the diagram is commutative.
It follows the bottom row is exact (from a diagram chase and an application of the snake lemma). Applying results in the distinguished triangle
Our calculations of the algebraic singular cohomology (search for “example”) of for show . So we have an isomorphism of complexes . The last thing to do is to assure ourselves this is independent of our choice of point. In other words, . But this is clear since even on the level of schemes there is an automorphism of with .
Later, we will show the inclusion of Chow motives into the motives defined by Voevodsky sends the Lefschetz motive (in the category of pure Chow motives) to the Lefschetz motive (in the category of geometric Nisnevich motives) which the above shows is isomorphic with the object .
In defining Etale motives, we’ll go through various notations. All of these I will explain.
(5.4) Definition: The category will be our new notation for the category .
Our new notation stands for , the derived category of bounded above motives, , in the étale topology, , which are effective, , over the field with coefficients in . All of these are relatively self explanatory except, possibly, the adjective effective. Typically, effective is tacked on to an algebro-geometric term when there will later be an algebraic construction generalizing one which had geometric origin. For example, in Chow groups there are effective cycle classes, those which can be interpreted as equivalence classes represented by an explicit geometrically obtained cycle (like the class of a point ), and noneffective cycle classes, those which are algebraically constructed (like the negative of the class of a point ). We will similarly extend our category to a larger one but, not yet.
But first, we don’t want to consider all bounded above complexes. There are bound to be quite a few complexes which could reasonably be discarded (those which are not generated by the smooth schemes for instance). For this reason we take only a smaller category in our construction.
(5.6) Definition: is defined to be the smallest thick subcategory of which contains all of the objects, and subobjects of, for all smooth schemes and is closed under quasi-isomorphisms, direct sums, shifts, and cones.
(5.5) Definition: The category of geometric étale motives over with coefficients in , , is constructed as the -stabilization of the -localization of .
These two notions I haven’t defined yet, the -stabilization and the -localization, are exactly where the preliminaries for this blog post are used.
(5.6) Definition: The -localization of is the localization, in the sense of Propositions (3.3) and (3.4) here, at the multiplicative system formed by weak equivalences.
(5.7) Definition: the -stabilization of the -localization of is the localization, in the sense of Proposition (3.14) ii), of the Tate twist operation.
There is a more accurate notion of what one wants from -stabilization, which is described in this ICM article by Ayoub. It is related to the homotopical aspect of these constructions so, for the time being, I will avoid them.
In this article above, Ayoub also mentions how the category is defective — that it is not a triangulated category for instance. If I could take a guess, I think this is a result of not knowing whether the -stabilization gives a full and faithful embedding . This discrepancy disappears when it is known that the latter category agrees with the category of geometric Nisnevich motives (which is known if, for example, ), which is where I will head in the next post.