2
$\begingroup$

Let $E$ and $E'$ be elliptic curves over a field $K$ of characteristic zero such that $E$ and $E'$ are non-isogenous over $\bar{K}$. Let $l$ be a large prime and suppose that $K(x(E[l]))=K(x(E'[l]))$ (where these are the fields obtained by adjoining the $x$-coordinates of $l$-torsion points). Then does it follow that $K(E[l])=K(E'[l])$?

Edit: Strengthen the hypothesis so that $K$ contains the roots of unity, $E$ and $E'$ are non-CM, and that the image of Galois on the $l$-adic Tate modules of $E$ and $E'$ is as large as possible i.e $SL_2(\mathbb{Z}_l)$.

$\endgroup$

2 Answers 2

5
$\begingroup$

No; if E and E' are quadratic twists, the fields $K(x(E[l]))$ and $K(x(E'[l]))$ are equal, but $K(E[l])$ may not equal $K(E'[l])$.

$\endgroup$
7
  • $\begingroup$ Thanks David. I have edited the question so that they are non-isogenous now $\endgroup$ Oct 5, 2011 at 14:02
  • $\begingroup$ To nit-pick -- the answer is still no, for the same reason. Quadratic twists are isomorphic over an extension, but aren't necessarily isogenous over their field of definition. $\endgroup$ Oct 5, 2011 at 14:22
  • $\begingroup$ Adam, quadratic twists are usually not isogenous. Certainly, for any $E$, there exist infinitely many quadratic twists of $E$ that are not isogenous to $E$. $\endgroup$
    – Alex B.
    Oct 5, 2011 at 14:24
  • $\begingroup$ Yes - sorry I meant non-isogenous over $\bar{K}$. $\endgroup$ Oct 5, 2011 at 14:34
  • $\begingroup$ Phrased this way, I think this is equivalent to the Frey-Mazur conjecture, which is open. $\endgroup$ Oct 5, 2011 at 15:42
2
$\begingroup$

I think this works: Take two non-isogenous (over $\overline{K}$) curves $E$ and $E'$ with $K(E[\ell])=K(E'[\ell])=K$. Replace $E'$, say, by a quadratic twist. Then $K(E[\ell])=K(x(E[\ell]))=K(x(E'[\ell]))=K$ but $K(E'[\ell])\ne K$.

$\endgroup$
1
  • $\begingroup$ Thanks Torsten. Sorry I've had a particular situation in mind and thought it would hold in more generality. Have edited the question and promise that no more hypotheses will be added! $\endgroup$ Oct 5, 2011 at 17:59

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.