[論文レビュー] Lower bounds on the Calabi functional

Simon Donaldson|ArXiv.org|Jun 24, 2005

Geometry and complex manifolds参考文献 15被引用数 6

ひとこと要約

本稿は、固定されたケーラー類内のコンパクトケーラー多様体上でのカルビ機能の下界を、テスト配置を用いて確立する。カルビ機能（スカラー曲率のL²ノルム）の下界が、テスト配置の中心特異点におけるC*-作用から導かれる数値的不変量Ψ(𝒳)の上限によって下から抑えられることを証明し、ヤン・ミルズ関数へのアティヤ・ボット原理をケーラー幾何学へと拡張する。また、定曲率ケーラー計量の存在に伴うK-安定性の必要性について、特別な構成に依存しない新しい証明を与える。

ABSTRACT

The main result of this paper shows that "test configurations" give new lower bounds on the $L^{2}$ norm of the scalar curvature on a Kahler manifold. This is closely analogous to the analysis of the Yang-Mills functional over Riemann surfaces by Atiyah and Bott. The proof uses asymptotic approximation by finite-dimensional problems: the essential ingredient being the Tian-Zelditch-Lu expansion of the "density of states" function.

研究の動機と目的

• ヤン・ミルズ関数へのアティヤ・ボット原理をケーラー幾何学におけるカルビ関数へと拡張すること。
• テスト配置に関連する代数幾何的不変量を用いて、スカラー曲率のL²ノルムの下界を確立すること。
• 特殊な構成に依存せずに、定曲率ケーラー計量の存在がK-安定性を意味することを、新たな簡略化された証明で示すこと。
• 状態密度の漸近的解析を用いて、スカラー曲率のL^pノルムへの下界の一般化を図ること。

提案手法

• 射影的多様体Xと線束LのC*-同変な退化（テスト配置𝒳）の使用。
• H⁰(X₀, ℒᵏ)におけるC*-作用を用いた数値的不変量Ψ(𝒳)の定義。これは一般化されたフタキ不変量に関連する。
• 状態密度の漸近展開（Yau-Tian-Zelditch）を応用し、トレース不変量と中心特異点X₀上でのハミルトニアン関数hの積分を関連付ける。
• 無限次元におけるモーメントマップ理論を、有限次元のキルワン型問題による近似で用いる。
• 等長的微分形式と水平.liftを用いて、関連バンドル上の曲率形式の積分により下界を導出する。
• 線束コホモロジーの漸近的解析を通じてTr(Aₖ^r)の漸近挙動を分析し、N_p = ||h - ĥ||_{L^p(|X₀|)}を導出する。

実験結果

リサーチクエスチョン

• RQ1 曲率関数へのフィルトレーションとの関係を示すアティヤ・ボット不等式が、ケーラー幾何学におけるカルビ関数へと拡張可能か？
• RQ2 テスト配置から導かれる数値的不変量が、カルビ関数の鋭い下界を提供するか？
• RQ3 定曲率ケーラー計量の存在がK-安定性を意味するか。そして、有限次元近似を用いてこの事実を証明可能か？
• RQ4 L²ノルムのカルビ関数に対する下界が、線束コホモロジーの漸近的解析を用いてL^pノルムへ一般化可能か？
• RQ5 トレースなしスカラー曲率のL^pノルムと、テスト配置の中心特異点におけるハミルトニアン関数のL^pノルムとの正確な関係は何か？

主な発見

• スカラー曲率S(ω)のL²ノルムの下界inf_ω ||S(ω)||_{L²}は、すべてのテスト配置𝒳におけるΨ(𝒳)の上界sup_𝒳 Ψ(𝒳)によって下から抑えられる。
• XがK-安定でない場合に限り、Ψ(𝒳)はトポロジカルな下界（平均スカラー曲率を含む）を厳密に上回る。
• K-安定性が定曲率ケーラー計量の存在に必要であるという事実の、新たな簡略化された導出が得られた。
• 不変量Ψ(𝒳)が中心特異点|X₀|上でのトレースなしハミルトニアン関数h - ĥのL²ノルムに等しいことが示され、L^pノルムへの一般化がなされた。
• Tr(Aₖ^r)の漸近的解析により、N_p(𝒳) = ||h - ĥ||_{L^p(|X₀|)}が得られ、すべてのp ≥ 1に一般化された。
• inf_ω ||S(ω)||_{L²} = sup_𝒳 Ψ(𝒳)の等号が予想され、安定性と定曲率計量の存在との間の深い関係が示唆される。