算术代数几何详解

算术代数几何详解

目录

• 第一章 绪论
• 第二章 基本语言：概形与算术簇
• 第三章 代数曲线上的有理点
• 第四章 高度理论
• 第五章 阿贝尔簇与 Mordell-Weil 定理
• 第六章 Faltings 定理：Mordell 猜想的证明
• 第七章 Arakelov 几何
• 第八章 算术曲面
• 第九章 志村簇
• 第十章 p-进霍奇理论
• 第十一章 朗兰兹纲领
• 第十二章 算术代数几何中的主要定理汇总
• 第十三章 开放问题与前沿方向
• 附录：重要公式与概念索引

第一章 绪论

1.1 算术代数几何的定义

算术代数几何（Arithmetic Algebraic Geometry），又称算术几何（Arithmetic Geometry），是数学中一个高度交叉的研究领域，它运用代数几何的现代工具和方法来研究和解决数论中的深刻问题。

算术几何的核心研究对象是有理点（Rational Points）——即多项式方程组在代数数域、有限域、p-进数域或函数域上的解集。这些域都是非代数闭域，因此算术几何本质上研究的是非代数闭域上定义的代数簇的结构。

用更抽象的现代术语来说，算术几何可以定义为对整数环的谱 \(\operatorname{Spec}(\mathbb{Z})\) 上的有限型概形的研究。这个简洁的定义揭示了算术几何的深刻本质：它将数论中离散的整数环与几何中连续的概形统一在同一个框架之下。

1.2 算术几何与丢番图几何

算术几何围绕着丢番图几何（Diophantine Geometry）展开。丢番图几何得名于古希腊数学家丢番图（Diophantus of Alexandria），其核心问题是研究代数方程在有理数、整数等数域上的解。

丢番图几何与算术几何的关系可以这样理解：

• 丢番图几何更侧重于问题本身——哪些方程有解？有多少解？
• 算术几何更侧重于方法——如何用几何的语言和工具来研究这些问题？

在实际研究中，这两个术语经常互换使用。

基本问题框架：给定一个在数域 \(K\) 上定义的代数簇 \(X\)，研究其 \(K\)-有理点集合 \(X(K)\) 的结构与性质。具体包括：

1. 存在性问题：\(X(K)\) 是否非空？
2. 计数问题：\(X(K)\) 有多大？是有限还是无限？
3. 结构问题：\(X(K)\) 具有什么样的代数结构？
4. 分布问题：\(X(K)\) 中的点如何分布（按高度衡量）？

1.3 算术代数几何的历史发展

算术代数几何的历史可以追溯到19世纪，但作为一门独立学科的确立是在20世纪中后期。

（1）19世纪：萌芽时期

• 高斯（Gauss）研究二次型的算术，这是算术几何的早期雏形。
• 戴德金（Dedekind）和韦伯（Weber）在“单变量代数函数理论”中引入了“互补类”和“典范类”的概念，并用它们证明了黎曼-罗赫定理，开辟了代数几何的算术化方向。

（2）20世纪上半叶：奠基时期

• Mordell（1922）提出了Mordell猜想：亏格 \(g \geqslant 2\) 的代数曲线上只有有限多个有理点。
• Weil（1928）证明了Mordell-Weil定理：椭圆曲线上的有理点构成有限生成阿贝尔群。
• Néron（1950年代）发展了高度理论（Height Theory），为算术几何提供了度量工具。

（3）20世纪中后期：革命时期

• Grothendieck（1960年代）建立了概形理论（Scheme Theory），为算术几何提供了统一的语言框架。
• Faltings（1983）证明了Mordell猜想（现称Faltings定理），这是算术几何划时代的突破。
• Arakelov（1970年代）发展了Arakelov几何，将相交理论推广到算术情形。

（4）当代（1990年代至今）

• Wiles（1994）证明了费马大定理，这是算术几何最著名的应用之一。
• Green-Tao定理（2004）等成果进一步展示了算术几何与其他领域的深度融合。
• p-进霍奇理论、志村簇、朗兰兹纲领等成为当代算术几何的核心前沿。

1.4 算术代数几何的方法论特征

算术代数几何的方法论可以概括为以下几个特征：

（1）几何化：将数论问题（如求解丢番图方程）转化为几何问题（如研究代数簇上的点）。

（2）统一化：将不同的数域（\(\mathbb{Q}\)、有限域 \(\mathbb{F}_q\)、p-进域 \(\mathbb{Q}_p\)）统一在概形的框架下研究。

（3）工具化：广泛运用层论、上同调、相交理论等现代代数几何工具。

（4）交叉化：与代数数论、表示论、调和分析、微分几何等学科深度融合。

1.5 预备知识

学习算术代数几何需要以下深厚的预备知识：

1. 代数几何：概形、层、上同调、相交理论
2. 代数数论：数域、代数整数、素理想分解、类域论
3. 交换代数：环、模、局部化、平坦性
4. 复几何：黎曼曲面、霍奇理论
5. 表示论：群表示、自守形式

第二章 基本语言：概形与算术簇

2.1 概形的基本概念

概形（Scheme）是代数几何的现代语言，由Grothendieck在1960年代引入。

定义 2.1（仿射概形） ：设 \(A\) 是交换环。\(A\) 的素谱（Prime Spectrum）\(\operatorname{Spec}(A)\) 是 \(A\) 的所有素理想构成的集合，赋予Zariski拓扑和结构层 \(\mathcal{O}_{\operatorname{Spec}(A)}\)。这个赋环空间称为仿射概形（Affine Scheme）。

定义 2.2（概形） ：一个概形（Scheme）是一个赋环空间 \((X, \mathcal{O}_X)\)，其每个点都有一个开邻域 \(U\)，使得 \((U, \mathcal{O}_X|_U)\) 同构于某个仿射概形 \(\operatorname{Spec}(A)\)。

定义 2.3（算术概形） ：一个算术概形（Arithmetic Scheme）是 \(\operatorname{Spec}(\mathbb{Z})\) 上的有限型概形。

这个定义的精妙之处在于：

• \(\operatorname{Spec}(\mathbb{Z})\) 的点对应于所有的素数 \(p\)（以及一个“一般点”）
• \(\operatorname{Spec}(\mathbb{Z})\) 上的概形 \(X \to \operatorname{Spec}(\mathbb{Z})\) 的纤维 \(X_p = X \times_{\operatorname{Spec}(\mathbb{Z})} \operatorname{Spec}(\mathbb{F}_p)\) 是有限域 \(\mathbb{F}_p\) 上的代数簇
• \(X\) 的一般纤维 \(X_{\mathbb{Q}} = X \times_{\operatorname{Spec}(\mathbb{Z})} \operatorname{Spec}(\mathbb{Q})\) 是有理数域 \(\mathbb{Q}\) 上的代数簇

因此，一个算术概形同时“包含”了其在所有有限域上的约化以及其在有理数域上的一般纤维——这正是“算术”二字的含义。

2.2 算术簇

定义 2.4（算术簇） ：一个算术簇（Arithmetic Variety）是 \(\operatorname{Spec}(\mathbb{Z})\) 上的一个光滑、射影的概形。

更一般地，设 \(K\) 是数域，\(\mathcal{O}_K\) 是其整数环。\(\mathcal{O}_K\) 上的有限型概形称为 \(K\) 上的算术簇。

2.3 纤维与基变换

定义 2.5（基变换） ：设 \(X\) 是 \(S\) 上的概形，\(T \to S\) 是一个态射。定义 \(X\) 在 \(T\) 上的基变换（Base Change）为

\[X_T = X \times_S T \]

重要情形：

• 若 \(S = \operatorname{Spec}(\mathbb{Z})\)，\(T = \operatorname{Spec}(\mathbb{Q})\)，则 \(X_{\mathbb{Q}}\) 是 \(X\) 的有理纤维
• 若 \(T = \operatorname{Spec}(\mathbb{F}_p)\)，则 \(X_{\mathbb{F}_p}\) 是 \(X\) 的模 \(p\) 纤维
• 若 \(T = \operatorname{Spec}(\mathbb{Z}_p)\)，则 \(X_{\mathbb{Z}_p}\) 是 \(X\) 的p-进纤维

2.4 整模型

定义 2.6（整模型） ：设 \(X\) 是数域 \(K\) 上的代数簇。一个 \(\mathcal{O}_K\) 上的概形 \(\mathcal{X}\) 称为 \(X\) 的一个整模型（Integral Model），如果

\[\mathcal{X} \times_{\operatorname{Spec}(\mathcal{O}_K)} \operatorname{Spec}(K) \cong X \]

整模型是算术几何中最重要的构造之一。它允许我们“将 \(X\) 扩张”到整数环上，从而研究 \(X\) 在不同素数处的约化行为。

2.5 有限域上的代数簇

有限域 \(\mathbb{F}_q\) 上的代数簇是算术几何的重要研究对象。

定义 2.7（Frobenius态射） ：设 \(X\) 是 \(\mathbb{F}_q\) 上的代数簇。Frobenius态射 \(F: X \to X\) 在局部上由 \(x \mapsto x^q\) 给出。

定理 2.1（Weil猜想） ：设 \(X\) 是 \(\mathbb{F}_q\) 上的光滑射影代数簇。则其zeta函数

\[\zeta_X(s) = \exp\left( \sum_{n=1}^{\infty} \frac{N_n}{n} q^{-ns} \right) \]

（其中 \(N_n = |X(\mathbb{F}_{q^n})|\)）是一个有理函数，满足函数方程，且其零点与极点具有特定的模长性质。

Weil猜想由Weil于1949年提出，最终由Deligne于1974年证明。这是算术几何历史上最重大的成就之一。

第三章 代数曲线上的有理点

代数曲线（一维代数簇）是有理点研究中最基本、最深入的对象。

3.1 曲线的亏格

定义 3.1（亏格） ：设 \(C\) 是光滑射影代数曲线。其亏格（Genus）\(g\) 定义为

\[g = \dim_{\mathbb{C}} H^1(C, \mathcal{O}_C) \]

在复几何中，亏格等于曲线的拓扑亏格（即曲面上“洞”的个数）。

3.2 按亏格的分类

代数曲线上的有理点结构由亏格 \(g\) 决定，呈现三种截然不同的情形：

（1）亏格 \(g = 0\)：有理曲线

亏格为0的曲线是有理曲线（Rational Curve），即双有理等价于射影直线 \(\mathbb{P}^1\)。

定理 3.1：亏格0的曲线 \(C\) 上有无穷多个有理点，当且仅当 \(C\) 有一个有理点（此时 \(C \cong \mathbb{P}^1\)）。

例 3.1：二次曲线 \(x^2 + y^2 = z^2\)（单位圆）亏格为0。若它有一个有理点（如 \((1,0,1)\)），则可参数化得到无穷多个有理点（勾股数）。

（2）亏格 \(g = 1\)：椭圆曲线

亏格为1且有一个指定有理点的曲线称为椭圆曲线（Elliptic Curve）。

定理 3.2（Mordell-Weil定理） ：设 \(E\) 是数域 \(K\) 上的椭圆曲线。则 \(E(K)\) 是一个有限生成阿贝尔群：

\[E(K) \cong \mathbb{Z}^r \oplus E(K)_{\text{tor}} \]

其中 \(r \geqslant 0\) 称为秩（Rank），\(E(K)_{\text{tor}}\) 是挠部分（有限群）。

例 3.2：椭圆曲线 \(E: y^2 = x^3 - x\) 在 \(\mathbb{Q}\) 上的秩为0，\(E(\mathbb{Q}) \cong \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z}\)（只有4个有理点）。

（3）亏格 \(g \geqslant 2\)：高亏格曲线

定理 3.3（Faltings定理，原Mordell猜想） ：设 \(C\) 是数域 \(K\) 上亏格 \(g \geqslant 2\) 的光滑射影曲线。则 \(C(K)\) 是有限集。

这是算术几何最深刻的定理之一，我们将在第六章详细讨论。

3.3 曲线有理点的分类总结

亏格 \(g\)	曲线类型	有理点集合	关键定理
\(g = 0\)	有理曲线	无限（若有有理点）	参数化
\(g = 1\)	椭圆曲线	有限生成阿贝尔群	Mordell-Weil定理
\(g \geqslant 2\)	高亏格曲线	有限	Faltings定理

3.4 Jacobian簇

定义 3.2（Jacobian簇） ：设 \(C\) 是亏格 \(g\) 的光滑射影曲线。\(C\) 的 Jacobian簇 \(J(C)\) 是一个 \(g\) 维阿贝尔簇，参数化 \(C\) 上度为0的除子类。

Jacobian簇是有理点研究的核心工具：

• 对椭圆曲线，\(J(E) = E\)（自身）
• 对高亏格曲线，\(J(C)\) 是一个高维阿贝尔簇

Mordell-Weil定理的推广：对任意阿贝尔簇 \(A\)，\(A(K)\) 是有限生成阿贝尔群。Faltings定理的证明正是通过将曲线嵌入其Jacobian簇，然后研究阿贝尔簇的有理点来实现的。

第四章 高度理论

高度（Height）是算术几何中衡量有理点“算术复杂度”的基本工具。

4.1 射影空间中的高度

定义 4.1（对数高度） ：设 \(P = [x_0: x_1: \cdots: x_n] \in \mathbb{P}^n(\mathbb{Q})\)，其中 \(x_i\) 是互素的整数。定义 \(P\) 的（对数）高度为

\[h(P) = \log \max_i |x_i| \]

定义 4.2（绝对高度） ：对 \(P \in \mathbb{P}^n(\overline{\mathbb{Q}})\)，定义

\[h(P) = \frac{1}{[K:\mathbb{Q}]} \sum_{v \in M_K} \log \max_i |x_i|_v \]

其中 \(K\) 是包含 \(P\) 的坐标的数域，\(M_K\) 是 \(K\) 的所有位置（包括阿基米德和非阿基米德位置）的集合。

4.2 高度的基本性质

性质 4.1（Northcott定理） ：对任意 \(B > 0\) 和 \(d \geqslant 1\)，射影空间中高度 \(\leqslant B\) 且次数 \(\leqslant d\) 的代数点只有有限多个。

这是高度理论最基本的有限性结果。

性质 4.2（函子性） ：若 \(\varphi: \mathbb{P}^m \to \mathbb{P}^n\) 是次数为 \(d\) 的态射，则

\[h(\varphi(P)) = d \cdot h(P) + O(1) \]

性质 4.3（Weil高度机器） ：对射影簇 \(X\) 上的每个线丛 \(\mathcal{L}\)，存在一个高度函数 \(h_{\mathcal{L}}\)，在 \(X(\overline{\mathbb{Q}})\) 上定义，满足

\[h_{\mathcal{L} \otimes \mathcal{M}} = h_{\mathcal{L}} + h_{\mathcal{M}} + O(1) \]

4.3 Néron-Tate高度

定义 4.3（Néron-Tate高度） ：设 \(A\) 是阿贝尔簇，\(\mathcal{L}\) 是 \(A\) 上的对称丰沛线丛。定义 Néron-Tate高度（或称典范高度，Canonical Height）为

\[\hat{h}_{\mathcal{L}}(P) = \lim_{n \to \infty} \frac{h_{\mathcal{L}}([n]P)}{n^2} \]

其中 \([n]: A \to A\) 是乘以 \(n\) 的态射。

定理 4.1（Néron-Tate高度的性质） ：

1. \(\hat{h}_{\mathcal{L}}\) 是二次型：\(\hat{h}_{\mathcal{L}}(P+Q) + \hat{h}_{\mathcal{L}}(P-Q) = 2\hat{h}_{\mathcal{L}}(P) + 2\hat{h}_{\mathcal{L}}(Q)\)
2. \(\hat{h}_{\mathcal{L}}(P) \geqslant 0\)，且 \(\hat{h}_{\mathcal{L}}(P) = 0 \iff P\) 是挠点
3. \(\hat{h}_{\mathcal{L}}([n]P) = n^2 \hat{h}_{\mathcal{L}}(P)\)

Néron-Tate高度在Mordell-Weil定理的证明（“无穷递降”法）和Faltings定理的证明中都起着关键作用。

4.4 高度与有理点的分布

高度理论的基本问题之一是：给定一个代数簇 \(X\) 和一个界 \(B\)，计数满足 \(h(P) \leqslant B\) 的有理点 \(P \in X(K)\) 的个数。

猜想 4.1（Batyrev-Manin猜想） ：设 \(X\) 是数域 \(K\) 上的Fano簇（即反丰沛典范丛）。则存在常数 \(a = a(X)\) 和 \(b = b(X)\) 使得

\[N_{X,H}(B) = \#\{ P \in X(K) \mid h_H(P) \leqslant B \} \sim c B^a (\log B)^b \]

这是算术几何中关于有理点分布的核心猜想之一。

第五章 阿贝尔簇与 Mordell-Weil 定理

5.1 阿贝尔簇的定义

定义 5.1（阿贝尔簇） ：一个阿贝尔簇（Abelian Variety）是域 \(K\) 上的一个连通、完备的群概形（Group Scheme）。

等价地，阿贝尔簇是一个射影代数群。

例 5.1：

• 椭圆曲线是一维阿贝尔簇
• 曲线的Jacobian簇是阿贝尔簇
• 两个椭圆曲线的乘积是二维阿贝尔簇

5.2 阿贝尔簇的基本性质

性质 5.1：阿贝尔簇的群运算（加法）是交换的。

性质 5.2：阿贝尔簇上的乘以 \(n\) 的态射 \([n]: A \to A\) 是有限且平展的（若 \(n\) 不被基域特征整除）。

性质 5.3（Tate模） ：设 \(\ell\) 是不等于基域特征的素数。定义 \(A\) 的 \(\ell\)-进Tate模为

\[T_{\ell}(A) = \varprojlim_n A[\ell^n] \]

其中 \(A[\ell^n]\) 是 \(\ell^n\)-挠点子群。\(T_{\ell}(A)\) 是秩为 \(2\dim A\) 的自由 \(\mathbb{Z}_{\ell}\)-模，带有Galois群的自然作用。

5.3 Mordell-Weil 定理

定理 5.1（Mordell-Weil定理） ：设 \(A\) 是数域 \(K\) 上的阿贝尔簇。则 \(A(K)\) 是有限生成阿贝尔群。

证明思路：

1. 弱Mordell-Weil定理：\(A(K)/mA(K)\) 是有限的（对某个 \(m \geqslant 2\)）。
2. 高度下降：利用Néron-Tate高度的性质，证明 \(A(K)\) 由有限多个高度有界的点生成。
3. 结合1和2，推出 \(A(K)\) 有限生成。

推论 5.1：椭圆曲线 \(E(K)\) 是有限生成阿贝尔群。

推论 5.2：曲线Jacobian簇 \(J(C)(K)\) 是有限生成阿贝尔群。

5.4 秩与挠

定义 5.2（秩） ：阿贝尔簇 \(A\) 的秩（Rank）\(r\) 定义为

\[r = \operatorname{rank}_{\mathbb{Z}} A(K) = \dim_{\mathbb{Q}} (A(K) \otimes_{\mathbb{Z}} \mathbb{Q}) \]

定义 5.3（挠子群） ：\(A(K)_{\text{tor}} = \{ P \in A(K) \mid \exists n > 0, [n]P = 0 \}\) 是 \(A(K)\) 的挠子群（Torsion Subgroup）。

定理 5.2：\(A(K)_{\text{tor}}\) 是有限群。

5.5 Birch-Swinnerton-Dyer 猜想

猜想 5.1（BSD猜想） ：设 \(E\) 是数域 \(K\) 上的椭圆曲线，\(L(E, s)\) 是其Hasse-Weil L函数。则

\[\operatorname{ord}_{s=1} L(E, s) = \operatorname{rank}_{\mathbb{Z}} E(K) \]

这是克雷数学研究所的千禧年大奖难题之一，是算术几何中最重要且最困难的开放问题。

第六章 Faltings 定理：Mordell 猜想的证明

6.1 Mordell 猜想的陈述

定理 6.1（Faltings定理，1983） ：设 \(C\) 是数域 \(K\) 上亏格 \(g \geqslant 2\) 的光滑射影曲线。则 \(C(K)\) 是有限集。

这个定理最初由Mordell于1922年作为猜想提出，1983年由Faltings证明。这是算术几何划时代的突破。

6.2 Faltings 证明的核心思想

Faltings的证明开创了全新的算术代数几何工具，其核心思想可以概括为以下几个步骤：

步骤1：嵌入Jacobian簇

将曲线 \(C\) 嵌入其Jacobian簇 \(J = J(C)\)：

\[C \hookrightarrow J \]

于是 \(C(K) \subset J(K)\)。

步骤2：有限性定理（Faltings finiteness theorem）

Faltings证明了一个更一般的定理：对固定的数域 \(K\)、固定的维数 \(g\) 和固定的极化次数，同构类的 \(K\) 上阿贝尔簇只有有限多个。

步骤3：Tate模的同源判定

Faltings证明了：两个阿贝尔簇 \(A\) 和 \(B\) 在 \(K\) 上同源（Isogenous），当且仅当它们的 \(\ell\)-进Tate模作为Galois表示是同构的。

步骤4：应用于Jacobian簇

考虑曲线 \(C\) 的Jacobian簇 \(J(C)\)。若能证明 \(J(C)\) 在“某种意义下”只取有限多个值，则 \(C(K)\) 有限。

步骤5：高度论证

利用Néron-Tate高度和Faltings高度，证明所有可能的 \(J(C)\) 的高度有上界，从而只有有限多个。

6.3 Faltings 定理的深远影响

Faltings定理的影响远远超出了定理本身：

1. 方法论革命：开创了将算术代数几何与表示论（Galois表示）相结合的研究范式。
2. 推动了高度理论的发展：Faltings高度成为算术几何的核心工具。
3. 为后续工作奠定基础：包括Vojta对Faltings定理的新证明、Faltings对Arakelov几何的贡献等。
4. 获得了2026年阿贝尔奖：Faltings因其在算术几何领域的奠基性贡献获得2026年阿贝尔奖。

6.4 Vojta 的新证明

1991年，Vojta给出了Faltings定理的一个新证明，使用了丢番图逼近的方法而非模空间方法。

Vojta的证明与Bombieri的工作一起，展示了算术几何与丢番图逼近之间的深刻联系。

第七章 Arakelov 几何

7.1 Arakelov 几何的动机

经典的代数几何中，相交理论在完备概形上运行良好。但算术概形 \(\mathcal{X} \to \operatorname{Spec}(\mathbb{Z})\) 不是完备的——它在“无穷远处”缺少了阿基米德信息。

Arakelov几何（Arakelov Geometry）由S. Arakelov于1970年代创立，其核心思想是：在算术概形的有限纤维上使用代数相交理论，在无穷纤维（阿基米德纤维）上使用复几何/微分几何的相交理论。

7.2 Arakelov 相交理论

定义 7.1（算术除子） ：设 \(\mathcal{X}\) 是 \(\operatorname{Spec}(\mathcal{O}_K)\) 上的算术曲面。一个 Arakelov除子是形式线性组合

\[D = \sum_{\text{有限}} n_Y Y + \sum_{\sigma: K \hookrightarrow \mathbb{C}} \lambda_{\sigma} \cdot \text{（无穷纤维）} \]

其中第一项是通常的Weil除子，第二项是在每个复嵌入处的实系数。

定义 7.2（Arakelov相交数） ：两个Arakelov除子 \(D\) 和 \(E\) 的相交数 \(\langle D, E \rangle\) 定义为

\[\langle D, E \rangle = (D, E)_{\text{有限}} + (D, E)_{\text{无穷}} \]

其中第一项是代数相交数，第二项是Green函数在无穷远处的贡献。

7.3 Arakelov 不等式

定理 7.1（Arakelov不等式） ：设 \(f: S \to B\) 是半稳定算术曲面纤维化，\(\chi_f\) 是其Euler示性数。则

\[\chi_f \leqslant \frac{g}{2} \cdot \#\{\text{奇异纤维}\} + O(1) \]

其中 \(g\) 是纤维的亏格。

这个不等式在高度估计中起着核心作用。其等号成立当且仅当底曲线是一条Shimura曲线或参数轨迹为Teichmüller曲线。

7.4 Arakelov 几何的应用

Arakelov几何在以下方面有重要应用：

1. Faltings定理的证明：Faltings高度本质上是Arakelov相交理论中的概念。
2. 算术Riemann-Roch定理：Faltings证明了算术曲面上的Riemann-Roch定理。
3. Bogomolov猜想的证明：Ullmo和Zhang利用Arakelov几何证明了Bogomolov猜想。
4. 算术体积理论：将代数几何中的体积概念推广到算术情形。

第八章 算术曲面

8.1 算术曲面的定义

定义 8.1（算术曲面） ：设 \(K\) 是数域，\(\mathcal{O}_K\) 是其整数环。一个 算术曲面（Arithmetic Surface）是 \(\operatorname{Spec}(\mathcal{O}_K)\) 上的相对维数1的光滑射影概形。

等价地，算术曲面是数域 \(K\) 上代数曲线的一个整模型。

8.2 算术曲面的基本理论

算术曲面的理论将代数曲面（代数几何）与代数数域（数论）结合起来。

核心对象：纤维化 \(f: \mathcal{X} \to \operatorname{Spec}(\mathcal{O}_K)\)，其中：

• 一般纤维 \(X_K\) 是 \(K\) 上的代数曲线
• 闭纤维 \(X_{\mathfrak{p}}\) 是有限域 \(\mathbb{F}_{\mathfrak{p}}\) 上的代数曲线（\(\mathfrak{p}\) 是 \(\mathcal{O}_K\) 的素理想）

8.3 极小正则模型

定义 8.2（极小正则模型） ：设 \(X\) 是 \(K\) 上的光滑射影曲线。\(X\) 的极小正则模型（Minimal Regular Model）是 \(\mathcal{O}_K\) 上的一个正则算术曲面 \(\mathcal{X}\)，使得 \(\mathcal{X} \times_{\mathcal{O}_K} K \cong X\)，且 \(\mathcal{X}\) 在某种意义下是“极小”的。

定理 8.1：每条亏格 \(g \geqslant 1\) 的光滑射影曲线都存在唯一的极小正则模型。

8.4 半稳定约化

定义 8.3（半稳定约化） ：算术曲面 \(\mathcal{X} \to \operatorname{Spec}(\mathcal{O}_K)\) 称为半稳定的（Semistable），如果其每个闭纤维都是仅具有正规交叉奇点的曲线。

定理 8.2（半稳定约化定理） ：设 \(X\) 是 \(K\) 上的光滑射影曲线。则存在 \(K\) 的有限扩张 \(L/K\)，使得 \(X_L\) 在 \(\mathcal{O}_L\) 上具有半稳定约化。

这是算术几何中最基本的约化理论结果。

8.5 算术曲面上的相交理论

算术曲面上的相交理论是Arakelov几何的核心内容。

定理 8.3（附益公式，Adjunction Formula） ：在算术曲面上，

\[2g - 2 = K_{\mathcal{X}} \cdot \mathcal{X} + \sum_{\mathfrak{p}} \delta_{\mathfrak{p}} \]

其中 \(K_{\mathcal{X}}\) 是典范除子，\(\delta_{\mathfrak{p}}\) 是闭纤维的分歧贡献。

第九章 志村簇

9.1 志村簇的定义

定义 9.1（志村簇） ：志村簇（Shimura Variety）是埃尔米特对称空间（Hermitian Symmetric Domain）对某个代数群的同余子群的商空间。

粗略地说，志村簇是模曲线（Modular Curves）在高维的推广。

更精确的定义（Deligne）：设 \(G\) 是 \(\mathbb{Q}\) 上的约化群（Reductive Group），\(X\) 是 \(G(\mathbb{R})\) 的一个共轭类的埃尔米特对称域。对每个足够小的紧开子群 \(K \subset G(\mathbb{A}_f)\)，复解析空间

\[G(\mathbb{Q}) \backslash X \times G(\mathbb{A}_f)/K \]

典范地定义在一个数域上，得到一个代数簇——这就是志村簇。

9.2 志村簇的基本性质

性质 9.1：志村簇是模空间（Moduli Space），分类具有特定复乘结构（Complex Multiplication）的阿贝尔簇族。

性质 9.2：志村簇带有自然的阿基米德纤维（复结构）和非阿基米德纤维（模 \(p\) 约化），因此是算术几何的核心研究对象。

性质 9.3：志村簇的上同调承载着自守表示（Automorphic Representations）。

9.3 志村簇的例子

例 9.1（模曲线） ：取 \(G = \mathrm{GL}_2\)，\(X = \mathbb{H}\)（上半平面）。志村簇 \(Y(N)\) 是模曲线，分类带有级结构的椭圆曲线。

例 9.2（Hilbert-Blumenthal簇） ：取 \(G = \mathrm{Res}_{F/\mathbb{Q}} \mathrm{GL}_2\)，其中 \(F\) 是全实域。志村簇分类具有实乘（Real Multiplication）的阿贝尔簇。

例 9.3（Siegel模簇） ：取 \(G = \mathrm{GSp}_{2g}\)。志村簇分类 \(g\) 维主极化阿贝尔簇。

9.4 志村簇在朗兰兹纲领中的作用

志村簇是朗兰兹纲领（Langlands Program）的核心研究对象：

1. 伽罗瓦表示的几何实现：志村簇的上同调给出了伽罗瓦表示的几何构造。
2. 自守形式与伽罗瓦表示的桥梁：志村簇上的Hecke对应给出了自守形式与伽罗瓦表示之间的对应。
3. 谷山-志村-韦伊猜想：志村簇是连接椭圆曲线与模形式的桥梁。

9.5 志村簇的算术几何

志村簇的算术几何研究其整模型和模 \(p\) 约化。

核心问题：

• 志村簇在 \(\operatorname{Spec}(\mathbb{Z})\) 上是否有好的整模型？
• 志村簇的模 \(p\) 约化具有什么样的几何结构（EKOR分层等）？
• 志村簇上的Newton分层和Ekedahl-Oort分层。

第十章 p-进霍奇理论

10.1 p-进霍奇理论的动机

经典霍奇理论（Hodge Theory）研究复代数簇的上同调，将其分解为 \((p,q)\)-分量。但在p-进数域 \(\mathbb{Q}_p\) 上，没有直接的拓扑方法。

p-进霍奇理论（p-adic Hodge Theory）的目标是：在p-进情形下建立类似霍奇理论的框架，将p-进上同调分解为具有不同“权重”的分量。

10.2 基本对象

定义 10.1（p-进周期环） ：p-进霍奇理论的核心是构造p-进周期环（p-adic Period Rings），包括：

• \(\mathbf{B}_{\text{dR}}\)（de Rham周期环）
• \(\mathbf{B}_{\text{cris}}\)（晶体周期环）
• \(\mathbf{B}_{\text{st}}\)（半稳定周期环）
• \(\mathbf{B}_{\text{HT}}\)（Hodge-Tate周期环）

这些环是 \(\mathbb{Q}_p\) 的某个完备代数闭包 \(\mathbb{C}_p\) 的子环，带有Galois群 \(\operatorname{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)\) 的作用。

10.3 p-进表示的分类

定理 10.1（p-进表示的分类） ：设 \(V\) 是 \(\operatorname{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)\) 的 \(\mathbb{Q}_p\)-表示。则：

1. \(V\) 是 Hodge-Tate表示 \(\iff\) \(\dim_{\mathbb{Q}_p} V = \sum_{i} \dim_{\mathbb{Q}_p} (V \otimes_{\mathbb{Q}_p} \mathbf{B}_{\text{HT}})^{(i)}\)
2. \(V\) 是 de Rham表示 \(\iff\) \(\dim_{\mathbb{Q}_p} (V \otimes_{\mathbb{Q}_p} \mathbf{B}_{\text{dR}})^{\operatorname{Gal}} = \dim_{\mathbb{Q}_p} V\)
3. \(V\) 是 晶体表示 \(\iff\) 它有 \(\mathbf{B}_{\text{cris}}\)-结构

这些分类由Fontaine、Tate、Faltings等数学家建立。

10.4 p-进霍奇理论的应用

p-进霍奇理论在以下重大问题的解决中起到了关键性的作用：

1. 费马大定理的证明（Wiles）：p-进方法在证明模性定理中至关重要。
2. Faltings定理的证明：p-进霍奇理论提供了研究阿贝尔簇Tate模的工具。
3. p-进朗兰兹纲领：将朗兰兹纲领推广到p-进情形。

10.5 相对p-进霍奇理论

定义 10.2（相对p-进霍奇理论） ：相对p-进霍奇理论（Relative p-adic Hodge Theory）由刘若川等数学家发展，研究基变换下的p-进周期环和p-进表示。

刘若川在几何相对p-进霍奇理论方面取得了基础性贡献，建立了一套完整的理论框架。

第十一章 朗兰兹纲领

11.1 朗兰兹纲领的概述

朗兰兹纲领（Langlands Program）由罗伯特·朗兰兹（Robert Langlands）于1967年提出，是当代数学中最宏大、最深刻的统一理论之一。

朗兰兹纲领试图建立三个看似无关的数学领域之间的深刻联系：

领域	对象	不变量
数论	伽罗瓦表示	Artin L函数
调和分析	自守表示	自守L函数
代数几何	代数簇的上同调	Hasse-Weil L函数

朗兰兹纲领的核心猜想是：这些L函数是匹配的——它们具有相同的Euler因子。

11.2 朗兰兹互反性

朗兰兹互反性（Langlands Reciprocity）是朗兰兹纲领的核心：

数域 \(K\) 的 Galois群 \(\operatorname{Gal}(\overline{K}/K)\) 的 \(n\) 维表示与 \(\mathrm{GL}_n(\mathbb{A}_K)\) 上的自守表示之间存在一一对应。

当 \(n=1\) 时，这就是经典的Artin互反律（类域论）。

11.3 几何朗兰兹纲领

几何朗兰兹纲领（Geometric Langlands Program）是将朗兰兹纲领的框架“几何化”：

将数域 \(K\) 替换为代数曲线 \(X\)，将Galois表示替换为 \(X\) 的基本群的表示，将自守表示替换为丛的模空间上的D-模或层。

几何朗兰兹纲领与S-duality（物理中的对偶性）有深刻的联系。

11.4 谷山-志村-韦伊猜想

谷山-志村-韦伊猜想（Taniyama-Shimura-Weil Conjecture）是朗兰兹纲领的第一个重大范例：

每个 \(\mathbb{Q}\) 上的椭圆曲线都是模的（Modular）——即它来自一个模形式。

这个猜想由Wiles、Taylor等人在1994年证明（对半稳定椭圆曲线），从而证明了费马大定理。

谷山-志村-韦伊猜想建立了：

• 椭圆曲线（算术对象） \(\longleftrightarrow\) 模形式（自守对象）

这正是朗兰兹纲领在 \(\mathrm{GL}_2\) 情形下的体现。

11.5 朗兰兹纲领与算术几何

朗兰兹纲领与算术几何的交叉体现在多个层面：

1. 志村簇：提供自守形式与伽罗瓦表示的几何实现
2. p-进朗兰兹纲领：将朗兰兹纲领推广到p-进情形
3. 相对朗兰兹纲领：研究齐次空间上的积分与L函数关系

第十二章 算术代数几何中的主要定理汇总

12.1 曲线有理点定理

定理	内容
参数化定理	亏格0曲线若有理点，则有无穷多个有理点
Mordell-Weil定理	椭圆曲线 \(E(K)\) 是有限生成阿贝尔群
Faltings定理	亏格 \(g \geqslant 2\) 曲线 \(C(K)\) 是有限集

12.2 高度理论定理

定理	内容
Northcott定理	固定高度界和次数，代数点只有有限多个
Néron-Tate高度性质	典范高度是二次型，零点恰为挠点
Weil高度机器	线丛给出高度函数，满足函子性

12.3 阿贝尔簇定理

定理	内容
Mordell-Weil定理	\(A(K)\) 有限生成
Faltings同源定理	Tate模同构 \(\iff\) 同源
Tate猜想（部分已知）	\(\operatorname{End}(A) \otimes \mathbb{Q}_{\ell} \cong \operatorname{End}_{G_K}(T_{\ell}(A))\)

12.4 算术几何基本定理

定理	内容
Weil猜想（Deligne证明）	有限域上簇的zeta函数有理、满足函数方程
半稳定约化定理	曲线在有限扩张后具有半稳定约化
Arakelov不等式	算术曲面纤维化的Euler示性数上界
算术Riemann-Roch（Faltings）	算术曲面上的Riemann-Roch定理

第十三章 开放问题与前沿方向

13.1 Birch-Swinnerton-Dyer 猜想

猜想 13.1（BSD猜想） ：设 \(E\) 是数域 \(K\) 上的椭圆曲线。则

\[\operatorname{ord}_{s=1} L(E, s) = \operatorname{rank}_{\mathbb{Z}} E(K) \]

这是算术几何中最重要、最困难的开放问题之一，也是克雷数学研究所的千禧年大奖难题。

13.2 Hodge 猜想（算术版本）

猜想 13.2（Hodge猜想） ：在光滑射影复代数簇上，每个 \((p,p)\)-型的上同调类都是由代数闭链生成的。

这是另一个千禧年大奖难题，其算术版本与Motivic理论密切相关。

13.3 Tate 猜想

猜想 13.3（Tate猜想） ：设 \(X\) 是有限域 \(\mathbb{F}_q\) 上的光滑射影簇。则 \(\ell\)-进上同调中由余维数 \(i\) 的代数闭链张成的子空间恰好是Galois群作用下权重 \(2i\) 的部分。

Tate猜想是Weil猜想的自然推广，在 \(i=1\) 的情形（阿贝尔簇）已被Faltings证明。

13.4 朗兰兹纲领的完整证明

朗兰兹纲领的完整证明（即朗兰兹互反性对所有约化群成立）仍然是数学中最大的未解决问题之一。

已取得的重要进展包括：

• \(\mathrm{GL}_2\) 情形（Wiles、Taylor等，证明了谷山-志村-韦伊猜想）
• \(\mathrm{GL}_n\) 情形（Lafforgue，证明了函数域上的朗兰兹互反性）
• 几何朗兰兹纲领（Gaitsgory等，取得了重大突破）

13.5 算术动力系统

算术动力系统（Arithmetic Dynamics）是算术几何的新兴前沿方向，研究代数动力系统的有理点分布。

核心问题：给定一个定义在数域上的有理映射 \(f: \mathbb{P}^N \to \mathbb{P}^N\)，研究其预周期点（Preperiodic Points）的分布。

13.6 算术几何中的未解决问题汇编

Frans Oort编辑的《算术代数几何中的未解决问题》（Open Problems in Arithmetic Algebraic Geometry）收录了1995年“Abel簇的算术与几何”学术会议上提出的19个问题，涵盖：

1. 阿贝尔簇的CM提升问题
2. 志村簇的模 \(p\) 约化问题
3. Tate-Shafarevich群的有限性
4. Birch-Swinnerton-Dyer猜想的各种推广

这些问题的解决将推动算术几何进入新的发展阶段。

附录：重要公式与概念索引

A.1 核心定义

概念	定义/公式
概形	局部同构于仿射概形 \(\operatorname{Spec}(A)\) 的赋环空间
算术概形	\(\operatorname{Spec}(\mathbb{Z})\) 上的有限型概形
算术簇	\(\mathcal{O}_K\) 上的光滑射影概形
亏格	\(g = \dim H^1(C, \mathcal{O}_C)\)
阿贝尔簇	连通完备的群概形
Jacobian簇	参数化度为0的除子类的阿贝尔簇
志村簇	埃尔米特对称空间对同余子群的商

A.2 核心定理

定理	公式/表述
Mordell-Weil定理	\(A(K) \cong \mathbb{Z}^r \oplus A(K)_{\text{tor}}\)
Faltings定理	\(g(C) \geqslant 2 \implies |C(K)| < \infty\)
Weil猜想	\(\zeta_X(s)\) 有理，满足函数方程
Arakelov不等式	\(\chi_f \leqslant \frac{g}{2}\#\{\text{奇异纤维}\} + O(1)\)

A.3 高度函数

高度	定义
对数高度	\(h(P) = \log \max |x_i|\)
绝对高度	\(h(P) = \frac{1}{[K:\mathbb{Q}]}\sum_v \log \max |x_i|_v\)
Néron-Tate高度	\(\hat{h}_{\mathcal{L}}(P) = \lim_{n \to \infty} h_{\mathcal{L}}([n]P)/n^2\)

A.4 基本记号

记号	含义
\(\operatorname{Spec}(A)\)	环 \(A\) 的素谱
\(X_K\)	\(X\) 在域 \(K\) 上的纤维
\(X(\mathbb{F}_q)\)	有限域 \(\mathbb{F}_q\) 上的有理点
\(J(C)\)	曲线 \(C\) 的Jacobian簇
\(T_{\ell}(A)\)	阿贝尔簇 \(A\) 的 \(\ell\)-进Tate模
\(\hat{h}\)	Néron-Tate典范高度

参考文献

1. 刘青. 代数几何和算术曲线 [M]. 世界图书出版公司, 2012.
2. Faltings, G. Endlichkeitssätze für abelsche Varietäten über Zahlkörpern [J]. Inventiones Mathematicae, 1983.
3. Faltings, G. Calculus on arithmetic surfaces [J]. Annals of Mathematics, 1984.
4. Arakelov, S. J. Intersection theory of divisors on an arithmetic surface [J]. Mathematics of the USSR-Izvestiya, 1974.
5. Deligne, P. La conjecture de Weil [J]. Publications Mathématiques de l'IHÉS, 1974.
6. Wiles, A. Modular elliptic curves and Fermat's Last Theorem [J]. Annals of Mathematics, 1995.
7. Langlands, R. P. Letter to André Weil [J]. 1967.
8. 冯克勤, 刘凤梅, 廖群英. 算术代数几何 [M].
9. Oort, F. (ed.). Open Problems in Arithmetic Algebraic Geometry [M]. 高等教育出版社, 2018.
10. 黎景辉, 赵春来. 模曲线导引 [M]. 北京大学出版社, 2002.
11. Silverman, J. H. The Arithmetic of Elliptic Curves [M]. Springer, 1986.
12. Cornell, G. & Silverman, J. H. Arithmetic Geometry [M]. Springer, 1986.