Künneth formulas for motives and additivity of traces
arXiv:1812.06441 · doi:10.1016/j.aim.2020.107446
Abstract
We prove several Künneth formulas in motivic homotopy categories and deduce a Verdier pairing in these categories following SGA5, which leads to the characteristic class of a constructible motive, an invariant closely related to the Euler-Poincaré characteristic. We prove an additivity property of the Verdier pairing using the language of derivators, following the approach of May and Groth-Ponto-Shulman; using such a result we show that in the presence of a Chow weight structure, the characteristic class for all constructible motives is uniquely characterized by proper covariance, additivity along distinguished triangles, refined Gysin morphisms and Euler classes. In the relative setting, we prove the relative Künneth formulas under some transversality conditions, and define the relative characteristic class.
arXiv comment58 pages; updated two references
References in corpus (15)
- Higher Topos Theory
- Weight structures vs. -structures; weight filtrations, spectral sequences, and complexes (for motives and in general)
- A quadratic refinement of the Grothendieck-Lefschetz-Verdier trace formula
- Étale motives
- Fundamental classes in motivic homotopy theory
- The characteristic cycle and the singular support of a constructible sheaf
- Perfection in motivic homotopy theory
- The characteristic class and ramification of an l-adic etale sheaf
- Motivic Euler characteristics and Witt-valued characteristic classes
- Borel-Moore motivic homology and weight structure on mixed motives
- Aspects of enumerative geometry with quadratic forms
- On relative -motives, weights for them, and negative -groups
- On the non additivity of the trace in derived categories
- The Grothendieck ring of varieties and algebraic K-theory of spaces
- On the relative twist formula of -adic sheaves