[论文解读] Analytic torsion, vortices and positive Ricci curvature

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

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

一句话总结

本文建立了一般变分原理，表征了在凯勒流形上丰沛线丛的正曲率度量上非局部泛函的极大化器，证明了富比尼-斯蒂迪度量是全局极大化器。该研究解决了关于法诺流形解析 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.

研究动机与目标

• 表征凯勒流形上丰沛线丛的正曲率度量上非局部泛函的全局极大化器。
• 解决吉勒特-苏莱与方关于球面上 Dolbeault 拉普拉斯算子正则化行列式之猜想。
• 在凯勒几何与环面上涡旋解的背景下，证明新的精确莫泽-特鲁迪杰型不等式。
• 建立马布奇 K-能量的下界，并通过曲率与谱分析，为法诺流形上凯勒爱因斯坦度量的唯一性提供新证明。

提出的方法

• 使用泛函 $φ_{\omega_0}$，即唐纳森 $L$-泛函的伴随形式，定义在凯勒流形 $(X, \omega_0)$ 上丰沛线丛 $L$ 的正曲率 Hermitian 度量上。
• 应用测地线微积分与泛函分析，推导临界点，并通过曲率与 $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)$ 之间的酉映射 $*$，实现范数比较。
• 应用 zeta-正则化行列式与谱理论，将泛函与 $S^2$ 上的解析 torsion 及行列式泛函关联。

实验结果

研究问题

• RQ1 在凯勒流形上丰沛线丛的正曲率度量上，非局部泛函 $\mathcal{F}_{\omega_0}$ 的全局极大化器是什么？
• RQ2 方的猜想是否成立：富比尼-斯蒂迪度量是否在 $S^2$ 上的 $\mathcal{O}(m)$ 上极大化 Dolbeault 拉普拉斯算子的行列式？
• RQ3 莫泽-特鲁迪杰-奥诺夫里不等式能否作为曲率泛函上变分原理的推论被导出？
• RQ4 在 $\bar{\partial}$-上同调背景下，法诺流形上的解析 torsion 与梯度的 $L^2$-范数之间有何关系？
• RQ5 在大张量幂极限下，度量的曲率如何影响行列式泛函的极值性？

主要发现

• 在 $S^2$ 上的 $\mathcal{O}(m)$ 上，富比尼-斯蒂迪度量极大化了 Dolbeault 拉普拉斯算子的正则化行列式，证实了方的猜想。
• 建立了对数行列式比的精确上界：$\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$，等号成立当且仅当度量为富比尼-斯蒂迪度量。
• 在 $S^2$ 上的莫泽-特鲁迪杰-奥诺夫里不等式作为主变分不等式的特例被重新获得。
• 本文证明了法诺流形上马布奇 $K$-能量的下界，扩展了坂田-马布奇的结果。
• 通过泛函的严格凸性与曲率约束，获得了法诺流形上凯勒爱因斯坦度量唯一性的新证明。
• 关键估计中的等号情形被表征：等号成立当且仅当 $\bar{\partial}(\ast g) = 0$，其中 $g^{1,1} = h^{1,0} \wedge \bar{\partial}(\partial_t \psi_t)$，将极值性与曲率变化的全纯性联系起来。