Related papers: Motivic infinite loop spaces
We combine several mini miracles to achieve an elementary understanding of infinite loop spaces and very effective spectra in the algebro-geometric setting of motivic homotopy theory. Our approach combines $\Gamma$-spaces and framed…
We give an overview of the theory of framed correspondences in motivic homotopy theory. Motivic spaces with framed transfers are the analogue in motivic homotopy theory of $E_{\infty}$-spaces in classical homotopy theory, and in particular…
Using the theory of framed correspondences developed by Voevodsky, we introduce and study framed motives of algebraic varieties. They are the major computational tool for constructing an explicit quasi-fibrant motivic replacement of the…
We relate the recognition principle for infinite $\mathbf P^1$-loop spaces to the theory of motivic fundamental classes of D\'eglise, Jin, and Khan. We first compare two kinds of transfers that are naturally defined on cohomology theories…
We generalize several basic facts about the motivic sphere spectrum in $\mathbb A^1$-homotopy theory to the category $\mathrm{MS}$ of non-$\mathbb A^1$-invariant motivic spectra over a derived scheme. On the one hand, we show that all the…
For $k$ a perfect field of characteristic $p>0$ and $G/k$ a split reductive group with $p$ a non-torsion prime for $G,$ we compute the mod $p$ motivic cohomology of the geometric classifying space $BG_{(r)}$, where $G_{(r)}$ is the $r$th…
We prove the analog of the Morel-Voevodsky localization theorem for framed motivic spaces. We deduce that framed motivic spectra are equivalent to motivic spectra over arbitrary schemes, and we give a new construction of the motivic…
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 $\mathbb{P}^1$-loop spaces,…
Let k be an infinite perfect field. We provide a general criterion for a spectrum in the stable homotopy category over k to be effective, i.e. to be in the localizing subcategory generated by the suspension spectra of smooth schemes. As a…
Working over an algebraically closed field $k$ of characteristic $0$, we show that the motivic stable homotopy groups of the sphere spectrum can be determined entirely from the motivic homotopy groups of the $p$-completed sphere spectra and…
We obtain geometric models for the infinite loop spaces of the motivic spectra $\mathrm{MGL}$, $\mathrm{MSL}$, and $\mathbf{1}$ over a field. They are motivically equivalent to $\mathbb{Z}\times…
The theory of framed motives by Garkusha and Panin gives computations in the stable motivic homotopy category $\mathbf{SH}(k)$ in terms of Voevodsky's framed correspondences. In particular the motivically fibrant $\Omega$-resolution in…
Motivated by the operad built from moduli spaces of Riemann surfaces, we consider a general class of operads in the category of spaces that satisfy certain homological stability conditions. We prove that such operads are infinite loop space…
We make some computations in stable motivic homotopy theory over Spec \mathbb{C}, completed at 2. Using homotopy fixed points and the algebraic K-theory spectrum, we construct a motivic analogue of the real K-theory spectrum KO. We also…
We show that algebraic K-theory KGL, the motivic Adams summand ML and their connective covers acquire unique E-infinity structures refining naive multiplicative structures in the motivic stable homotopy category. The proofs combine…
We give an interpretation of J-spaces in terms of symmetric spectra in symmetric sequences. As application we show how one can define graded endomorphism objects in a general situation. As example we discuss the motivic bigraded…
We show that if G is a finite constant group acting on a scheme X such that the order of G is invertible in the residue fields of X, then the G-equivariant motivic stable homotopy category of X is equivalent to the stabilization of the…
The aim of this paper is to connect two important and apparently unrelated theories: motivic homotopy theory and ramification theory. We construct motivic homotopy categories over a qcqs base scheme $S$, in which cohomology theories with…
Using the trivial fiber topology we describe motivic $\infty$-loop spaces and fibrant replacements in the motivic stable homotopy category $\mathbf{SH}_{\mathbb{A}^1,\mathrm{Nis}}(B)$ defined over one-dimensional base schemes $B$.
For any base field and integer $l$ invertible in $k$, we prove that $\Omega^\infty_{\mathbb{G}_m}$ and $\Omega^\infty_{\mathbb{P}^1}$ commute with hyper \'etale sheafification $L_{\acute{e}t}$ and Betti realization through infinite loop…