The metabelian Grothendieck conjecture for genus zero curves over finitely generated fields

技术摘要：有限生成域上亏格为零曲线的亚纯元 Grothendieck 猜想

问题陈述
本文研究了关于 Grothendieck 猜想在拟解析几何（anabelian geometry）背景下的问题，特别侧重于从其基本群中重建双曲曲线的同构类。虽然对于在特征 0（有理数 $\mathbb{Q}$ 上有限生成）和正特征（有限域）上的双曲曲线，Nakamura、Tamagawa 和 Mochizuki 以及 Stix 已经建立了完整的猜想，但本研究调查了一个截断版本。

核心问题在于，几何极大纯粹（tame）基本群的**亚纯元商（metabelian quotient）**是否足以重建曲线。对于定义在域 $k$ 上的类型为 $(g, r)$ 的光滑双曲曲线 $X$，令 $\Pi_X$ 为纯粹基本群，$\Delta_X$ 为几何纯粹基本群。本文考虑几何群的极大亚纯元商，记作 $\Delta_X^{meta} = \Delta_X / \Delta_X''$，以及全群的相应商 $\Pi_X^{meta} = \Pi_X / \Delta_X''$。

该猜想认为，对于两个这样的曲线 $X_1$ 和 $X_2$，其在绝对伽罗瓦群 $G_k$ 之上的亚纯元基本群的同构，意味着这些曲线在 $k$ 上是同构的（在正特征情况下考虑 Frobenius 扭转）。本文专门针对亏格为零（$g=0$）且具有足够多穿孔（$r \geq 5$）的情况。

方法论
证明策略依赖于一种“群论重建”方法，即仅通过亚纯元基本群的结构来恢复几何不变量。该方法论分为几个关键阶段：

1. 不变量的重建： 作者首先确立了基本不变量（如基域是有限的还是无限的、穿孔数 $r$ 以及分圆特征）可以从亚纯元商 $\Pi_X^{meta}$ 中重建。这涉及对极大阿贝尔商 $\Delta_X^{ab}$ 的权重过滤进行分析。
2. 分解群与截面： 恢复分解群（对应于曲线闭点的子群）是其中的一个关键组成部分。本文引入了**几何拟截面（geometric quasi-sections）**的概念（即从 $G_k$ 的开子群到基本群的连续同态）。
3. 分离性性质： 利用 Kummer 理论和上同调论证，作者证明了“分离性”性质。这些结果表明，只要 $r$ 足够大，曲线上的不同闭点将对应于基本群内不同（或互不相容）的分解群。
4. 在有限域上重建曲线： 对于基域 $k$ 为有限域的情况，作者重建了曲线的有理函数域和模式结构。这涉及定义一个由基本群导出的乘法单群 $K(\Pi^{ab})$，并证明它与函数域 $K(X)$ 同构。这一步利用了分解群和 Frobenius 元素的重建。
5. 特化论证： 为了将结果从有限域扩展到由有限域有限生成的域（或 $\mathbb{Q}$），本文采用了特化论证。它利用 Henselian 正则局部环，将泛型纤维（感兴趣的域）的基本群与其特殊纤维（有限域）联系起来。特化态射的核被证明是群论上可重建的。

主要贡献与结果
假设曲线为亏格 0 且至少有 5 个穿孔（$r \geq 5$），本文提供了以下主要定理：

• 定理 A（特征 0）： 令 $k$ 为在 $\mathbb{Q}$ 上有限生成的域。两个亏格为 0 且 $r \geq 5$ 的光滑双曲曲线 $X_1, X_2$ 在 $k$ 上同构，当且仅当它们的亚纯元基本群在 $G_k$ 上同构。
  $$X_1 \cong_k X_2 \iff \Pi_{X_1}^{meta} \cong_{G_k} \Pi_{X_2}^{meta}$$
• 定理 B（有限域）： 令 $k$ 为有限域。这两个此类曲线在 $k$ 上同构，当且仅当它们的亚纯元基本群在 $G_k$ 上同构。（注：在有限域情况下，群的同构意味着曲线作为模式是同构的。）
• 定理 C（正特征，有限生成域）： 令 $k$ 为在有限域上有限生成的域。对于非平凡（non-isotrivial）光滑亏格 0 曲线 $X_1, X_2$ 且 $r \geq 5$，它们的亚纯元基本群在 $G_k$ 上同构，当且仅当存在非负整数 $n_1, n_2$，使得 Frobenius 扭转满足 $X_1(n_1) \cong_k X_2(n_2)$。

意义与局限性
这项工作的意义在于确立了亏格为零曲线的亚纯元情形（$m=2$）的 Grothendieck 猜想。此前由 Mochizuki 和 Nakamura 涵盖的结果涉及更高的可解性阶数（$m \geq 5$）或特定的特殊情况。阿贝尔情形（$m=1$）已知不足以进行重建，因为在极大阿贝尔商上的伽罗瓦作用完全由分圆特征决定，而分圆特征无法区分不同的曲线。亚纯元商是第一个预期具有正向拟解析性质的非阿贝尔可解商，并且在此处得到了证明，前提是 $r \geq 5$。

作者明确指出了关于穿孔数量的局限性。假设 $r \geq 5$ 是为了实现关于几何拟截面是尖点（cuspidal）还是非尖点的群论表征。该方法依赖于对类型为 $(0, r-1)$ 的商曲线进行分析；因此，为了能够进行归纳性的应用，需要 $r-1 \geq 4$。作者承认 $r=3$ 的情况是特殊的，并且可以被证明（命题 6.6），但 $r=4$ 的一般情况仍是一个开放问题，因为目前尚不知道针对 $r=3$ 的必要群论表征。

总而言之，本文成功地将拟解析重建扩展到了具有足够穿孔的亏格零曲线的亚纯元层面，填补了已知的阿贝尔失败与更高阶可解性成功之间的空白。