Root numbers of a family of elliptic curves and two applications

Jonathan Love

2023-10-04

Abstract:For each $t\in\mathbb{Q}\setminus\{-1,0,1\}$, define an elliptic curve over $\mathbb{Q}$ by \begin{align*} E_t:y^2=x(x+1)(x+t^2). \end{align*} Using a formula for the root number $W(E_t)$ as a function of $t$ and assuming some standard conjectures about ranks of elliptic curves, we determine (up to a set of density zero) the set of isomorphism classes of elliptic curves $E/\mathbb{Q}$ whose Mordell-Weil group contains $\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/4\mathbb{Z}$, and the set of rational numbers that can be written as a product of the slopes of two rational right triangles.

Number Theory

What problem does this paper attempt to address?

This paper attempts to solve two main problems:

1. **Determine the Mordell - Weil group structure of elliptic curves**:
The paper studies a specific family of elliptic curves \(E_t: y^2 = x(x + 1)(x + t^2)\), where \(t\in\mathbb{Q}\setminus\{- 1,0,1\}\), and uses the formula of the root number \(W(E_t)\), combined with the standard conjecture about the rank of elliptic curves, to determine (outside a set of density zero) all isomorphism classes of elliptic curves \(E/\mathbb{Q}\) whose rational point groups have the structure of \(\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/4\mathbb{Z}\).

2. **Classify rational numbers that can be expressed as the product of the slopes of two rational right - angled triangles**:
By the same method, the paper also solves another Diophantine problem: find the rational numbers that can be expressed as the product of the slopes of two rational right - angled triangles. Specifically, given \(t\in\mathbb{Q}_{>0}\), consider the system
\[
\begin{cases}
1 + a^2=b^2\\
t^2 + a^2=c^2
\end{cases}
\]
where \(a,b,c\in\mathbb{Q}_{>0}\). The solutions of this system correspond to a pair of rational right - angled triangles with a common right - angled side, and the ratio of the remaining two sides is equal to \(t\).

### Main Conclusions

- **Theorem 1.1** provides an easily computable criterion. Assuming that the standard conjecture about the rank of elliptic curves holds, it can be used to check whether \(E_t(\mathbb{Q})\) has a positive rank.
- **Proposition 1.4** assumes that Conjecture 1.2 holds. If \(t\in T\), then \(\mathbb{Z}\times\mathbb{Z}/2\mathbb{Z}\times\mathbb{Z}/4\mathbb{Z}\leq E_t(\mathbb{Q})\).
- **Proposition 1.5** classifies the above Diophantine problem. It shows that when \(|E_t(\mathbb{Q})|=\infty\), the system of equations has infinitely many solutions; when \(|E_t(\mathbb{Q})|\neq\infty\) and both \(t\) and \(t + 1\) are rational squares, the system of equations has a unique solution; otherwise, there is no solution.

These results not only provide a deep understanding of specific families of elliptic curves, but also solve the related geometric and number - theoretic problems.