Fundamental classes in motivic homotopy theory (Q824421): Difference between revisions

Following ideas of Fulton and MacPherson, the authors define the \textit{bivariant theory} with coefficients in a motivic (ring) spectrum \(\mathbb{E}\), graded by integers \(n\in \mathbb{Z}\) and virtual vector bundles \(v\) on a scheme \(X\), as the following group: \[ \mathbb{E}_n(X/S,v):=\operatorname{Hom}_{S\mathcal{H}(S)}(\operatorname{Thom}_X(v)[n],p^!(\mathbb{E}))\] for any finite type separated morphism \(p:X\to S\). These groups satisfies the usual properties: functoriality, covariance for proper maps, contravariance for étale maps, intersection product. The twist by a virtual vector bundle \(v\) is essential because the motivic homotopy category \(S\mathcal{H}(S)\) contains theories which are not oriented, such as Chow-Witt groups, Milnor-Witt motivic cohomology or hermitian \(K\)-theory. The main result of the paper is the construction of a canonical fundamental class \[\eta_f \in \mathbb{E}_n(X/S,v) \] for any smoothable lci morphism \(f:X\to Y\), where \(\langle L_f \rangle\) is the virtual tangent bundle of \(f\), and satisfying an associativity condition and an excess intersection formula. The case of a smooth morphism comes from Morel and Voevodsky's homotopy purity theorem, which asserts that, for smooth closed pairs \((X,Z)\), the homotopy type of \(X\) with support in \(Z\) is isomorphic to \(\operatorname{Th}_Z(N_ZX)\), the Thom space of the normal bundle of \(Z\) in \(X\). More subtle, the case of a regular closed immersion is achieved thanks the technique of deformation to the normal cone of Fulton. Both cases are then glued together in a straightforward manner. The last part of the article shows how the fundamental class gives rise to Gysin morphisms (i.e. wrong-way variance). The associativity (resp. excess intersection) property above corresponds to the compatibility with composition (resp. excess intersection formula) satisfied by these Gysin morphisms, as in Chow theory. This is related to the \textit{absolute purity property}. The \textit{absolute purity conjecture}, stated for étale torsion sheaves and \(l\)-adic sheaves, has been a difficult problem since its formulation by Grothendieck in the mid-sixties (published in 1977 in SGA5). For some time, only the case of one-dimensional regular schemes was known thanks to Deligne. A complete proof was found decades later by Gabber, using a refinement of De Jong resolution of singularities. For triangulated mixed motives, modeled on the previous étale setting by Beilinson, this conjecture was implicit in the expected property. It was first formulated and proved in the rational case by Cisinski-Déglise. Later the absolute purity property was explicitly highlighted in [\textit{D.-C. Cisinski} and \textit{F. Déglise}, ``Integral mixed motives in equal characteristic'', Preprint, \url{arXiv:1410.6359}], and proven for integral étale motives. It became apparent that this important property should hold in greater generality, and philosophically be an addition to the six functors formalism. This property has been obtained in several contexts (rational motives, étale motives, \(\mathbf{KGL}\)-modules) and is studied in greater generality in the present article. New examples can be found in subsequent work by the authors in e.g. [\textit{F. Déglise} et al., J. Éc. Polytech., Math. 8, 533--583 (2021; Zbl 1471.14052)], and also in [\textit{M. Frankland} and \textit{M. Spitzweck}, ``Towards the dual motivic Steenrod algebra in positive characteristic'', Preprint, \url{arXiv:1711.05230}]. An important consequence of this work is a motivic Gauss-Bonnet formula, computing Euler characteristics in the motivic homotopy category. This result is a generalization of a theorem of Levine which explores the idea of refining classical formulas to the quadratic setting (see also the work of Fasel, Hoyois, Kass, Wickelgren and many others).