2025-11-10T03:04:05.824879

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

Campagna, Goodman

We classify semistable abelian varieties over $\mathbb{Q}$ with bad reduction at exactly 19 up to isogeny over $\mathbb{Q}$. The general strategy goes back to Fontaine and has been heavily refined by Schoof. In the beginning of this paper we include an overview of this strategy, proving various non-trivial background results along the way, as an introduction for readers unacquainted with this topic.

academic

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

基本信息

论文ID: 2510.12625
标题: Semistable abelian varieties over $\mathbb{Q}$ with bad reduction at 19 only
作者: Francesco Campagna, Pip Goodman
分类: math.NT (Number Theory)
发表时间: 2025年10月14日
论文链接: https://arxiv.org/abs/2510.12625

摘要

本文对在有理数域 $\mathbb{Q}$ 上仅在素数19处有坏约化的半稳定阿贝尔簇进行分类，直到 $\mathbb{Q}$ 上的同源等价。所采用的一般策略可以追溯到Fontaine，并被Schoof大幅改进。论文开头包含了该策略的概述，沿途证明了各种非平凡的背景结果，为不熟悉该主题的读者提供了介绍。

研究背景与动机

问题背景

核心问题: 分类在有理数域 $\mathbb{Q}$ 上仅在特定素数处有坏约化的半稳定阿贝尔簇
历史发展:
- 1985年，Fontaine证明了不存在处处有好约化的阿贝尔簇
- Schoof在Fontaine基础上证明了对于 $N \in \{2,3,5,7,13\}$ ，不存在在 $N$ 外有好约化的半稳定阿贝尔簇
- 对于 $N \in \{11,15,23\}$ ，Schoof证明了任何这样的阿贝尔簇都同源于 $J_0(N)$ 的幂次

研究意义

理论价值: 完善了阿贝尔簇的分类理论，特别是在算术几何中的应用
方法论贡献: 为后续研究（如 $N=29$ 的情况）提供了系统的方法框架
教学价值: 为不熟悉该领域的研究者提供了详细的背景介绍

现有方法局限性

现有的Fontaine-Schoof策略虽然强大，但在具体实施时需要：

处理非阿贝尔范畴 $C_{p,2}$ 的技术困难
克服同调代数工具无法直接应用的问题
需要对每个具体素数进行详细的计算和分析

核心贡献

主要定理: 证明了任何在 $\mathbb{Q}$ 上仅在19外有好约化的半稳定阿贝尔簇都同源于 $J_0(19)$ 的某个幂次
方法论完善: 提供了Fontaine-Schoof策略的完整概述和实施细节
技术创新: 克服了范畴 $C_{19,2}$ 非阿贝尔性带来的技术困难
理论补充: 证明了多个在文献中难以找到但对专家来说"众所周知"的重要结果

方法详解

任务定义

输入: 在 $\mathbb{Q}$ 上定义的半稳定阿贝尔簇 $A$ ，仅在素数19处有坏约化输出: 证明 $A$ 同源于模曲线 $X_0(19)$ 的Jacobian的某个幂次 $J_0(19)^g$ 约束: 半稳定性条件和约化性质

核心策略框架

1. Fontaine-Schoof分类策略

分类策略分为四个主要步骤：

简单对象的一般纤维分类: 对某个 $\ell \nmid N$ ，分类 $C_{N,\ell}$ 中简单对象的一般纤维
延拓问题: 将步骤1得到的一般纤维延拓以确定 $C_{N,\ell}$ 中的所有简单对象
扩张分类: 分类 $C_{N,\ell}$ 中简单对象之间的扩张
$\ell$ -可除群分类: 分类来自半稳定阿贝尔簇的 $\ell$ -可除群

2. 关键范畴 $C_{19,2}$

定义范畴 $C_{N,\ell}$ 为 $\mathbb{Z}[\frac{1}{N}]$ 上有限平坦群概型的满子范畴，其对象为 $\ell$ -幂次阶的有限平坦群概型，满足惯性群条件：对所有 $\sigma \in I_p$ 有 $(\sigma-1)^2 = 0$ 。

3. 技术创新点

处理非阿贝尔范畴:

将 $C_p$ 实现为某个阿贝尔范畴的满子范畴
证明该阿贝尔范畴中的所有扩张都属于 $C_p$ 的本质像
使用fppf拓扑上的阿贝尔层范畴 $\text{AbSh}(\text{fppf}/S)$

Mayer-Vietoris序列: 利用精确序列研究基环上有限平坦群概型的扩张： $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)$

具体实施

步骤1: 简单对象的一般纤维

关键结果: 任何 $C_{19}$ 中简单群概型的点都定义在 $\mathbb{Q}(\sqrt{-19}, \alpha)$ 上，其中 $\alpha$ 满足 $\alpha^3 - 2\alpha - 2 = 0$ 。

证明要点:

使用Fontaine定理限制高次分歧群
应用类域论确定最大阿贝尔扩张
利用判别式界限和Diaz y Diaz表格

步骤2: 延拓分析

使用Artin的等价性结果（命题3.9）和Oort-Tate、Raynaud的延拓理论确定可能的延拓。

步骤3: 扩张计算

关键结果:

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

其中 $E = X_0(19)[2]$ 。

实验设置

理论验证方法

本文为纯数学理论研究，主要通过以下方式验证结果：

计算验证: 对模曲线 $X_0(19)$ 的具体计算
类域论应用: 验证扩张的存在性和唯一性
群论分析: 分析Galois群的结构
同调计算: 计算扩张群 $\text{Ext}^1$

关键计算

模曲线 $X_0(19)$ 的最小Weierstrass方程： $y^2 + y = x^3 + x^2 - 9x - 15$
扩张域 $\mathbb{Q}(\sqrt{-19}, \alpha)$ 的判别式分析
类数计算和基本单位确定

定理4.5: $C_{19}$ 中的简单群概型为 $\mathbb{Z}/2\mathbb{Z}$ 、 $\mu_2$ 和 $E = X_0(19)[2]$
命题5.1: $\text{Ext}^1_{C_{19}}(E, \mathbb{Z}/2\mathbb{Z}) = 0$
命题5.3: $\text{Ext}^1_{C_{19}}(E, E) \cong \mathbb{F}_2$ 且由 $X_0(19)[4]$ 生成