1
$\begingroup$

Let $G$ be a group scheme over $S$ where $S$ is a reduced scheme of finite type over a field $k$ of characteristic 0, and let every fibre $G_s$ over a closed point of $S$ be isomorphic to $\mathbb{G}_a^n$ for some $n$ that varies with $s$.

Is it true then that $G$ is reduced?

Suppose that $G$ is reduced. Is it true that $G \times_S G$ is reduced?

(This question is a continuation of this one; the motivation comes from this question)

$\endgroup$
4
  • $\begingroup$ Is $n$ independent of $s$? $\endgroup$ Feb 15, 2012 at 21:01
  • $\begingroup$ No. Perhaps I should have mentioned explicitly that $n$ varies with $s$. $\endgroup$ Feb 15, 2012 at 21:17
  • $\begingroup$ Why "tensor square"? Isn't it just a cartesian square (over $S$)? $\endgroup$
    – Qfwfq
    Feb 15, 2012 at 23:02
  • $\begingroup$ @Qfwfq: corrected $\endgroup$ Feb 16, 2012 at 12:12

1 Answer 1

1
$\begingroup$

Take $S=\mathrm{Spec}(R)$ where $R$ is, say, a noetherian domain. Let $t\in S$ be nonzero and noninvertible. Let $G$ be the kernel of $f:\mathbb{G}_{a,S}^2\to\mathbb{G}_{a,S}$ sending $(x,y)$ to $t^2\,y$. For each $s\in S$, the fiber $G_s$ is equal to $\mathbb{G}_{a,s}^2$ if $t$ is zero at $s$, and to $\mathbb{G}_{a,s}\times\{0\}$ otherwise. But $G$ is (in general) not reduced since the function $ty$ is nonzero, with square zero.

$\endgroup$
1
  • $\begingroup$ Oh, of course, you are right; I have asked a question that is too weak. I am sorry. In the comments to David Speyer's answer to the referenced question I have asked if a product of such $G$ is reduced if $G$ is reduced. I wanted to formulate some condition on a group scheme that would presumably imply reducedness. I will update the question $\endgroup$ Feb 15, 2012 at 22:47

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.