We show that the category of motivic spaces with transfers along finite flat morphisms, over a perfect field, satisfies all the properties we have come to expect of good categories of motives. In particular we establish the analog of Voevodskys cancellation theorem.
The paper is suspended. The reason: as was noted by prof. H. Esnault, Theorem 2.1.1 of the previous version (as well as the related Theorem 6.1.1 of http://arxiv.org/PS_cache/math/pdf/9908/9908037v2.pdf of D. Arapura and P. Sastry) is wrong unless one assumes H to be a generic hyperplane section. Hence the proofs of all results starting from 2.3 contain gaps. The author hopes to correct this (somehow) in a future version. At least, most of the results follow from certain standard motivic conjectures (see part 1 of Remark 3.2.4 in the previous version). If the author would not find a way to prove Theorems 2.3.1 and 2.3.2 (without 2.1.1), then in the next version of the preprint the results of section 4 will be deduced from certain conjectures; certainly this is not a very exiting result.
We introduce a Bredon motivic cohomology theory for smooth schemes defined over a field and equipped with an action by a finite group. These cohomology groups are defined for finite dimensional representations as the hypercohomology of complexes of equivariant correspondences in the equivariant Nisnevich topology. We generalize the theory of presheaves with transfers to the equivariant setting and prove a Cancellation Theorem.
We prove a topological invariance statement for the Morel-Voevodsky motivic homotopy category, up to inverting exponential characteristics of residue fields. This implies in particular that SH[1/p] of characteristic p>0 schemes is invariant under passing to perfections. Among other applications we prove Grothendieck-Verdier duality in this context.
In this note, we provide an axiomatic framework that characterizes the stable $infty$-categories that are module categories over a motivic spectrum. This is done by invoking Luries $infty$-categorical version of the Barr--Beck theorem. As an application, this gives an alternative approach to Rondigs and O stvae rs theorem relating Voevodskys motives with modules over motivic cohomology, and to Garkushas extension of Rondigs and O stvae rs result to general correspondence categories, including the category of Milnor-Witt correspondences in the sense of Calm`es and Fasel. We also extend these comparison results to regular Noetherian schemes over a field (after inverting the residue characteristic), following the methods of Cisinski and Deglise.
We construct a period regulator for motivic cohomology of an algebraic scheme over a subfield of the complex numbers. For the field of algebraic numbers we formulate a period conjecture for motivic cohomology by saying that this period regulator is surjective. Showing that a suitable Betti--de Rham realization of 1-motives is fully faithful we can verify this period conjecture in several cases. The divisibility properties of motivic cohomology imply that our conjecture is a neat generalization of the classical Grothendieck period conjecture for algebraic cycles on smooth and proper schemes. These divisibility properties are treated in an appendix by B. Kahn (extending previous work of Bloch and Colliot-Thel`ene--Raskind).