Rigidity for henselian local rings and \(\mathbb{A}^1\)-representable theories
type: Item
instance of: scholarly article
title: Rigidity for henselian local rings and \(\mathbb{A}^1\)-representable theories
zbMATH Open document ID: 1190.14010
author: Jens Hornbostel
author: Serge Yagunov
published in: Mathematische Zeitschrift
publication date: 2010-05-10T00:00:00Z
review text: Let \(R\) be a henselian local ring essentially smooth over an infinite field \(k\). Assume that \(E=E^{**}\) is a contravariant bigraded functor on the category \(S\) of smooth schemes of finite type over \(k\), \(E:S\rightarrow \mathbf{Ab}\), that is representable in the stable \({\mathbb A}^1\)-homotopy theory and satisfies \( lE=0\) for \( l\in {\mathbb Z}\) invertible in \(R\). Assume that \(E\) is so called normalized with respect to the fraction field of \(R\). Let \(f:M\rightarrow \mathrm{Spec } R\) be a smooth affine morphism of (pure) relative dimension \(d\) and \(s_0,s_1:\mathrm{Spec } R \rightarrow M\) two sections of \(f\) such that \(s_0(P)=s_1(P)\), where \(P\) is the closed point of \(\mathrm{Spec } R\). Then the induced maps \(s_i^*:E(M)\rightarrow E(\mathrm{Spec }R)\), \(i=1,2\) are equal. This is a rigidity theorem, which extends the results of \textit{I. Panin} and the second author [J. Pure Appl. Algebra 172, No. 1, 49--77 (2002; Zbl 1056.14027)] obtained for an algebraically closed field \(k\) and it is similar to the rigidity theorem of \textit{O. Gabber} [Contemp. Math. 126, 59--70 (1992; Zbl 0791.19002)] obtained for algebraic \(K\)-theory.
Mathematics Subject Classification ID: 14C35
Mathematics Subject Classification ID: 13D15
Mathematics Subject Classification ID: 13J15
zbMATH DE Number: 5706074
zbMATH Keywords: rigidity property
zbMATH Keywords: cohomology theory
zbMATH Keywords: stable \({\mathbb A}^1\)-homotopy category
zbMATH Keywords: Henselian rings
MaRDI profile type: Publication
full work available at URL: s00209-006-0049-4
OpenAlex ID: W2076021798
cites work: Triangular Witt groups. II: From usual to derived
cites work: Q4357476
cites work: Q4010222
cites work: The K-theory of strict Hensel local rings and a theorem of Suslin
cites work: \(A^1\)-representability of hermitian \(K\)-theory and Witt groups
cites work: Geometric models for the K-theory of fields
cites work: Motivic symmetric spectra
cites work: Relations between algebraic K-theory and Hermitian K-theory
cites work: Isometrien über semilokalen Ringen
cites work: Q4530238
cites work: Q3871006
cites work: Q4681880
cites work: Rigidity for orientable functors
cites work: Higher algebraic K-theory: I
cites work: Q3708857
cites work: On the K-theory of algebraically closed fields
cites work: On the K-theory of local fields
cites work: Singular homology of abstract algebraic varieties
cites work: \(\mathbb{A}^1\)-homotopy theory
cites work: Q4513078
cites work: Rigidity II: non-orientable case
DOI: 10.1007/S00209-006-0049-4
description: scientific article; zbMATH DE number 5706074