3
$\begingroup$

if $X$ and $Y$ are abelian varieties over a field $k$ and

$f:X\rightarrow Y$ is a homomorphism of abelian varieties, are then the following true:

1) $\dim(X)=\dim_0(\operatorname{ker}(f))+\dim(\operatorname{im}(f)),$ where I mean the connected component in the identity resp. the scheme theoretic image, and always the Krull dimension of schemes.

2) If a subvariety of $X$ is zerodimensional, then it is a finite set of points and vice versa.

Thanks

  • 0
    I mean, 2) is relatively clear. But I would be interested in a hint how to prove the dimension formula in 1).2011-09-23

1 Answers 1

2

As the OP notes in a comment, (2) is clear --- finite sets of point are precisely the zero-dimensional varieties.

As for (1), if $f: X \to Y$ is a dominant (e.g. surjective) morphism of varieties, then the dimension of a generic fibre is equal to $\dim X - \dim Y$. Now in the case when $f$ is a morphism of group varieties, all the fibres are of the same dimension (in fact they are all isomorphic, since they are cosets of the kernel, and thus all translates of one another). Thus all the fibres are of dimension $\dim X - \dim Y$, and in particular the kernel is of this dimension.

[Note that any (not necessarily surjective) homomorphism $f$ of abelian varieties is a morphism between projective schemes, hence is proper, and hence its image is closed, connected (since the source is connected), and thus is itself an abelian variety. Thus the above reasoning holds, when applied to the induced map $X \to im(f)$.]

  • 0
    @Veen: Dear Veen, You're welcome. The Hartshorne exercise I was thinking of is ex. II.3.22, although surely this fact is discussed in many other places too. Regards,2011-09-27