A proof of the Grothendieck-Serre conjecture on principal bundles over regular local rings containing infinite fields (Q897006)

Let \(U\) be a regular scheme and \(G\) a reductive \(U\)-group scheme. Grothendieck and Serre conjectured that if a principal \(G\)-bundle \(\mathcal{G}\) over \(U\) is generically trivial, then it is locally trivial in the Zariski topology. The main result of this paper is the following: { Theorem}. Let \(R\) be a regular local ring that contains an infinite field and \(K := \text{Frac}(R)\). Let \(G\) be a reductive group scheme over \(U := \text{Spec}R\) and \(\mathcal{G}\) a principal \(G\)-bundle. If \(\mathcal{G}\) is trivial over \(\text{Spec}K\), then it is trivial. Equivalently, the map of non-abelian cohomology pointed sets \(H^1_{\text{ét}}(R, G) \to H^1_{\text{ét}}(K,G)\) induced by the inclusion of \(R\) to \(K\) has a trivial kernel. An important corollary of the theorem is that two principal \(G\)-bundles over \(U\) under the above assumptions that become isomorphic upon restriction to \(\text{Spec}K\) are isomorphic.