Scrollar invariants of singular curves on toric surfaces

技术摘要：奇异曲线在环面曲面上的卷轴不变量 (Scrollar Invariants)

问题陈述
本文研究了由奇异整曲线 $C$ 在极化环面曲面 $(S_\Delta, \mathcal{O}(\Delta))$ 上的单项式投影所诱导的有理覆盖 $f: C^\nu \to \mathbb{P}^1$ 的卷轴不变量。给定位于线性系统 $|\mathcal{O}(\Delta)|$ 中的曲线 $C$，其正则化 $C^\nu$ 通过 $x_1$ 坐标投影获得一个度为 $d$ 的映射到 $\mathbb{P}^1$。卷轴不变量 $e(C, f) = (e_1, \dots, e_{d-1})$ 由向量丛 $f_* \mathcal{O}_{C^\nu} = \mathcal{O}_{\mathbb{P}^1} \oplus \bigoplus_{i=1}^{d-1} \mathcal{O}_{\mathbb{P}^1}(-e_i)$ 的分裂类型定义。

虽然对于光滑曲线，Castryck 和 Cools [CC17] 通过涉及 $\Delta$ 格宽（lattice width）的组合公式确定了这些不变量，但对于奇异曲线，其行为更为复杂。在给定的 Severi 簇 $V^{irr}_{g, \Delta}$（参数化几何亏格为 $g$ 的整曲线）上，卷轴不变量并不一定恒定。核心问题是确定一个不可约分量中一般曲线的卷轴不变量（特别是对于 $h$-横截多边形），并理解这些不变量如何在不同分量之间变化。

方法论
作者采用了热带几何，特别是其先前工作中开发的参数化热带曲线和地板图（floor diagrams）框架 [CHT22, CHT23, CHT26a, CHT26b]。证明策略依赖于以下步骤：

1. 半连续性与极小性： 卷轴不变量对于特殊化关系（序列上的偏序关系）是上半连续的。为了证明特定的不变量集合 $e_{g, \Delta}$ 在分量 $V$ 中的一般曲线中得以实现，只需找到一条具有“极小”不变量（即 $e(C, f) \preceq e_{g, \Delta}$）的曲线 $C \in V$ 即可。
2. 热带秩计算： 作者构造了一个特定的参数化热带曲线 $\Gamma$（一个简单的拉伸后的分解或 ssfd 曲线）和一个除子 $D_{trop}$，使得 $D_{trop}$ 的倍数的 Baker-Norine 秩被目标不变量所预设的值所限制。这为任何向 $(\Gamma, D_{trop})$ 热带化的代数曲线建立了不变量的上界。
3. 通过相对方法实现提升： 将热带曲线 $(\Gamma, D_{trop})$ 提升为 Severi 簇中的代数曲线是核心技术挑战。作者利用了一种相对提升方法 [CHT26a, CHT26b]。他们证明了所构造的热带曲线通过特定的地板图修改，在“sw-等价”意义下（即通过 sw-等价变换）等价于一条已知可提升的曲线。
   • 一个关键创新是将提升条件重新表述为地板图的形式。他们证明了对于 $h$-横截多边形，相关的地板图在模意义下等价于“素数无关”（prime-to-$p$）图（其中边多重数不被基域的特征数整除）。
   • 根据 Tyomkin [Tyo12] 的结果，素数无关的热带曲线可以提升到代数曲线。
4. 处理非原初覆盖： 作者讨论了投影不是原初（primitive）的情况（即投影通过一个中间覆盖）。他们表明，如果多边形 $\Delta$ 缺乏水平边，则卷轴不变量在 Severi 簇的所有分量上未必是极小的，并提供了显式的反例。

主要贡献与结果

• 推广 Castryck-Cools 公式： 本文将 Castryck-Cools 公式 [CC17] 推广到了奇异曲线和任意特征情形，通过 $\Delta$ 的格宽不变量给出了 $f: C^\nu \to \mathbb{P}^1$ 卷轴不变量的上界（推论 4.4）。
• 主定理 (Theorem 5.4)： 对于高度 $d \ge 2$ 的 $h$-横截多边形 $\Delta$：
  1. 至少存在一个不可约分量 $V \subseteq V^{irr}_{g, \Delta}$，使得 $V$ 中一般曲线的卷轴不变量等于可容许不变量集合中的唯一极小元素 $e_{g, \Delta}$。
  2. 如果 $\Delta$ 拥有水平边，那么 每一个 不可约分量 $V \subseteq V^{irr}_{g, \Delta}$ 的卷轴不变量都等于 $e_{g, \Delta}$。
• 对普遍性的反例： 文中提供的例子（例 5.1，备注 5.2）表明，如果 $\Delta$ 没有水平边，卷轴不变量可以在 Severi 簇的不同分量之间变化，且极小不变量可能不会在所有分量上实现。这强调了主定理第二部分中“水平边”假设的必要性。作者指出，虽然在没有水平边的情况下第二部分结论可能失效，但他们尚未发现第一部分结论（至少存在一个具有极小不变量的分量）失效的例子。
• 可实现性： 作为结果，本文确立了极小卷轴不变量 $e_{g, \Delta}$ 的可实现性，将 Vakil 和 Vemulapalli [VV26] 的可实现性结果推广到了所有特征和奇异曲线。

意义

这项工作是首次应用热带方法来确定环面曲面上一般奇异曲线卷轴不变量的研究。它弥合了光滑曲线的组合理解与奇异曲线在 Severi 簇中几何复杂性之间的鸿沟。

该论文声称在以下特定领域具有重要意义：

• 现有结果的扩展： 它将 Castryck-Cools 公式推广到奇异曲线和任意特征，并将 Redigolo [Red26] 关于 Hirzebruch 曲面的结果推广到更广泛的 $h$-横截多边形类。
• 热带-提升框架： 它展示了“相对提升法”的力量，表明即使在以往结果（如 [Tyo12], [ABBR15]）不适用的较小特征情形下，也可以通过向素数无关图的 sw-等价性来建立提升性。
• 澄清模空间行为： 它阐明了在环面曲面背景下 Maroni 簇（具有固定卷轴不变量的覆盖构成的集合）的行为，表明虽然极小不变量总是可实现的，但整个 Severi 簇内不变量的统一性取决于极化的几何性质（特别是水平边的存在）。

作者指出，通过卷轴不变量的分层（Maroni 簇）与通过线丛分裂类型的分层（Brill-Noether 簇）之间的相互作用仍是一个开放性问题，本文将其作为计划中的系列研究的第一步。