Automorphisms of the moduli space of smooth cubic surfaces and its fundamental group

技术摘要：光滑三次曲面模空间的自同构及其基本群

问题陈述
本文探讨了将光滑复三次曲面模空间 $\mathcal{C}$ 视为复解析轨形时的刚性问题。具体而言，作者研究了该空间的全纯自同构群 $\text{Aut}(\mathcal{C})$。虽然其他模空间（如曲线模空间 $M_g$ 和主极化阿贝尔簇模空间 $A_g$）的刚性结果是经典的，但三次曲面模空间呈现出独特的挑战。与作为局部对称簇（即厄米特对称域模算术群的商）的 $A_g$ 不同，$\mathcal{C}$ 并不同伦等价于任何局部对称簇。核心问题在于确定 $\mathcal{C}$ 是否 admits 非平凡自同构；若否，则需通过对其基本群 $\pi_1(\mathcal{C})$ 的群论分析来确立这一点。

方法论与几何设定
作者利用了 Allcock、Carlson 和 Toledo [1] 的周期映射构造，该构造将 $\mathcal{C}$ 识别为局部对称簇 $X$ 中除子 $D$ 的补集。

• 环境空间：$X$ 是一个皮卡德模 4 流形，定义为商空间 $X = \text{PU}(4, 1)(E) \backslash \mathbb{B}^4$，其中 $\mathbb{B}^4$ 是复双曲 4-球，$E = \mathbb{Z}[\omega]$ 是艾森斯坦整数。
• 除子：$D$ 是 $X$ 中的一个全测地浸入除子，同构于仅具有节点奇点的奇异三次曲面的模空间。
• 同构：存在复轨形的同构 $\mathcal{C} \cong X \setminus D$。
• 基本群序列：包含映射 $i: \mathcal{C} \hookrightarrow X$ 在轨形基本群上诱导了一个满射 $i_*: \pi_1(\mathcal{C}) \to \pi_1(X) \cong \text{PU}(4, 1)(E)$。由此得到正合序列：
  $$1 \longrightarrow K \longrightarrow \pi_1(\mathcal{C}) \longrightarrow \text{PU}(4, 1)(E) \longrightarrow 1$$
  其中，$K$ 是核，被识别为 $\pi_1(\mathbb{B}^4 \setminus \mathcal{H})$，这里 $\mathcal{H}$ 是 $D$ 提升到万有覆盖 $\mathbb{B}^4$ 的并集。

作者的策略基于“群论铭记代数几何”这一原则。他们旨在证明核 $K$（对应于除子 $D$）是 $\pi_1(\mathcal{C})$ 的一个特征子群。如果 $K$ 是特征的，那么 $\pi_1(\mathcal{C})$ 的任何自同构都将保持除子补集的结构，从而允许作者将 $\mathcal{C}$ 的自同构提升到环境空间 $X$。

主要贡献与结果

1. 定理 1.2（群论刚性）：
   投影 $\pi_1(\mathcal{C}) \to \text{PU}(4, 1)(E)$ 的核 $K$ 是 $\pi_1(\mathcal{C})$ 的特征子群。即，对于每一个 $\phi \in \text{Aut}(\pi_1(\mathcal{C}))$，都有 $\phi(K) = K$。

   • 证明策略：证明涉及分析 $\pi_1(\mathcal{C})$ 的生成元，这些生成元是围绕除子 $D$ 的经线（具体而言，是 6 阶的六重反射）。
   • 作者确立了单值群 $P\Gamma_4$ 由这些六重反射生成。
   • 利用计算代数（Magma），他们证明了从映射到 $\pi_1(\mathcal{C})$ 的阿廷群 $A(\tilde{E}_6)$ 到魏尔群 $W(E_6)$ 的同态在内自同构意义下是唯一的。
   • 他们证明了 $\pi_1(\mathcal{C})$ 的任何自同构必须将生成元（经线）映射为 $P\Gamma_4$ 中的椭圆元素，并具有特定的阶性质（整除 6）。
   • 关键在于，他们证明了任何此类自同构作用于核生成元后的像必须落在 $K$ 内，从而确立了 $K$ 在该群的所有自同构下是不变的。

2. 定理 1.1（几何刚性）：
   光滑复三次曲面模空间的全纯自同构群 $\text{Aut}(\mathcal{C})$ 是平凡的。

   • 证明策略：
     • 设 $f \in \text{Aut}(\mathcal{C})$。这诱导了 $\pi_1(\mathcal{C})$ 的一个外自同构 $\phi$。
     • 根据定理 1.2，$\phi(K) = K$。因此，$f$ 可以提升到覆盖空间 $\mathbb{B}^4 \setminus \mathcal{H}$ 的一个全纯自同构 $\tilde{f}$。
     • 由于 $\tilde{f}$ 是映射到 $\mathbb{C}^4$ 的有界全纯映射，且奇异集 $\mathcal{H}$ 是一个无处稠密的解析子集，黎曼延拓定理允许 $\tilde{f}$ 延拓为一个全纯映射 $\hat{f}: \mathbb{B}^4 \to \mathbb{C}^4$。
     • 通过连续性和开映射定理，$\hat{f}$ 将 $\mathbb{B}^4$ 映射到其自身，这意味着 $\hat{f} \in \text{Aut}(\mathbb{B}^4) = \text{PU}(4, 1)$。
     • 提升映射 $\hat{f}$ 正规化格 $P\Gamma_4$。
     • 根据推论 2.3（源自 Mostow–Prasad 刚性和格的极大性），轨形 $X$ 不存在非平凡的全纯自同构。
     • 因此，$X$ 上诱导的自同构是平凡的，这意味着 $f$ 是平凡的。

意义与主张
本文声称证明了 $\pi_1(\mathcal{C})$ 的群论结构“铭记”了节点三次曲面的几何除子 $D$。这使得作者能够通过利用环境局部对称簇 $X$ 的刚性，绕过 $\mathcal{C}$ 本身缺乏局部对称性的问题。

作者将其结果定位为对 $M_g$ 和 $A_g$ 经典刚性定理的补充。他们指出，虽然 $A_g$ 的策略依赖于该空间是局部对称簇，但 $\mathcal{C}$ 的策略需要证明补集的自同构“铭记”了除子。文章明确指出，这对一般的除子补集并不成立（提供了一个亏格为 2 的曲线的反例），这使得三次曲面模空间的特定性质至关重要。

作者还承认了另一种利用“埃卡尔特除子”（参数化具有埃卡尔特点的曲面）的方法，他们指出这是 Curt McMullen 提出的。然而，他们认为通过节点除子的主要方法更为优越，因为它得出了关于核的特征性质的更强群论结果（定理 1.2），而埃卡尔特方法依赖于该除子的特定几何性质，这些性质可能不易推广。

局限性与未来方向
本文谦逊地将结果置于研究局部对称簇除子补集刚性的更广泛计划之中。它指出，虽然他们的方法结合马古利斯超刚性可以分类 IV 型情形的自同构，但球商情形（如本文）依赖于除子 $D$ 自交的特殊性质。作者提出了关于外自同构群 $\text{Out}(\pi_1(\mathcal{C}))$ 和抽象可公度群的问题，表明这些问题仍有待完全解决。