We develop the theory of fundamental classes in the setting of motivic homotopy theory. Using this we construct, for any motivic spectrum, an associated twisted bivariant theory, extending the formalism of Fulton and MacPherson. We import the tools of Fulton’s intersection theory into this setting: (refined) Gysin maps, specialization maps, and formulas for excess of intersection, self-intersections, and blow-ups. We also develop a theory of Euler classes of vector bundles in this setting. For the Milnor–Witt spectrum recently constructed by Déglise–Fasel, we get a bivariant theory extending the Chow–Witt groups of Barge–Morel, in the same way the higher Chow groups extend the classical Chow groups. As another application we prove a motivic Gauss–Bonnet formula, computing Euler characteristics in the motivic homotopy category.
We prove that the
$\infty $
-category of
$\mathrm{MGL} $
-modules over any scheme is equivalent to the
$\infty $
-category of motivic spectra with finite syntomic transfers. Using the recognition principle for infinite
$\mathbf{P} ^1$
-loop spaces, we deduce that very effective
$\mathrm{MGL} $
-modules over a perfect field are equivalent to grouplike motivic spaces with finite syntomic transfers.
Along the way, we describe any motivic Thom spectrum built from virtual vector bundles of nonnegative rank in terms of the moduli stack of finite quasi-smooth derived schemes with the corresponding tangential structure. In particular, over a regular equicharacteristic base, we show that
$\Omega ^\infty _{\mathbf{P} ^1}\mathrm{MGL} $
is the
$\mathbf{A} ^1$
-homotopy type of the moduli stack of virtual finite flat local complete intersections, and that for
$n>0$
,
$\Omega ^\infty _{\mathbf{P} ^1} \Sigma ^n_{\mathbf{P} ^1} \mathrm{MGL} $
is the
$\mathbf{A} ^1$
-homotopy type of the moduli stack of finite quasi-smooth derived schemes of virtual dimension
$-n$
.
We relate the recognition principle for infinite P 1 -loop spaces to the theory of motivic fundamental classes of Déglise, Jin, and Khan.We first compare two kinds of transfers that are naturally defined on cohomology theories represented by motivic spectra: the framed transfers given by the recognition principle, which arise from Voevodsky's computation of the Nisnevish sheaf associated with A n /(A n − 0), and the Gysin transfers defined via Verdier's deformation to the normal cone.We then introduce the category of finite E-correspondences for E a motivic ring spectrum, generalizing Voevodsky's category of finite correspondences and Calmès and Fasel's category of finite Milnor-Witt correspondences. Using the formalism of fundamental classes, we show that the natural functor from the category of framed correspondences to the category of E-module spectra factors through the category of finite E-correspondences.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.