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

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.Comment: 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 correction