[论文解读] Einstein metrics and GIT stability

Akito Futaki, Hajime Ono|ArXiv.org|Nov 1, 2008

Geometry and complex manifolds参考文献 43被引用 6

一句话总结

本文建立了紧致凯勒与桑索尼流形上爱因斯坦度量与几何不变量理论（GIT）稳定性之间的深层联系，尤其通过矩映射与标量曲率的框架。研究证明，常标量曲率凯勒（cscK）度量与极值凯勒度量比凯勒-爱因斯坦度量更直接地与GIT稳定性相关，并将这些思想扩展至桑索尼几何，表明在非正则情形下，桑索尼-爱因斯坦度量的存在性由渐近分析条件所决定，而非代数稳定性。

ABSTRACT

In this expository article we review the problem of finding Einstein metrics on compact Kähler manifolds and Sasaki manifolds. In the former half of this article we see that, in the Kähler case, the problem fits better with the notion of stability in Geometric Invariant Theory if we extend the problem to that of finding extremal Kähler metrics or constant scalar curvature Kähler (cscK) metrics. In the latter half of this paper we see that most of ideas in Kähler geometry extend to Sasaki geometry as transverse Kähler geometry. We also summarize recent results about the existence of toric Sasaki-Einstein metrics.

研究动机与目标

• 阐明紧致凯勒流形上爱因斯坦度量的存在性与GIT稳定性之间的关系，特别是在第一陈类为正的情形下。
• 表明常标量曲率凯勒（cscK）度量与极值凯勒度量比凯勒-爱因斯坦度量更自然地与GIT稳定性相联系。
• 将凯勒几何中的矩映射框架扩展至桑索尼几何，将桑索尼流形视为横截凯勒流形。
• 利用伯格曼核与谱不变量的渐近性质，分析环面型桑索尼-爱因斯坦度量的存在性。
• 探究在非正则情形下，桑索尼-爱因斯坦度量的存在性是否等价于渐近分析条件，而非代数稳定性。

提出的方法

• 利用GIT稳定性的矩映射图像，表明标量曲率是辛同胚群在凯勒度量空间上作用的矩映射。
• 应用富士基与唐纳森的矩映射框架，证明cscK度量是矩映射零点，从而直接与GIT稳定性关联。
• 将马茨什马与福塔基特征障碍推广至cscK度量与更高陈形式，利用矩映射结构。
• 通过锥的横截凯勒结构分析桑索尼-爱因斯坦度量，利用Reeb向量场与横截标量曲率。
• 在锥上使用伯格曼核（Szegö核）研究渐近谱性质，特别是第一正特征值与体积不变量。
• 利用李希诺维奇与比尔吉德定理推导显式障碍：λ₁ ≥ 1 与 Vol ≤ γ_{2m+1}，应用于C^{m+2}中的齐次超曲面。

实验结果

研究问题

• RQ1 常标量曲率凯勒度量的存在性在凯勒几何中如何与GIT稳定性关联？
• RQ2 矩映射框架能否解释为何cscK度量比凯勒-爱因斯坦度量更自然地与GIT稳定性相关？
• RQ3 凯勒几何中的稳定性障碍在多大程度上可推广至桑索尼几何，特别是在横截凯勒设定下？
• RQ4 控制桑索尼-爱因斯坦度量存在的分析条件是什么，特别是在非正则情形下？
• RQ5 桑索尼-爱因斯坦度量的存在性是否等价于伯格曼核上的渐近分析条件，而非代数稳定性？

主要发现

• 在法诺流形上存在凯勒-爱因斯坦度量意味着K-稳定性，如田刚所证明，且这等价于Mabuchi K-能量泛函的正则性。
• 标量曲率是辛同胚群在凯勒度量空间上作用的矩映射，使得cscK度量成为该映射的自然零点，从而直接与GIT稳定性关联。
• cscK度量的障碍包括福塔基特征非零与全纯向量场代数非可约性，扩展了马茨什马定理。
• 对于桑索尼-爱因斯坦度量，李希诺维奇障碍要求第一正特征值λ₁ ≥ 1，而比尔吉德障碍要求体积Vol ≤ γ_{2m+1}。
• 对齐次超曲面导出显式障碍：对于F = z₀² + z₁² + z₂² + z₃ᵏ = 0且k > 4，条件∑1/aⱼ > 1不成立，因此不存在里奇平坦的凯勒锥度量。
• 在非正则情形下，本文表明桑索尼-爱因斯坦度量由伯格曼核上的渐近分析条件所决定，而非代数稳定性，表明其与凯勒情形存在根本差异。