🔢 mathematics

Intrinsic Subgroups and the $\ell$ -adic Galois image

This paper classifies the intrinsic torsion subgroup of elliptic curves over arbitrary fields using algebraic characterizations, extends Yamazaki et al.'s analytic methods to general subfields of $\mathbb{C}$ , and provides an explicit algorithm for computing this subgroup over $\mathbb{Q}$ .

Original authors: Jacob Greene

Published 2026-06-02

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Jacob Greene

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you have a special kind of mathematical shape called an elliptic curve. You can think of this curve as a playground with a set of rules. On this playground, there are specific "points" where you can stand. Some of these points are special because if you keep walking in a loop from them, you eventually return to your starting spot after a specific number of steps. These are called torsion points.

The paper by Jacob Greene is about finding a hidden "inner circle" of these points. Let's break down the concepts using a few analogies.

1. The Pairing: A Secret Handshake

Imagine every pair of points on the playground has a "secret handshake" between them. Mathematicians call this a pairing.

If you take two points and do this handshake, you get a result.
Usually, the result is "nothing" (zero).
But sometimes, the result is "something" (non-zero).

The paper defines a specific rule for this handshake. If a point $P$ does this handshake with every other point on the playground and the result is always "nothing," then $P$ belongs to a special club.

2. The Intrinsic Subgroup: The "Quiet" Club

This special club is called the Intrinsic Subgroup.

The Analogy: Imagine a noisy party (the whole group of torsion points). Most people are loud and interact with everyone. But there is a small group of people who, when they try to interact with anyone else, the interaction just... vanishes. They are "invisible" to the handshake rule.
The Goal: The paper wants to find out exactly who these "quiet" people are. How big is this group? Is it just one person? A group of five? Or is it empty?

3. The Main Discovery: Isogenies as Bridges

The author discovers a way to predict the size of this "quiet club" without checking every single person at the party.

The Analogy: Think of an isogeny as a bridge connecting two different playgrounds (elliptic curves).
The Finding: If your playground has a specific type of bridge leading to another playground, you can guarantee that your "quiet club" will have a certain minimum size.
The Result: The paper proves that if a curve has a bridge of a certain type, the "quiet club" must contain a specific number of members. This is a purely algebraic rule (like a math formula) that works for any field, not just the specific numbers used in previous studies.

4. The "Map" (Modular Curves)

The paper also talks about a giant map called a modular curve.

The Analogy: Imagine a master map where every single possible elliptic curve is plotted as a dot.
The Twist: The author shows that curves with a specific "quiet club" size don't just sit on one spot on the map. They sit on a family of slightly different versions of the map (called "twists").
The Connection: If you know the size of the "quiet club," you know exactly which version of the map your curve lives on. This helps mathematicians classify these curves.

5. The Algorithm: A Recipe for Q

Finally, the paper provides a step-by-step recipe (an algorithm) for when the playground is over the rational numbers (the field $\mathbb{Q}$ , which includes fractions).

The Problem: If you give me an elliptic curve and a list of its points, how do I quickly find the "quiet club"?
The Solution: The author gives a computer program instructions. You plug in the curve's coordinates, and the program does a few calculations (using a specific table of formulas) to tell you the size of the quiet club and exactly which point generates it.
Real-world use: This code was already used to check every single elliptic curve cataloged in a famous database (the LMFDB) to find their "quiet clubs."

Summary

In short, this paper is about finding a hidden, silent group of points on a mathematical shape.

It defines a rule to identify these points (the "handshake").
It proves that if the shape has a specific "bridge" to another shape, the silent group must be a certain size.
It draws a map showing where all these shapes live.
It writes a computer program to instantly find this silent group for any shape you give it.

The author emphasizes that while previous work only looked at specific numbers, this new method works for a much wider variety of mathematical worlds, using pure algebra rather than complex analysis.

Technical Summary: Intrinsic Subgroups and the $\ell$ -adic Galois Image

Problem Statement
This paper addresses the classification and computation of the "intrinsic subgroup" of the torsion points of an elliptic curve $E$ over a field $k$ . Building on the work of Yamazaki et al. [5], who defined a biadditive symmetric pairing $\langle -, - \rangle$ on the torsion subgroup $\text{Pic}(X)_{\text{tors}}$ of a smooth projective curve $X$ with values in $k^\times \otimes \mathbb{Q}/\mathbb{Z}$ , the intrinsic subgroup is defined as the kernel of this pairing. For an elliptic curve $E$ , where $E(k) \cong \text{Pic}^0(E)$ , this subgroup $E(k)_{\text{is}}^{\text{tors}}$ consists of torsion points orthogonal to all other torsion points under the pairing.

While Yamazaki et al. provided a classification for elliptic curves over $\mathbb{Q}$ using analytic methods, this paper seeks to generalize these results to arbitrary fields $k$ (specifically subfields of $\mathbb{C}$ ) and to provide explicit algebraic criteria and algorithms for determining the structure of this subgroup.

