[论文解读] Special codimension one loci in Hurwitz spaces

Anand Patel|arXiv (Cornell University)|Aug 25, 2015

Algebraic Geometry and Number Theory参考文献 10被引用 5

一句话总结

本文研究了 Hurwitz 空间中两个特殊的余维数为一的子簇——Maroni 与 Casnati-Ekedahl 除子，证明了在度数 $ d \leq 5 $ 时它们是极小且刚性的，并展示了其在控制扫掠族斜率方面的关键作用。作者建立了边界除子类的独立性，并为这些除子在 Hurwitz 空间除子理论中的几何重要性提供了证据。

ABSTRACT

We investigate two families of divisors which we expect to play a distinguished role in the global geometry of Hurwitz space. In particular, we show that they are extremal and rigid in the small degree regime $d \leq 5$. We further show their significance in the problem of computing the sweeping slope of Hurwitz space in these degrees. In the process, we prove various general results about the divisor theory of Hurwitz space, including a proof of the independence of the boundary components of the admissible covers compactification. Some basic open questions and further directions are discussed at the end.

研究动机与目标

• 建立 Maroni 与 Casnati-Ekedahl 除子在 Hurwitz 空间除子理论中的几何重要性，尤其关注低度情形。
• 证明在可允许覆盖紧化空间的 Picard 群中边界除子类的独立性。
• 证明在小度数情形 $ d \leq 5 $ 时，这些除子是极小且刚性的，从而验证其在 Hurwitz 空间几何中的特殊地位。
• 探讨其对扫掠斜率问题的影响，特别是对 $ \overline{\mathcal{H}}_{d,g} $ 中单参数族斜率的控制作用。
• 提出关于这些除子的预期维数、向量丛的可实现性以及在高维情形下可能的收缩等基础性问题。

提出的方法

• 将 Maroni 与 Casnati-Ekedahl 除子引入为分支覆盖中上同调跳跃现象所引发的子簇，推广了经典不变量如 Maroni 不变量。
• 证明定理 A：在 $ \overline{\mathcal{H}}_{d,g}^{\rm adm} $ 中，边界分量的除子类在 $ \mathrm{Pic}\, \overline{\mathcal{H}}_{d,g} \otimes \mathbb{Q} $ 中是独立的，使用部分线性系统（partial pencils）的概念。
• 利用 $ d \leq 5 $ 时 Hurwitz 空间的无理参数化，推导部分除子类表达式，并分析其极小性与刚性。
• 应用斜率公式 $ s(B) = \delta \cdot B / \lambda \cdot B $ 研究扫掠族，推导出在度数 2、3 和 4 时 $ s(\overline{\mathcal{H}}_{d,g}) $ 的精确界。
• 利用 Casnati-Ekedahl 覆盖的解析方法分析除子结构，并将其与系统性丛（syzygy bundles）和 Bogomolov 表达式联系起来。
• 提出一个双有理映射 $ \varphi: \overline{\mathcal{H}}_{d,g} \dashrightarrow V_{d,g}//G $ 作为收缩 Maroni 除子的候选，尽管该映射的未定性带来了挑战。

实验结果

研究问题

• RQ1 在 $ d \leq 5 $ 时，Maroni 与 Casnati-Ekedahl 除子在 $ \overline{\mathcal{H}}_{d,g} $ 中是否为极小且刚性？
• RQ2 参数化具有特定 Casnati-Ekedahl 不变量的覆盖的子簇 $ Z_i $ 的预期维数是多少？它们在何时为除子？
• RQ3 在 Casnati-Ekedahl 覆盖解析中，哪些丛 $ \mathcal{N}_i $ 与 Tschirnhausen 丛 $ \mathcal{E} $ 是可实现的？
• RQ4 是否可通过 Hilbert 模空间的 GIT 商收缩 Maroni 或 Casnati-Ekedahl 除子？其对刚性的影响是什么？
• RQ5 在奇数亏格的三折曲线中，$ \mathrm{Tan} $ 的高维类比是什么？它们与 $ \overline{\mathcal{H}}_{d,g}^{(2)} $ 的有效锥有何关系？

主要发现

• 在 $ \overline{\mathcal{H}}_{d,g} $ 中，边界除子类在 $ \mathrm{Pic}\, \overline{\mathcal{H}}_{d,g} \otimes \mathbb{Q} $ 中是独立的，如定理 A 所证。
• 当 $ d \leq 5 $ 时，Maroni 与 Casnati-Ekedahl 除子为极小且刚性，但 $ \overline{\mathcal{H}}_{4,3} $ 例外：Casnati-Ekedahl 除子有两个不可约分支，每个均为极小且刚性。
• 当 $ g \geq 4 $ 且为偶数时，$ \overline{\mathcal{H}}_{3,g} $ 的斜率为 $ 7 + \frac{6}{g} $；当 $ g $ 为奇数时，斜率为 $ 7 + \frac{20}{3g+1} $，此结果由定理 C 建立。
• 高阶系统性丛的 Bogomolov 表达式均为 Casnati-Ekedahl 除子类的倍数，暗示其深层结构作用。
• 由于斜率约束，五边形子簇 $ \mathcal{M}^1_{5,g} \subset \overline{\mathcal{M}}_g $ 无法被 $ K_{\overline{\mathcal{M}}_g} $-负曲线扫掠，表明其在 log MMP 中具有独特角色。
• 本文猜想，$ \overline{\mathcal{H}}_{d,g}^{(2)} $ 的有效锥可能由边界分量、Maroni 除子以及低度情形下可能的切触除子生成。