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

Roman Fedorov, Ivan Panin

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 t…