4
$\begingroup$

This is almost certainly known (and maybe written down somewhere?). Is there an example of two elliptic curves $C, E/k$ that are not isomorphic, yet there is an embedding $C\hookrightarrow E\times E$ as an abelian subvariety?

If this is known, is there a reference that talks about such things.

2 Answers 2

11

Giving a morphism $C \to E\times E$ is the same as giving a pair of morphisms $p,q: C \to E$, by the definition of the product. Translating $p$ and $q$ appropriately by some points of $E$, it is no loss of generality to assume that $p$ and $q$ both take the origin of $C$ to the origin of $E$, and hence are not only morphisms of curves, but homomorphisms of elliptic curves.

The map $C \to E \times E$ will be injective if and only if $ker(p) \cap ker(q) = 0$.

Now if $q^{\vee}$ denotes the dual of $q$, then $q^{\vee}\circ p$ is an endomorphism of $C$. If $C$ (equivalently, $E$) is not CM, then this will be multiplication by some integer $n$, in which case we find (composing with $q$) that $\deg(q) p = n q$, and a short argument shows that in fact there is an morphism $r: C \to E$ such that $p = m r$ and $q = n r$ for some integers $m$ and $n$. If $ker(p)\, $ and $ker(q)\, $ have trivial intersection, it follows that $r$ must be an isomorphism, so that $C \cong E$.

On the other hand, if $E$ has CM, then the situation you ask about can occur. The easiest case is to assume that $E$ and $C$ both have CM by the full ring of integers $\mathcal O$ in some imag. quad. field $K$, but are not isomorphic (which is possible iff $K$ has class number bigger than one). Then $Hom(C,E)$ is an $\mathcal O$-module, invertible (i.e. locally free of rank one) but not free. Such a module can always be generated by two elements. If we take $p$ and $q$ to be a pair of generators, then they will embed $C$ into $E\times E$.

If $E$ has CM by a field of class number one, then the same kind of construction should be possible, I think, by choosing $C$ to have CM by some proper order of $K$ with non-trivial class number.

  • 0
    Fantastic answer, Matt!2012-07-24
  • 0
    Thank you so much! How interesting.2012-07-24
  • 0
    Maybe I'm confused about something here. For the "easy" case, if $E$ and $C$ have CM by the full ring of integers in $K$ doesn't this imply the class number is 1? Or is that only true when the curves are defined over $\mathbb{Q}$ or some other subtlety that I'm missing?2012-07-24
  • 0
    @Matt: Dear Matt, A CM elliptic curve with CM by the full ring of integers of $K$ has $j$-invariant lying in the Hilbert class field of $K$, and the Galois conjugates of the $j$-invariant generate the Hilbert class field of $K$ (over $K$). Thus $K$ has class number one if and only if there exists an elliptic curve with CM by the full ring of integers whose $j$-invariant lies in $K$. (A more subtle consideration of Galois actions, taking into account the Galois action over $\mathbb Q$, and not just over $K$, shows that in fact the $j$-invariant then lies in $\mathbb Q$.) Regards,2012-07-24
  • 0
    P.S. Concretely, if $I$ is any ideal in $\mathcal O_K$, then $\mathbb C/I$ is an elliptic curve with CM by $\mathcal O$, so obviously there is no obstruction to making such curves for any $K$. (And indeed, this construction is the beginning of the theory of CM.)2012-07-24
  • 0
    Sorry to keep pestering you, but I've seen these types of things said before (the structure of $Hom(C,E)$ over $End(C)$) in the context of abelian varieties in general and elliptic curves in particular, but when I look for a reference I can never find any. Do you know of any references that talk about this? Locally free of rank one just follows from the "isogeny theorem" (supposing the Tate modules are isomorphic for all $\ell$?). Is the module generated by two elements just some embarrassingly easy algebra fact that I don't see? Thanks again!2012-07-25
  • 0
    Ah. I see. We took the full ring of integers so that we were over a Dedekind domain, and then by the structure theorem for projective modules and the fact that locally it is of rank one we know that it must be a a non-zero ideal, which in a Dedekind domain can always be generated by two elements.2012-07-25
  • 0
    @Matt: Dear Matt, You don't need anything like the isogeny theorem (over either a finite field or a number field) for this. If we $C$ and $E$ have CM by $\mathcal O_E$, then $C \cong \mathbb C/I$ and $E \cong \mathbb C/J$ for some ideals $I$ and $J$ in $\mathcal O_K$, and then a direct computation shows $Hom(C,E) \cong I J^{-1}$ as an $\mathcal O_K$-module. If you want a more algebraic proof, note that since $C$ and $E$ are isogenous, $Hom(C,E) \otimes_{\mathbb Z} \mathbb Q$ is one-dimensional over the field $End(C)\otimes_{\mathbb Z}\mathbb Q$, which is just $K$. On the other hand, ...2012-07-25
  • 0
    ... it is easily checked to be torsion free over $End(C)$, and is finitely generated over $\mathbb Z$ by general principles. Putting this altogether, and using that $End(C) = \mathcal O_K$ is a Dedekind domain, we deduce that $Hom(C,E)$ is an invertible $End(C)$-module, as claimed. The fact about two generators is proved exactly as you suggested. Regards,2012-07-25
6

By the Poincare Complete Reducibility Theorem, the isogeny category of abelian varieties over an arbitrary field is semisimple.

And now, with more words: if $A_{/k}$ is an abelian variety, then:

(i) There are simple abelian varieties (i.e., without proper, nontrivial abelian subvarieties) $B_1,\ldots,B_k$ such that $A \sim B_1 \times \ldots B_k$, where the relation $\sim$ denotes $k$-rational isogeny. (An isogeny $f: A \rightarrow B$ of abelian varieties is a surjective algebraic group homomorphism with finite kernel.)
(ii) The isogeny classes of the $B_i$'s are uniquely determined: if $C$ is any abelian subvariety of $A$, then $C$ is $k$-rationally isogenous to a direct sum of $B_i$'s.

Applying this result to your question, we find that the possible choices for an elliptic curve $C$ inside $E \times E$ are contained in the set of elliptic curves $k$-rationally isogenous to $E$. For instance if $k = \mathbb{C}$, this will be a countably infinite set. Note that we may well have a finite morphism $C \rightarrow E \times E$ but not an embedding. Studying abelian subvarieties in the strict sense -- i.e., not up to isogeny -- is significantly trickier.

  • 0
    You know, it dawns on me that this is not really an answer to your question: it just limits the possible isomorphism classes of elliptic curves $C$ that could occur. I believe that the answer is that yes, it is possible for $C$ to be (isogenous but) not isomorphic to $E$...I'll have to think more about coming up with a proof / reference for that.2012-07-24
  • 0
    Thanks! Because of the context in which this came up, I actually already had that it had to be isogenous (for a completely different reason), so it is interesting that this stays consistent and could have been derived afterwards. As for the bounding the possibilities by countably infinitely many, it is interesting that a paper by Lenstra, Oort, and Zarhin called "Abelian Subvarieties" proves that there is actually only finitely many possibilities up to isomorphism (of embedded abelian subvarieties in any abelian variety).2012-07-24