Rigidity for linear framed presheaves and generalized motivic cohomology theories

Abstract: A rigidity property for the homotopy invariant stable linear framed presheaves is established. As a consequence a variant of Gabber rigidity theorem is obtained for a cohomology theory representable in the motivic stable homotopy category by a

p h i

-torsion spectrum with

p h i i n m a t h r m G W (k)

of rank coprime to the (exponential) characteristic of the base field

k

. It is shown that the values of such cohomology theories at an essentially smooth Henselian ring and its residue field coincide. The result is applicable to cohomology theories representable by

n

-torsion spectra as well as to the ones representable by

e t a

-periodic spectra and spectra related to Witt groups.

Review text

A theorem of Suslin and Gillet-Thomason (which is a particular case of the famous Gabber rigidity theorem [\textit{O. Gabber}, Contemp. Math. 126, 59--70 (1992; Zbl 0791.19002)]) states that if \(\mathcal{O}^h_{X,x}\) is the Henselization of the local ring of a smooth variety \(X\) over a field \(k\) at a rational point \(x\) and \(n\) is an integer invertible in \(k\), then there is a canonical isomorphism \(K_i(\mathcal{O}^h_{X,x},\mathbb{Z}/n)\simeq K_i(k,\mathbb{Z}/n)\) of algebraic \(K\)-theory with mod \(n\) coefficients. In this article, the authors establish some similar rigidity results in \(\mathbb{A}^1\)-motivic homotopy theory, using the theory of framed correspondences developed by \textit{G. Garkusha} and \textit{I. Panin} [``Framed motives of algebraic varieties (after V. Voevodsky), Preprint, \url{arXiv:1409.4372}]. The main result is the following (Theorem 6.3): let \(X\) be a smooth variety over a field \(k\) with \(x\) a closed point with residue field separable over \(k\) and \(n\) be an integer invertible in \(k\). Let \(\mathcal{F}\) be a homotopy invariant presheaf over smooth schemes over \(k\) which has transfers with respect to framed correspondences and is stable (Definition 4.1 (1)), such that \(\mathcal{F}\) is \(nh\)-torsion where \(h\) is the framed correspondence that corresponds to the hyperbolic form (if \(k\) has characteristic \(2\), \(\mathcal{F}\) is required to be \(n\)-torsion). Then there is a canonical isomorphism \[ \mathcal{F}(\text{Spec } \mathcal{O}^h_{X,x})\simeq\mathcal{F}(k(x)) \] where the left hand side is defined as the limit of values of \(\mathcal{F}\) along all étale neighborhoods of \(x\) in \(X\). In particular, this result applies to any (bigraded) cohomology theory which is representable in the stable motivic homotopy category \(SH(k)\), since any such theory always has framed transfers. The proof of the main result reduces to a statement about framed correspondences on smooth curves over a Henselian local ring (Theorem 6.1), and then uses geometric tools to give a detailed study of explicit framed correspondences.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Rigidity for linear framed presheaves and generalized motivic cohomology theories

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