[論文レビュー] Sharp inequalities for determinants of Toeplitz operators and dbar-Laplacians on line bundles

Robert J. Berman|ArXiv.org|May 26, 2009

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

ひとこと要約

本稿は、2次元球面上のラインバンドル上のトーピリッツ作用素およびねじれ$\bar{\partial}$-ラプラシアンの行列式に関する鋭い不等式を確立し、モーザー＝トゥルデルガー＝オノフリ不等式を一般化する。正に曲率を持つヘルミート計量上の非局所的汎関数を用いて、著者たちは行列式がFubini-Study計量においてかつて唯一最大値をとることを証明し、Gillet-SouléおよびFangの$SU(2)$-不変な行列式点過程に関する予想を裏付ける。

ABSTRACT

We prove sharp inequalities for determinants of Toeplitz operators and twisted Laplace operators on the two-sphere, generalizing the Moser-Trudinger-Onofri inequality. In particular a sharp version of conjectures of Gillet-Soule and Fang motivated by Arakelov geometry is obtained; applications to SU(2)-invariant determinantal random point processes on the two-sphere are also discussed. The inequalities are obtained as corollaries of a general theorem about the maximizers of a certain non-local functional defined on the space of all positively curved Hermitian metrics on an ample line bundle over a compact complex manifold. 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. In particular, 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.

研究の動機と目的

• 2次元球面上のトーピリッツ作用素およびねじれ$\bar{\partial}$-ラプラシアンの行列式に関する鋭い不等式を確立すること。
• $S^2$上のラインバンドル上の$\bar{\partial}$-ラプラシアンの行列式に関する上界に関するGillet-SouléおよびFangの予想を解決すること。
• モーザー＝トゥルデルガー＝オノフリ不等式を、豊富なラインバンドル上のヘルミート計量の設定に一般化すること。
• ケーラー幾何学の古典的結果、特にMabuchiの$K$-エネルギーの下界およびケーラー＝アインシュタイン計量の一意性に関する新しい証明を提供すること。

提案手法

• 著者たちは、豊富なラインバンドル上の正の曲率を持つヘルミート計量の空間に、BerndtssonのDonaldsonの$L$-汎関数の随伴にインspiredされた非局所的汎関数を定義する。
• 彼らは、$\bar{\partial}$-方程式のホルンダー＝コダイラの$L^2$推定を用いて、計量空間内の測地線に沿ったこの汎関数の凸性を証明する。
• 証明は、この汎関数の微分のベルグマン核表現に依拠し、トレース恒等式を通じてトーピリッツ作用素と結びつける。
• この汎関数の凸性から、最大値をとる点が臨界点に一致することを示し、$SU(2)$-不変の場合にはそれがFubini-Study計量に一致することを示す。
• この手法は、ボッヘナー＝コダイラ＝ナカノ恒等式と、$L^2$推定における等号が成立する場合、正則ベクトル場が存在することを示す事実に依存し、自己同型不変性に繋がる。
• 鍵となる技術的ステップは、この汎関数の2階微分を、トーピリッツ作用素の差のトレースとして表すことである：$\operatorname{Tr}(T[\partial_t\partial_{\bar t}u_t] + (T[\partial_t u_t])^2 - T[(\partial_t u_t)^2])$。

実験結果

リサーチクエスチョン

• RQ1 複素射影直線$\mathbb{P}^1$上の$\mathcal{O}(m)$上のねじれ$\bar{\partial}$-ラプラシアンの行列式は、すべての滑らかな関数$u$に対して鋭い上界を持つのか？
• RQ2 Fangの予想によると、$u$が定数である場合にのみ行列式の上界が達成されるが、これは正しいか？
• RQ3 モーザー＝トゥルデルガー＝オノフリ不等式は、豊富なラインバンドル上のヘルミート計量の設定に一般化可能か？
• RQ4 正の曲率を持つ計量の空間上の非局所的汎関数の最大値をとる点の幾何学的・解析的特徴づけは何か？
• RQ5 この汎関数の凸性は、ケーラー＝アインシュタイン計量の一意性および$K$-エネルギー汎関数とどのように関係するか？

主な発見

• $\mathbb{P}^1$上の$\mathcal{O}(m)$上の$\bar{\partial}$-ラプラシアンの行列式は上界により有界であり、その上界はFubini-Study計量である場合にのみ達成される。
• Fangの予想が確認された：$SU(2)$-不変性のもとで、行列式が最大値をとるのは$u$が定数である場合に限る。
• モーザー＝トゥルデルガー＝オノフリ不等式は、豊富なラインバンドル上の正の曲率を持つヘルミート計量の空間への汎関数として一般化され、Fubini-Study計量で等号が成立する。
• 汎関数$\mathcal{L}_{\omega_0}(u_t)$の2階微分が非負であることが示され、凸性が証明され、等号が成立するのは関連するベクトル場が正則である場合に限る。
• 証明により、ファノ多様体上のケーラー＝アインシュタイン計量の一意性の新しい証明が得られるとともに、Mabuchiの$K$-エネルギーの下界が得られる。
• この汎関数の最大値をとる点は、一般化されたDing-Tian汎関数の臨界点に対応し、ケーラー＝アインシュタイン幾何学と結びつく。