Trace formalism for motivic cohomology

Abstract

The goal of this paper is to construct trace maps for the six functor formalism of motivic cohomology after Voevodsky, Ayoub, and Cisinski-Déglise. We also construct an $\infty$-enhancement of such a trace formalism. In the course of the $\infty$-enhancement, we need to reinterpret the trace formalism in a more functorial manner. This is done by using Suslin-Voevodsky's relative cycle groups.

References in corpus (3)

• Perfection in motivic homotopy theory
• Borel-Moore motivic homology and weight structure on mixed motives
• Ramification theory from homotopical point of view, I