[論文レビュー] Analytic torsion, vortices and positive Ricci curvature

Robert J. Berman|arXiv (Cornell University)|Jun 15, 2010

Geometry and complex manifolds参考文献 50被引用数 19

ひとこと要約

本稿は、ケーラー多様体上の豊富な線分束の正曲率計量上での非局所的汎関数の最大化者を特徴づける一般化された変分原理を確立し、フビニ＝スティューディー計量が大域的最適解であることを証明する。Fano多様体の解析的 torsion に関する予想、トーラス上のチェーン＝シモンズ＝ヒッグスボルテックスに関する予想、およびモーザー＝トゥルデルガー不等式に関する予想を解決し、曲率とスペクトル解析を用いてケーラー＝アインシュタイン計量の一意性およびマブーチエネルギーの下界に関する新たな証明を提供する。

ABSTRACT

We characterize the global maximizers of a certain non-local functional defined on the space of all positively curved metrics on an ample line bundle L over a Kahler manifold X. This functional is an adjoint version, introduced by Berndtsson, of Donaldson's L-functional and generalizes the Ding-Tian functional whose critical points are Kahler-Einstein metrics of positive Ricci curvature. Applications to (1) analytic torsions on Fano manifolds (2) Chern-Simons-Higgs vortices on tori and (3) Kahler geometry are given. In particular, proofs of conjectures of (1) Gillet-Soulé and Fang (concerning the regularized determinant of Dolbeault Laplacians on the two-sphere) (2) Tarantello and (3) Aubin (concerning Moser-Trudinger type inequalities) in these three settings are obtained. New proofs of some results in Kahler geometry are also obtained, including a lower bound on Mabuchi's K-energy and the uniqueness result for Kahler-Einstein metrics on Fano manifolds of Bando-Mabuchi. This paper is a substantially extended version of the preprint arXiv:0905.4263 which it supersedes.

研究の動機と目的

• ケーラー多様体上での豊富な線分束の正曲率計量上での非局所的汎関数の大域的最大化者を特徴づけること。
• 2次元球面上でのドルベオー・ラプラシアンの正則化された行列式に関するギレット＝ソールーおよびファーングの予想を解決すること。
• ケーラー幾何学およびトーラス上のボルテックス解の文脈において、新しい鋭いモーザー＝トゥルデルガー型不等式を証明すること。
• ファノ多様体上のマブーチのKエネルギーに下界を確立し、ファノ多様体上でのケーラー＝アインシュタイン計量の一意性の新たな証明を提供すること。

提案手法

• ケーラー多様体 $(X, \omega_0)$ 上の豊富な線分束 $L$ の正曲率ヘルメート計量上で定義された、ドナルドソンの $L$-汎関数の随伴版である関数 $\varphi_{\omega_0}$ を用いる。
• 測地線計算と関数解析を用いて臨界点を導出し、曲率と $L^2$-推定を用いて最大化者を特徴づける。
• ホルンダー＝コーダイラの恒等式と $\bar{\partial}$-コホロロジーを用いて、非同次 $\bar{\partial}$-方程式の解の正則性と一意性を確立する。
• 曲率形式によって定義される重み付き $L^2$-空間におけるシュワルツの不等式を用いて、$D^{1,0}f^{0,0}$ のノルムに対する鋭い推定を導出する。
• 曲率形式 $i\partial\bar{\partial}\psi$ を通じて、$\Omega^{0,0}(X,L)$ と $\Omega^{1,1}(X,L)$ の間のユニタリ写像 $*$ を導入し、ノルムの比較を可能にする。
• ゼータ正則化行列式とスペクトル理論を用いて、この汎関数が $S^2$ 上の解析的 torsion および行列式汎関数と関係することを示す。

実験結果

リサーチクエスチョン

• RQ1 ケーラー多様体上の豊富な線分束の正曲率計量上での非局所的汎関数 $\mathcal{F}_{\omega_0}$ の大域的最大化者とは何か？
• RQ2 ファーングの予想は、$S^2$ 上の $\mathcal{O}(m)$ 上でフビニ＝スティューディー計量がドルベオー・ラプラシアンの行列式を最大化するという主張であるが、これは正しいか？
• RQ3 モーザー＝トゥルデルガー＝オノフリ不等式は、曲率汎関数上の変分原理の帰結として得られるか？
• RQ4 ファノ多様体上の解析的 torsion と、$\bar{\partial}$-コホロロジーの文脈における勾配の $L^2$-ノルムとの関係は何か？
• RQ5 大規模なテンソル冪極限において、計量の曲率が行列式汎関数の極値性にどのように影響するか？

主な発見

• 球面 $S^2$ 上の $\mathcal{O}(m)$ 上のフビニ＝スティューディー計量が、ドルベオー・ラプラシアンの正則化行列式を最大化することを確認し、ファーングの予想を裏付けた。
• 対数行列式比に対する鋭い上界を確立した：$\log(\det\Delta_{\bar{\partial}_u}/\det\Delta_{\bar{\partial}_0}) \leq -\frac{1}{2(m+2)}\int du \wedge d^c u \leq 0$ であり、等号成立は計量がフビニ＝スティューディー計量である場合に限る。
• モーザー＝トゥルデルガー＝オノフリ不等式は、主な変分不等式の特別な場合として再現された。
• 本稿では、ファノ多様体上のマブーチの $K$-エネルギーに下界を証明し、バンド＝マブーチの結果を拡張した。
• 関数の強い凸性と曲率制約を用いて、ファノ多様体上でのケーラー＝アインシュタイン計量の一意性の新たな証明を得た。
• 主要推定における等号成立の条件を特徴づけた：等号成立は $\bar{\partial}(\ast g) = 0$ であるとき、すなわち $g^{1,1} = h^{1,0} \wedge \bar{\partial}(\partial_t \psi_t)$ のときであり、極値性が曲率変動の正則性と関連していることが示された。