Unpolarized Shafarevich conjectures for hyper-Kähler varieties

1. 研究背景与问题 (Problem)

沙法列维奇猜想 (Shafarevich Conjecture) 的核心问题是：给定一个数域 $K$ 和有限个位点集合 $S$，定义在 $K$ 上且在 $S$ 之外具有好约化 (good reduction) 的某类簇（varieties）的同构类集合是否有限？

• 已知结果：
  • 对于极化簇（带有 ample 线束），该猜想已在多种情况下被证明（如 Faltings 对曲线和阿贝尔簇的证明，André 对 K3 曲面和特定极化超凯勒流形的证明）。
  • 对于非极化 (unpolarized) 情形，Y. She 最近证明了 K3 曲面的非极化沙法列维奇猜想。
• 本文目标：
  • 将 Y. She 关于 K3 曲面的结果推广到高维的超凯勒流形 (Hyper-Kähler varieties)。
  • 解决非极化情形下的有限性问题，即不预设极化度数的限制。
  • 探讨上同调版本 (Cohomological version) 的猜想，即仅要求第二上同调群作为伽罗瓦模在 $S$ 之外无分歧（unramified），而非几何上的好约化。
  • 研究CM 型 (CM type) 超凯勒流形的几何同构类有限性。

主要难点：

1. 双有理变换： 高维超凯勒流形之间存在非平凡的双有理变换（birational transformations），这些变换保持第二上同调群不变，但可能改变几何结构。因此，直接讨论同构类可能面临无限多双有理等价对象的问题。
2. 自同构群的非忠实作用： 超凯勒流形的自同构群在第二上同调群上的作用不一定忠实（即存在非平凡自同构作用在上同调上为恒等映射）。这导致简单的上同调无分歧条件无法区分不同的扭结（twists），从而可能导致集合无限。
3. 变形类的不确定性： 给定维数的复超凯勒流形的变形类（deformation types）数量未知，因此通常需固定变形类进行讨论。

---

2. 方法论 (Methodology)

本文采用了几何、算术和模空间理论相结合的方法，核心工具包括：

1. 统一 Kuga-Satake 映射 (Uniform Kuga–Satake Map)：

   • 受 Y. She 工作的启发，作者构造了一个与极化度数无关的统一 Kuga-Satake 映射。
   • 该映射将超凯勒流形的模空间映射到正交型 Shimura 簇，进而映射到阿贝尔簇的模空间（Siegel 模空间）。
   • 关键步骤是利用格嵌入技术，将超凯勒流形的第二上同调格嵌入到一个固定的无歧义格（unimodular lattice）中，从而构造出定义在数域上的统一映射。

2. 本质好约化 (Essentially Good Reduction)：

   • 为了处理双有理变换带来的困难，作者引入了“本质好约化”的概念：如果一个超凯勒流形在经过一个在 $v$ 处无分歧的有限扩张后，存在一个双有理模型具有好约化，则称其在 $v$ 处具有本质好约化。
   • 这允许在双有理等价类内部讨论有限性。

3. 算术周期映射 (Arithmetic Period Map)：

   • 利用模空间的算术性质，将超凯勒流形的问题转化为 Shimura 簇上的有理点问题。
   • 利用 Hermite-Minkowski 定理（关于数域扩张的有限性）和 Shimura 簇上 CM 点或特定点的有限性结果。

4. Matsusaka-Mumford 定理的推广：

   • 在附录中，作者将 Matsusaka-Mumford 定理推广到代数空间（algebraic spaces），证明了在特定条件下，双有理映射可以延拓到特殊纤维的某种形式，这对于处理自同构群和扭结至关重要。

---

3. 主要贡献与结果 (Key Contributions & Results)

3.1 非极化沙法列维奇猜想 (Unpolarized Shafarevich Conjecture)

• 定理 1.4： 固定变形类 $M$（且 $b_2 \neq 3$），定义在有限生成域 $F$ 上且在 $S$ 之外具有本质好约化的超凯勒流形，其 $F$-双有理同构类是有限的。
• 推论： 如果 $b_2 \geq 5$，则其 $F$-同构类也是有限的（基于双有理模型有限性的已知结果，Theorem 2.13）。
• 意义： 这是 K3 曲面非极化结果在高维的直接推广，解决了固定变形类下的有限性问题。

3.2 上同调沙法列维奇猜想 (Cohomological Shafarevich Conjecture)

