Cancellation theorem for framed motives of algebraic varieties

DOI10.1016/J.AIM.2021.107681MaRDI QIDQ2020395zbMATH OpenOpenAlexWikidataFDO

Authors Alexey Ananyevskiy, Grigory Garkusha, Ivan Panin

Publication date 23 April 2021

Published in Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

cancellation theoremframed motivesmotivic homotopy theory

Mathematics Subject Classification ID

Derived categories of sheaves, dg categories, and related constructions in algebraic geometry (14F08) Motivic cohomology; motivic homotopy theory (14F42)

Abstract: 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 framed motives stating that a natural map of framed $S^1$-spectra ${\displaystyle }$M_{fr}(X)(n) ounderline{ extrm{Hom}}(mathbb G,M_{fr}(X)(n+1)),quad ngeq 0,${\displaystyle }$ is a schemewise stable equivalence, where $M_{fr}(X)(n)$ is the $n$th twisted framed motive of $X$. This result is also necessary for the proof of the main theorem of [GP1] computing fibrant resolutions of suspension $mathbb{P}^1$-spectra $Sigm{a}^{i}nft{y}_{mathbb{P}^1}{X}_{+}$ with $X$ a smooth algebraic variety. The Cancellation Theorem for framed motives is reduced to the Cancellation Theorem for linear framed motives stating that the natural map of complexes of abelian groups [ mathbb ZF(Delta^�ullet imes X,Y) o mathbb ZF((Delta^�ullet imes X)wedge (mathbb G_m,1),Ywedge (mathbb G_m,1)),quad X,Yin Sm/k, ] is a quasi-isomorphism, where $mathbbZF(X,Y)$ is the group of stable linear framed correspondences in the sense of [GP1].

Recommendations

• Framed motives of algebraic varieties (after V. Voevodsky)
• Framed motives of relative motivic spheres
• Framed motives of smooth affine pairs
• Rigidity for linear framed presheaves and generalized motivic cohomology theories
• The localization theorem for framed motivic spaces

Cites work

• \(\mathbb{A}^1\)-homotopy theory of schemes
• A proof of the Grothendieck-Serre conjecture on principal bundles over regular local rings containing infinite fields
• Affine analog of the proper base change theorem
• Cancellation theorem
• Categories and cohomology theories
• Framed motives of algebraic varieties (after V. Voevodsky)
• Framed motives of relative motivic spheres
• Homotopy invariant presheaves with framed transfers
• scientific article; zbMATH DE number 2174381 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• Motivic symmetric spectra
• Rationally trivial Hermitian spaces are locally trivial
• Surjectivity of the étale excision map for homotopy invariant framed presheaves
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas (Quatrième partie). Rédigé avec la colloboration de J. Dieudonné
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Troisième partie). Rédigé avec la colloboration de J. Dieudonné

Cited in

(17)

• Rigidity for linear framed presheaves and generalized motivic cohomology theories
• Framed and MW-transfers for homotopy modules
• Milnor-Witt homotopy sheaves and Morel generalized transfers
• Framed motives of smooth affine pairs
• Cancellation theorem for motivic spaces with finite flat transfers
• Vladimir Voevodsky -- an appreciation
• The localization theorem for framed motivic spaces
• Reconstructing rational stable motivic homotopy theory
• Framed motives of relative motivic spheres
• Framed motives of algebraic varieties (after V. Voevodsky)
• The unit map of the algebraic special linear cobordism spectrum
• Fibrant resolutions for motivic Thom spectra
• Motivic cohomology
• Cancellation theorem
• Triangulated categories of framed bispectra and framed motives
• Surjectivity of the étale excision map for homotopy invariant framed presheaves
• Notes on motivic infinite loop space theory

This page was built for publication: Cancellation theorem for framed motives of algebraic varieties

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