On the Fields of Moduli of Curves of Genus Six

技术摘要：关于 6 亏格曲线的模场

问题陈述
本文探讨了代数几何中关于“模场”（field of moduli）与“定义域”（field of definition）这一基本问题。设 $K$ 为特征为 0 的代数封闭域，$k$ 为其子域。对于一个簇 $X$（可能带有附加结构 $\xi$），其模场 $k(X, \xi)$ 定义为稳定了 $(X, \xi)$ 同构类的 $\text{Gal}(K/k)$ 子群的固定域。虽然每个定义域都包含 $k(X, \xi)$，但并不保证 $k(X, \xi)$ 本身就是一个定义域。核心问题在于确定在何种条件下，亏格为 6 的曲线 $C$ 能够在其模场上建立模型。

方法论
作者利用代数层叠（algebraic gerbes）理论，特别是由 Bresciani 和 Vistoli 开发的框架，将下降问题转化为一个关于中性性（neutrality）的问题。

1. 层叠公式化： 曲线 $C$ 的扭曲形式（twisted forms）由定义在 $k_C$ 上的剩余层叠 $\mathcal{G}_C$ 分类。曲线 $C$ 能下降到 $k_C$ 当且仅当 $\mathcal{G}_C$ 是中性的（即拥有一个 $k_C$-有理点）。
2. 忠实态射： 为了分析 $\mathcal{G}_C$ 的中性性，本文构造了从 $\mathcal{G}_C$ 到 $B\Gamma$ 的忠实态射，其中 $\Gamma$ 是一个由曲线内在的“特有结构”（这些结构被所有伽罗瓦半线性自同构所保持）定义的代数群模式。
3. 中性子群： 问题简化为确定 $\text{Aut}(C)$ 在 $\Gamma(K)$ 中的像是否构成一个中性子群。一个有限子群 $G \subset \Gamma(K)$ 是中性的，如果每一个在 $k_C$ 的扩张上的 $G$-层叠都拥有一个有理点。
4. 分层： 模空间 $\mathcal{M}_6$ 根据亏格 6 曲线的几何分类进行分层。分析针对以下层级逐一进行：
   • 超椭圆曲线
   • 三次曲线（Trigonal curves）
   • 平面五次曲线
   • 双椭圆曲线（Bielliptic curves）
   • 位于光滑五次 del Pezzo 曲面上的曲线
   • 位于奇异五次 del Pezzo 曲面（ADE 类型）上的曲线

主要贡献与结果

• 分层与特有结构： 本文系统地识别了 $\mathcal{M}_6$ 各个层级的特有代数结构，并构造了相应的向分类堆栈 $B\Gamma$ 的忠实态射：

  • 超椭圆/三次曲线： 向 $B\text{PGL}_2$ 的态射。
  • 平面五次曲线： 向 $B\text{PGL}_3$ 的态射。
  • 双椭圆曲线： 唯一的双椭圆自同构使 Hodge 丛发生分裂，从而产生向 $B(\mathbb{G}_m \times \text{GL}_5)$ 的态射。
  • Del Pezzo 曲面： 包含曲线 $C$ 的唯一 del Pezzo 曲面 $S_C$（光滑或奇异）提供了向 $B\text{Aut}(S_C)$ 的态射。对于光滑曲面，$\Gamma \cong S_5$；对于奇异曲面，$\Gamma$ 是特定 ADE 奇异类型分裂模型的自同构群。

• $S_5$ 中中性子群的分类： 本文的一个重要技术组成部分是对对称群 $S_5$ 中中性子群的分类。文中证明，在共轭意义下，除了以下情况外， $S_5$ 的每个子群都是中性的：

  1. 由双换位元生成的子群（$C_2 \cong \langle (12)(34) \rangle$），它永远不是中性的。
  2. 传递子群 $D_{10}$，它是中性的当且仅当 $\sqrt{-1} \in k$。

• 主要定理：

  • 定理 A（已知/部分情况）：
    • 超椭圆曲线在 $\text{Aut}(C)/\langle \iota \rangle$ 为非循环群时可以下降。
    • 平面五次曲线总是可以下降。
    • 对于三次曲线，如果它们不能下降，则 $\text{Aut}(C)$ 是循环群或循环群的 $C_3$-扩张。本文使用三次丛的唯一性为此情况提供了一个简化的证明。
  • 定理 B（新结果）：
    • 双椭圆曲线： 总是下降到其模场。证明利用了 Hodge 丛的分裂，并表明相关的表示是中性的。
    • 光滑 Del Pezzo 情况： 位于光滑五次 del Pezzo 曲面上的曲线 $C$ 下降，除非 $\text{Aut}(C) \cong C_2$ 或 ($\text{Aut}(C) \cong D_{10}$ 且 $\sqrt{-1} \notin k$)。
    • 奇异 Del Pezzo 情况： 如果曲面 $S_C$ 的奇异类型不是 $2A_1$（具体为 $A_4, A_3, A_2+A_1, A_2, A_1$），则曲线可以下降。这依赖于这些类型的自同构群是分裂连通可解群，其所有有限子群都是中性的。
    • 例外情况 ($2A_1$)： 本文指出 $2A_1$ 奇异类型是剩下的唯一的例外情况，其中自同构群为 $\mathbb{G}_m^2 \rtimes C_2$。文中指出，对于此情况，正规化子商可能不是特殊的，且很可能存在反例（非下降曲线），尽管文中并未明确构造出反例。

意义与主张
本文声称通过利用层叠论方法，对亏格 6 曲线的模场问题进行了全面的分析。其主要意义在于：

1. 完成分类： 它解决了双椭圆情况以及大部分 del Pezzo 情况下的下降问题，这些问题此前是开放的或仅部分理解。
2. 统一框架： 它展示了中性子群框架（由 [BY26] 开发）在处理从超椭圆到非特殊曲线的各种多样化几何情形时的有效性。
3. 细化反例： 它澄清了反例存在的条件（特别是将 $D_{10}$ 对称曲线的非下降性与基域中不存在 $\sqrt{-1}$ 联系起来），并将 $2A_1$ 奇异类型孤立为潜在新反例的主要区域。

作者明确指出，对于某些相关结果（例如奇数次平面曲线的实系数问题）尚无初等证明，而层叠方法提供了处理这些下降问题的必要机制。本文并未声称解决了 $2A_1$ 情况下的问题，而是将其识别为当前框架内可解性的边界。