6
$\begingroup$

Let $K$ be a field of characteristic zero. Let $G/K$ be a group scheme of finite type. Assume that $G$ is commutative and connected. For a natural number $n$ denote by $n_G: G\to G$ the multiplication by $n$ morphism. Is it true that $n_G$ is surjective with finite kernel?

(I know that the answer is yes provided $G$ is an abelian variety. But the proof of this fact makes use of a very ample invertible sheaf on $G$, so it does not carry over to the general case directly.)

$\endgroup$
1
  • $\begingroup$ My approach would be something like the following. The statement is clearly true over $K=\mathbb C$, by the theory of Lie groups. So check that it suffices to assume that $K$ is algebraically closed, and then use one of those model-theoretic statements along the lines of "any purely-algebraic theorem true in one algebraically closed field of characteristic zero is true in another". $\endgroup$ Commented Oct 19, 2010 at 1:05

1 Answer 1

10
$\begingroup$

Yes, this is true. The derivative of $n_G$ at the identity element $e$ is multiplication by $n$ on the Lie algebra (tangent space at $e$) which gives that the kernel is finite and the image of $n_G$ has the same dimension as $G$ which implies that it is equal to $G$ as $G$ is connected.

Addendum: Jim may be right: The statements may be checked over an algebraic closure of $K$ so we may assume $K$ algebraically closed. As $dn_G$ is an isomorphism the kernel is finite and the dimension of the image is equal to that of $G$. As $G$ is of finite type the image is constructible by Chevalley's theorem and hence contains an open subset of $G$. As it is also a subgroup it is open and as $G$ is connected (and the cosets are also open) we get that the image equals $G$.

$\endgroup$
1
  • $\begingroup$ This is a nice focused answer, but could benefit from adding a foundational reference or two since the group schemes here are fairly general. $\endgroup$ Commented Oct 18, 2010 at 17:46

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .