Triangulated categories of motives in positive characteristic

Abstract

This thesis presents a way to apply this theorem of Gabber to a large portion of Voevodsky's work in order to lift the assumption that resolution of singularities holds. This gives unconditional versions of many of his and others' theorems provided we work Z[1/p] linearly, where p is the exponential characteristic of the base field. One example of the many applications we give is a partial answer to a 1980 conjecture of Weibel. Another is the removal of the hypothesis of resolution of singularities from a result of Suslin that compares Bloch's higher Chow groups and etale cohomology. Voevodsky's main tool in applying resolution of singularities is the cdh topology. We enlarge it slightly in order to apply this theorem of Gabber, presenting in this thesis a topology that we name the ldh topology, where l is a prime. We compare the cdh and ldh topologies using the concept of a "presheaf with traces", providing conditions under which the cdh and ldh sheafifications of a presheaf agree, as well as its cdh and ldh cohomologies. As far as applying resolution of singularities to motives goes, Voevodsky's most important theorem can be rephrased as a cdh descent condition, and we are led to ask for conditions under which certain objects in the Morel-Voevodsky stable homotopy category satisfy ldh descent. In order to compare cdh and ldh descent, we generalise the notion of a "presheaf with traces" to the concept of an "object with traces". We build on some results of Pelaez on the functoriality of the slice filtration to show that this concept of an "object with traces" interacts well enough with the slice filtration to provide the ldh descent that we need.