[论文解读] Sasakian Geometry: The Recent Work of Krzysztof Galicki

Charles P. Boyer|ArXiv.org|Jun 2, 2008

Geometric Analysis and Curvature Flows参考文献 54被引用 12

一句话总结

本文综述并整合了克日什托夫·加利茨基在Sasakian几何领域的开创性工作，重点涵盖Sasaki-Einstein度量、孤立奇点的链接、低维例子（尤其是3、5和7维），以及toric Sasaki-Einstein结构。通过使用moment cone和Futaki-Ono-Wang存在性定理，建立了一个分类框架，证明了接触丛的一阶陈类为零的toric接触流形均允许存在Sasaki-Einstein度量。

ABSTRACT

This is a mainly expository article honoring my recently deceased friend and collaborator Krzysztof Galicki who died after a tragic hiking accident. I give a review of our recent work in Sasakian geometry. A few new results are also presented.

研究动机与目标

• 为纪念克日什托夫·加利茨基于2007年去世前在Sasakian几何领域的最后贡献，对其工作进行总结。
• 提供Sasakian几何关键成果的统一概述，尤其聚焦于Sasaki-Einstein度量及其拓扑与几何意义。
• 扩展并形式化关于toric Sasaki-Einstein结构的持续研究，特别是通过moment cone和Futaki-Ono-Wang存在性定理的视角。
• 强调孤立超曲面奇点的链接在构造Sasaki-Einstein流形中的作用，特别是在5维和7维情形。
• 通过代数与辛约化技术，为分类toric Sasaki-Einstein结构提供基础。

提出的方法

• 利用Sasakian几何与Kähler几何之间的关系，通过锥构造实现，其中Sasaki流形是Kähler锥的链接。
• 对复向量空间上的环面作用应用moment map形式化，以定义moment cone并分类toric Sasakian结构。
• 利用Futaki-Ono-Wang定理，证明当接触丛的一阶陈类为零时，toric接触流形上存在Sasaki-Einstein度量。
• 在moment cone上使用Monge-Ampère方程，求解toric设定下的极值度量与Sasaki-Einstein度量。
• 应用辛约化与Sasakian约化，将紧致Sasaki-Einstein流形构造为具有toric Kähler轨道流形的圆丛。
• 利用toric接触流形的Delzant型定理，通过整数权矩阵与moment map条件对Sasaki-Einstein结构进行分类。

实验结果

研究问题

• RQ1 在何种条件下，toric接触流形会允许存在Sasaki-Einstein度量？
• RQ2 由加权齐次多项式产生的孤立超曲面奇点的链接如何生成Sasaki-Einstein结构？
• RQ3 5维与7维Sasaki-Einstein流形的拓扑分类是什么，特别是不规则情形？
• RQ4 Sasaki-Ricci孤立子与Sasaki-Einstein度量能否共存于同一toric接触流形上？
• RQ5 moment cone与Kähler商构造在分类toric Sasaki-Einstein结构中起到何种作用？

主要发现

• 当接触丛的一阶陈类为零时，toric接触流形上存在Sasaki-Einstein度量，这由Futaki-Ono-Wang存在性定理保证。
• 加权齐次超曲面奇点的链接可以是Sasaki-Einstein流形，特别是当其对应的Kähler锥具有Ricci平坦的横截Kähler结构时。
• 在5维情形，$ S^2 \times S^3 $ 上的Sasaki-Einstein结构源于$ n=4, k=1 $ 的toric构造，首次给出了不规则Sasaki-Einstein流形的例子。
• 当权矩阵 $ \Omega $ 的所有 $ k \times k $ 子式非零，且对所有 $ i $ 满足 $ \sum_{\alpha} a^{i}_{\alpha} = 0 $ 时，锥 $ C(Y(\theta)) $ 的底是toric轨道流形，确保 $ c_1({\mathcal{D}}) = 0 $。
• 投影约化 $ \mathcal{Z}(\Omega) = X(\Omega)/\mathbb{C}^* $ 是一个toric Kähler轨道流形，Sasaki结构的横截几何由该底空间决定。
• 在 $ \mathbb{C}\mathbb{P}^{n+1} \# \overline{\mathbb{C}\mathbb{P}^{n+1}} $ 上，展示了同一toric接触流形上存在两个不同的Sasaki-Ricci孤立子——一个为Sasaki-Einstein，另一个非Einstein——表明孤立子结构并非唯一。