[论文解读] 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

一句话总结

本文建立了关于球面上线丛上Toeplitz算子和扭曲$\bar{\partial}$-拉普拉斯算子行列式的精确不等式，推广了Moser-Trudinger-Onofri不等式。通过在正曲率Hermitian度量空间上定义一个非局部泛函，作者证明了行列式在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.

研究动机与目标

• 建立球面上线丛上Toeplitz算子与扭曲$\bar{\partial}$-拉普拉斯算子行列式的精确不等式。
• 解决Gillet-Soulé与Fang关于线丛上$\bar{\partial}$-拉普拉斯算子行列式上界的猜想。
• 将Moser-Trudinger-Onofri不等式推广至正线丛上Hermitian度量的设定。
• 为Kähler几何中的经典结果提供新证明，包括Mabuchi的$K$-能量下界估计以及Kähler-Einstein度量的唯一性。

提出的方法

• 作者在正曲率Hermitian度量空间上定义了一个非局部泛函，其灵感源自Berndtsson对Donaldson的$L$-泛函的伴随构造。
• 他们利用$\bar{\partial}$-方程的Hörmander-Kodaira $L^2$-估计，证明该泛函在度量空间的测地线方向上是凸的。
• 证明依赖于该泛函导数的Bergman核表示，通过迹恒等式将其与Toeplitz算子联系起来。
• 该泛函的凸性意味着极值点对应于临界点，且在$SU(2)$-对称情形下，这些临界点被证明为Fubini-Study度量。
• 该方法利用Bochner-Kodaira-Nakano恒等式，并指出在$L^2$-估计中等式成立当且仅当存在全纯向量场，从而导出自同构不变性。
• 关键技术步骤是将泛函的二阶导数用Toeplitz算子差的迹表示：$\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的猜想是否成立：即在$SU(2)$-对称条件下，当且仅当$u$为常数时，行列式达到上界？
• RQ3 Moser-Trudinger-Onofri不等式能否推广至正线丛上Hermitian度量的设定？
• RQ4 在正曲率度量空间上，该非局部泛函的极值点的几何与解析特征是什么？
• RQ5 该泛函的凸性与Kähler-Einstein度量的唯一性及$K$-能量泛函有何关联？

主要发现

• $\mathbb{P}^1$上$\mathcal{O}(m)$上的$\bar{\partial}$-拉普拉斯算子的行列式有上界，且上确界在Fubini-Study度量下精确达到。
• Fang的猜想得到证实：在$SU(2)$-对称条件下，行列式达到最大值当且仅当$u$为常数。
• Moser-Trudinger-Onofri不等式被推广至正线丛上Hermitian度量空间上的泛函，且在Fubini-Study度量处取等。
• 证明了泛函$\mathcal{L}_{\omega_0}(u_t)$的二阶导数非负，从而证明其凸性，且等号成立当且仅当对应向量场为全纯向量场。
• 该证明给出了Fano流形上Kähler-Einstein度量唯一性的新证明，以及Mabuchi的$K$-能量的下界估计。
• 该泛函的极值点对应于广义Ding-Tian泛函的临界点，从而将其与Kähler-Einstein几何联系起来。