Fibrant resolutions for motivic Thom spectra (Q6046967)

The article provides models with specific properties of important \(T\)-spectra in the Morel-Voevodsky motivic stable homotopy category over a field \(k\); here \(T:=\mathbb{A}^1/\mathbb{A}^1-\{0\}\simeq \mathbb{P}^1\) is the Thom space of the trivial line bundle over the field \(k\). More precisely, the authors use Voevodsky's theory of framed correspondences, as elaborated by Garkusha-Panin and others, to construct almost fibrant models for suitable Thom spectra, that is, (symmetric) \(T\)-spectra built out of infinite sequences of pairs of smooth \(k\)-varieties with contractible alternating group actions. Prominent examples of the latter are Voevodsky's algebraic cobordism spectrum \(\mathrm{MGL}\) and its variants, as well as the sphere spectrum over \(k\). The fibrancy property implies that it is in principle simpler to compute homotopy classes of maps into these almost fibrant models. Hence these specific models should allow one for example to produce computations of homotopy groups (or sheaves of such) for algebraic cobordism and the sphere spectrum. Marc Levine's generalization of the Suslin-Voevodsky rigidity theorem from [\textit{M. Levine}, J. Topol. 7, No. 2, 327--362 (2014; Zbl 1333.14021)] is then applied to compute homotopy groups with finite coefficients for Thom spectra over an algebraically closed subfield of the complex numbers via topological realization.