Gersten conjecture for equivariant \(K\)-theory and applications (Q2268149)

Let \(A\) be a regular semi-local ring which is essentially of finite type over a field \(k\) and let \(F\) be the field of fractions of \(A.\) Let further \(G\) be a connected and reductive affine group scheme over \(A\), and for any ring extension \(A\rightarrow B\) let \(K^{G}(B)\) denote the spectrum of the \(K\)-theory of finitely generated projective \(B\)-modules. Denote by \(K^{G}_{i}(B)\) the \(i\)-th homotopy group of the spectrum \(K^{G}(B).\) The author proves the following equivariant version of the Gersten conjecture: Theorem 1.1. For a split and connected reductive group scheme \(G\) over the regular semi-local ring \(A\) as above, and for any \(i\in {\mathbb Z},\) there is an exact sequence \[ \begin{tikzcd} 0\rar & K^G_{i}(A)\rar["i"] & K^G_{i}(F)\rar["d_1"] & \coprod_{\operatorname{height}\mathfrak p =1} K^G_{i-1}(k(\mathfrak p))\rar & \cdots \end{tikzcd} \] As a corollary the author obtains that the natural map \(j: R_A(G)\rightarrow R_{F}(G)\) of representation is an isomorphism. Another corollary derived by the author is that for \(G\) a split, connected reductive group scheme over the regular semi-local ring \(A\) fullfilling the above assumptions, and \(H\) a subgroup scheme of \(G\) of the same type, the natural map of rings \( R_A(G)\rightarrow R_{A}(H)\) is finite. The author also proves the equivariant version of the rigidity theorem [cf. \textit{A. A. Suslin}, J. Pure Appl. Algebra 34, 301--318 (1984; Zbl 0548.12009); \textit{H. A. Gillet} and \textit{R. W. Thomason}, J. Pure Appl. Algebra 34, 241--254 (1984; Zbl 0577.13009)] for the \(K\)-theory with finite coefficients of a Henselian local ring. As a consequence the equivariant \(K\)-theory of algebraically closed fields is computed.