Tropical methods for stable octic double planes

技術要約：安定な八重二重平面のためのトロピカル手法

問題設定
本論文は、固定された Chern 数 $K^2=2$ および $p_g=3$ を持つ一般型曲面の Kollár–Shepherd-Barron–Alexeev (KSBA) モジュライ空間の分類を扱う。これらの滑らかな曲面は、八重曲線（smooth octic curve）を分岐集合とする $\mathbb{P}^2$ の二重被覆（octic double planes）である。KSBA コンパクト化には特異な「安定」曲面が含まれるが、非ゲーレン・グロタンディーク（non-Gorenstein）特異点に対応する境界層は、これまでほとんど未開拓であった。Anthes による先行研究は、ゲーレン・グロタンディークな極限を分類し、非ゲーレン・グロタンディークな極限の初期例を提供した。本論文の目的は、滑らかな八重二重平面へと $\mathbb{Q}$-ゲーレン・グロタンディーク・平滑化（$\mathbb{Q}$-Gorenstein smoothing）が可能な、このモジュライ空間におけるすべてのノルマルな KSBA 安定曲面を系統的に分類することであり、特に非ゲーレン・グロタンディークなケースに焦点を当てる。

手法
著者らは、曲面の退化のケース解析を整理するために、Gross, Hacking, Keel, および Kontsevich (GHK) によって開発された枠組み、すなわちトロピカル幾何学とミラー対称性の技術を採用している。

1. Manetti 曲面への還元: 著者らは、八重二重平面の任意のノルマルな KSBA 極限が、$\mathbb{P}^2$ の退化の二重被覆であることを確立する。Bădescu, Manetti, Hacking, および Prokhorov の研究を引用し、基底曲面を「Manetti 曲面」（Wahl 特異点または単純楕円特異点、具体的には商特異点を持つ $\mathbb{P}^2$ の退化）に限定する。著者らは、単純楕円特異点は対数標準的な（log canonical）八重二重被覆の基底には現れ得ないことを証明し、Wahl 特異点を持つ Manetti 曲面のみを残した。
2. ミラー・トロピカル化: これらの Manetti 曲面の幾何学は、「ミラー・トロピカル化」（整数アフィン多様体）を介して符号化される。著者らは、Manetti 曲面と、マルコフ・トリプル $(a, b, c)$ （ただし $a^2+b^2+c^2=3abc$ を満たす）との対応関係を利用している。トーリックな Manetti 曲面は重み付き射影平面 $\mathbb{P}(a^2, b^2, c^2)$ に対応し、非トーリックなもの（$HP(S)$ と表記）はこれらの部分平滑化に対応する。
3. 切断の列挙: 二重被覆の分岐曲線は、特定の線束の切断に対応する。トロピカルな図式において、これらの切断はミラー・トロピカル化多角形内の整数点の集合と一対一対応する。著者らは、すべての関連するマルコフ・トリプルに対して、これらの整数点を列挙している。
4. 不変量（Discrepancy）の計算: 著者らは、トロピカルなデータを用いて、ペア $(Y, \frac{1}{2}B)$ （ここで $Y$ は基底 Manetti 曲面、$B$ は分岐曲線）の不変量を計算する。二重被覆が KSBA 安定であるための必要条件は、このペアが対数標準的（log canonical）であること（不変量 $\geq -1$）である。
5. ミューテーションと帰納法: 著者らは、無限に存在するケースを帰納的に排除するために、「ミューテーション」（マルコフ・トリプルのミューテーションに類似）を用いたトロピカル多角形のミューテーションを使用する。彼らは、ほとんどの Manetti 曲面において、分岐曲線が必ず多重成分を持つか、あるいは対数標準条件を破る特異性を獲得することを証明した。

主要な貢献および結果

