On the Grothendieck-Serre Conjecture about principal bundles and its generalizations
Let be a regular connected affine semi-local scheme over a field . Let be a reductive group scheme over . Assuming that has an appropriate parabolic subgroup scheme, we prove the following statement. Given an affine -scheme , a principal -bundle over is trivial if it is trivial over the generic fiber of the projection . We also simplify the proof of the Grothendieck-Serre conjecture: let be a regular connected affine semi-local scheme over a field . Let be a reductive group scheme over . A principal -bundle over is trivial if it is trivial over the generic point of . We generalize some other related results from the simple simply-connected case to the case of arbitrary reductive group schemes.