Explicit p-adic Hodge theory for elliptic curves and non-split Cartan images

This paper classifies the $p$-adic Galois images of elliptic curves over $\mathbb{Q}_p$ with mod $p$ non-split Cartan images using $p$-adic Hodge theory, providing a novel algorithm for the potentially supersingular case and deriving global consequences for elliptic curves over $\mathbb{Q}$ that sharpen bounds on their adelic images.

The Gist

Imagine you are a detective trying to solve a mystery about a very special kind of number machine called an Elliptic Curve. These aren't just any machines; they are the workhorses of modern cryptography and number theory.

Your job is to figure out how these machines behave when you look at them through a very specific, high-powered microscope called $p$-adic Hodge Theory. This microscope lets you see the "hidden gears" (mathematical symmetries) that drive the machine.

Here is the story of what the authors, Matthew, Lorenzo, and Davide, discovered, explained in plain English.

1. The Mystery: The "Non-Split Cartan" Trap

In the world of these number machines, there are different ways the gears can lock together. Usually, if you look at the machine's behavior with a prime number $p$ (like 7, 11, or 13), the gears spin freely and randomly. This is called "surjective" behavior, and it's the "normal" state.

However, sometimes the gears get stuck in a specific, rigid pattern called a Non-Split Cartan image. Think of this like a car that can only drive in a perfect circle or a figure-eight, but never straight. For a long time, mathematicians knew this pattern existed, but they didn't know what happened if you zoomed in even closer (looking at higher powers of $p$, like $p^2, p^3$, etc.).

The Big Question: If the machine is stuck in this circle pattern at level $p$, does it stay stuck in a slightly larger circle at level $p^2$, or does it suddenly break free and spin wildly again?

2. The New Tool: A "Crystal Ball" for Numbers

The authors realized that to solve this, they needed a new way to look at the machine. They used a branch of math called $p$-adic Hodge Theory.

• The Old Way: Imagine trying to understand a complex clock by listening to the ticking. It's hard to tell the internal mechanism just from the sound.
• The New Way (This Paper): The authors built a "crystal ball" (a mathematical object called a filtered module) that translates the ticking of the clock into a clear, visual blueprint.