• 分類定理: 本論文は、$\mathbb{Q}$-ゲーレン・グロタンディーク平滑化を許容する $K^2=2, p_g=3$ のノルマルな KSBA 安定曲面の完全な分類を提供する。安定な曲面は以下の4つのカテゴリーに分類される：

  1. 特異な八重曲線上の $\mathbb{P}^2$ の二重被覆（Anthes によって以前に分類されたゲーレン・グロタンディークな極限）。
  2. 重み付き次数 16 の曲線上の $Y = \mathbb{P}(1, 1, 4)$ の二重被覆。これらは2つの $\frac{1}{4}(1,1)$ 特異点、または単純楕円特異点や尖点（cusp）特異点の $\mathbb{Z}/2$-商から生じる特定のバスケット（basket）の特異点を持ち得る。
  3. 重み付き次数 80 の曲線上の $Y = \mathbb{P}(1, 4, 25)$ の二重被覆。これらは $\frac{1}{50}(1, 29)$ 特異点と、$\mathbb{P}(1, 1, 4)$ 用のリストにあるいずれかのバスケットを持つ。
  4. 非トーリックな Manetti 曲面 $HP(5)$（$\mathbb{P}(1, 4, 25)$の部分平滑化）上の二重被覆。これらは$\frac{1}{50}(1, 29)$ 特異点を持つ。

• 高次マルコフ数の排除: マルコフ数 $c \notin \{1, 2, 5, 13, 29, 34\}$ （およびそれに関連する非トーリックなバリアント）に関連する Manetti 曲面は、対数標準的な二重被覆を与えないという重要な結果が得られた。著者らは、これらの曲面において、分岐曲線が必ず 2 以上の多重度を持つ成分を含むか、あるいは結果として生じる特異性が対数標準条件を満たさないことを示している。

• 特異点の詳細な解析: 非ゲーレン・グロタンディークなケースに対する極小分解の明示的な記述が提供されている。

  • $Y=\mathbb{P}(1, 1, 4)$ の場合、著者らは分岐曲線が特異点を通過する場合を分析している。彼らは、単純楕円特異点や尖点特異点の $\mathbb{Z}/2$-商を含む、極小分解の双対グラフを特定している。
  • 彼らは、これらの特異点のパラメータ（例：尖点の場合、$t \leq 19$ および $t_1 + t_2 \leq 38$、および $t_1 + t_2 \leq 21$ という予想）の境界を確立している。
  • $\mathbb{P}(1, 4, 25)$ および $HP(5)$のケースから生じる$\frac{1}{50}(1, 29)$ Wahl 特異点を明示的に構成している。

• モジュライ空間の構造: 著者らは、これらの特異な曲面に対応する KSBA 境界の層（strata）の次元を計算している。彼らは、これらの層が入れ子状になっていること（例：$D^{IIc}_Y \subset D^{IIb}_Y \subset D^{IIa}_Y \subset D^I_Y$）を示し、滑らかな八重二重平面の 36 次元のモジュライ空間に対する余次元を決定している。

意義および主張
本論文は、ノイター線（Noether line, $2p_g = K^2 + 4$）付近の KSBA モジュライ空間を研究するための強力かつ系統的な枠組みとして、トロピカル幾何学とミラー対称性が機能することを示している。曲面の退化の分類問題を、トロピカル多角形における整数点のカウントと、そのミューテーションの組合せ問題へと翻訳することで、著者らは、本来であれば手に負えないほど複雑な分類問題を制御することに成功した。

本研究は、ゲーレン・グロタンディークなケースを超えて、KSBA 安定曲面の理解を拡張し、八重二重平面に対する初の包括的な非ゲーレン・グロタンディークな極限のリストを提供している。著者らは、本手法が Horikawa 曲面（ノイター線上に、あるいはその近くに位置する）の研究に動機付けられているものの、特定の $K^2=2, p_g=3$ のケースの分類は基礎的なステップであると述べている。彼らは、特定されたすべての組み合わせのゲーレン・グロタンディーク特異点と非ゲーレン・グロタンディーク特異点の組み合わせを研究したわけではなく、また、特定されたバスケットのどの具体的な組み合わせが実現可能であるかを決定したわけではないが、層の存在自体は証明している。また、特定された曲面は KSBA 安定であるが、局所から大域への障害群（local-to-global obstruction groups）が消滅するという意味での平滑化はほとんどできないが、滑らかな 4 次元多様体へと有理的に縮退（rationally blow down）させることは可能であることも強調している。