Scrollar invariants of singular curves on toric surfaces

技術要約：トーリック曲面上の特異曲線におけるスクローラ不変量

問題設定
本論文は、偏極されたトーリック曲面 $(S_\Delta, \mathcal{O}(\Delta))$ 上の特異な整級曲線 $C$ からの単項式射影によって誘導される、有限被覆 $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）を含む組合せ論的な公式を用いて決定されているが、特異な曲線の挙動はより複雑である。与えられたセヴェリ多様体 $V^{irr}_{g, \Delta}$（幾何学的種数 $g$ の既約整級曲線をパラメータ化するもの）において、スクローラ不変量は必ずしも一定ではない。中心となる問いは、$h$-横断的多角形（$h$-transverse polygons）について、特に、セヴェリ多様体の既約成分における一般的な曲線のスクローラ不変量を決定すること、およびこれらの不変量が異なる成分間でどのように変化するかを理解することである。

手法
著者らは、トロピカル幾何学、具体的には彼らの先行研究 [CHT22, CHT23, CHT26a, CHT26b] で開発された、パラメータ化されたトロピカル曲線およびフロア図（floor diagrams）の枠組みを用いている。証明の戦略は、以下のステップに基づく：

1. 半連続性と最小性： スクローラ不変量は、特殊化関係（数列に対する部分順序）に関して上半連続である。特定の不変量 $e_{g, \Delta}$ が $V$ 内の一般的な曲線によって実現されることを証明するには、特定の曲線 $C \in V$ の不変量が「最小」である（すなわち $e(C, f) \preceq e_{g, \Delta}$）ことを見出すだけで十分である。
2. トロピカル・ランクの計算： 著者らは、特定のパラメータ化されたトロピカル曲線 $\Gamma$（単純な引き伸ばされたフロア分解または ssfd 曲線）と、ディバイザー $D_{trop}$ を構成し、$D_{trop}$ の倍数の Baker-Norine ランクが、目標とする不変量によって規定される値によって抑えられることを示す。これにより、$(\Gamma, D_{trop})$ にトロピカル化される任意の代数曲線に対する不変量の上界が確立される。
3. 相対的アプローチによる持ち上げ可能性： 持ち上げ可能性に関する核心的な技術的課題は、トロピカル曲線 $(\Gamma, D_{trop})$ をセヴェリ多様体内の代数曲線へと持ち上げることである。著者らは、持ち上げ可能性に対する相対的なアプローチ [CHT26a, CHT26b] を利用している。彼らは、構成されたトロピカル曲線が、既知の持ち上げ可能な曲線に対して「sw-等価」（フロア図の特定の修正による）であることを示している。
   • 持ち上げ可能性の条件をフロア図の形式で再定式化することが重要な革新である。著者らは、$h$-横断的多角形に対して、関連するフロア図が「素数でない（prime-to-$p$）」図（エッジの多重度が基底体の標数で割り切れない図）と mod-等価であることを証明している。
   • Tyomkin [Tyo12] の結果により、素数でないトロピカル曲線は代数曲線に持ち上げ可能である。
4. 非原始被覆の処理： 射影が原始的でない場合（すなわち、中間被覆を経由する場合）についても検討する。多角形 $\Delta$ に水平な辺が存在しない場合、スクローラ不変量はセヴェリ多様体のすべての成分において最小になるとは限らないことを、明示的な反例を用いて示す。

主要な貢献と結果

• Castryck-Cools 公式の一般化： 本論文は、Castryck-Cools 公式 [CC17] を特異曲線および任意の標数へと拡張し、$\Delta$ の格子幅不変量を用いた $f: C^\nu \to \mathbb{P}^1$ のスクローラ不変量の上界を与える（系 4.4）。
• 主定理 (Theorem 5.4)： 高さ $d \ge 2$ の $h$-横断的多角形 $\Delta$ に対して：
  1. 許容される不変量の唯一の最小要素 $e_{g, \Delta}$ と、 $V \subseteq V^{irr}_{g, \Delta}$ 内の一般的な曲線のスクローラ不変量が一致するような、少なくとも一つの既約成分 $V$ が存在する。
  2. $\Delta$ が水平な辺を持つならば、$V \subseteq V^{irr}_{g, \Delta}$ のすべての既約成分 $V$ は、不変量 $e_{g, \Delta}$ を持つ。
• 普遍性に対する反例： $\Delta$ に水平な辺がない場合、スクローラ不変量はセヴェリ多様体の成分間で変化し得ること、および最小の不変量がすべての成分で実現されるわけではないことを示す例（例 5.1、注釈 5.2）を提示している。これは、主定理の第2部における「水平な辺」という仮定の必要性を強調している。著者らは、第2の主張が水平な辺なしでは失敗し得ることは述べているが、第1の主張（最小不変量を実現する成分が少なくとも一つ存在するということ）が失敗する例については認識していない。
• 実現可能性： 結果として、本論文は最小のスクローラ不変量 $e_{g, \Delta}$ の実現可能性を確立し、Vakil および Vemulapalli [VV26] による実現可能性の結果を、すべての標数および特異曲線へと拡張・回収している。

意義
本研究は、トーリック曲面上の一般的な特異曲線のスクローラ不変量を決定するために、トロピカル手法を適用した最初の事例である。これは、滑らかな曲線の組合せ論的な理解と、セヴェリ多様体における幾何学的な複雑さとの間の溝を埋めるものである。

論文は、以下の特定の領域における重要性を主張している：

• 既知の結果の拡張： Castryck-Cools 公式を特異曲線および任意の標数へと一般化し、Redigolo [Red26] によるヒルツェブルート曲面に関する結果を、より広いクラスである $h$-横断的多角形へと拡張している。
• トロピカル・持ち上げ可能性の枠組み： 「相対的アプローチ」による持ち上げ可能性の威力を示しており、従来の実現可能性の結果（例：[Tyo12], [ABBR15]）が適用できないような小さな標数においても、sw-等価を介して持ち上げ可能性が確立できることを示している。
• モジュライの挙動の明確化： トーリック曲面の文脈における Maroni 軌跡（固定されたスクローラ不変量を持つ被覆の軌跡）の挙動を明らかにした。これは、最小の不変量は常に実現可能であるが、セヴェリ多様体全体における不変量の一様性は、偏極の幾何学（具体的には水平な辺の存在）に依存することを示している。

著者らは、スクローラ不変量による層化（Maroni 軌跡）と、線束の分裂型による層化（Brill-Noether 軌跡）との相互作用は依然として未解決の問題であり、本論文は計画されている一連の研究の第一歩としてこれに取り組むものであると述べている。