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

Abstract

Let R be a regular local ring, containing an infinite field. Let G be a reductive group scheme over R. We prove that a principal G-bundle over R is trivial, if it is trivial over the fraction field of R.

Section "Formal loops and affine Grassmannians" is removed as this is now covered in arXiv:1308.3078. Exposition is improved and slightly restructured. Some minor corrections

Cited by in corpus (7)

• Affine representability results in A^1-homotopy theory II: principal bundles and homogeneous spaces
• The Test Function Conjecture for Local Models of Weil-restricted groups
• Nice triples and Grothendieck--Serre's conjecture concerning principal G-bundles over reductive group schemes
• Affine Grassmannians of group schemes and exotic principal bundles over A^1
• On the Grothendieck-Serre Conjecture about principal bundles and its generalizations
• Affine Grassmannians in A^1-algebraic topology
• On the Grothendieck-Serre Conjecture for Classical Groups