Rigidity for linear framed presheaves and generalized motivic cohomology theories (Q1649338)

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.