They found that every time this "Cartan trap" happens, the machine is secretly hiding a specific deformation parameter (let's call it $\alpha$). This $\alpha$ is like a secret code that tells you exactly how the gears are locked.

3. The Discovery: The "Staircase" of Symmetry

Using their crystal ball, the authors discovered a beautiful rule about how the machine behaves as you zoom in deeper:

• The "Stuck" Phase: For a certain number of steps (let's say $n$ steps), the machine stays perfectly locked in its circular pattern. It behaves exactly like a machine with "Complex Multiplication" (a very special, highly symmetric type of machine).
• The "Breakout" Point: Once you go past step $n$, the machine suddenly gains freedom. It doesn't become completely random immediately, but it expands its movement to fill a specific, predictable space. It's like a balloon that is tied down for a while, then suddenly inflates to a specific size and stops.

The Key Insight: The size of this "stuck" phase ($n$) is directly determined by the machine's $j$-invariant.

• Analogy: Think of the $j$-invariant as the machine's "serial number." The authors found a formula where if you look at the serial number, you can calculate exactly how many steps the machine will stay stuck before it breaks free.

4. The "Division Polynomials": A New Map

To prove this, the authors invented a new set of mathematical maps called division polynomials (specifically, polynomials named $g_k$).

• Old Maps: The traditional maps were like trying to navigate a city using a 100-year-old paper map with missing streets. They were messy and hard to use.
• New Maps: The authors' new polynomials are like a GPS. They are simpler, recursive (they build on themselves), and they directly link the machine's coordinates to the roots of a polynomial equation.
• Why it matters: This allows mathematicians to take a raw equation for an elliptic curve (a Weierstrass model) and instantly calculate the secret code ($\alpha$) and predict the machine's behavior without doing years of manual calculation.

5. The Global Consequence: Bounding the Chaos

The ultimate goal of this paper isn't just to solve a local puzzle; it's to make predictions about elliptic curves over the entire set of rational numbers (the whole world of fractions).

Because they now know exactly how the machine behaves locally (in the $p$-adic world), they can tighten the rules for the whole system.

• The Result: They proved that if an elliptic curve doesn't have "Complex Multiplication" (it's not one of the special, rigid ones), and it gets stuck in this Cartan pattern, it must eventually break free in a very specific way. It cannot get stuck in a weird, unpredictable limbo.
• The Impact: This allows them to put a much tighter "speed limit" on how complex the symmetries of these curves can be. They improved the mathematical bounds on the "Adelic Image" (the total symmetry of the curve) based on the size of the curve's serial number ($j$-invariant).

Summary Analogy

Imagine you are watching a dancer (the Elliptic Curve).

1. The Problem: You see the dancer spinning in a tight, weird circle (Non-Split Cartan). You wonder: "Will she keep spinning like this forever, or will she change her routine?"
2. The Method: The authors built a special pair of glasses ($p$-adic Hodge Theory) that let them see the dancer's internal rhythm (the deformation parameter $\alpha$).
3. The Discovery: They realized the dancer's rhythm is dictated by her outfit's pattern ($j$-invariant). They found a formula: "If the outfit has pattern X, she spins for exactly 3 steps, then changes to pattern Y."
4. The Result: They created a new dance manual (the polynomials $g_k$) that predicts her moves perfectly. This proves that the dancer can never get stuck in a "weird limbo" state; she either spins tightly or breaks into a full, predictable routine. This helps mathematicians understand the limits of how "wild" these mathematical dancers can be.

In short: The authors used a new mathematical microscope to decode the secret rhythm of elliptic curves, proving that their behavior is far more predictable and structured than anyone previously thought.

Technical Summary

Here is a detailed technical summary of the paper "Explicit p-adic Hodge Theory for Elliptic Curves and Non-Split Cartan Images" by Matthew Bisatt, Lorenzo Furio, and Davide Lombardo.

1. Problem Statement

The paper addresses the classification of $p$-adic Galois representations attached to elliptic curves $E/\mathbb{Q}$ (and locally over $\mathbb{Q}_p$) when the mod $p$ image is contained in the normalizer of a non-split Cartan subgroup, denoted $C_{ns}^+(p)$.

While Serre's Open Image Theorem and subsequent work (e.g., by Rouse, Sutherland, and Zureick-Brown) have classified $p$-adic images for most cases, the specific scenario where the mod $p$ image lies in $C_{ns}^+(p)$ (but not in the split Cartan or full $GL_2$) remained partially unresolved for higher powers $p^n$ ($n \geq 2$). Specifically, it was unknown whether the $p$-adic image could be a "smaller" subgroup than the full preimage of $C_{ns}^+(p^n)$, or if it could stabilize at a specific level $n$ with a specific index.

The authors aim to:

1. Precisely classify the $p$-adic image $\text{Im } \rho_{E, p^\infty}$ for curves with potentially supersingular reduction and non-split Cartan mod $p$ image.
2. Develop explicit computational tools using $p$-adic Hodge theory to determine these images from Weierstrass models.
3. Derive global consequences for elliptic curves over $\mathbb{Q}$, specifically improving bounds on the index of the adelic Galois representation in terms of the Weil height of the $j$-invariant.

2. Methodology

The paper employs a systematic and computationally accessible application of $p$-adic Hodge theory, specifically utilizing the theory of filtered $(\phi, G_{K/\mathbb{Q}_p})$-modules developed by Fontaine and Volkov.

• Local Analysis over $\mathbb{Q}_p$:

  • The authors focus on elliptic curves $E/\mathbb{Q}_p$ with potentially supersingular reduction and semistability defect $e \in \{3, 4, 6\}$.
  • They utilize Volkov's classification, which encodes the rational Tate module $V_p E$ via a filtered module $D_\alpha$ parameterized by a deformation parameter $\alpha \in \mathbb{P}^1(\mathbb{Q}_p)$.
  • Novelty: Instead of relying on abstract existence, the authors derive an explicit algorithm to compute $\alpha$ (and an auxiliary parameter $\beta$) directly from the coefficients of the formal logarithm of a Weierstrass model. This bridges the gap between the abstract filtered module and concrete arithmetic data.

• Alternative Division Polynomials:

  • They construct a family of polynomials $g_k(x)$ (Theorem 1.5) whose roots are in Galois-equivariant bijection with the $p^k$-torsion points $E[p^k]$.
  • These polynomials depend linearly on $\alpha^{-1}$ and are significantly simpler than classical division polynomials.
  • The structure of the roots of $g_k$ allows the authors to analyze the Galois action on torsion points by studying the valuations of the roots and the deformation parameter.

• Global Application:

  • The local classification is lifted to the global setting over $\mathbb{Q}$ using the fact that for non-CM curves, the global image is constrained by the local images at all primes.
  • They refine existing bounds on the adelic index by combining their precise local classification with height bounds.

3. Key Contributions

A. Explicit $p$-adic Hodge Theory Algorithm

The paper provides a novel method to compute the deformation parameter $\alpha$ associated with a potentially supersingular elliptic curve.

• Theorem 1.6: Establishes a closed formula relating the valuation of $\alpha$ (via an intermediate parameter $\beta$) to the $j$-invariant and the minimal discriminant $\Delta$ of the curve.
• Algorithm: The authors show how to compute $\beta$ to arbitrary $p$-adic precision using the coefficients of the formal logarithm of the curve, specifically the ratios of coefficients $d_{p^{2k+1}}/d_{p^{2k}}$. This makes the previously "opaque" $p$-adic Hodge theoretic invariants computable.

B. Classification of $p$-adic Images (Local)

The authors prove that for $p > 7$, if $\text{Im } \rho_{E, p} \subseteq C_{ns}^+(p)$, the $p$-adic image is strictly determined by the valuation of the deformation parameter $\alpha$ (or equivalently, the $j$-invariant).

• Theorem 1.3: Let $n_0$ be an integer derived from $v(j)$ (or $v(j-1728)$).
  • If $k \leq n_0$, the image modulo $p^k$ is contained in $C_{ns}^+(p^k)$.
  • If $k > n_0$, the image exhibits "maximal growth," meaning $\text{Im } \rho_{E, p^\infty}$ is the full preimage of $\text{Im } \rho_{E, p^{n_0}}$ inside $GL_2(\mathbb{Z}_p)$.
  • Crucially, they rule out the existence of a specific group-theoretic obstruction (the group $G_{ns}^\#(p^2)$) that was previously a possibility, proving that for $p > 7$, the image must be the preimage of a non-split Cartan at some level $n$.

C. Global Classification and Adelic Bounds

• Theorem 1.1: For a non-CM elliptic curve $E/\mathbb{Q}$ with $p > 7$ and $\text{Im } \rho_{E, p} \subseteq C_{ns}^+(p)$, the $p$-adic image is exactly the inverse image of $C_{ns}^+(p^n)$ for some $n \geq 1$. This confirms that the $p$-adic tower stabilizes at a level determined by the curve's invariants.
• Theorem 1.2: They derive a new, sharper bound on the index of the adelic Galois representation $[\text{GL}_2(\hat{\mathbb{Z}}) : \text{Im } \rho_E]$.
  • The bound is of the form $C_\epsilon \cdot \max\{1, h(j(E))\}^{2+\epsilon}$.
  • This improves upon previous bounds (which were roughly cubic or had larger exponents) by utilizing the precise local classification to reduce the exponent of the $p$-adic index from $3n$to$2n$.

4. Key Results

1. Dichotomy of Growth: The Galois action on $E[p^k]$ either remains "small" (contained in the non-split Cartan normalizer) for $k \leq n_0$ or grows maximally ($[Q_p(E[p^k]):Q_p(E[p^{k-1})] = p^4$) for $k > n_0$. The threshold $n_0$ is explicitly computable from the $j$-invariant.
2. Ruling out $G_{ns}^\#(p^2)$: For $p > 7$, the image cannot be the specific group $G_{ns}^\#(p^2)$ (a subgroup of index 3 in the preimage of $C_{ns}^+(p^2)$) unless the curve has CM or specific small $p$ conditions. This resolves a gap in the classification of $p$-adic images.
3. Computability of $\alpha$: The paper provides the first explicit link between the Weierstrass model coefficients and the filtered $(\phi, G)$-module parameter $\alpha$, allowing for the determination of the Galois image without needing to compute torsion points directly.
4. Optimality: The dependence of the adelic index bound on the height of the $j$-invariant is shown to be essentially optimal for current methods.

5. Significance

• Resolution of a Classification Gap: The paper completes the classification of $p$-adic images for the non-split Cartan case for $p > 7$, a critical step in Mazur's Program B (classifying rational torsion and Galois images).
• Methodological Advance: It demonstrates the power of explicit $p$-adic Hodge theory. By moving from rational to integral representations via formal logarithms, the authors bypass the difficulties of integral $p$-adic Hodge theory (like Breuil-Kisin modules) while retaining enough structure for precise classification.
• Algorithmic Utility: The introduction of the polynomials $g_k$ and the algorithm to compute $\alpha$ provides practical tools for computational number theorists to determine Galois images of specific curves.
• Global Implications: The refined adelic bounds have direct applications in the study of elliptic curves over number fields, particularly in understanding the distribution of curves with specific Galois properties and in verifying conjectures related to Serre's Uniformity Question.

In summary, this work bridges the gap between abstract $p$-adic Hodge theory and concrete arithmetic geometry, providing a complete, computable, and sharp classification of $p$-adic Galois images for a significant class of elliptic curves.