Methodology
The paper employs a combination of algebraic geometry, Galois theory, and modular curve theory:

Algebraic Characterization via Isogenies: In Section 2, the author utilizes the functoriality of the pairing to derive sufficient conditions for the size of the intrinsic subgroup. Specifically, Lemma 2.1 establishes that if an isogeny $\psi: E_1 \to E_2$ has a kernel equal to the full torsion subgroup $E_1(k)_{\text{tors}}$ , then the image of the dual isogeny $\hat{\psi}$ applied to $E_2(k)_{\text{tors}}$ lies within $E_1(k)_{\text{is}}^{\text{tors}}$ . This leads to Theorem 2.2, which relates the existence of specific cyclic isogenies to the order of the intrinsic subgroup.
Modular Curves and Twists: Section 3 extends the analysis to subfields $k \subset \mathbb{C}$ . The author constructs explicit plane models for modular curves $X_1(N)$ and their twists. By expressing the pairing value $\langle P, P \rangle$ in terms of Jacobi theta functions and rational functions on the modular curve, the paper demonstrates that elliptic curves with a specific torsion structure and intrinsic subgroup correspond to rational points on specific twists $X_1(N)^\zeta_M$ of the modular curve $X_{1,0}(N, MN)$ .
Algorithmic Computation: Section 4 details a computational algorithm for the case $k=\mathbb{Q}$ . This procedure transforms an elliptic curve into Tate normal form, utilizes precomputed rational functions $f_N(t)$ derived from the theta function relations, and determines the order of the intrinsic subgroup by analyzing the exponent of the resulting rational number in the pairing formula.

Key Contributions and Results

Generalization of Yamazaki et al.: The paper generalizes the classification of intrinsic subgroups from $\mathbb{Q}$ to arbitrary fields $k \subset \mathbb{C}$ . It proves that for an elliptic curve $E$ with cyclic torsion $\mathbb{Z}/N\mathbb{Z}$ and intrinsic subgroup $\mathbb{Z}/M\mathbb{Z}$ , the curve corresponds to a rational point on a specific twist of the modular curve $X_{1,0}(N, MN)$ .
Algebraic Conditions: Theorem 2.2 provides a purely algebraic sufficient condition: if $E$ admits a $k$ -rational cyclic subgroup of order $MN$ containing a point $P$ of order $N$ , then the subgroup generated by $[N/M]P$ is contained in the intrinsic subgroup.
Galois Image Characterization: Theorem 3.2 establishes a relationship between the intrinsic subgroup and the adelic Galois image. If $E(k)_{\text{tors}} \cong \mathbb{Z}/N\mathbb{Z}$ and $E(k)_{\text{is}}^{\text{tors}} \cong \mathbb{Z}/M\mathbb{Z}$ , then the Galois image of $E$ is conjugate to a subgroup of $\Gamma_{1,0}(N, MN)$ .
Explicit Algorithm: An algorithm (Algorithm 4.2) is provided to compute the order and generator of $E(\mathbb{Q})_{\text{is}}^{\text{tors}}$ given the Weierstrass coefficients and a generator of the torsion subgroup. This algorithm was implemented and used to compute intrinsic subgroup orders for all elliptic curves in the LMFDB.
Moduli Problem: The paper identifies the modular curve $X_{1,0}(N, MN)$ and its twists as the solution to the moduli problem of classifying elliptic curves with prescribed torsion and intrinsic subgroup structures, at least over subfields of $\mathbb{C}$ .

Significance and Limitations
The paper claims significance in shifting the study of intrinsic subgroups from analytic methods restricted to $\mathbb{Q}$ to algebraic methods applicable over general fields. It provides a concrete framework for understanding the relationship between the intrinsic subgroup, isogenies, and Galois representations.

However, the author is modest regarding the scope of these results:

The algebraic condition in Section 2 is sufficient but not necessary; not every curve with the desired intrinsic subgroup arises as a rational point of the specific modular curve $X_{1,0}(N, MN)$ without considering twists.
The generalization to arbitrary fields $k$ (outside of subfields of $\mathbb{C}$ ) remains a conjecture (Conjecture 5.1). The paper notes that while the moduli problem is solved for $k \subset \mathbb{C}$ , the methods do not yet prove this for general fields.
The current results focus primarily on the case where the torsion subgroup is cyclic. The paper acknowledges that the analytic approach does not immediately generalize to non-cyclic torsion cases, leaving the relationship between the intrinsic subgroup and Galois images in the non-cyclic case as an open question.
The algorithm for general fields faces challenges in identity testing within $k^\times \otimes \mathbb{Q}/\mathbb{Z}$ and the precomputation of functions $f_N$ for large $N$ , which grow linearly in degree.