# Is every reductive group scheme etale locally trivial?

Let $S$ be a scheme over a field $k$, and let $G$ be a reductive group scheme over $S$. Let us call it trivial, if it is a pull-back of a group scheme over $k$ via the structure morphism $S\to k$. Is it always true that $G$ becomes trivial after a certain etale base change $S'\to S$? I am willing to assume that $S$ is smooth if needed.

• The question looks natural, but it would be interesting to know a little more about the background or the implications. Apr 23, 2011 at 14:56
• If you look at SGA 3, Prop XIX.6.1, it is essentially shown that any reductive group over any base is split after a finite etale base change. So if you allow extensions of scalars of $k$ as well, then what you need follows. Apr 23, 2011 at 15:11
• Sorry, it appears as if the Proposition does not guarantee you a finite etale base change, though I would be surprised if this weren't true. Apr 23, 2011 at 15:13
• I have been informed by the esteemed BCnrd that my previous comment was too optimistic. In fact, in his paper 'Groups over $\mathbb{Z}$', B. Gross has shown the existence of non-split simply-connected semi-simple groups over $\mathbb{Q}$ that have reductive models over $\mathbb{Z}$. In particular, these models can only split after a non-finite etale base-change over $\mathbb{Z}$. Apr 23, 2011 at 21:54
• Answering the question of Jim, if the statement is correct, then reductive group schemes over $S$ are classified by $H^1_{et}(S, Aut_G)$, right? Apr 25, 2011 at 17:26

Reductive groups schemes over $S$ are classified by $H^1_{fpqc}(S,Aut_G)$, see SGA 3 Exp. XXIV.
• You can indeed replace $fpqc$ by $et$, see SGA 3 Exp. XXIV Cor. 1.18 Apr 29, 2011 at 11:26