MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $(A,a)$ be a principally polarised (with indecomposable polarisation) Abelian variety over $\mathbb C$. Assume that End(A) contains an order $R$ of a totally real number field of degree $>1$ over $\mathbb Q$ and that $R$ respects the polarisation of $A$.

The units of $R^*$ are therefore automorphisms of $(A,a)$.

If $g = \dim(A)$ and $g = \text{rank}_{\mathbb Z}(R)$ then my understanding is that such $(A,a)$ are parameterised by a Hilbert Modular variety of dimension $g$. Therefore if $g$ is small, the Hilbert modular variety will intersect the locus of Jacobians in the moduli space of principally polarised Abelian varieties. (The locus of Jacobians being 3g-3, that of the moduli space being g(g+1)/2. The locus of hyperelliptic curves has locus 2g-1).

On other hand: i) the Dirichlet unit theorem applies to all orders of number rings and implies that $R^*$ contains elements of infinite order. ii) a Theorem of Sekiguchi implies that Aut(C) = Aut(\Jac(C)) when C is hyperelliptic, and that Aut(C) x { \pm 1} = \Aut(\Jac(C)) otherwise.
iii) Hurwitz's theorem implies that # \Aut(C) <= 84(g-1).

This suggests a contradiction: namely that if $C$ is hyperelliptic and End(\Jac(C)) contains $R$ (e.g. take $g= 2$ and $R$ an order in $\mathbb Q(\sqrt{D})$), then it will have an automorphim group containing $R^*$ which is infinite.

I presume I am making a very basic error somewhere but I don't see where. Thanks.

share|cite|improve this question
up vote 3 down vote accepted

I presume I am making a very basic error somewhere but I don't see where.

Yes: you are confusing the automorphism group $\operatorname{Aut} A = (\operatorname{End} A)^{\times}$ with the automorphism group of the polarized abelian variety $(A,a)$. The former can be infinite as soon as $g = \operatorname{dim} A \geq 2$ but the latter is always finite.

Let me also say that the part about Jacobians looks like a red herring to me: to define a moduli space of Hilbert modular varieties, you do need to include data on the "polarization type" (which is probably part of your confusion: the polarization is definitely a key part of the Hilbert modular picture; it just gets neglected in the definition of the endomorphism ring): in particular, the most common definition of Hilbert modular varieties constructs them as subvarieties of the Siegel moduli space $\mathcal{A}_{g,1}$ of principally polarized abelian $g$-folds. These standard constructions do give endomorphisms by the full ring of integers of your degree $g$ totally real number field. (For that matter, every complex abelian variety is isogenous to a principally polarized abelian variety and whether the automorphism group is infinite depends only on the isogeny class.)

share|cite|improve this answer
Thanks a lot, I seem to be a bit rusty. I note that the proof of finiteness for automorphisms of polarised Abelian varieties is also given here:… – user51764 Jun 8 '14 at 10:14

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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