[論文レビュー] K-stability of constant scalar curvature Kähler manifolds

Jacopo Stoppa|ArXiv.org|Mar 28, 2008

Geometry and complex manifolds参考文献 17被引用数 27

ひとこと要約

この論文は、定値スカラー曲率ケーラー（cscK）計量を備え、自己同型群が離散的な極小多様体がK安定であることを確立し、ドナルドソンの以前のK半安定性に関する結果を改善している。証明はcscK計量のブロイアップ摂動とドナルドソン＝フタキ不変量に基づく背理法を用い、K半安定性に加えてcscK計量と自明な自己同型群がある場合、特定のテスト配置において不安定性が生じることを示している。

ABSTRACT

We show that a polarised manifold with a constant scalar curvature Kähler metric and discrete automorphisms is K-stable. This refines the K-semistability proved by S. K. Donaldson.

研究の動機と目的

• 極小多様体が定値スカラー曲率ケーラー（cscK）計量を備え、自己同型群が離散的である場合のK安定性を確立すること。
• 自己同型群が離散的であるという追加仮定のもとで、ドナルドソンのK半安定性に関する結果を厳密なK安定性にまで強化すること。
• cscK計量がK多安定性を意味するというヤウ＝チエン＝ドナルドソン予想の重要なケースを確認すること。
• 連続的自己同型群が存在しない場合、摂動技法を用いてK半安定性のもとで背理を導き、K安定性を証明できることを示すこと。

提案手法

• 特異点 $ q \in X $ におけるブロイアップを用いて、摂動された極小多様体の族を構成し、$ \gamma \gg 0 $ に対して $ L_\gamma = \pi^*L^\gamma - \mathcal{O}(E) $ を用いる。
• ドナルドソン＝フタキ不変量のブロイアップ公式を用いて、摂動された族の安定性を分析する。
• アレッツォとパカラードの結果を適用し、自己同型群が離散的である場合、$ X $ 上のcscK計量がブロイアップ $ \widehat{X} $ 上のcscK計量に摂動可能であることを示す。
• 重み $ w(k) $ とヒルベルト多項式 $ P(k) $ の漸近的推定を用いて、ドナルドソン＝フタキ不変量の下界を導出する。
• もし $ (X,L) $ が適切にK半安定的であれば、摂動された族は $ \gamma $ が十分に大きいとK不安定的になることを示し、背理法によりcscK計量の存在に反する。
• テスト配置が $ X \times \mathbb{C} $ のブロイアップとして表せることを用い、正規化の議論を用いて退化ケースを分析する。

実験結果

リサーチクエスチョン

• RQ1 極小多様体がcscK計量を備え、自己同型群が離散的である場合、K半安定性を超えてK安定性が成立するか？
• RQ2 点におけるブロイアップによる摂動が、K半安定的であるものからK不安定なテスト配置を構成できるか？
• RQ3 cscK計量と離散的自己同型群の仮定のもとで、非自明なテスト配置に対するドナルドソン＝フタキ不変量は厳密に正か？
• RQ4 ブロイアップとcscK計量の拡張に基づく摂動戦略は、一様K安定性の証明やヤウ＝チエン＝ドナルドソン予想の精緻化に用いることができるか？
• RQ5 自己同型群はcscK多様体の安定性において果たす役割は何か？ その自明性は摂動法にどのように影響するか？

主な発見

• 極小多様体 $ (X,L) $ がcscK計量を備え、自己同型群が離散的であるならば、K安定的である。これはヤウ＝チエン＝ドナルドソン予想の重要なケースを確認する。
• cscK計量と離散的自己同型群を備えた適切にK半安定的多様体 $ (X,L) $ に対して、特異点におけるブロイアップによる摂動を行うと、摂動された族がK不安定的になるため、背理が生じる。
• 摂動されたテスト配置のドナルドソン＝フタキ不変量は、ある定数 $ C'' $ に対して $ F(\mathcal{X}) \geq C'' > 0 $ を満たし、K半安定性の仮定に反する。
• 漸近的展開 $ \frac{w(k)}{kP(k)} = \frac{C'''}{k} + O(k^{-2}) $ は、フタキ不変量に正の下界をもたらし、これはK半安定性と両立しない。
• ブロイアップ構成 $ (\widehat{X}, \pi^*L^\gamma - \mathcal{O}(E)) $ は、K半安定性の仮定のもとで十分に大きな $ \gamma $ に対してK不安定な極小多様体をもたらす。
• 証明は、cscK計量のブロイアップへの拡張が非障害的であることに依存しており、これはアレッツォとパカラードの結果であり、自己同型群が離散的である場合にのみ成立する。