Tschirnhausen bundles of covers of the projective line

技術的概要：射影直線の被覆に関するチルンハウゼン束

問題提起
本論文は、次数 $d$、種数 $g$ の滑らかで既約な被覆 $\pi: C \to \mathbb{P}^1$ から生じるチルンハウゼン束の分類を調査する。そのような被覆が与えられたとき、構造層の押し出し $\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})$ をその被覆のスカラー不変量と呼ぶ。中心的な問いは、滑らかな被覆に対してどのような整数の組がスカラー不変量として現れ得るかである。同値に、滑らかな次数 $d$ 種数 $g$ の被覆のフルヴィッツスタック $\text{Hur}_{d,g}$ から $\mathbb{P}^1$ 上の束のスタック $\text{Bun}_{\mathbb{P}^1}$ への「チルンハウゼン写像」$Tsch: \text{Hur}_{d,g} \to \text{Bun}_{\mathbb{P}^1}$ の像は何か？

手法
著者らは、代数幾何学、変形理論、および $\mathbb{P}^1$ 上のベクトル束の組合せ論的解析を組み合わせる。

1. 幾何学的構成: 特定の不変量を持つ被覆の存在について、著者らはヒルゼブルフ曲面 $\mathbb{F}_a$ 上の曲線を構成する。これらの曲面における曲線のメロディ・ウッドによる二形式を用いた明示的なパラメータ化を利用する。定義方程式の係数の消滅という特定の特異点条件を課すことで、これらの特異曲線の正規化を制御し、所望のスカラー不変量を実現する。
2. 代数的制約: 必要条件を確立するために、著者らは $\pi_* \mathcal{O}_C$ の $\mathcal{O}_{\mathbb{P}^1}$-代数構造を解析する。体拡大における部分空間の積の次元に関するクネーザーの定理の体論的アナロジー（Hou-Leung-Xiang）を適用する。これにより、被覆の原始性に基づいて不変量に関する不等式を導出できる。
3. 変形と一般化: 本論文は、チルンハウゼン写像の像が一般化に対して閉じているか（すなわち、束 $E$ が像に含まれる場合、その任意の一般化 $E'$ も像に含まれるか？）を調査する。これは、特定の不変量の列を構成し、対応する被覆のモジュライ次元を解析することで検証される。
4. 算術的アナロジー: 著者らは、スカラー不変量と数体の整数環の逐次最小値との間に類似性を指摘し、算術統計学におけるものと同様の不変量空間上の密度関数を提案する。

主要な貢献と結果

• 低次数における完全分類 ($d \le 3$): 本論文は、$d \le 3$ に対する可能なスカラー不変量の完全な記述を提供する。$d=3$ の場合、不変量は正規化された空間内の特定の線分上に存在する。
• 4 次被覆の詳細解析 ($d=4$):
  • 著者らは次数 4 に対して完全な解答を与える。彼らは原始被覆の不変量を含む 3 次元多面体 $P_4$ と、すべての滑らかな被覆を含むより大きな多面体 $P'_4$ を同定する。
  • 原始被覆と非原始（二重超楕円）被覆を区別する。非原始被覆の軌跡は、原始被覆の 3 次元多面体に付着した 2 次元の「ひれ」を形成する。
  • 彼らは、$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$ に対して、チルンハウゼン写像の像が一般化に対して保存されないことを示す。任意の滑らかな被覆のチルンハウゼン束ではない一般化を許容する滑らかな被覆が存在する。これは $d \ge 4$ の原始被覆に対しても成り立つ。
• 算術的密度関数:
  • 本論文は、被覆（幾何学的）または数体（算術的）が特定の不変量を持つ「確率」を記述する、不変量多面体上の仮説的密度関数 $\rho_{geo}$ および $\rho_{arith}$ を提案する。これらが $d=3$ で一致することを証明し、$d=4$ におけるこれらの関数の区分的線形性を記述する。さらに、スタックのグロタンディーク環に値をとる洗練された密度関数について推測する。

意義と主張
本論文は、次数 4 に対するチルンハウゼン束の最初の完全な「地理」を提供し、合成次数における像の非凸性や $d \ge 5$ における一般化保存の失敗といった微妙な病理を明らかにする。これらは一般的な特徴であることが期待されている。

著者らは謙虚に、原始被覆に対して必要条件（不変量が $P_d$ に含まれること）を証明し、$P_d$ の正の割合が達成されることを示したものの、完全な予想（$P_d$ のすべてが達成されること）は $d \ge 5$ において未解決であると述べている。彼らは明示的に、凹数列による構成が $d \ge 5$ において多面体 $P_d$ 全体を満たさないことを指摘し、残りの点に対する被覆の存在、あるいはさらなる障害の存在に関する「残された中心的な問い」を残している。

この研究は、$\mathbb{P}^1$ の被覆の幾何学と数体の算術の間の溝を埋め、スカラー不変量の分布が整数環の形状の分布を反映することを示唆している。ここで多面体 $P_d$ は、次数 $d$ の数体に対して可能な形状の領域の幾何学的アナロジーとして機能する。