Simultaneous torsion in the Legendre family

Abstract

We improve a result due to Masser and Zannier, who showed that the set $$ \{λ\in {\mathbb C} \setminus \{0,1\} : (2,\sqrt{2(2-λ)}), (3,\sqrt{6(3-λ)}) \in (E_λ)_{\text{tors}}\} $$ is finite, where $E_λ\colon y^2 = x(x-1)(x-λ)$ is the Legendre family of elliptic curves. More generally, denote by $T(α, β)$, for $α, β\in {\mathbb C} \setminus \{0,1\}$, $α\neq β$, the set of $λ\in {\mathbb C} \setminus \{0,1\}$ such that all points with $x$-coordinate $α$ or $β$ are torsion on $E_λ$. By further results of Masser and Zannier, all these sets are finite. We present a fairly elementary argument showing that the set $T(2,3)$ in question is actually empty. More generally, we obtain an explicit description of the set of parameters $λ$ such that the points with $x$-coordinate $α$ and $β$ are simultaneously torsion, in the case that $α$ and $β$ are algebraic numbers that not 2-adically close. We also improve another result due to Masser and Zannier dealing with the case that ${\mathbb Q}(α, β)$ has transcendence degree 1. In this case we show that $\#T(α, β) \le 1$ and that we can decide whether the set is empty or not, if we know the irreducible polynomial relating $α$ and $β$. This leads to a more precise description of $T(α, β)$ also in the case when both $α$ and $β$ are algebraic. We performed extensive computations that support several conjectures, for example that there should be only finitely many pairs $(α, β)$ such that $\#T(α, β) \ge 3$.