Abstract:In the early 1970s, Andrew Ogg made several conjectures about the rational torsion points of elliptic curves over $\mathbb{Q}$ and the Jacobians of modular curves. These conjectures were proved shortly after by Barry Mazur as a consequence of his fundamental study of the arithmetic properties of modular curves and Hecke algebras. In this paper, we review the function field analogues of Ogg's conjectures, their current status, and the methods that have been applied to prove some of these conjectures. The methods are based on the ideas of Mazur and Ogg, but there are interesting differences and technical complications that arise in the function field setting, as well as intriguing possible new directions for generalizations.

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is Ogg's conjecture on Drinfeld modules over function fields and its analogues. Specifically, the paper mainly focuses on the following points: 1. **Review and summarize the analogues of Ogg's conjecture over function fields**: In the 1970s, Ogg proposed some conjectures regarding elliptic curves with rational torsion points and the Jacobians of modular curves. These conjectures were later proven by Mazur and others and had a profound impact on the field of arithmetic geometry. 2. **Current status and proof methods**: The paper discusses in detail the current status of the analogues of Ogg's conjecture over function fields and introduces the methods and techniques used to prove these conjectures. These methods are based on the ideas of Mazur and Ogg, but there are some interesting differences and technical complexities in the function - field setting. 3. **New research directions**: The paper also explores possible new research directions, especially applications in Drinfeld module and shtukas theory. These new directions are expected to further promote research progress in number theory and other important problems. ### Specific problem description - **Classification of rational torsion points of elliptic curves**: Ogg's conjecture gives a classification of the subgroup of rational torsion points $ E(\mathbb{Q})_{\text{tor}} $. For example, for the subgroup of rational torsion points on an elliptic curve $ E $, it can be one of the following fifteen groups: \[ \mathbb{Z}/N\mathbb{Z}, \quad 1 \leq N \leq 10 \text{ or } N = 12; \] \[ \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2N\mathbb{Z}, \quad 1 \leq N \leq 4. \] - **Rational points on modular curves $ X_0(N) $ and $ X_1(N) $**: Related to the above conjecture is the classification of rational points on modular curves $ X_0(N) $ and $ X_1(N) $. For example, Conjecture TEC+ states that the order $ N $ of a rational cyclic subgroup must satisfy $ 1 \leq N \leq 19 $ or $ N = 21, 25, 27, 37, 43, 67, 163 $. - **Analogues of Ogg's conjecture for Drinfeld modules**: Due to the similarity between Drinfeld modules and elliptic curves, there are natural analogues of Ogg's conjecture over function fields. The paper discusses in detail the specific forms of these analogues, the current proof status, and the technical challenges encountered. ### Main conclusions By reviewing and analyzing existing literature, the paper summarizes the latest progress of Ogg's conjecture over function fields and points out the directions for future research. In particular, the paper emphasizes the important role of Drinfeld modules and shtukas theory in solving these problems, as well as their important contributions to number theory and other fields. ### Key formulas - Classification of the subgroup of rational torsion points $ E(\mathbb{Q})_{\text{tor}} $ on an elliptic curve $ E $: \[ E(\mathbb{Q})_{\text{tor}} \cong \mathbb{Z}/N\mathbb{Z}, \quad 1 \leq N \leq 10 \text{ or } N = 12; \] \[ E(\mathbb{Q})_{\text{tor}} \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2N\mathbb{Z}, \quad 1 \leq N \leq 4. \] - Definition of the height of a Drinfeld module $ \phi $: \[ \text{ht}(\phi_a) = H(\phi) \cdot \text{ord}_p(a) \cdot \deg(p), \] where \( H(\ph

Ogg's conjectures over function fields

Ogg's Torsion conjecture: Fifty years later

Elliptic curves and class field theory

An analogue of a conjecture of Rasmussen and Tamagawa for abelian varieties over function fields

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

Bilinear forms with Kloosterman and Gauss sums in function fields

On the arithmetic of polynomials over a number field

Lattices in function fields and applications

On Artin's Primitive Root Conjecture for Function Fields over $\mathbb{F}_{q}$

Bogomolov property and Galois representations

Kummer theory for function fields

Analogues of Iwasawa’s $\mu = 0$ Conjecture and the Weak Leopoldt Conjecture for a Non-Cyclotomic $\Mathbb{z}_2$-Extension

On Freiman's Theorem in a function field setting

Notes on Explicit Constructions of Arithmetically Equivalent Global Function Fields via Torsion Points On Drinfeld Modules

Torsion points and Galois representations on CM elliptic curves

Sporadic Cubic Torsion

Fox-Neuwirth-Fuks cells, quantum shuffle algebras, and Malle's conjecture for function fields

Torsion points and isogenies on CM elliptic curves

Watkins's conjecture for elliptic curves over function fields

Kolyvagin's conjecture for modular forms