[論文レビュー] Note on K-stability of pairs

Song Sun|arXiv (Cornell University)|Aug 23, 2011

Geometry and complex manifolds参考文献 16被引用数 5

ひとこと要約

本稿では、Fano多様体 $X$ と滑らかな反標準除集合 $D$ を持つ場合、テスト構成と Chow 重みの漸近的解析を用いて、角度 $\beta = 0$ では K-半安定であり、負の角度 $\beta < 0$ では K-不安定であることを確立する。主な結果は、$X \setminus D$ 上のリッチ平坦計量に関する Tian-Yau の存在定理の代数的対応を裏付けるものであり、ケーラー・アインシュタイン幾何における連続法の根拠を提供する。

ABSTRACT

We prove that a pair (X, D) with X Fano and D a smooth anti-canonical divisor is K-unstable for negative angles, and K-semistable for zero angle.

研究の動機と目的

• 滑らかな反標準除集合 $D$ を持つ Fano 対 $(X,D)$ の K-安定性特性を、特に極限角度 $\beta = 0$ で確立すること。
• ケーラー・アインシュタイン計量と錐特異点を伴う計量が、$X \setminus D$ 上の完全なカラビ・ヤウ計量と連続法によって関連づけられる予想的図式を解明すること。
• Tian-Yau が $X \setminus D$ 上にリッチ平坦計量の存在を示した微分幾何的結果の代数的幾何的検証を提供すること。
• ペアの Futaki 不変量が $\beta$ に関して線形的であること、および $\beta \in (0,1]$ の小さな摂動において K-安定性が保たれることを示すこと。

提案手法

• $D$ の正規被覆への変形によるテスト構成を構成し、$\beta < 0$ の K-不安定性を分析する。
• $h^0(\mathcal{X}_0, \mathcal{L}_0^k)$ と $\operatorname{tr}(A_k)$ の漸近展開を用いて、係数 $a_0, a_1, b_0, b_1, \tilde{a}_0, \tilde{b}_0$ を用いて Futaki 不変量を計算する。
• Chow 重み関数 $CH_k$ を用いて近似的なバランスのとれた埋め込みを近似し、単調性および $L^2$-ノルム推定を用いて $Fut(\mathcal{X}, \mathcal{D}, \mathcal{L}, 0) \geq 0$ を証明する。
• $\mathbb{P}^1$-ルーリング上の $\omega_{FS}^n$ の積分および重心を計算するため、2つの射影的埋め込みの結合 $N(D)$ の幾何的構成を用いる。
• スカラー曲率とハミルトニアン関数を含む微分幾何的表現を用いて、代数的安定性と曲率条件を関連付ける。
• Futaki 不変量が $\beta$ に関して線形的であるという事実を活用し、$\beta = 0$ と $\beta \in (0,1]$ の間で補間可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 角度 $\beta = 0$ における対 $(X,D)$ は K-安定か。これは $X \setminus D$ 上の完全なリッチ平坦計量に対応する。
• RQ2 $\beta < 0$ の場合、$(X,D)$ の K-安定性状態は何か。また、錐特異点を伴うケーラー・アインシュタイン計量の非存在性と整合するか。
• RQ3 ペアの代数的 Futaki 不変量を用いて、カラビ・ヤウ計量からケーラー・アインシュタイン計量への連続法を検証できるか。
• RQ4 K-安定性の $X$ が、$\beta \in (0,1]$ に対してペア $(X,D)$ の K-安定性を示唆するか。
• RQ5 正規被覆への変形によるテスト構成は、負の $\beta$ における K-不安定性を検出できるか。

主な発見

• 対 $(X,D)$ は $\beta = 0$ で厳密に K-半安定であり、すべての非自明なテスト構成に対して $Fut(\mathcal{X}, \mathcal{D}, \mathcal{L}, 0) \geq 0$ が成り立つ。
• $\beta < 0$ の場合、正規被覆への変形によるテスト構成を用いて負の Futaki 不変量が得られ、K-不安定であることが示された。
• ペアの Futaki 不変量は $\beta$ に関して線形的であり、$Fut(\mathcal{X}, \mathcal{D}, \mathcal{L}, \beta) = F_{\text{usual}}(\mathcal{X}, \mathcal{L}) + (1-\beta)(\tilde{b}_0 - \frac{\tilde{a}_0}{a_0}b_0)$ が成り立つ。
• $D$ 上のカラビ・ヤウ計量を用いた近似的なバランスのとれた埋め込みの構成により、$\beta = 0$ における Futaki 不変量の非負性が保証され、K-半安定性が証明された。
• この結果は、Tian-Yau の定理の代数的対応を確認するものである：$X \setminus D$ 上に完全なリッチ平坦計量が存在するならば、$\beta = 0$ で K-半安定である。これは、$\beta = 0$ から $\beta = 1$ への連続法の根拠を支持する。
• 系 1.2 が従う：$X$ が K-安定ならば、すべての $\beta \in (0,1]$ に対して $(X,D)$ は K-安定である。これは、錐特異点を伴うケーラー・アインシュタイン計量の存在と K-安定性の予想的同値性を裏付ける証拠を提供する。