Semistable abelian varieties over $\mathbb{Q}$ with bad reduction at 19 only

Basic Information

• Paper ID: 2510.12625
• Title: Semistable abelian varieties over $\mathbb{Q}$ with bad reduction at 19 only
• Authors: Francesco Campagna, Pip Goodman
• Classification: math.NT (Number Theory)
• Publication Date: October 14, 2025
• Paper Link: https://arxiv.org/abs/2510.12625

Abstract

This paper classifies semistable abelian varieties over the rational numbers $\mathbb{Q}$ with bad reduction only at the prime 19, up to isogeny over $\mathbb{Q}$. The general strategy employed traces back to Fontaine and was substantially refined by Schoof. The paper begins with an overview of this strategy and proves various non-trivial background results along the way, providing an introduction for readers unfamiliar with the subject.

Research Background and Motivation

Problem Background

1. Core Problem: Classification of semistable abelian varieties over $\mathbb{Q}$ with bad reduction only at specific primes
2. Historical Development:
   • In 1985, Fontaine proved the non-existence of abelian varieties with everywhere good reduction
   • Building on Fontaine's work, Schoof proved that for $N \in \{2,3,5,7,13\}$, there exist no semistable abelian varieties with good reduction outside $N$
   • For $N \in \{11,15,23\}$, Schoof proved that any such abelian variety is isogenous to a power of $J_0(N)$

Research Significance

1. Theoretical Value: Advances the classification theory of abelian varieties, particularly in applications to arithmetic geometry
2. Methodological Contribution: Provides a systematic methodological framework for subsequent research (such as the case $N=29$)
3. Pedagogical Value: Offers detailed background introduction for researchers unfamiliar with the field

Limitations of Existing Methods

Although the Fontaine-Schoof strategy is powerful, its concrete implementation requires:

• Handling technical difficulties in the non-abelian category $C_{p,2}$
• Overcoming problems where homological algebra tools cannot be directly applied
• Detailed calculations and analysis for each specific prime

Core Contributions

1. Main Theorem: Proves that any semistable abelian variety over $\mathbb{Q}$ with good reduction outside 19 is isogenous to some power of $J_0(19)$
2. Methodological Refinement: Provides a complete overview and implementation details of the Fontaine-Schoof strategy
3. Technical Innovation: Overcomes technical difficulties arising from the non-abelian nature of the category $C_{19,2}$
4. Theoretical Supplement: Proves several important results that are difficult to find in the literature but are "well-known" to experts

Detailed Methodology

Task Definition

Input: A semistable abelian variety $A$ defined over $\mathbb{Q}$ with bad reduction only at the prime 19 Output: Proof that $A$ is isogenous to some power $J_0(19)^g$ of the Jacobian of the modular curve $X_0(19)$Constraints: Semistability condition and reduction properties

Core Strategy Framework

1. Fontaine-Schoof Classification Strategy

The classification strategy consists of four main steps:

1. Generic Fiber Classification of Simple Objects: For some $\ell \nmid N$, classify the generic fibers of simple objects in $C_{N,\ell}$
2. Extension Problem: Extend the generic fibers obtained in step 1 to determine all simple objects in $C_{N,\ell}$
3. Extension Classification: Classify extensions between simple objects in $C_{N,\ell}$
4. $\ell$-Divisible Group Classification: Classify $\ell$-divisible groups arising from semistable abelian varieties

2. Key Category $C_{19,2}$

Define the category $C_{N,\ell}$ as a full subcategory of finite flat group schemes over $\mathbb{Z}[\frac{1}{N}]$, whose objects are finite flat group schemes of $\ell$-power order satisfying the inertia group condition: $(\sigma-1)^2 = 0$ for all $\sigma \in I_p$.

3. Technical Innovations

Handling Non-Abelian Categories:

• Realize $C_p$ as a full subcategory of some abelian category
• Prove that all extensions in this abelian category belong to the essential image of $C_p$
• Use the abelian sheaf category $\text{AbSh}(\text{fppf}/S)$ on the fppf topology

Mayer-Vietoris Sequence: Utilize exact sequences to study extensions of finite flat group schemes over the base ring: $0 \to \text{Hom}_R(G,H) \to \text{Hom}_{\hat{R}}(G,H)\times\text{Hom}_{R[\frac{1}{\ell}]}(G,H) \to \text{Hom}_{\hat{R}[\frac{1}{\ell}]}(G,H)$

Concrete Implementation

Step 1: Generic Fiber of Simple Objects

Key Result: Any simple group scheme in $C_{19}$ has points defined over $\mathbb{Q}(\sqrt{-19}, \alpha)$, where $\alpha$ satisfies $\alpha^3 - 2\alpha - 2 = 0$.

Proof Outline:

• Use Fontaine's theorem to restrict higher ramification groups
• Apply class field theory to determine the maximal abelian extension
• Utilize discriminant bounds and the Diaz y Diaz table

Step 2: Extension Analysis

