Related papers: Framed motives of smooth affine pairs
We construct geometric models for the $\mathbb P^1$-spectrum $M_{\mathbb P^1}(Y)$, which computes in Garkusha-Panin's theory of framed motives \cite{GP14} a positively motivically fibrant $\Omega_{\mathbb P^1}$ replacement of…
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…
The category of framed correspondences $Fr_*(k)$ and framed sheaves were invented by Voevodsky in his unpublished notes [V2]. Based on the theory, framed motives are introduced and studied in [GP1]. These are Nisnivich sheaves of…
V. Voevodsyky laid the groundwork of delooping motivic spaces in order to provide a new, more computation-friendly, construction of the stable motivic category $SH(k)$, G. Garkusha and I. Panin made that project a reality, while…
We extend the results of G.~Garkusha and I.~Panin on framed motives of algebraic varieties [4] to the case of a finite base field, and extend the computation of the zeroth cohomology group $H^0(\mathbb ZF(\Delta^\bullet_k,\mathbf G^{\wedge…
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.…
We prove a recognition principle for motivic infinite P1-loop spaces over a perfect field. This is achieved by developing a theory of framed motivic spaces, which is a motivic analogue of the theory of E-infinity-spaces. A framed motivic…
The machinery of framed (pre)sheaves was developed by Voevodsky [V1]. Based on the theory, framed motives of algebraic varieties are introduced and studied in [GP1]. An analog of Voevodsky's Cancellation Theorem [V1] is proved in this paper…
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…
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…
In this article we compute the motive associated to a cellular fibration $\Gamma$ over a smooth scheme $X$ inside Veovodsky's motivic categories. We implement this result to study the motive associated to a $G$-bundle, and additionally to…
The category of framed correspondences $Fr_*(k)$ was invented by Voevodsky in his notes in order to give another framework for SH(k) more amenable to explicit calculations. Based on that notes and on their JAMS paper Garkusha and the author…
These notes, written version of a Bourbaki talk, survey Morel-Voevodsky's motivic homotopy theory over a field, with a focus on computations of motivic homotopy sheaves, both stable and unstable. We also describe Isaksen-Wang-Xu's…
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…
This paper introduces the trivial fiber topology on schemes. For one-dimensional base schemes, we use it to describe fibrant replacements in the stable motivic homotopy category and motivic infinite loop spaces. We also extend the…
This paper introduces a new cohomology theory for schemes of finite type over an arithmetic ring. The main motivation for this Arakelov-theoretic version of motivic cohomology is the conjecture on special values of $L$-functions and zeta…
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 define a ring of motivic classes of stacks suitable for symmetric powers in finite characteristic. Let $X$ be a smooth projective curve over a field of arbitrary characteristic. We calculate the motivic classes of the moduli stacks of…
In the Morel-Voevodsky motivic stable homotopy category of a quasi-compact quasi-separated scheme S, several candidates exist for a motivic spectrum representing hermitian K-theory. This note shows that the cellular absolute motivic…
We develop the technique of compactified correspondences and homotopies over one-dimensional base schemes, and illuminate the perfectness and the inverting of characteristic assumptions from the celebrating Voevodsky's strict homotopy…