[論文レビュー] Extremal metrics on toric surfaces, I

Simon Donaldson|ArXiv.org|Dec 5, 2006

Geometry and complex manifolds参考文献 7被引用数 8

ひとこと要約

本稿では、M条件を導入し、境界付近におけるアブーレ方程式の解の挙動を分析することで、トーリック表面における極値計量の事前推定を確立する。連続的変形法とラプラス変換を用い、ヘッセ行列式の行列式およびスカラー曲率に対して一様な有界性を示し、関数 $ L_{A,\rho} $ の正値性条件下で極値計量の存在を保証する。

ABSTRACT

The paper develops a continiuty method for solutions of the Abreu equation, which include extremal metrics on toric surfaces. Results are obtained, assuming a hypothesis (the "M-condition") on the solutions.

研究の動機と目的

• トーリック表面におけるアブーレ方程式の解について、既存の結果を内部から境界へと拡張して、事前推定を確立すること。
• 関数 $ L_{A,\rho}f \geq 0 $ がすべての凸関数 $ f $ に対して成り立つという正値性条件の十分性を検証し、トーリック4次元多様体上における極値ケーラー計量の存在を証明すること。
• 初期解 $ t=0 $ における既知の解から、目的のデータ $ (P_1, A_1, \sigma_1) $ へと至る連続的経路を構築し、正値性条件 $ (A_t, \sigma_t) \in \mathcal{C}(P_t) $ を保つこと。
• 多角形 $ P $、関数 $ A $、重み $ \sigma $ の微小な摂動に対しても解が存続することを示し、解空間の安定性を保証すること。
• 境界における曲率および計量の挙動を解析するため、$ F $ が境界で発散するように変更された関数 $ f = \log \det(u_{ij}) - \alpha |x|^2 + F(\nabla u) $ を導入すること。

提案手法

• M条件の導入：すべてのアフィン線形関数 $ f $ に対して $ L_{A,\sigma}f = \int_{\partial P} f d\sigma - \int_P A f d\mu = 0 $ が成り立つことにより、$ d\sigma $ と $ A d\mu $ の質量および重心が一致することを保証する。
• 汎関数 $ \mathcal{F}(f) = -\int_P \log \det(f_{ij}) + L_{A,\sigma}f $ を定義し、その最小化子がアブーレ方程式の解に対応することを示す。
• 連続的変形法を用い、$ t=0 $ で既知の解が存在するように、$ t=0 $ から $ t=1 $ への経路 $ (P_t, A_t, \sigma_t) $ を構築し、$ (A_t, \sigma_t) \in \mathcal{C}(P_t) $ を保つ。
• 関数 $ u $ からその凸共役 $ \phi $ へのラプラス変換を適用し、$ \det(\phi_{ij}) $（$ \det(u_{ij}) $ の逆数）の解析を行う。
• 境界で発散する関数 $ F(x) = -2\log(1 - |x|^2) $ を含むテスト関数 $ f = \log \det(u_{ij}) - \alpha |x|^2 + F(\nabla u) $ を導入し、特異性を制御する。
• ヘッセ構造と方程式 $ u^{ij}_{ij} = -A $ を用いて微分不等式を導出し、比較法により $ (1 - |x|^2)^2 \det(u_{ij}) \leq C $ の形の $ \det(u_{ij}) $ の有界性を得る。

実験結果

リサーチクエスチョン

• RQ1 関数 $ L_{A,\sigma}f \geq 0 $ がすべての凸関数 $ f $（$ L^1 $ 境界値を有する）に対して成り立つ場合、トーリック表面におけるアブーレ方程式の解の存在が保証されるか？
• RQ2 M条件と $ u $ の滑らかさが与えられたとき、多角形 $ P $ の境界付近における $ \det(u_{ij}) $ の一様な事前推定は可能か？
• RQ3 連続的変形法が、$ t=0 $ における既知の解から $ t=1 $ における目的のデータへと変形することで、正値性条件を保ちながら極値計量の存在を証明できるか？
• RQ4 境界で対数的発散を示す関数 $ f $ を用いることで、ヘッセ行列 $ u_{ij} $ の境界付近における挙動を制御できるか？
• RQ5 境界付近における $ (1 - |x|^2)^2 \det(u_{ij}) $ の鋭い有界性は何か？また、これは $ A $ とパrameter $ \alpha $ にどのように依存するか？

主な発見

• 関数 $ f $ の最小点において、$ (1 - |x|^2)^2 \det(u_{ij}) \leq C $ が成り立つことが示され、$ C = \max\left(\alpha^{-1}, \left(\frac{A^+ + \alpha c}{2\alpha}\right)^2\right) $ である。これにより、境界付近におけるヘッセ行列式の行列式の均一有界性が確立される。
• 領域 $ |x| \leq \frac{1}{4} $ において、$ \det(u_{ij}) \leq \left(\frac{16}{15}\right)^2 C e^{\alpha} $ が成り立つことが示され、単位円板内の固定コンパクト集合における定量的推定が得られる。
• ラプラス変換された関数 $ \phi $ に対して、不等式 $ \alpha g^{ab}\phi_{ab} \leq A^+ + \phi^{ab}F_{ab} - 2\alpha g^{ab}F_a\phi_b $ が導かれる。$ \alpha < 1/4 $ のとき、これは $ \det(\phi_{ij}) $ の有界性に導く。
• $ f = \log \det(u_{ij}) - \alpha |x|^2 + F(\nabla u) $ は下界 $ f \geq -\alpha - \log C $ を持つことが示され、$ F $ の境界での発散により $ \log \det(u_{ij}) $ が制御されることを示す。
• 解析により、$ (P, A, \sigma) $ の微小な摂動に対してもアブーレ方程式の解が存続することが確認され、連続的変形法の有効性が裏付けられる。
• 本稿では、関数 $ L_{A,\sigma}f \geq 0 $ がアブーレ方程式の解の存在に十分であることが示され、[7]における予想が滑らかな解の状況で完全に解決される。