A classification of torsors over Laurent polynomial rings (Q520754)

Let \(k\) be a field of characteristic zero and \(R_n\) the algebra of Laurent polynomials over \(k\) in \(n\) variables \(t_1,\ldots,t_n\). Suppose that \(G\) is a reductive \(R_n\)-group scheme. It is shown that there is a natural isomorphism between \(H^1(R_n,G)\) and a coproduct of all \(H^1_{Zar}(R_n,{}^EG)\) for all twisted \(R_n\)-group schemes \({}^EG\) admitting a maximal torus. If \(G\) is an affine \(R_n\)-group scheme with some additional conditions then there is a natirual isomorphism between \(H^1_{toral}(R_n,G)\) and \(H^1(K_n,G)_{R_n,unr},\; H^1(F_n,G)\). Here \(K_n\) is the division ring of \(K_n\) and \(F_n=k((t_1),\ldots,(t_n))\). Also \(H^1(K_n,G)_{R_n,unr}\) is a subset of the Galois cohomology set \(H^1(K_n,G)\) consisting of classes of \(G\)-torsors over \(K_n\) extending every where in codimension 1.