[論文レビュー] Remarks on logarithmic K-stability

Chi Li|arXiv (Cornell University)|Apr 3, 2011

Geometry and complex manifolds参考文献 14被引用数 21

ひとこと要約

本稿は、反 canonical divisor が滑らかなトーリック Fano 多様体に対して対数 K-安定性の対数的基準を確立し、cone angle パrameter β が R(X) より小さいとき、かつそのときに限り対数 K-安定性が成り立つことを証明している。ここで R(X) は、Ric(ω) > tω が解かれるような t の上界である。主な結果は、重心と反射的多面体幾何学を用いた明示的な対数 Futaki 不変量の計算を通じて、対数 K-安定性の正確な特徴づけがなされたことであり、トーリック設定における錐型 Kähler-Einstein 計量に関する予想を確認した。

ABSTRACT

We make some observation on the logarithmic version of K-stability.

研究の動機と目的

• 滑らかな反 canonical divisor Y を持つトーリック Fano 多様体の対数 K-安定性を調査すること。
• β < R(X) のとき、Y 沿いの Kähler-Einstein 計量の存在に関する Donaldson の予想を検証すること。
• 対数 Futaki 不変量と多面体重心を用いて、閾値 β = R(X) の幾何的特徴づけを提供すること。
• 1-パラメータ部分群の作用におけるトーリック多様体の対数 Futaki 不変量を明示的に計算することで、[4] の先行研究の計算を一般化・確認すること。

提案手法

• 反射的多面体 Δ の境界上に位置する点 Q を用いて、R(X) を式 |OQ|/|P_cQ| として明示的に計算する。この式は定理2によって与えられる。
• 代数的定義として、(C*)^n 内の 1-パラメータ部分群に関連するテスト配置を用いて、対数 Futaki 不変量を定義する。
• 対数 Futaki 不変量の主要な公式 (19) を導出する：F(K_X^{-1}, βY)(λ) = - (β⟨P_c, λ⟩ + (1−β)W(λ)) Vol(Δ)。
• 凸幾何学的手法を用いて、対数 Futaki 不変量の符号を分析する。具体的には、Q_β = (β/(1−β))((1−R(X))/R(X)) Q を多面体 Δ の支持超平面と比較する。
• Wang-Zhu の研究と、反射的格子多面体によって定義されるトーリック Fano 多様体の構造に依拠する。
• 2つの具体的な例（Bl_pℙ² と Bl_{p,q}ℙ²）を用いて結果を検証し、特定の 1-パラメータ部分群に対して R(X) と対数 Futaki 不変量を計算する。

実験結果

リサーチクエスチョン

• RQ1 1-パラメータ部分群が (C*)^n 全体にわたって、(X_Δ, βY) が対数 K-安定となる β の値は何か？
• RQ2 閾値 R(X) と対数 Futaki 不変量の間の正確な関係は何か？対数 K-安定性条件において。
• RQ3 β = R(X) のとき、対数 Futaki 不変量は正確にゼロになるか？そのとき、どの 1-パラメータ部分群に対して成立するか？
• RQ4 重心 P_c と ∂Δ 上の点 Q の位置関係が、安定性閾値 R(X) をどのように決定するか？
• RQ5 錐型 Kähler-Einstein 計量に関する予想は、トーリック設定における対数 K-安定性によって確認可能か？

主な発見

• β < R(X_Δ) のとき、すべての (C*)^n 内の 1-パラメータ部分群に対して、(X_Δ, βY) は対数 K-安定である。これは、対数 Futaki 不変量が厳密に負であるためである。
• β = R(X_Δ) のとき、対は半対数 K-安定であり、対数 Futaki 不変量は、Δ に Q を通る支持超平面を持つ 1-パラメータ部分群に対してのみゼロになる。
• β > R(X_Δ) のとき、少なくとも1つの 1-パラメータ部分群に対して対数 Futaki 不変量が正であるため、対数 K-安定ではない。
• 例として X_Δ = Bl_pℙ² を取り上げると、R(X) = 6/7 であり、λ = ⟨-1,-1⟩ に対して対数 Futaki 不変量は F = (2/3)β - 4(1−β) である。これは β ≤ 6/7 であるときかつそのときに限り ≤ 0 である。
• 例として X_Δ = Bl_{p,q}ℙ² を取り上げると、R(X) = 21/25 であり、λ₁ = ⟨1,1⟩ に対して対数 Futaki 不変量は F = (2/3)β - (7/2)(1−β) である。これは β ≤ 21/25 であるときかつそのときに限り ≤ 0 である。
• 同じ例において λ₃ = ⟨-1,2⟩ の場合、安定性は β = 63/65 まで許容されるが、臨界閾値は依然として β = 21/25 のままである。これは β > R(X) ならば不安定であることを確認する。