Torsion conjecture

Template:Short description Template:For In algebraic geometry and number theory, the torsion conjecture or uniform boundedness conjecture for torsion points for abelian varieties states that the order of the torsion group of an abelian variety over a number field can be bounded in terms of the dimension of the variety and the number field. A stronger version of the conjecture is that the torsion is bounded in terms of the dimension of the variety and the degree of the number field. The torsion conjecture has been completely resolved in the case of elliptic curves.

Elliptic curves

Template:Infobox mathematical statement From 1906 to 1911, Beppo Levi published a series of papers investigating the possible finite orders of points on elliptic curves over the rationals.Template:Sfn He showed that there are infinitely many elliptic curves over the rationals with the following torsion groups:

• C_n with 1 ≤ n ≤ 10, where C_n denotes the cyclic group of order n;
• C₁₂;
• C_2n × C₂ with 1 ≤ n ≤ 4, where × denotes the direct sum.

At the 1908 International Mathematical Congress in Rome, Levi conjectured that this is a complete list of torsion groups for elliptic curves over the rationals.Template:Sfn The torsion conjecture for elliptic curves over the rationals was independently reformulated by Template:Harvs and again by Template:Harvs, with the conjecture becoming commonly known as Ogg's conjecture.Template:Sfn

Template:Harvs drew the connection between the torsion conjecture for elliptic curves over the rationals and the theory of classical modular curves.Template:Sfn In the early 1970s, the work of Gérard Ligozat, Daniel Kubert, Barry Mazur, and John Tate showed that several small values of n do not occur as orders of torsion points on elliptic curves over the rationals.Template:Sfn Template:Harvs proved the full torsion conjecture for elliptic curves over the rationals. His techniques were generalized by Template:Harvtxt and Template:Harvtxt, who obtained uniform boundedness for quadratic fields and number fields of degree at most 8 respectively. Finally, Template:Harvs proved the conjecture for elliptic curves over any number field.Template:Sfn He proved for Template:Math a number field of degree $d=[K:\mathbb{Q}]$ and an elliptic curve $E/K$ that there is a bound on the order of the torsion group depending only on the degree $|E(K{)}_{\text{tors}}|\le B(d)$. Furthermore if $P\in E(K{)}_{\text{tors}}$ is a point of prime order $p$ we have $p\le d^{3d^2}.$

An effective bound for the size of the torsion group in terms of the degree of the number field was given by Template:Harvtxt. Parent proved that for $P\in E(K{)}_{\text{tors}}$ a point of prime power order $p^n$ we have $$p^n\le B(d,p)=\{\begin{array}{cc}129(3^d-1)(3d{)}^6& \text{if }p=2,\\ 65(5^d-1)(2d{)}^6& \text{if }p=3,\\ 65(3^d-1)(2d{)}^6& \text{if }p>3.\end{array}$$ Setting $B_{\text{max}}(d)=129(5^d-1)(3d{)}^6$ we get from the structure result behind the Mordell-Weil theorem, i.e. there are two integers $n_1,n_2$ such that $E(K{)}_{\text{tors}}\cong \mathbb{Z}/n_1\mathbb{Z}\times \mathbb{Z}/n_2\mathbb{Z}$, a coarse but effective bound $B(d)={(B_{\text{max}}(d{)}^{B_{\text{max}}(d)})}^2.$

Joseph Oesterlé gave in private notes from 1994 a slightly better bound for points of prime order $p$ of $p\le (3^{d/2}+1{)}^2$, which turns out to be useful for computations over fields of small order, but alone is not enough to yield an effective bound for $|E(K{)}_{\text{tors}}|$. Template:Harvtxt provide a published version of Oesterlé's result.

For number fields of small degree more refined results are known Template:Harv. Complete lists of possible torsion groups have been given for elliptic curves over number fields up to degree 4 (see above for the explicit complete list in degree 1, i.e. over $\mathbb{Q}$). In degree 1, 2 and 4 all groups that arise occur infinitely often. The same holds for cubic fields except for the group C₂₁ which occurs only in a single elliptic curve over $K=\mathbb{Q}({\zeta }_9{)}^{+}$. Additionally all torsion groups that arise infinitely often have been determined up to degree 7 - the state of the art in 2026 is summarized in Template:Harvtxt. The following table gives the set of all prime numbers $S(d)$ that actually arise as the order of a torsion point $P\in E(K{)}_{\text{tors}}$, and the set of all prime numbers $S^{\prime }(d)$ that arise infinitely often, where $\text{Primes}(q)$ denotes the set of all prime numbers at most q (Template:Harvtxt and Template:Harvtxt).

Primes that occur resp. occur infinitely often as orders of torsion points in small degree $d$

$d$	1	2	3	4	5	6	7	8
$S(d)$	$\text{Primes}(7)$	$\text{Primes}(13)$	$\text{Primes}(13)$	$\text{Primes}(17)$	$\text{Primes}(19)$	$\text{Primes}(19)\cup \{37\}$	$\text{Primes}(23)$	$\text{Primes}(23)$
$S^{\prime }(d)$	$\text{Primes}(7)$	$\text{Primes}(13)$	$\text{Primes}(13)$	$\text{Primes}(17)$	$\text{Primes}(19)$	$\text{Primes}(19)$	$\text{Primes}(23)$	$\text{Primes}(23)$

Barry Mazur gave a survey talk on the torsion conjecture on the occasion of the establishment of the Ogg Professorship at the Institute for Advanced Study in October 2022.

Abelian Varieties

The uniform boundedness conjecture for higher-dimensional abelian varieties is still largely unresolved, even in the setting of abelian surfaces. In the special case of abelian surfaces defined over Template:Tmath with geometric endomorphism ring equal to a maximal order in a non-split quaternion algebra, Jef Laga, Ciarna Schembri, Ari Shnidman, and John Voight established an explicit bound of $18$ on the size of the torsion group (Template:Harvtxt). In contrast, the situation over characteristic-zero function fields is better understood. Benjamin Bakker and Jacob Tsimerman proved the conjecture for abelian surfaces (Template:Harvtxt) via techniques from hyperbolic geometry, and a recent preprint by Nicole Looper and Jit Wu Yap claims a proof in full generality Template:Harv.

See also

• Bombieri–Lang conjecture
• Uniform boundedness conjecture for preperiodic points
• Uniform boundedness conjecture for rational points

Bibliography

• Template:Cite journal
• Template:Cite journal
• Template:Cite journal
• Template:Citation
• Template:Cite journal
• Template:Cite book
• Template:Cite arXiv
• Template:Cite journal
• Template:Cite journal
• Template:Cite journal
• Template:Citation
• Template:Cite web
• Template:Cite journal
• Template:Cite journal

• Template:Cite journal

• Template:Cite journal

• Template:Cite arXiv