Fibrant resolutions for motivic Thom spectra

DOI10.2140/AKT.2023.8.421MaRDI QIDQ6046967zbMATH OpenOpenAlexFDO

Authors Grigory Garkusha, Alexander Neshitov

Publication date 6 September 2023

Published in Annals of \(K\)-Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1804.07621

zbMATH Keywords

framed correspondencesmotivic homotopy theorymotivic Thom spectra

Mathematics Subject Classification ID

Motivic cohomology; motivic homotopy theory (14F42) Stable homotopy theory, spectra (55P42)

Abstract: Using the theory of framed correspondences developed by Voevodsky [24] and the machinery of framed motives introduced and developed in [6], various explicit fibrant resolutions for a motivic Thom spectrum $E$ are constructed in this paper. It is shown that the bispectrum ${\displaystyle }$M_E^{mathbb G}(X)=(M_{E}(X),M_{E}(X)(1),M_{E}(X)(2),ldots),${\displaystyle }$ each term of which is a twisted $E$-framed motive of $X$, introduced in the paper, represents $X_{+}wedgeE$ in the category of bispectra. As a topological application, it is proved that the $E$-framed motive with finite coefficients $M_E(pt)(pt)/N$, $N>0$, of the point $pt=Spec(k)$ evaluated at $pt$ is a quasi-fibrant model of the topological $S^2$-spectrum $R{e}^{e}psilon(E)/N$ whenever the base field $k$ is algebraically closed of characteristic zero with an embedding $epsilon:khookrightarrowmathbbC$. Furthermore, the algebraic cobordism spectrum $MGL$ is computed in terms of $Omega$-correspondences in the sense of [15]. It is also proved that $MGL$ is represented by a bispectrum each term of which is a sequential colimit of simplicial smooth quasi-projective varieties.

Review text

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.

Recommendations

• Modules over algebraic cobordism
• The unit map of the algebraic special linear cobordism spectrum
• Framed transfers and motivic fundamental classes
• Motivic homotopy theory
• Hermitian K-theory via oriented Gorenstein algebras
• The Chow \(t\)-structure on the \(\infty\)-category of motivic spectra
• Rigidity for linear framed presheaves and generalized motivic cohomology theories
• Motivic symmetric spectra
• Homotopy invariant presheaves with framed transfers
• Motivic Landweber exactness

Cites work

• \(\mathbb{A}^1\)-homotopy theory
• A comparison of motivic and classical stable homotopy theories
• A universality theorem for Voevodsky's algebraic cobordism spectrum
• Cancellation theorem for framed motives of algebraic varieties
• Categories and cohomology theories
• Flasque model structures for simplicial presheaves
• Framed and MW-transfers for homotopy modules
• Framed motives of algebraic varieties (after V. Voevodsky)
• Framed motives of relative motivic spheres
• Framed motivic $\Gamma$-spaces
• Homotopy invariant presheaves with framed transfers
• Introduction to Grothendieck duality theory
• Lecture notes on motivic cohomology
• Modules over algebraic cobordism
• Motivic infinite loop spaces
• Motivic symmetric spectra
• Néron Models
• On the formal group laws of unoriented and complex cobordism theory
• On the Kneser-Tits problem
• On the motivic spectral sequence
• On Voevodsky's Algebraic K-Theory Spectrum
• Rigidity theorem for presheaves with -transfers
• Singular homology of abstract algebraic varieties
• Smooth manifolds and their applications in homotopy theory
• Spectra and symmetric spectra in general model categories

Cited in

(1)

• Correspondences and stable homotopy theory

This page was built for publication: Fibrant resolutions for motivic Thom spectra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6046967)