Proof of the Grothendieck-Serre conjecture on principal bundles over regular local rings containing a field

摘要

Let R be a regular local ring containing a 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 field of fractions of R. In other words, if K is the field of fractions of R, then the map