1. Cancellation theorem for framed motives of algebraic varieties
- Author
-
Grigory Garkusha, Ivan Panin, and Alexey Ananyevskiy
- Subjects
Group (mathematics) ,General Mathematics ,010102 general mathematics ,K-Theory and Homology (math.KT) ,Algebraic variety ,14F42, 14F05 ,01 natural sciences ,Suspension (topology) ,Combinatorics ,Mathematics - Algebraic Geometry ,Mathematics - K-Theory and Homology ,0103 physical sciences ,FOS: Mathematics ,Algebraic Topology (math.AT) ,Mathematics - Algebraic Topology ,010307 mathematical physics ,0101 mathematics ,Abelian group ,Algebraic Geometry (math.AG) ,Mathematics - 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 $$M_{fr}(X)(n)\to\underline{\textrm{Hom}}(\mathbb G,M_{fr}(X)(n+1)),\quad n\geq 0,$$ 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 $\Sigma^\infty_{\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^\bullet \times X,Y) \to \mathbb ZF((\Delta^\bullet \times X)\wedge (\mathbb G_m,1),Y\wedge (\mathbb G_m,1)),\quad X,Y\in Sm/k, \] is a quasi-isomorphism, where $\mathbb ZF(X,Y)$ is the group of stable linear framed correspondences in the sense of [GP1]., Comment: This is the final revised version; accepted by Advances Math
- Published
- 2021