[论文解读] A Brunn-Minkowski type inequality for Fano manifolds and the Bando-Mabuchi uniqueness theorem

Bo Berndtsson|arXiv (Cornell University)|Mar 4, 2011

Geometry and complex manifolds参考文献 13被引用 64

一句话总结

本文通过证明在 −K_X 上正曲率度量空间中，沿有界测地线，体积泛函 ∫_X e^{-φ} 的对数是凹的，从而为法诺流形建立了类似Brunn-Minkowski的不等式，且严格凹性仅在测地线源自全纯向量场流时不成立。作为推论，该结果为Kähler-Einstein度量的Bando-Mabuchi唯一性定理提供了简化证明，并在较弱的曲率假设下将结果推广至扭曲Kähler-Einstein度量。

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 continuous 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 consequences we get a simplified proof of the Bando-Mabuchi uniqueness theorem for Kähler - Einstein metrics and a generalization of this theorem to 'twisted' Kähler-Einstein metrics.

研究动机与目标

• 通过 −K_X 上度量的对数体积泛函，为法诺流形建立类似Brunn-Minkowski的不等式。
• 证明在 −K_X 上正曲率度量空间中，对数体积沿有界测地线是凹的，且仅当测地线源自全纯向量场流时为严格凹。
• 将此凹性结果应用于简化证明法诺流形上Kähler-Einstein度量的Bando-Mabuchi唯一性定理。
• 将唯一性结果推广至曲率假设弱于法诺流形的流形上的扭曲Kähler-Einstein度量。
• 探讨在何种几何与上同调条件下，Kähler-Einstein度量在自同构意义下唯一或绝对唯一。

提出的方法

• 使用法诺流形 X 上反canonical线丛 −K_X 上度量 φ 的体积泛函 ∫_X e^{-φ}。
• 应用Chen定理，证明在 ℂ 中带状区域上，齐次Monge-Ampère方程 (i∂∂̄φ)^{n+1} = 0 存在有界测地线解。
• 通过 L^2-度量和曲率公式 c(φ) = ∂²φ/∂t∂t̄ − |∂̄(∂φ/∂t)|²_{i∂∂̄_X φ}，分析线丛 E = H^0(X, K_X + L)（其中 L = −K_X）的曲率。
• 通过曲率正性证明 F(t) = −log∫_X e^{-φ_t} 的次调和性，当 φ_t 与 Im(t) 无关时导出凸性。
• 通过 ∂̄-闭 (n−1,0)-形式与 ∂̄-Laplacian 的复梯度构造，将曲率与全纯向量场的存在性联系起来。
• 应用上同调消去条件 H^1(X, K_X + L) = 0 与非零性 H^0(X, K_X + L) ≠ 0，推导出扭曲Kähler-Einstein方程解的唯一性。

实验结果

研究问题

• RQ1 在法诺流形上，对数体积泛函在 −K_X 上正曲率度量空间的测地线上是否为凹函数？
• RQ2 在何种条件下该凹性为严格凹？这对其测地线的几何性质有何含义？
• RQ3 该凹性结果能否用于简化或重新证明Bando-Mabuchi关于Kähler-Einstein度量的唯一性定理？
• RQ4 该唯一性结果在何种程度上可推广至非法诺流形上的扭曲Kähler-Einstein度量？
• RQ5 何种上同调或几何条件可确保扭曲Kähler-Einstein方程解的绝对唯一性（模恒等自同构）？

主要发现

• 在 −K_X 上正曲率度量空间中，体积 ∫_X e^{-φ_t} 的对数沿有界测地线是凹的。
• 该凹性严格成立，除非测地线源自 X 上全纯向量场的流。
• 该凹性结果为法诺流形上Kähler-Einstein度量的Bando-Mabuchi唯一性定理提供了简化证明。
• 当扭曲形式 θ 由具有简单法向交叉的klt除子 Δ 表示时，唯一性结果可推广至扭曲Kähler-Einstein度量。
• 在上同调条件 H^1(X, K_X + mS) = 0 与 H^0(X, K_X + mS) ≠ 0 对某个 m 成立时，若 θ > 0，则扭曲Kähler-Einstein方程的解在恒等自同构下唯一。
• 通过条件 V⌋∂∂̄φ = 0，给出了全纯向量场的新刻画，该条件在适当的上同调消去下蕴含 V = 0。