Abstract:We study the problem of determining the groups that can arise as the torsion subgroup of an elliptic curve over a fixed quadratic field, building on work of Kamienny-Najman, Krumm, and Trbović. By employing techniques to study rational points on curves developed by Bruin and Stoll, we determine the possible torsion subgroups of elliptic curves over quadratic fields $\mathbb{Q}(\sqrt{d})$ for all squarefree $d$ with $|d| < 800$, improving on the previously known range of $-5 < d < 26$. We use our computations to study the validity of a conjecture of Granville concerning how many twists of a given hyperelliptic curve admit a nontrivial rational point.

What problem does this paper attempt to address?

### Problems the paper attempts to solve The paper aims to solve the problem of classifying the torsion subgroups of elliptic curves over fixed quadratic fields. Specifically, the author studies how to determine all the possible finite abelian groups that can occur as the torsion subgroup $E(K)_{\text{tors}}$ of an elliptic curve $E$ over a fixed quadratic field $\mathbb{Q}(\sqrt{d})$. This problem can be traced back to Levi's ICM speech in 1908, where he conjectured that for $K = \mathbb{Q}$, there are only 15 possible torsion subgroups. Mazur's work in 1977 finally proved this conjecture. The main contributions of the paper are: 1. **Expand the known range**: By using the techniques developed by Bruin and Stoll to study rational points on curves, the author determines the possible torsion subgroups of elliptic curves over quadratic fields $\mathbb{Q}(\sqrt{d})$ for all square - free $d$ with $|d| < 800$, significantly expanding the previously known range $- 5 < d < 26$. 2. **Verify Granville's conjecture**: The author uses their computational results to study the validity of Granville's conjecture regarding how many twists of a given hyperelliptic curve have non - trivial rational points. ### Main results 1. **13 - torsion subgroup**: - Let $S_{13}$ be the set \[ S_{13}=\{17,113,193,313,481,1153,1417,2257,3769,3961,5449,6217,6641,9881\} \] - Then \[ S_{13}\subseteq T_{10000}(13)\subseteq S_{13}\cup\{9689\} \] 2. **18 - torsion subgroup**: - Let $S_{18}$ be the set \[ S_{18}=\{33,337,457,1009,1993,2833,7369,8241,9049\} \] - Then \[ S_{18}\subseteq T_{10000}(18)\subseteq S_{18}\cup\{2841,4729,9969\} \] 3. **16 - torsion subgroup**: - For $|d| < 800$, \[ T_{800}(16)=\{- 671,-455,-290,-119,-15,10,15,41,51,70,93,105,205,217,391,546,609,679\} \] ### Method overview 1. **Rational points on modular curves**: The problem can be reduced to determining whether there exist non - cusp rational points on some modular curve $X_1(M,N)$ for each quadratic field $\mathbb{Q}(\sqrt{d})$. 2. **Rank calculation**: For five genus - 1 modular curves, the main task is to calculate whether the ranks of the $d$-twists of these modular curves are positive. 3. **Mordell - Weil sieve**: For 13 - and 18 - torsion subgroups, use Krumm's method combined with the Mordell - Weil sieve to determine whether certain $d$-twists have rational points. 4. **Chabauty method**: For 16 - torsion subgroups, since each twist has rational points, it is necessary to calculate all rational points, which makes this problem the most difficult. ### Conclusion The paper, by expanding the known...

Torsion subgroups of elliptic curves over quadratic fields and a conjecture of Granville

Uniform boundedness of torsion subgroups of linear groups

Sporadic Cubic Torsion

On Torsion Subgroups of Elliptic Curves over Quartic, Quintic and Sextic Number Fields

Classification of torsion of elliptic curves over quartic fields

Torsion and twists of abelian varieties

On the quadratic twist of elliptic curves with full $2$-torsion

Growth of Torsion Groups of Elliptic Curves Over Number Fields without Rationally Defined CM

Torsion Points and the Latte'S Family

Torsion phenomena for zero-cycles on a product of curves over a number field

Bounds on the number of torsion points of given order on curves embedded in their jacobians

On the 2-part of the Birch and Swinnerton-Dyer conjecture for quadratic twists of elliptic curves

Elliptic curves of conductor $2^m p$, quadratic twists, and Watkins's conjecture

Ranks, $2$-Selmer groups, and Tamagawa numbers of elliptic curves with $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/8\mathbb{Z}$-torsion

Torsion subgroups of CM elliptic curves over odd degree number fields

Torsion primes for elliptic curves over degree 8 number fields

Watkins's conjecture for quadratic twists of Elliptic Curves with Prime Power Conductor

Quadratic torsion orders on Jacobian varieties

3-Isogeny Selmer groups and ranks of Abelian varieties in quadratic twist families over a number field

Three-Torsion Subgroups and Conductors of Genus 3 Hyperelliptic Curves

Torsion points and Galois representations on CM elliptic curves