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

edit
Ogg's conjecture
FieldNumber theory
Conjectured byBeppo Levi
Conjectured in1908
First proof byBarry Mazur
First proof in1977–1978

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

  • Cn with 1 ≤ n ≤ 10, where Cn denotes the cyclic group of order n;
  • C12;
  • C2n × C2 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.[1] The torsion conjecture for elliptic curves over the rationals was independently reformulated by Trygve Nagell (1952) and again by Andrew Ogg (1971), with the conjecture becoming commonly known as Ogg's conjecture.[1]

Andrew Ogg (1971) drew the connection between the torsion conjecture for elliptic curves over the rationals and the theory of classical modular curves.[1] 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.[1] Barry Mazur (1977, 1978) proved the full torsion conjecture for elliptic curves over the rationals. His techniques were generalized by Kamienny (1992) and Kamienny & Mazur (1995), who obtained uniform boundedness for quadratic fields and number fields of degree at most 8 respectively. Finally, Loïc Merel (1996) proved the conjecture for elliptic curves over any number field.[1] He proved for K a number field of degree   and an elliptic curve   that there is a bound on the order of the torsion group depending only on the degree  . Furthermore if   is a point of prime order   we have  

An effective bound for the size of the torsion group in terms of the degree of the number field was given by Parent (1999). Parent proved that for   a point of prime power order   we have   Setting   we get from the structure result behind the Mordell-Weil theorem, i.e. there are two integers   such that  , a coarse but effective bound  

Joseph Oesterlé gave in private notes from 1994 a slightly better bound for points of prime order   of  , which turns out to be useful for computations over fields of small order, but alone is not enough to yield an effective bound for  . Derickx et al. (2017) provide a published version of Oesterlé's result.

For number fields of small degree more refined results are known (Sutherland 2012). A complete list of possible torsion groups has been given for elliptic curves over   (see above) and for quadratic and cubic number fields. In degree 1 and 2 all groups that arise occur infinitely often. The same holds for cubic fields[2] except for the group C21 which occurs only in a single elliptic curve over  . For quartic and quintic number fields the torsion groups that arise infinitely often have been determined. The following table gives the set of all prime numbers   that actually arise as the order of a torsion point   where   denotes the set of all prime numbers at most q (Derickx et al. (2017) and Khawaja (2023)).

Primes that occur as orders of torsion points in small degree  
  1 2 3 4 5 6 7 8
                 

The next table gives the set of all prime numbers   that arise infinitely often as the order of a torsion point (Derickx et al. (2017)).

Primes that occur infinitely often as orders of torsion points in small degree  
  1 2 3 4 5 6 7 8
                 

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

See also

edit

References

edit
  1. ^ a b c d e f Schappacher & Schoof 1996, pp. 64–65.
  2. ^ a b Balakrishnan, Jennifer S.; Mazur, Barry; Dogra, Netan (10 July 2023). "Ogg's Torsion conjecture: Fifty years later". arXiv:2307.04752 [math.NT].
  3. ^ "Frank C. and Florence S. Ogg Professorship Established at IAS". Institute for Advanced Study. 12 October 2022. Retrieved 16 April 2024.

Bibliography

edit