• 问题： 仅要求 $H^2_{\text{ét}}$ 无分歧是否足以保证有限性？
• 反例 (Theorem 8.1)： 如果自同构群在 $H^2$ 上的作用不忠实（即 $\text{Aut}_0(X) \neq \{1\}$），则存在无限多个通过扭结（twisting）得到的不同流形，它们共享相同的 $H^2$ 上同调结构，从而导致集合无限。
• 修正方案 (Theorem 1.7 & Theorem 8.3)：
  • 如果考虑几何同构类（忽略扭结），或者假设自同构群在 $H^2$ 上忠实作用，则有限性成立。
  • 更一般地，如果考虑全阶上同调无分歧（即 $H^i$ 对所有 $i$ 无分歧），则可以克服自同构群非忠实的问题。
  • 结论： 对于已知变形类（如 $K3^{[n]}$, $OG10$）以及所有 4 维超凯勒流形，全阶上同调沙法列维奇猜想成立。

3.3 CM 型超凯勒流形的有限性

• 定理 1.10： 固定变形类 $M$（$b_2 \geq 4$），定义在次数有界的数域上的CM 型超凯勒流形，其几何双有理等价类是有限的。当 $b_2 \geq 5$ 时，几何同构类也是有限的。
• 方法： 利用统一 Kuga-Satake 映射将 CM 型超凯勒流形对应到 CM 型阿贝尔簇，结合 Orr-Skorobogatov 关于阿贝尔簇 CM 点有限性的结果。
• 推论 1.12 (Brauer 群的有界性)： 对于上述 CM 型超凯勒流形，其 Brauer 群商 $|Br(X)/Br_0(X)|$ 和伽罗瓦不变部分 $|Br(X_{\bar{F}})^{\text{Gal}}|$ 在给定次数下是一致有界的。

3.4 几何 Picard 格子的有限性

• 猜想 1.8 与推论 1.11： 证明了对于 CM 型超凯勒流形，其几何 Picard 格子的等距类（isometry classes）是有限的。这加强了 Bombieri-Lang 猜想在特定模空间上的表现。

---

4. 技术细节与关键引理

• 统一 Kuga-Satake 构造 (Section 5.5)：

  • 传统 Kuga-Satake 映射依赖于极化度数。作者通过嵌入到一个固定的无歧义格 $\Sigma$ 中，构造了一个不依赖极化度数的映射 $\Psi^{KS}$。
  • 该映射将超凯勒流形的模空间 $\mathcal{F}_{d, K}$ 映射到正交 Shimura 簇，再映射到阿贝尔簇模空间。
  • 关键性质 (Corollary 5.16)： 如果超凯勒流形具有本质好约化，则其对应的 Kuga-Satake 阿贝尔簇具有好约化。这使得可以利用阿贝尔簇的有限性结果。

• 自同构群与扭结 (Section 8.1)：

  • 详细分析了 $\text{Aut}_0(X)$（作用在 $H^2$ 上为恒等的自同构）如何导致上同调无分歧集合的无限性。
  • 通过引入更高阶上同调（如 $H^6$ 对于 $OG6$ 型）来区分这些扭结，从而恢复有限性。

• 双有理模型的有限性 (Theorem 2.13)：

  • 利用 Amerik-Verbitsky 关于墙除子（wall divisors）有界性的结果，证明了在固定变形类下，双有理等价的超凯勒流形的同构类是有限的（当 $b_2 \geq 5$）。

---

5. 意义与影响 (Significance)

1. 统一了 K3 与高维情形： 将 Y. She 关于 K3 曲面的突破性成果成功推广到了高维超凯勒流形，建立了该领域非极化有限性问题的完整框架。
2. 揭示了高维新现象： 明确指出了高维超凯勒流形中“自同构群非忠实作用”这一新特征对沙法列维奇猜想的阻碍，并提出了通过全阶上同调或几何同构类来解决这一问题的方案。
3. 算术几何工具的创新： 构造的“统一 Kuga-Satake 映射”不仅解决了本问题，也为研究超凯勒流形的算术性质（如好约化、CM 型、Brauer 群）提供了强有力的新工具。
4. CM 型流形的算术性质： 证明了 CM 型超凯勒流形的几何有限性和 Brauer 群的一致有界性，这是算术几何中关于特殊点分布的重要结果。
5. 代数空间上的 Matsusaka-Mumford 定理： 附录中关于代数空间上双有理映射特殊化的推广，为处理超凯勒流形（通常作为代数空间出现）的算术问题提供了必要的理论基础。

总结： 本文通过引入统一 Kuga-Satake 映射和精细分析自同构群作用，成功证明了固定变形类下超凯勒流形的非极化沙法列维奇猜想，并解决了上同调版本和 CM 型情形下的相关有限性问题，是算术代数几何领域的重要进展。