[论文解读] A Brunn-Minkowski type inequality for Fano manifolds and some uniqueness theorems in Kähler geometry

Bo Berndtsson|arXiv (Cornell University)|Mar 20, 2013

Geometry and complex manifolds参考文献 24被引用 10

一句话总结

该论文通过证明在反canonical线丛上正曲率度量空间的测地线中，体积泛函的对数是严格拟凹的，从而建立了Fano流形上的严格Brunn-Minkowski型不等式，除非该测地线由全纯向量场生成。该结果给出了Kähler-Einstein度量Bando-Mabuchi唯一性定理的简化证明，并推广至扭曲Kähler-Einstein度量和Kähler-Ricci孤立子，应用于Kähler几何中的唯一性和刚性问题。

ABSTRACT

For $ϕ$ a metric on the anticanonical bundle, $-K_X$, of a Fano manifold $X$ we consider the volume of $X$ $$ \int_X e^{-ϕ}. $$ We prove that the logarithm of the volume is concave along bounded geodesics in the space of positively curved metrics on $-K_X$ and that the concavity is strict unless the geodesic comes from the flow of a holomorphic vector field on $X$. As a consequence we get a simplified proof of the Bando-Mabuchi uniqueness theorem for Kähler - Einstein metrics. A generalization of this theorem to 'twisted' Kähler-Einstein metrics and some classes of manifolds that satisfy weaker hypotheses than being Fano is also given. We moreover discuss a generalization of the main result to other bundles than $-K_X$, and finally use the same method to give a new proof of the theorem of Tian and Zhu of uniqueness of Kähler-Ricci solitons. This is an expanded version of an earlier preprint, "A Brunn-Minkowski type inequality for Fano manifolds and the Bando-Mabuchi uniqueness theorem", arXiv:1103.0923

研究动机与目标

• 通过分析反canonical线丛上正曲率度量空间中测地线的对数体积泛函的拟凹性，建立Fano流形上的严格Brunn-Minkowski型不等式。
• 通过证明严格拟凹性在测地线由全纯向量场生成时例外，给出Kähler-Einstein度量Bando-Mabuchi唯一性定理的简化证明。
• 将唯一性结果推广至扭曲Kähler-Einstein度量以及满足弱于Fano条件的流形，扩展该方法的适用范围。
• 将主不等式推广至反canonical线丛以外的其他线丛，拓宽几何与分析技术的适用范围。
• 将相同方法应用于Kähler-Ricci孤立子的Tian-Zhu唯一性定理，给出新证明，证明在紧致自守群假设下唯一性成立。

提出的方法

• 使用反canonical线丛上度量 $ \phi_t $ 的体积泛函 $ \mathcal{F}(t) = -\log \int_X e^{-\phi_t} $，证明其在测地线变化下为次次调和且凸性成立。
• 应用Chen定理，即使在缺乏完全光滑性时，也证明了具有有界混合导数的广义测地线的存在性。
• 通过曲率估计和 $ \partial \phi / \partial t $ 的 $ L^2 $-范数的分部积分，证明对数体积严格拟凹，除非测地线由全纯向量场生成。
• 采用Hörmander的 $ L^2 $-方法以及涉及 $ c(\phi) = \frac{\partial^2 \phi}{\partial t \partial \bar{t}} - |\bar{\partial} \frac{\partial \phi}{\partial t}|^2_{i\partial\bar{\partial}_X \phi} $ 的曲率公式，将测地线表征为 $ c(\phi) = 0 $ 的解。
• 对全纯向量场 $ V $ 使用泛函 $ f(V) = \int_X e^{h^\phi_V} (i\partial\bar{\partial}\phi)^n $，证明在 $ K $-不变性下其为严格凸，从而推出临界点的唯一性。
• 通过分部积分和与全纯向量场的收缩性质，推导曲率恒等式，并在对称性假设下证明导数为零。

实验结果

研究问题

• RQ1 在什么条件下，反canonical线丛上正曲率度量空间中测地线的对数体积泛函是严格拟凹的？
• RQ2 Brunn-Minkowski型不等式的等号成立条件是什么？它对基础几何结构有何含义？
• RQ3 严格拟凹性结果能否用于简化或重新证明Kähler-Einstein度量的Bando-Mabuchi唯一性定理？
• RQ4 Kähler-Einstein度量的唯一性结果在多大程度上可推广至扭曲Kähler-Einstein度量或非Fano流形？
• RQ5 该方法能否扩展以证明Kähler-Ricci孤立子的唯一性？自守群在此过程中起什么作用？

主要发现

• 在反canonical线丛上正曲率度量空间的测地线中，体积泛函 $ \mathcal{F}(t) = -\log \int_X e^{-\phi_t} $ 的对数是严格拟凹的，除非该测地线由全纯向量场生成。
• 当测地线由全纯向量场生成时，拟凹性不等式的等号成立，即使在测地线的正则性较低时也成立。
• 作为严格拟凹性结果的直接推论，得到了Kähler-Einstein度量Bando-Mabuchi唯一性定理的简化证明。
• 唯一性结果可推广至扭曲Kähler-Einstein度量，以及满足弱于Fano条件的流形，前提是反canonical线丛具有半正曲率。
• 该方法推广至反canonical线丛以外的其他线丛，表明在适当的曲率条件下，相同的拟凹性原理依然成立。
• 通过证明在 $ K $-不变性下泛函 $ f(V) = \int_X e^{h^\phi_V} (i\partial\bar{\partial}\phi)^n $ 为严格凸，建立了Kähler-Ricci孤立子Tian-Zhu唯一性定理的新证明，从而推出至多存在一个临界点。