Torsors of isotropic reductive groups over Laurent polynomials (Q2031839)

Let \(G\) be a reductive groups scheme over a Laurent polynomial ring \(R=k[x_1^{\pm 1}, \ldots, x_n^{\pm 1}]\) over a field \(k\) of characteristic \(0\). In 2017, Chernousov, Gille, and Pianzola [\textit{V. Chernousov} et al., Comment. Math. Helv. 92, No. 1, 37--55 (2017; Zbl 1362.14022)] conjectured that \(H_{\mathrm{Zar}}^1(R,G)\) is trivial for isotropic loop reductive group \(G\). The case \(G=\mathrm{GL}_n\) is a special case of Serre's conjecture, affirmatively proved by R. G. Swan following the idea of D. Quillen. And, if \(G\) is defined over \(k\), the conjecture was proved by P. Gille and A. Pianzola based on a theorem of M. S. Raghunathan. Some more cases of the conjecture was also known to us. In the paper under review the author has established the above conjecture in full. The main result of the paper is the following general statements: {Theorem.} Let \(k\) be a field of characteristic \(0\), and let \(G\) be a reductive group over \(R=K[x_1^{\pm 1}, \ldots, x_n^{\pm 1}]\). Let \(K=k(x_1,\ldots, x_n)\), and \(F=k((x_1)\cdots(x_n))\) \begin{itemize} \item[1.] The following conditions are equivalent on \(G\): \begin{itemize} \item[(i)] \(G\) is isotropic. \item[(ii)] The algebraic \(K\)-group \(G_K=G\otimes_R K\) is isotropic. \item[(iii)] The algebraic \(F\)-group \(G_F=G\otimes_R F\) is isotropic. \end{itemize} \item[2.] If \(G\) satisfies the equivalent conditions of (1), then \(G\) is loop reductive and for any regular ring \(A\) containing \(k\), the natural map \(H_{\text{ét}}^1(R\otimes_k A,G)\rightarrow H_{\text{ét}}^1(R\otimes_k K,G)\) has trivial kernel. \end{itemize} {Corollary 1.} Let \(k\) be an algebraically closed field of characteristic \(0\), and \(G\) a semi-simple reductive group over \(R=K[x_1^{\pm 1}, x_2^{\pm 1}]\) having no semi-simple normal subgroups of type \(A_n\), \(n\ge 1\). Let \(1\rightarrow \mu \rightarrow G^{sc}\rightarrow G\rightarrow 1\) be the simply connected cover of \(G\). Then the boundary map \(H_{\text{ét}}^1(R,G)\rightarrow H_{\text{ét}}^2(R,\mu)\) is bijective. In particular, if \(G\) is simply connected, then \(H_{\text{ét}}^1(R,G)\) is trivial. {Corollary 2.} Let \(k\) be a field of characteristic \(0\), and \(G\) a reductive group of rank \(\ge 2\) over \(R=K[x_1^{\pm 1}, \ldots, x_n^{\pm 1}]\). Then the natural map \(K_1^G (R)\rightarrow K_1^G (F)\) is injective. Moreover, if \(G\) is semi-simple, the map is an isomorphism.