Unramified case of Grothendieck-Serre for totally isotropic simply-connected group schemes

Abstract: We prove a case of the Grothendieck-Serre conjecture: let

R

be a Noetherian semilocal flat algebra over a semilocal Dedekind domain such that all fibers of

R

are geometrically regular; let

m a t h b f G

be a simply-connected reductive

R

-group scheme having a strictly proper parabolic subgroup scheme. Then a

m a t h b f G

-torsor is trivial, provided that it is trivial over the total ring of fractions of

R

. We also simplify the proof of the conjecture in the quasisplit unramified case. The argument is based on the following statement. Let

m a t h b f G

be as above, then for a generically trivial

m a t h b f G

-torsor there is a codimension two subset

T

of

m a t h r m S p e c, R

such that for every morphism

m a t h r m S p e c, A o m a t h r m S p e c, R - T

, the pullback of the torsor to

A

is trivial.

This page was built for publication: Unramified case of Grothendieck-Serre for totally isotropic simply-connected group schemes