Tschirnhausen bundles of covers of the projective line

技术摘要：射影直线覆盖的齐尔恩豪森丛

问题陈述
本文研究了由光滑、不可约的 $d$ 次、亏格 $g$ 的覆盖 $\pi: C \to \mathbb{P}^1$ 所产生的齐尔恩豪森丛（Tschirnhausen bundles）的分类。给定此类覆盖，结构层的推前 $\pi_* \mathcal{O}_C$ 分裂（在唯一同构意义下）为 $\mathcal{O}_{\mathbb{P}^1} \oplus \mathcal{O}_{\mathbb{P}^1}(-e_1) \oplus \cdots \oplus \mathcal{O}_{\mathbb{P}^1}(-e_{d-1})$，其中 $0 < e_1 \le \cdots \le e_{d-1}$。整数 $(e_1, \dots, e_{d-1})$ 即为该覆盖的卷标不变量（scrollar invariants）。核心问题是：哪些整数元组可以作为光滑覆盖的卷标不变量出现？等价地，“齐尔恩豪森映射” $Tsch: \text{Hur}_{d,g} \to \text{Bun}_{\mathbb{P}^1}$ 的像是什么，其中 $\text{Hur}_{d,g}$ 是光滑 $d$ 次亏格 $g$ 覆盖的 Hurwitz 叠？

方法论
作者结合了代数几何、形变理论以及 $\mathbb{P}^1$ 上向量丛的组合分析。

1. 几何构造：为了证明具有特定不变量的覆盖的存在性，作者在赫兹布鲁赫曲面 $\mathbb{F}_a$ 上构造曲线。他们利用 Melody Wood 关于这些曲面上曲线使用二元形式的显式参数化。通过施加特定的奇点条件（定义方程中系数的消失），他们控制这些奇异曲线的正规化，以实现预设的卷标不变量。
2. 代数约束：为了建立必要条件，作者分析了 $\pi_* \mathcal{O}_C$ 的 $\mathcal{O}_{\mathbb{P}^1}$-代数结构。他们应用了关于域扩张中子空间乘积维数的 Kneser 定理的域论类比（Hou-Leung-Xiang）。这使得他们能够基于覆盖的原始性推导出关于不变量的不等式。
3. 形变与泛化：本文研究了齐尔恩豪森映射的像是否在泛化（generization）下封闭（即，如果丛 $E$ 在像中，那么它的每一个泛化 $E'$ 是否也在像中？）。这是通过构造特定的不变量序列并分析相应覆盖的模空间维数来测试的。
4. 算术类比：作者将卷标不变量与数域中整数环的连续极小值进行类比，提出了类似于算术统计中的不变量空间上的密度函数。

主要贡献与结果

• 低次情形 ($d \le 3$) 的完全分类：本文提供了 $d \le 3$ 时可能的卷标不变量的完整描述。对于 $d=3$，不变量位于归一化空间中的特定线段上。
• 四次覆盖 ($d=4$) 的详细分析：
  • 作者给出了 $d=4$ 情形的完整答案。他们确定了一个包含原始覆盖不变量的三维多胞形 $P_4$，以及一个包含所有光滑覆盖的更大多胞形 $P'_4$。
  • 他们区分了原始覆盖和非原始（双超椭圆）覆盖。非原始覆盖的轨迹形成了一个附着在原始覆盖的三维多胞形上的二维“鳍”。
  • 他们证明了 $d=4$ 时齐尔恩豪森映射的像在泛化下保持不变。
• 原始覆盖的多胞形猜想：
  • 作者定义了一个由条件 $\sum e_i = 1$，$0 \le e_1 \le \dots \le e_{d-1}$ 以及 $e_{i+j} \le e_i + e_j$ 定义的多胞形 $P_d \subset \mathbb{R}^{d-1}$。
  • 定理 1.4：他们证明了对于任何原始光滑覆盖，缩放后的卷标不变量都位于 $P_d$ 内。
  • 猜想 1.3：他们提出，对于原始覆盖，$P_d$ 中的每一个点（经适当缩放）都由一个光滑覆盖实现。
• “凹”不变量的存在性：
  • 定理 1.5：作者证明了多胞形 $P_d$ 的“正比例”部分是可以实现的。具体而言，他们为任何满足 $(0, e_1, \dots, e_{d-1}, 0)$ 为凹序列的不变量序列 $(e_1, \dots, e_{d-1})$ 构造了光滑原始覆盖。这覆盖了 $P_d$ 的一个全维子多胞形。
• 复合次数的非凸性：
  • 第 5 节：作者证明，如果 $d$ 不是素数幂（例如 $d=6$），则可能的卷标不变量集合不是凸的。他们构造了具有不变量 $A$ 和 $B$ 的覆盖示例，使得中点（或线段上的某点）无法由任何光滑不可约覆盖实现，这是由于代数约束迫使覆盖通过子覆盖分解。
• 泛化保持性的失效：
  • 命题 7.1：与低亏格或低次情形下的行为相反，作者证明了对于 $d \ge 5$ 且 $g$ 足够大，齐尔恩豪森映射的像在泛化下不保持。存在光滑覆盖，其齐尔恩豪森丛 admits 的泛化不是任何光滑覆盖的齐尔恩豪森丛。即使对于 $d \ge 4$ 时的原始覆盖，这也成立。
• 算术密度函数：
  • 本文提出了关于不变量多胞形上的猜想密度函数 $\rho_{geo}$ 和 $\rho_{arith}$，描述了覆盖（几何）或数域（算术）具有特定不变量的“可能性”。他们证明了这些函数在 $d=3$ 时重合，并描述了 $d=4$ 时这些函数的分段线性性质。他们进一步推测了取值于叠的格罗滕迪克环中的精化密度函数。

意义与主张
本文声称提供了 $d=4$ 时齐尔恩豪森丛的首个完整“地理”图景，揭示了微妙的病理现象（例如复合次数下像的非凸性以及 $d \ge 5$ 时泛化保持性的失效），这些现象预计是普遍特征。

作者谦逊地指出，虽然他们已经证明了原始覆盖的必要条件（不变量位于 $P_d$ 内）并展示了 $P_d$ 的正比例部分是可以实现的，但完整猜想（即 $P_d$ 的全部都可以实现）对于 $d \ge 5$ 仍然未决。他们明确指出，他们通过凹序列进行的构造并未填满 $d \ge 5$ 时的整个多胞形 $P_d$，留下了关于剩余点是否存在覆盖或是否存在进一步障碍的“核心剩余问题”。

这项工作 bridging 了 $\mathbb{P}^1$ 覆盖的几何与数域的算术之间的鸿沟，表明卷标不变量的分布反映了整数环形状的分布，其中多胞形 $P_d$ 作为 $d$ 次数域可能形状区域的几何类比。