Bivariant theories in motivic stable homotopy (Q1796611)

Summary: The purpose of this work is to study the notion of bivariant theory introduced by \textit{W. Fulton} and \textit{R. MacPherson} [Categorical framework for the study of singular spaces. Providence, RI: American Mathematical Society (AMS) (1981; Zbl 0467.55005)] in the context of motivic stable homotopy theory, and more generally in the broader framework of the Grothendieck six functors formalism. We introduce several kinds of bivariant theories associated with a suitable ring spectrum, and we construct a system of orientations (called fundamental classes) for global complete intersection morphisms between arbitrary schemes. These fundamental classes satisfy all the expected properties from classical intersection theory and lead to Gysin morphisms, Riemann-Roch formulas as well asduality statements, valid for general schemes, including singular ones and without need of a base field. Applications are numerous, ranging from classical theories (Betti homology) to generalized theories (algebraic \(K\)-theory, algebraic cobordism) and more abstractly to étale sheaves (torsion and \(\ell\)-adic) and mixed motives.