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.
$\begingroup$
$\endgroup$
8
-
$\begingroup$ The question looks natural, but it would be interesting to know a little more about the background or the implications. $\endgroup$– Jim HumphreysCommented Apr 23, 2011 at 14:56
-
2$\begingroup$ 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. $\endgroup$– Keerthi MadapusiCommented Apr 23, 2011 at 15:11
-
$\begingroup$ 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. $\endgroup$– Keerthi MadapusiCommented Apr 23, 2011 at 15:13
-
6$\begingroup$ 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}$. $\endgroup$– Keerthi MadapusiCommented Apr 23, 2011 at 21:54
-
1$\begingroup$ @W.Rether: no, they are not. There are plenty of examples of smooth group schemes with non-isomorphic geometric fibers. $\endgroup$– Roman FedorovCommented May 23 at 17:48
|
Show 3 more comments
1 Answer
$\begingroup$
$\endgroup$
2
Reductive groups schemes over $S$ are classified by $H^1_{fpqc}(S,Aut_G)$, see SGA 3 Exp. XXIV.
-
6$\begingroup$ You can indeed replace $fpqc$ by $et$, see SGA 3 Exp. XXIV Cor. 1.18 $\endgroup$ Commented Apr 29, 2011 at 11:26
-
4$\begingroup$ Note that SGA3 has its own definition of reductive. The geometric fibers have to be connected. $\endgroup$ Commented Apr 29, 2011 at 15:55