# The inverse Torsion Mordell-Weil problem

Let $G$ be a finite abelian group.

Is there a field $K$, and an elliptic curve $E$ over $K$ such that $E(K)_{tor} \cong G$?

• I assume that you do realize that a necessary condition is that $G\cong \mathbb Z/n\mathbb Z \times \mathbb Z/mn\mathbb Z$ for positive integers $n$ and $m$. Also, will you be satisfied with any field $K$, or do you want a field $K$ of a particular type, e.g., $K$ a finite field or $K$ a number field? – Joe Silverman Sep 16 '17 at 17:09
• @JoeSilverman Yes, there are obvious counterexamples. I should have been clear about that. And preferably $K$ is a number field, but I'm open other suggestions. – Eva_MW Sep 16 '17 at 21:35

If $n \geq 1$ and $2|mn$ then the Tate curve $E = L^*/2^{\mathbb Z}$ with $L={\mathbb Q}_2(\zeta_{mn}, 2^{1/n})$ has $E(L)_{tor} = {\mathbb Z}/n{\mathbb Z} \times {\mathbb Z}/mn{\mathbb Z}$. A 2-adically close elliptic curve over a suitable (i.e. containing the curve's corresponding torsion) number field $K \subset$ algebraic closure of ${\mathbb Q}$ in $L$ also has $E(K)_{tor} = {\mathbb Z}/n{\mathbb Z} \times {\mathbb Z}/mn{\mathbb Z}$.

Even better, there exists an elliptic curve $E$ over a number field $K$, such that for any group of the form $\mathbb{Z}/n\mathbb{Z}\times \mathbb{Z}/mn\mathbb{Z}$, there is a finite extension $K'/K$ such that $$E(K')_{\text{tors}}\simeq\mathbb{Z}/n\mathbb{Z}\times \mathbb{Z}/mn\mathbb{Z}.$$ Indeed, take any $(E,K)$ such that the natural Galois representation on the total Tate module of $E$, $$\rho: \text{Gal}(\bar K/K)\to GL_2(\hat{\mathbb{Z}})$$ is surjective (such curves exist by e.g. this paper of Zywina). Now choose a subgroup $$\mathbb{Z}/n\mathbb{Z}\times \mathbb{Z}/mn\mathbb{Z}\subset E(\bar K)_{\text{tors}}$$ and let $K'$ be the field fixed by its stabilizer under $\rho$. By the surjectivity of $\rho$, the desired subgroup is all that is fixed, and we're done.