2
$\begingroup$

Let J a smooth group scheme over a smooth connected base S.

I assume, that over an open subset U of S, J is a torus, do I have that J is abelian?

$\endgroup$
1
  • 1
    $\begingroup$ If $S$ is any scheme and $j:U \rightarrow S$ is a quasi-compact open immersion (so $j_{\ast}$ applied to quasi-coherent sheaves commutes with flat base change) such that $j$ is schematically dense (i.e., $O_S \rightarrow j_{\ast}(O_U)$ is injective) then $S$-maps $f, g:X \rightrightarrows Y$ are equal if $X$ is $S$-flat, $Y$ is $S$-separated, and $f_U = g_U$. This is a good exercise. It follows that a flat separated $S$-group $G$ is commutative if $G_U$ is commutative (via Sawin's argument with the commutator morphism, upgrading "set" to "scheme" suitably). $\endgroup$
    – user27056
    Oct 20, 2012 at 6:36

1 Answer 1

4
$\begingroup$

Yes. Consider the map: $J \times_S J \to J$ that sends $(a,b)$ to $aba^{-1}b^{-1}$. The pullback of the zero section along this map is a closed set. It is exactly the set of commuting pairs. It includes the inverse image of $U$, which is nonempty open.

Since $S$ is smooth and connected it is irreducible, so since $J$ is a torus over $U$ it has only one irreducible component over $U$, and any other irreducible component of $J$ would have to live entirely over $U^c$ which is impossible since it's flat, so $J$ is irreducible, so the inverse image of $U$ is dense, so the set of commuting pairs is the whole set, so it's commutative.

Edit: Per xbnv's comment, yes only if it's separated.

$\endgroup$
6
  • 2
    $\begingroup$ This argument assumes via the consideration of the identity section as a closed immersion that $J$ is $S$-separated (and that $U$ is non-empty, which the OP clearly meant to assume). Without separatedness it is false over $S = {\rm{Spec}}(R)$ for any discrete valuation ring $R$. Indeed, choose a non-commutative finite group $G$ and let $J$ be the gluing along the open generic point $U$ of copies of $S$ indexed by $G$, equipped with the obvious $S$-group structure. This is quasi-finite etale over $S$ with $J_U$ trivial, but the special fiber is the non-commutative finite constant group $G$. $\endgroup$
    – user27056
    Oct 20, 2012 at 6:02
  • $\begingroup$ Dear @Will, I'm not sure what $S$ is supposed to be smooth over in the question, but in any case, why is a scheme smooth over some base which is also connected necessarily irreducible? A quasi-compact, connected, regular scheme is definitely irreducible, but I believe there are smooth morphisms with the source (and necessarily the target) not regular (I could be wrong). And without some quasi-compactness hypothesis, having all local rings domains and being connected does not imply irreducibility. – $\endgroup$ Oct 21, 2012 at 4:08
  • $\begingroup$ My wording was weird so I should clarify. I mean to ask: why is a connected scheme which is smooth over some base necessarily irreduicble? $\endgroup$ Oct 21, 2012 at 4:13
  • $\begingroup$ I assumed that $S$ was smooth over the spec of a field, since a base wasn't mentioned. In that case the implication is standard - if there are two different irreducible components, since it's connected they must meet at a point, and that point must have zero divisors in its local ring and thus me singular. If there is a base, and it's reducible, clearly the argument doesn't work. If it's irreducible I think the implication that $S$ is reducible still goes through. $\endgroup$
    – Will Sawin
    Oct 21, 2012 at 5:20
  • 1
    $\begingroup$ @Will: Did you mean to say "irreducible" at the end of your preceding comment? A smooth connected scheme over an irreducible base need not be irreducible. For example, the projective planar nodal cubic $y^2 = x^2(x-1)$ over an alg. closed field is irreducible but it admits reducible connected finite etale covers of every degree $n > 1$ (namely, the so-called $n$-gon of projective lines). Basically, the problem is that whereas normality is local for the etale topology, irreducibility is not (in the absence of normality). $\endgroup$
    – user27056
    Oct 21, 2012 at 6:18

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.