1: \begin{abstract}

2: We prove that the $\infty$-category of $\MGL$-modules over any scheme is equivalent to the $\infty$-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.

3: 

4: 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.

5: In particular, over a regular equicharacteristic base, we show that $\Omega^\infty_{\P^1}\MGL$ is the $\A^1$-homotopy type of the moduli stack of virtual finite flat local complete intersections, and that for $n>0$, $\Omega^\infty_{\P^1} \Sigma^n_{\P^1} \MGL$ is the $\A^1$-homotopy type of the moduli stack of finite quasi-smooth derived schemes of virtual dimension $-n$.

6: \end{abstract}

7: