整数上的算术曲面能否构造出 Golod-Shafarevich 塔？

一个截面在每一层都完全分裂的塔

论文的核心对象不是单个曲面，而是一个无限塔。定理 1.1 给出一个 Spec Z 上的正则射影算术曲面 S、一个截面 s: Spec Z 到 S，以及一列覆盖 S_{n+1} 到 S_n 直到 S_0 = S。每个 S_n 到 S 是次数为 2^n 的连通有限 étale Galois 覆盖，每个过渡映射 S_{n+1} 到 S_n 的次数为二。每个 S_n 仍是正则射影算术曲面，其一般纤维光滑且几何连通。

截面的行为是决定性特征。S_n 与 Spec Z 沿 s 的纤维积是 2^n 个 Spec Z 的不交并，因此 s 在每一层都完全分裂。由于 S 的一般纤维几何连通，一般纤维的 étale 基本群在 S 的 étale 基本群中的像是无限的；论文指出这个像等于 S 的整个 étale 基本群。

这正是 Bost 与 Charles 在 2022 年证明算术曲面基本群的有限性结果之后所问的情形。他们允许非 proper 曲面；这里的例子是射影的。与早先有限性结果的对比十分鲜明：对 Calegari、Dimitrov 与 Tang 研究的 X(N) 的连通 Néron 模型，一般纤维基本群在整模型基本群中的像是平凡的，而这里它是无限的。

承载算术内容的是截面而非曲面

读者容易混淆两个不同的陈述：一个曲面有无限 étale 基本群，以及一个有理点在塔的每一层都完全分裂。论文两者都需要，而它们在逻辑上是不同的。截面 s 正是迫使这个塔在 Spec Z 上保持算术上非平凡、而不是在基变换到 Q 之后崩塌的原因。

相关的群定义为一般纤维 S_Q 的 étale 基本群在 S 的 étale 基本群中的像。对这里构造的曲面，这个像是无限的。论文指出，对 X(N) 的连通 Néron 模型，相应的像是平凡的，因此两种构造处在同一个有限性问题相反的两端。

在一般纤维上，论文处理的是带有一个有理点 P 的曲线 C 的 Q-有理几何基本群。这个群是 C 的 étale 基本群对由 P 诱导的截面的像所生成的闭正规子群的商。它分类那些 P 完全分裂的 étale 覆盖，而这正是这个塔被构造出来所要保持的性质。

可实现的中心扩张让塔持续下去

构造从 Q 上亏格为 g 的超椭圆曲线 C_{-1} 出发，带有一个显式的 étale 覆盖 C_0 到 C_{-1}，其 Galois 群是 (F_2)^g。C_{-1} 的一个关键性质是它在不超过 O(g / log g) 个素数处有坏约化。作者构造算术模型 S_0 与 S_{-1}，以及一个有限映射 q: S_0 到 S_{-1}，其一般纤维是 C_0 到 C_{-1}；S_0 是正则的，并带有一个截面 s_0。

每一步进一步构造都由群上同调控制。给定 S_n 与 G_n = Gal(S_n / S_{-1})，H^2(G_n, F_2) 中的一个类 theta 对应 G_n 被 F_2 的一个中心扩张。若存在一个连通有限 étale 二重覆盖 S_{n+1} 到 S_n，其到 S_{-1} 的复合是 Galois 的且群为该扩张群，则称该类是可实现的。可实现类连同零类构成 H^2(G_n, F_2) 的一个子空间 E_n。

技术核心是对这个子空间余维数的界。论文证明 H^2(G_n, F_2) / E_n 在 F_2 上的维数至多为 5000 g^2 / log g，且对 n 一致。这个界只依赖于 g，即 C_{-1} 的亏格，而不依赖于塔的层数。

Golod-Shafarevich 理论随后给出比较的另一侧：dim_{F_2} H^2(G_n, F_2) 超过 g^2 / 4。对足够大的 g，5000 g^2 / log g 小于 g^2 / 4，因此每一层都存在非零的可实现类。这正是让塔可以无限延续、而不是在某个有限层终止的原因。

一般纤维给出有理几何基本群无限的曲线

取一般纤维把曲面塔转化为 Q 上的曲线塔。定理 1.2 指出，对每个足够大的整数 g，存在 Q 上亏格为 g 的光滑射影几何连通曲线 C、一个点 P 属于 C(Q)，以及一列光滑射影几何连通曲线 D_{n+1} 到 D_n 直到 D_0 = C，其中 D_n 到 C 是次数为 2^n 的有限 étale Galois 覆盖，且 P 在每个 D_n 中完全分裂。

定量后果是明确的。亏格满足 g(D_n) - 1 = 2^n (g - 1)，有理点数目满足 #D_n(Q) 至少为 2^n。对 (C, P) 的 Q-有理几何基本群是无限的。这回答了 Ihara 以及 Frey、Kani 与 Völklein 提出的问题，也回答了 Diem-Frey 问题，即在特征零中是否存在次数无界的几何连通有限 étale Galois 覆盖，且一个点完全分裂。

起始数据是具体的。对 m 至少为 32768 且 b = 2^m - 1，论文使用亏格为 b 的光滑射影曲线 C_{-1}，其仿射方程为 y^2 等于 a 从 0 到 2b+1 的 (x - a) 之积，以及无穷远处满足 y / x^{b+1} = 1 的点 P_+。选择 b + 1 = 2^m 正是为了让初始 étale 覆盖 C_0 到 C_{-1} 能延拓为算术模型 S_0 到 S_{-1} 的有限映射，且 S_0 正则，包括在素数 2 处。

对数导子随亏格至多线性增长

Venkatesh 在 2022 年 PCMI 上问，Q 上曲线的对数导子相对于其亏格能有多小。对 Q 上光滑射影几何连通曲线 C，论文用 N(C) 表示其 Jacobian 的导子。诸如模曲线 X_0(p) 的标准例子给出 g log g 阶的对数导子：记 g_p = g(X_0(p))，有 g_p 渐近于 p/12，且 N(X_0(p)) = p^{g_p}。

定理 1.3 肯定地回答了这个问题。存在常数 A > 0 以及一列 Q 上光滑射影几何连通曲线 C_n，使得 g(C_n) 趋于无穷，且对所有 n 至少为 0 有 log N(C_n) 至多 A g(C_n)。这些曲线可以排成一个塔，带有次数为 2^n 的有限 étale Galois 映射 C_n 到 C_0，其中 C_0(Q) 的一个点在每一层都完全分裂。

线性界背后的机制是局部的。在每个坏素数 p 处存在 Q_p 的有限扩张 E_p，与 n 无关，使得每个 C_n 在其上都有半稳定约化。对每个这样的 p，论文得到只依赖于 E_p / Q_p 的常数 B_p，使得 N(C_n) 中 p 的指数 a_p(C_n) 对每个 n 满足 a_p(C_n) 至多 B_p g(C_n)。对有限多个坏素数求和 a_p(C_n) log p 即得 log N(C_n) = O(g(C_n))。

论文还记录了预期最优性的背景：假设 C 的 Jacobian 的完备 L-函数是阶为一的整函数并满足其预期的函数方程，Mestre 证明 log N(C) > log(10) 乘以 g(C)。因此这里达到的线性阶正是预期的最优阶，而不仅仅是对 g log g 例子的改进。

一个独立证明以更短路径到达相关曲面

论文报告 Pablo Chenal 独立且同时地证明了存在 Spec Z 上的 proper 正则算术曲面，带有一个截面，其 étale 基本群有无限的 pro-2 商。他的起始曲线与这里使用的 C_{-1} 密切相关：两者都是超椭圆的，带有有理 Weierstrass 点，并在 O(g / log g) 个素数处有坏约化，其中 g 表示亏格。各自 Weierstrass 方程的主要差别是在他分析 2 处模型时使用的一个因子 8。

两种论证在如何获得塔的基上不同。Chenal 的覆盖扮演 C_0 的角色，它不是显式确定的，而是由存在性论证得到，这让他避开了这里所做的大量整模型与逐次中心扩张的细致分析。他的证明被描述为显著更短、更优雅，直接处理其起始曲线的 pro-2 几何基本群以及由有理点诱导的 Galois 作用，并结合 2 处的特殊化与 Golod-Shafarevich 定理的 Vinberg 改进。

作者表示 Chenal 与他们正在努力统一两种方法，并计划将两篇论文合并为一篇联合工作。对比较两者的读者，权衡是明确的：本文为其显式整模型与余维数界付出了篇幅与技术细节的代价，而独立论证为其简洁付出了基覆盖非显式的代价。

这一构造确立了什么、没有确立什么

这些结果是关于特定塔的存在性陈述。它们并不声称 Spec Z 上每个算术曲面都有无限几何 étale 基本群，也不声称 Bost 与 Charles 或 Calegari、Dimitrov 与 Tang 的有限性结果是错的；那些结果涉及不同的模型，例如椭圆曲线的模型、某些整模概型，以及 X(N) 的连通 Néron 模型，在那里一般纤维基本群的像是平凡的。

线性导子界在塔的指标上是渐近的，并依赖于论文未加优化的常数 A。界 log N(C_n) 至多 A g(C_n) 是通过对有限多个坏素数的局部贡献求和证明的，每个局部常数 B_p 只依赖于达到半稳定约化的扩张 E_p / Q_p。扩张 E_p 是使用 C_0 选定的，且与 n 无关，这正是常数 A 与塔的层数无关的原因。

起始亏格很大：构造取 m 至少为 32768 且 b = 2^m - 1，定理 1.2 对每个足够大的亏格 g 成立，证明中给出 g_0 = 3(2^{32768} - 1) 作为例子。因此这些定理是大亏格处的存在性结果，而不是小亏格处的构造，显式的数值阈值是陈述的一部分，而非偶然选择。

值得关注的重点是截面完全分裂，而非曲面本身

在所回答的三个问题中，最改变读者评估相关工作方式的是 Bost-Charles 问题，因为正是在这里论文的答案是一个射影例子，具有无限几何 étale 基本群，且一个截面在每一层都完全分裂。仅凭无限基本群并不能把这个构造与一个一般纤维基本群在整模型中消亡的曲面区分开来；截面正是排除后者的东西。

因此应当握在手中的比较，是同一个有限性问题两种构型之间的比较。在 X(N) 的连通 Néron 模型中，一般纤维基本群在整基本群中的像是平凡的。在这里构造的曲面中，这个像是无限的，且塔 S_n 到 S 在第 n 层的次数为 2^n，截面分裂为 2^n 个 Spec Z。读者在评估任何未来的例子时，应先检查它表现出这两种行为中的哪一种，再把它当作同一问题上的进展。

导子结果应当按其自身的方式来读，而不是并入基本群陈述。它是关于一般纤维序列 C_n 的陈述，满足 log N(C_n) 至多 A g(C_n) 且 g(C_n) 趋于无穷，与模曲线 X_0(p) 的 g log g 阶形成对比。两个结果共享一个构造，但回答不同的问题，而随亏格线性增长的界才是直接回应 Venkatesh 2022 年问题的那个。

本文引用的文献