[論文レビュー] Extremal metrics and K-stability (PhD thesis)

Gábor Székelyhidi|ArXiv.org|Oct 31, 2006

Geometry and complex manifolds参考文献 19被引用数 29

ひとこと要約

この博士論文は、複素多様体上の extremal metrics の存在と同値な refined 穩定性条件として uniform K-stability を導入し、包絡面に対しては、Harder-Narasimhan 分解に類似した極限的 test-configuration を用いて Calabi functional の下界が達成されることを証明している。明示的な計算により、Futaki 不変量から得られる下界が鋭いことが示されている。本研究は K-stability を代数的でない、実数パラメータをもつ test-configuration に拡張し、不安定化する metrics と Calabi functional の下界の間の正確な対応関係を確立している。

ABSTRACT

In this thesis we study the relationship between the existence of canonical metrics on a complex manifold and stability in the sense of geometric invariant theory. We introduce a modification of K-stability of a polarised variety which we conjecture to be equivalent to the existence of an extremal metric in the polarisation class. A variant for a complete extremal metric on the complement of a smooth divisor is also given. On toric surfaces we prove a Jordan-Holder type theorem for decomposing semistable surfaces into stable pieces. On a ruled surface we compute the infimum of the Calabi functional for the unstable polarisations, exhibiting a decomposition analogous to the Harder-Narasimhan filtration of an unstable vector bundle.

研究の動機と目的

• extremal Kähler metrics の存在と、代数的安定性の refined な概念との間の明確な関係を確立し、定数スカラー曲率計量にとどまらない K-stability 予想を拡張すること。
• 包絡面上の特定の極化の不安定性を、Calabi functional の下界を計算することで解消し、それが destabilising test-configuration の負の Futaki 不変量によって下から抑えられることを示すこと。
• Kähler 幾何学において Harder-Narasimhan 分解の類似を一般化するために、不安定な多様体を extremal ピece に分解する metrics の退化を構成すること。
• すべての test-configuration における Futaki 不変量の下界の上限が、実際の Calabi functional の下界と一致することを示し、Donaldson の予想を確認すること。

提案手法

• uniform K-stability を導入し、すべての非自明な test-configuration における Futaki 不変量の一様な下界によって定義される K-stability の強化版として定義する。
• 包絡面上の Calabi functional の下界を実現する C² プロファイル φ に収束するモーメントプロファイル φi の列を構成する。
• 凸な区分的線形関数 hi によって test-configuration χi を定義し、h = Ŝ − S(ωφ) に収束させる。ここで S(ωφ) は極限計量のスカラー曲率である。
• 定理 5.2.3 を用いて、スカラー曲率の変動の L² 範囲と正規化された Futaki 不変量との関係を確立し、次の基本的等式を得る: ||S(ωφ) − Ŝ||_{L²} = 4π × (−F(χ))/||χ||。
• 2 つの場合を分析する: m ≤ k₂(k₂+2) の場合と m > k₂(k₂+2) の場合。τ = c で C² の接続を持つ φ を構成し、S(ωφ) の凹性を保証することで有効性を確保する。
• 包絡多様体におけるモーメント構成を用いて extremal metrics をモデル化し、スカラー曲率プロファイルを導出する。安定な部分には、命題 5.3.1 の明示的解を用いる。

実験結果

リサーチクエスチョン

• RQ1 包絡面上の不安定な極化における Calabi functional の下界は、すべての test-configuration χ における Futaki 不変量から得られる下界の上限と等しいか？
• RQ2 代数的 test-configuration が失敗する場合でも、非代数的で実数パラメータをもつ test-configuration を用いて、Calabi functional の鋭い下界を達成できるか？
• RQ3 極限的計量による不安定な包絡面の extremal ピece への分解は、幾何的安定性の観点から、Harder-Narasimhan 分解と類似していると見なせるか？
• RQ4 特に中心領域に extremal metric が存在しないが、無限に長く細くなる場合、スカラー曲率プロファイルはどのように振る舞うか？
• RQ5 uniform K-stability は、標準的な K-stability が不十分な場合でも extremal metrics の存在を的確に捉えているか、どの程度までその能力を有するか？

主な発見

• 包絡面上の Calabi functional の下界は、すべての test-configuration χ における (−F(χ))/||χ|| の上限に 4π を乗じたものと正確に一致し、この設定において Donaldson の予想が確認された。
• m ≤ k₂(k₂+2) の極化では、極限計量プロファイル φ は C² であり、多様体が 2 つの部分に分割され、それぞれが完全な extremal metric を持つ。
• m > k₂(k₂+2) の場合、中心領域 [k₂, c] ではスカラー曲率 S(ωφ) = −2/(1+τ) となり、これは区分的線形でなく、対応する円筒型ファイバーは極限で無限に長く細くなる。
• 構成された test-configuration は代数的でないため、不安定な場合に鋭い下界に到達するには非代数的退化が不可欠であることが示された。
• スカラー曲率 S(ωφ) は極限プロファイル上で凹であるため、Futaki 不変量の計算の有効性と test-configuration の列の収束が保証される。
• 極限 test-configuration は実数パラメータをもつ法線収縮への変形に対応し、最悪の不安定化方向の幾何的実現を提供する。