[论文解读] On the uniqueness of Sasaki-Einstein metrics

Ken'ichi Sekiya|ArXiv.org|Jun 15, 2009

Geometry and complex manifolds参考文献 7被引用 4

一句话总结

该论文证明了在不包含非平凡哈密顿全纯向量场的紧致Sasakian流形上，Sasaki-Einstein度量的唯一性。通过将Bando-Mabuchi的泛函方法推广至Sasakian几何，作者构造了横截Kähler泛函，并证明了Sasaki-Einstein条件导出的Monge-Ampère方程解的先验$C^0$-估计，从而得出结论：此类流形上任意两个Sasaki-Einstein度量必完全相同。

ABSTRACT

Let $S$ be a compact Sasakian manifold which does not admit non-trivial Hamiltonian holomorphic vector fields. If there exists an Einstein-Sasakian metric on $S$, then it is unique.

研究动机与目标

• 在不存在非平凡哈密顿全纯向量场的条件下，建立紧致Sasakian流形上Sasaki-Einstein度量的唯一性。
• 通过构造横截Kähler泛函，将Bando-Mabuchi的唯一性方法从Kähler几何推广至Sasakian几何。
• 证明由Sasaki-Einstein条件导出的横截Monge-Ampère方程解的先验$C^0$-估计。
• 证明在给定几何约束下，Monge-Ampère方程的解唯一，从而推出度量的唯一性。

提出的方法

• 在基本第一陈类为零的Sasakian结构空间上构造泛函$L$、$M$、$I$和$J$，其形式与Kähler几何中的对应泛函类似。
• 将Sasaki-Einstein问题约化为求解横截Monge-Ampère方程：$\frac{(d\eta + \sqrt{-1}\partial_B\bar{\partial}_B u)^m}{(d\eta)^m} = \exp(-(2m+2)u + h)$。
• 引入一维参数族的Sasakian结构$\{g_{u,\mu}\}$，通过缩放接触形式以确保里奇曲率一致有界。
• 利用Myers定理由缩放族控制直径与体积，结合Green函数估计，实现$C^0$-估计。
• 应用Ascoli-Arzelà定理证明解集的闭性，结合局部唯一性带来的开性，从而证明全局唯一性。
• 采用路径积分与振荡估计方法，控制$\|u_t\|_{C^{2,\varepsilon}}$，确保解的正则性与唯一性。

实验结果

研究问题

• RQ1 在何种条件下，紧致Sasakian流形上的Sasaki-Einstein度量是唯一的？
• RQ2 Bando-Mabuchi的Kähler-Einstein度量唯一性方法能否推广至Sasakian几何设定？
• RQ3 当里奇曲率不以下方有正下界时，如何建立横截Monge-Ampère方程解的$C^0$-估计？
• RQ4 非平凡哈密顿全纯向量场的缺失在度量唯一性中起何作用？
• RQ5 该唯一性结果能否推广至更广泛的横截Kähler几何类，如3-Sasakian流形？

主要发现

• 在不包含非平凡哈密顿全纯向量场的紧致Sasakian流形上，Sasaki-Einstein度量是唯一的。
• 横截Monge-Ampère方程的解$u_t$满足$\|u_t\|_{C^{2,\varepsilon}} \leq C_7$，确保了解的正则性与唯一性。
• $u_t$的$C^0$-范数被$C_6$一致有界，该估计由函数$h$与泛函$L(0,u_t)$的振荡与点态估计导出。
• 初始解满足$L(0,u_0) = 0$，消除了常数项的歧义，确保在$t=0$时解唯一，且该唯一性可传递至$t=1$。
• 解集$I_1$在$[0,1]$上既是开集又是闭集，因此若在$t=1$存在解，则其唯一。
• 在$t=1$时Monge-Ampère方程解的唯一性意味着该流形上Sasaki-Einstein度量的唯一性。