[論文レビュー] Relative K-stability of extremal metrics

Jacopo Stoppa, Gábor Székelyhidi|ArXiv.org|Dec 21, 2009

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

ひとこと要約

この論文は、極小多様体が極値計量を備えるならば、自己同型の最大トーラスに関して相対的K-多様体的安定性を満たすことを確立する。定数スカラー曲率ケーラー（cscK）計量に関する先行研究に基づき、著者たちはFutaki不変量およびテスト配置枠組みを極値計量へ一般化し、存在に対する障害として相対的K-多様体的安定性を証明することで、極値設定におけるYau-Tian-Donaldson予想を前進させる。

ABSTRACT

We show that if a polarised manifold admits an extremal metric then it is K-polystable relative to a maximal torus of automorphisms.

研究の動機と目的

• 定数スカラー曲率ケーラー（cscK）計量のK-多様体的安定性障害を、より広範な極値計量の設定へ拡張すること。
• 極値計量の存在が、自己同型の最大トーラスに関して相対的K-多様体的安定性を意味することを確立すること。
• 極値計量の文脈において、代数的幾何的安定性条件を精緻化し、相対的Yau-Tian-Donaldson予想に整合させること。
• 連続的自己同型群を考慮に入れ、標準的K-多様体的安定性では捉えきれない状況を反映する極値計量存在の必要条件を提示すること。

提案手法

• ドナルドソンのテスト配置枠組みを、自己同型の最大トーラスを組み込んだ相対的設定へ適応する。
• ρ作用をトーラス作用の商空間に直交射影することで、相対的Futaki不変量を定義する。
• コホモロジー群上のトレース不変量の漸近展開を用いて、k-展開における主要係数として相対的Futaki不変量および内積を定義する。
• 固定点における中心ファイバーのブローアップ技術を用い、ブローアップ前後での不変量を比較する。
• ヒルベルト＝ムンフォードの基準を用いて固定点の重みを分析し、反発的固定点がFutaki不変量を減少させることを示す。
• 層コホモロジーにおける完全系列を用いて、ブローアップによるトレース不変量の補正を計算し、反発的点でのブローアップにより相対的Futaki不変量が減少することを示す。

実験結果

リサーチクエスチョン

• RQ1 極値計量の存在は、自己同型の最大トーラスに関して相対的K-多様体的安定性を意味するか？
• RQ2 極値計量の文脈において、トーラス作用を考慮に入れた相対的Futaki不変量を定義できるか？
• RQ3 相対的K-多様体的安定性条件は、極値計量の存在に十分か、それ以上の制約が必要か？
• RQ4 固定点におけるブローアップは、極値計量のテスト配置におけるFutaki不変量にどのように影響するか？
• RQ5 固定点のヒルベルト＝ムンフォード重みと、相対的Futaki不変量における補正項の符号との正確な関係は何か？

主な発見

• 極小多様体が極値計量を備えるならば、自己同型の最大トーラスに関して相対的K-多様体的安定性を満たす。
• 相対的Futaki不変量 $F_T(\hat{\alpha})$ は、ρ作用をトーラス作用の商空間に直交射影することによって定義される。
• 反発的固定点でのブローアップはFutaki不変量を減少させ、重みが正のとき補正項は負である。
• ブローアップ後のトレース内積の主要補正項は $O(\varepsilon^n)$ であり、$\varepsilon$ が小さいとき内積が小さく保たれることを示す。
• 反発的固定点に対して $\lambda(q) - \frac{b_0}{a_0}$ が負であることが示され、$\varepsilon$ が小さいとき $\frac{b_0}{a_0} > \lambda(q)$ が成り立つ。これによりFutaki不変量の減少が確認される。
• 結果として、相対的K-多様体的安定性が極値計量存在の必要条件であることが確認され、cscKの場合を自己同型群を有する多様体へ一般化した。