Modules over algebraic cobordism

Abstract

We prove that the infinity-category of MGL-modules over any scheme is equivalent to the infinity-category of motivic spectra with finite syntomic transfers. Using the recognition principle for infinite P-1-loop spaces, we deduce that very effective 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(infinity)(P1) MGL is the A(1)-homotopy type of the moduli stack of virtual finite flat local complete intersections, and that for n > 0, Omega(infinity)(P1) Sigma(n)(P1) MGL is the A(1)-homotopy type of the moduli stack of finite quasi-smooth derived schemes of virtual dimension -n.