Use Artin's equivalence result (Proposition 3.9) and extension theory by Oort-Tate and Raynaud to determine possible extensions.

Step 3: Extension Computation

Key Results:

• $\text{Ext}^1_{C_{19}}(E, \mathbb{Z}/2\mathbb{Z}) = 0$
• $\text{Ext}^1_{C_{19}}(E, E) \cong \mathbb{F}_2$, generated by $X_0(19)[4]$

where $E = X_0(19)[2]$.

Experimental Setup

Theoretical Verification Methods

This paper is pure mathematical theoretical research, verified primarily through:

1. Computational Verification: Concrete calculations on the modular curve $X_0(19)$
2. Class Field Theory Application: Verification of existence and uniqueness of extensions
3. Group Theory Analysis: Analysis of Galois group structure
4. Cohomological Computation: Calculation of extension groups $\text{Ext}^1$

Key Computations

• Minimal Weierstrass equation of modular curve $X_0(19)$: $y^2 + y = x^3 + x^2 - 9x - 15$
• Discriminant analysis of extension field $\mathbb{Q}(\sqrt{-19}, \alpha)$
• Class number computation and fundamental unit determination

Experimental Results

Main Results

Theorem 6.1 (Main Theorem): Let $A/\mathbb{Q}$ be a semistable abelian variety with good reduction outside 19. Then $A$ is isogenous to $X_0(19)^g$ for some $g \geq 1$.

Key Intermediate Results

1. Theorem 4.5: The simple group schemes in $C_{19}$ are $\mathbb{Z}/2\mathbb{Z}$, $\mu_2$, and $E = X_0(19)[2]$
2. Proposition 5.1: $\text{Ext}^1_{C_{19}}(E, \mathbb{Z}/2\mathbb{Z}) = 0$
3. Proposition 5.3: $\text{Ext}^1_{C_{19}}(E, E) \cong \mathbb{F}_2$ and is generated by $X_0(19)[4]$

Technical Verification

Correctness of results is ensured through:

• Using Faltings' isogeny theorem to reduce the problem to classification of Tate modules
• Applying Proposition 3.26 to exclude impossible $\ell$-divisible groups
• Using Schoof's Theorem 8.3 to complete the final classification

Related Work

Historical Development

1. Fontaine (1985): Proved non-existence of abelian varieties with everywhere good reduction, establishing the basic strategy
2. Schoof's Series of Works:
   • Proved non-existence for $N \in \{2,3,5,7,13\}$
   • Classified cases $N \in \{11,15,23\}$
3. This Paper: Addresses the case $N = 19$

Methodological Comparison

• Distinction from Fontaine: This paper chooses $\ell = 2$ rather than odd primes, requiring handling of non-abelian categories
• Connection to Schoof: Inherits and develops Schoof's techniques, particularly extension theory
• Technical Innovation: Systematically addresses extension problems in non-abelian categories

Conclusions and Discussion

Main Conclusions

1. Completes the full classification for the case $N = 19$
2. Proves that all relevant abelian varieties arise from the modular curve $X_0(19)$
3. Provides methodological foundation for subsequent cases such as $N = 29$

Limitations

1. Computational Complexity: Each prime requires specific detailed analysis
2. Method Applicability: Success of the strategy depends on effectiveness of discriminant bounds
3. Technical Threshold: Requires deep knowledge of algebraic and arithmetic geometry

Future Directions

1. Direct Application: Authors mention handling the case $N = 29$ in subsequent articles
2. Method Generalization: Potentially applicable to classification for other primes
3. Theoretical Deepening: Further understanding of the structure of semistable abelian varieties

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides complete proofs and detailed background introduction
2. Methodological Systematicity: Establishes a reusable analytical framework
3. Technical Innovation: Successfully handles technical difficulties in non-abelian categories
4. Pedagogical Value: Provides excellent introductory material for newcomers to the field

Weaknesses

1. Computational Intensity: Extensive technical calculations may limit method generalization
2. Specificity: Results are highly dependent on special properties of $p = 19$
3. Complexity: The proof involves multiple deep theories with high comprehension threshold

Impact

1. Theoretical Contribution: Advances the development of abelian variety classification theory
2. Methodological Value: Provides standard methods for related problems
3. Educational Significance: Becomes an important reference in the field

Applicable Scenarios

1. Direct Application: Classification problems of abelian varieties in arithmetic geometry
2. Method Reference: Similar Diophantine problems
3. Theoretical Research: Modular forms and $L$-function theory

References

The paper cites 30 important references, including:

• Fontaine's pioneering work 6
• Schoof's series of studies 20, 21, 22, 23
• Faltings' isogeny theorem 5
• Oort-Tate's group scheme theory 15
• Raynaud's extension theory 17

Overall Assessment: This is a high-quality theoretical research paper in number theory that is technically rigorous and complete, with innovative methodology, making important contributions to abelian variety classification theory. Although the technical threshold is high, it provides important theoretical foundations and methodological guidance for the development of related fields.