[論文レビュー] Constant scalar curvature metrics on toric surfaces

Simon Donaldson|ArXiv.org|May 1, 2008

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

ひとこと要約

本稿では、Abreu方程式の解が存在することを示すために、関数 $ L_{A,\sigma} $ の正定性条件——非アフィンな凸関数の関数値が非正でないことを意味する——が、トーリック表面における定スカラー曲率ケーラー計量の存在に十分であることを証明することで、定スカラー曲率ケーラー計量の存在を確立している。主な貢献は、解に対する事前 $ C^\infty $ および $ M $-条件の推定であり、次元2における定スカラー曲率の存在予想を解決している。

ABSTRACT

This paper completes a programme to determine which toric surfaces admit Kahler metrics of constant scalar curvature/

研究の動機と目的

• トーリック表面における定スカラー曲率ケーラー計量の存在を証明し、先行研究からの予想を確認すること。
• 関数 $ L_{A,\sigma} $ の正定性条件下で、Abreu方程式の解に対する事前 $ L^\infty $ および $ C^\infty $ 推定を確立すること。
• 解が境界付近および頂点付近での導関数の成長を制御する $ M $-条件を満たすことを示すこと。
• 解の内部で有界でない状況とは対照的に、辺や頂点付近で曲率が無限大に発散するような爆発状況を除外すること。

提案手法

• 関数 $ L_{A,\sigma} $ に対する正定性仮定に依拠して、積分不等式と $ L^\infty $ 推定を用いて、解 $ u $ を関数 $ L_{A,\sigma} $ で有界化する。
• 辺および頂点付近での吹き出し解析を適用し、くぼみや尖りを有する明示的なモデル解と解を比較する。
• $ M $-条件を導入して、$ u $ の導関数の成長を制御し、境界に沿った正則性を保証する。
• 辺および頂点領域で背理法を用い、曲率が無限大に発散するならば、内部でも $ u $ が無限大に発散することを示す。
• 正規化された凸関数と定量的正定性条件 $ \int_{\partial P} f d\sigma \leq C L_{A,\sigma} f $ を用いて一様な有界性を導出する。
• くぼみや頂点付近でのモデル解の漸近的挙動を分析し、$ u $ が既に無限大に発散しない限り、曲率の発散は生じないことを示す。

実験結果

リサーチクエスチョン

• RQ1 トーリック表面におけるAbreu方程式に対して、関数 $ L_{A,\sigma} $ が解をもつための条件は何か？
• RQ2 すべての非アフィン凸関数 $ f $ に対して $ L_{A,\sigma}(f) > 0 $ である正定性条件が、解に対する一様な事前推定を導けるか？
• RQ3 スカラー曲率が定数であるとき、解の曲率および正則性は辺や頂点付近でどのように変化するか？
• RQ4 解 $ u $ が内部で無限大に発散しない限り、境界の辺や頂点付近で曲率が発散することは可能か？
• RQ5 くぼみや尖りを有するモデル解は、特異点付近での実際の解の挙動をどのように示唆するか？

主な発見

• トーリック表面における定スカラー曲率ケーラー計量の存在は、すべての非アフィン凸関数において $ L_{A,\sigma} $ が正であることに同値である。
• 正定性条件は、すべての正規化された凸関数 $ f $ に対して $ \int_{\partial P} f d\sigma \leq C L_{A,\sigma} f $ を満たす一様定数 $ C $ の存在に同値である。
• Abreu方程式の解は、導関数の成長を制御し、境界に沿った $ C^\infty $ 正則性を保証する事前 $ M $-条件を満たす。
• 辺や頂点付近での曲率の発散は、解 $ u $ が既に内部で無限大に発散している場合にのみ生じる。これは $ L^\infty $ 推定に反する。
• くぼみを有するモデル解（例：$ H_\epsilon \times S^2 $）は、直径が増大し、注入半径が減少するが、$ u $ が有界である限り曲率は有界に保たれることを示している。
• 本証明では、$ u $ が既に無限大に発散していない限り、明示的な特異解に基づく吹き出し極限を除外でき、これによりコンパクト性の議論が完全に完成する。