On slope unstable Fano varieties

技術的要約：スロープ不安定なファノ多様体について

問題提起
本論文は、ファノ多様体における $(-K)$-スロープ安定性（K-安定性と関連するが、それよりも弱い概念）の複雑な理解に取り組んでいる。K-安定性については多大な進展が見られる一方で、接束 $T_X$ の代数的な概念であるスロープ安定性は、依然として理解が進んでいない。具体的には、著者らは、ファノ多様体の接束が $(-K_X)$-スロープ不安定であるならば、その相対接束が $K_X$-負の極限縮退を誘導するという、Peternellによる予想（Conjecture 1.1）の妥当性を調査している。

先行研究では、次元5までのケース（Peternell-Wiśniewski, Hwang）においてこの予想が確認されたが、Kanemitsu (2021) は、次元14において、最大不安定化層（maximal destabilizing sheaf）が標準的な極限縮退ではなく、非自明なファイブレーションから生じ得ることを示す反例を提示した。中心的な問題（Problem 1.2）は、接束が不安定なファノ多様体において、最大不安定化層が極限縮退の相対接束によって双有理的に誘導されるかどうかを判定することである。

手法
著者らは、**葉層構造を持つ極小モデルプログラム（fMMP）**を用いて、最大不安定化層 $F \subseteq T_X$ に付随する幾何学を特徴付けている。その手法は以下の通りである：

1. 葉層構造の設定: 最大不安定化層 $F$ が、有理連結なリーフ（葉）と非擬擬的な標準因子 $K_F$ を持つ、代数的に可積分な葉層構造であることを確立する。
2. 葉層的MMP: ファノ多様体 $X$（モリー・ドリーム・スペースと見なす）上で $K_F$-MMPを実行する。このプロセスは $F$-不変な曲線を縮退させ、モリーファイバー空間 $f: Y_+ \to Z_+$ を導く。
3. 性質(*)の修正: 結果として得られるペア $(Y_+, F_+)$ の特異性を分析するために、著者らは「性質(*)の修正」（[ACSS22]に基づく）を用いる。この双有理的修正 $W \to Y_+$ は、葉層が等次元の射によって誘導されることを保証し、最新の葉層的対数標準特異性に関する結果（[Che23], [CC25]）を用いた葉層特異性の分析を可能にする。
4. 分類戦略: 曲面の場合（$\dim X = 2$）の証明では、モリーファイバー空間の基底が点となるケース（$\dim Z_+ = 0$）を排除することを含む。これは、もし $\dim Z_+ = 0$ であれば、得られる曲面 $Y_+$ が特定の特異性制約を持つトーリック多様体でなければならないことを示し、それが一連の吹出し（blowup）の後で不安定な接束の存在と矛盾することを示すことで達成される。

主要な貢献と結果

• 不安定な弱デル・ペッツ曲面の分類（Theorem 1.7）: 非滑らかな弱デル・ペッツ曲面に対し、著者らは $(-K_X)$-スロープ不安定な接束を持つものを完全に分類している。そのような曲面 $X$ は、以下のいずれかである：

  • $n \in \{0, 1, 2\}$ であるヒルツェブル面 $F_n$。
  • $F_n$ ($n \in \{0, 1, 2\}$) 上の異なるファイバー上に中心を持つ、最大で3回の「2-blowup」（特定の二段階の吹出し）を行うことで得られる曲面。
    いずれの場合も、最大不安定化層は標準的なファイブレーション $X \to \mathbb{P}^1$ によって誘導される。

• 非滑らかなデル・ペッツ曲面に関する概念的証明（Corollary 1.9）: 本論文は、不安定な接束を持つ唯一の非滑らかなデル・ペッツ曲面が $\mathbb{P}^1 \times \mathbb{P}^1$ ($F_0$) および $F_1$ であるという、明示的な分類リストに依存しない最初の概念的証明を提供している。これは、Fahlaoui (1989) による古典的な結果を回収するものである。

• 特異ファノ多様体と弱ケーラー・アインシュタイン計量（Corollary 1.10 & 1.11）: 著者らは、標準的な特異性を有する弱デル・ペッツ曲面への分析を拡張している。彼らは、不安定な接束を持つ曲面の可能な特異性の型（例：$m \in \{2, 4, 6\}$ に対する $mA_1$、$A_1 + A_2$ など）を特徴付けている。

  • 主要な現象: 彼らは、多様体の場合とは異なる現象を発見した。すなわち、弱ケーラー・アインシュタイン（KE）計量を許容しながらも、スロープ不安定な接束を持つ標準的な特異性を持つデル・ペッツ曲面（具体的には $4A_1$ および $6A_1$ 型）が存在する。これは、特異性が存在する場合、K-極大安定性（K-polystability）が必ずしも $(-K)$-スロープ極大安定性を意味しないことを示しており、滑らかな場合におけるコブヤシ・ヒッチリン対応による含意を打破している。

• 次元の制約（Theorem 5.5）: 本論文は、非滑らかな弱デル・ペッツ曲面において、$K_F$-MMPの結果としてのモリーファイバー空間の基底が零次元（$\dim Z_+ = 0$）にはなり得ないことを証明している。これにより、不安定化の幾何学が常に曲線上のファイブレーションに関連していることが確認された。

意義と主張
本論文は、葉層的な双有理幾何学の現代的な道具を用いることで、スロープ不安定性の幾何学の理解における空白を埋めることを主張している。最大不安定化層を fMMP の観点から特徴付けることで、著者らは事例ごとの分類を超えて、不安定性の構造的な理解へと移行している。

本研究は、滑らかな設定と特異な設定の間の乖離を浮き彫りにしている。すなわち、ピカール数が1の滑らかなファノ多様体の接束は（低次元では）安定であることが予想されているが、特異なファノ多様体は、弱KE計量を許容する場合でもスロープ不安定性を示すことがある。これは、特異性が存在する場合、K-安定性とスロープ安定性の関係がより複雑であることを示唆している。

著者らは、彼らのアプローチは高次元における Problem 1.2 に対する枠組みを提供するものの、特異性と幾何学の複雑さゆえに、次元3への一般化は困難であると述べている。彼らは、不安定な接束を持つファノ多様体の最大不安定化層のランクは少なくとも2である（Problem 1.12）と提唱しており、これは既存の例および部分的な結果と一致する記述である。