Let $G$ be a group scheme over a field $k$. Let $G^0$ be the connected component containing the identity. Is it true that $G^0\times_k G^0$ is connected?
I know that this is true if $G^0$ is geometrically connected, but how to prove it in general?
Is the fiber product of the connected component of a group scheme connected?
713 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail AtThere are 2 best solutions below
On
Since the numberings in Stacks Project have been updated, for convenience, I rewrite the argument here.
To show that $G^0\times_k G^0$ is connected, by [EGAIV$_2$, 4.5.8], it suffices to show that $G^0$ is geometrically connected. Since $G^0_k$ is connected by definition, and contains a $k$-rational point (which is the neutral section), we apply
[EGAIV$_2$, 4.5.14] Let $X$ be a scheme over a field $k$. If there is a point $x\in X$ such that $\kappa (x)$ is a primary extension of $k$ (for instance, $x$ is a $k$-rational point of $X$), then the connected component of $X$ containing $x$ is geometrically connected.
In conclusion, for every group scheme $G$ over a field $k$, the neutral component $G^0$ is geometrically connected and $G^0\times_k G^0$ is connected.
Thanks to some outside help I figured out the answer to the question. Actually everything needed was here http://stacks.math.columbia.edu/download/varieties.pdf.
Since the identity is a $k$-rational point contained in $G^0$ and this one is connected, we can apply Lemma 5.14. Then $G^0$ is geometrically connected, this allows us to conclude using Lemma 5.4.