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

Bohui Chen, An-Min Li+1 more|arXiv (Cornell University)|Aug 16, 2010

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

ひとこと要約

本稿では、一様 $K$-安定性の仮定の下で、Delzant多面体上に指定されたスカラー曲率 $K$ を持つコンパクトなトーリック表面における滑らかな極値Kähler計量の存在を確立する。Abreu方程式を解析するための高度な実および複素アフィン技法を用いて、弱解の境界における正則性を証明し、連続性法と境界推定を用いてトーリック設定における極値計量の存在問題を解決する。

ABSTRACT

In this paper, we study the Abreu equation on toric surfaces. In particular, we prove the existence of the positive extremal metric when relative $K$-stability is assumed.

研究の動機と目的

• コンパクトなトーリック表面における指定されたスカラー曲率 $K$ を持つ滑らかな $T^2$-不変Kähler計量の存在を確立すること。
• Abreu方程式の弱解の正則性理論を、Delzant多面体の境界（辺および頂点を含む）まで拡張すること。
• 一様 $K$-安定性が極値計量の存在を示すことを確認し、トーリックKähler幾何における重要な予想を検証すること。

提案手法

• 著者たちは、Delzant多面体上での実Monge-Ampère型方程式としてのAbreu方程式を用い、複素極値計量問題を凸領域上の実偏微分方程式に還元する。
• 連続性法を用い、既知の解から出発してスカラー曲率関数を目標の $K$ へ変形する。これには事前推定に依存する。
• 実および複素アフィン技法を用いて、境界付近における計量ポテンシャルの振る舞いを制御し、リッチ曲率 $\mathcal{K}$ およびヘッセ行列の行列式 $H$ の推定を行う。
• 境界正則性は重み付き下調和関数およびバリア構成を用いて証明され、特に $P + Q + \mathcal{C}_7 f$ の関数を用いて曲率およびヘッセ行列の上限を制御する。
• Bernstein型性質、収束定理、およびポテンシャルの差に対する $L^\infty$ 界を用いて、内部および境界推定を導出する。
• ブートストラップ法を適用して $C^{6,\alpha}$ 正則性を $C^\infty$ 滑らかさへ高める。これにより、解が多面体の閉包上で実解析的であることが保証される。

実験結果

リサーチクエスチョン

• RQ1 Delzant多面体上で一様 $K$-安定性が、対応するトーリック表面における指定されたスカラー曲率 $K$ を持つ滑らかな極値計量の存在を示すか？
• RQ2 Abreu方程式の弱解の正則性を、辺および頂点を含むDelzant多面体の境界まで拡張できるか？
• RQ3 特に複素アフィン技法を用いることで、多面体の境界付近における曲率およびヘッセ行列の振る舞いをどのように制御できるか？
• RQ4 一般の滑らかで辺上で消えないスカラー曲率関数に対して、Abreu方程式を解くために連続性法が有効であるか？
• RQ5 一様安定性のもとで、Abreu方程式の $T^2$-不変解が境界まで $C^\infty$ に滑らかに拡張可能か？

主な発見

• 本稿では、$(\Delta, K)$ が一様安定であるならば、トーリック表面 $M$ 上にスカラー曲率 $K$ を持つ滑らかな $T^2$-不変計量が存在することを証明し、定理1.1を確立する。
• 連続性法および正則性推定に不可欠な、ポテンシャル関数のヘッセ行列の行列式に対する一様下界および上界を導出する。
• 辺付近では、リッチ曲率 $\mathcal{K}$ が解列に依存しない定数 $C_2$ で一様に上界を持つことが保証され、曲率の制御が可能になる。
• 頂点付近では、重み付き下調和関数 $P$、$Q$、および $f$ を用いることで、ヘッセ行列の固有値に対する一様界が得られ、$C^{6,\alpha}$ 正則性が得られる。
• ブートストラップ法を用いて境界まで $C^\infty$ 正則性が示され、極値計量の滑らかさが確認される。
• 系として、$K > 0$ の場合における相対的 $K$-多様的安定性が滑らかな極値計量の存在を示すことが確認され、正のスカラー曲率の場合の予想が裏付けられる。