[论文解读] A CR twistor space of a G2-manifold

Misha Verbitsky|arXiv (Cornell University)|Mar 16, 2010

Geometry and complex manifolds参考文献 14被引用 3

一句话总结

本文在G₂-流形的单位切球丛上构造了一个CR扭量空间，证明其CR-结构可积当且仅当该流形的全纯子群为G₂。此外，进一步建立G₂-瞬子丛与该扭量空间上CR-全纯丛之间的精确对应关系，通过扭量理论将G₂几何中的几何结构与复分析对象联系起来。

ABSTRACT

Let M be a G2-manifold. We consider an almost CR-structure on the sphere bundle of unit tangent vectors on M, called the CR twistor space. This CR-structure is integrable if and only if M is a holonomy G2 manifold. We interpret G2-instanton bundles as CR-holomorphic bundles on its twistor space.

研究动机与目标

• 在G₂-流形的单位切球丛上构造一个规范的CR-结构。
• 以底流形的全纯子群为条件，确定该CR-结构的可积性条件。
• 在G₂-瞬子丛与扭量空间上的CR-全纯丛之间建立对应关系。
• 将LeBrun在3-流形上的CR扭量构造推广至7维G₂-流形。

提出的方法

• 利用每根纤维正交补上由G₂-结构诱导的几乎复结构，在单位球丛$X = S^6TM$上定义CR-结构。
• 使用基本3-形式$\rho$及其Hodge对偶$*\rho$，在$X$的水平子丛上构造一个规范的$(3,0)$-形式$\Omega = \pi^*\rho + \sqrt{-1}(\pi^*\rho^*)\rfloor\theta$。
• 证明CR-结构$B^{1,0} \subset TX \otimes \mathbb{C}$是对合的，当且仅当$M$的曲率属于$\Lambda^2_{14} \otimes \mathfrak{g}_2$，这正是全纯子群为G₂的流形的特征。
• 通过证明$\text{Tot}(\Lambda^3M)$上的辛形式$\Xi$在水平子丛上的拉回为零，证明$d\Omega|_{T_{\text{hor}}X} = 0$。
• 利用Cartan公式和$\Omega$的非退化性，证明丛的$B^{0,1}$部分是对合的，因此CR-结构是可积的。
• 通过扭量空间结构的拉回，建立G₂-瞬子丛与CR-全纯丛之间的对应关系。

实验结果

研究问题

• RQ1 在G₂-流形的单位球丛上，其CR-结构在何种条件下可积？
• RQ2 G₂-流形的全纯子群类型如何影响其扭量空间上诱导的CR-结构的可积性？
• RQ3 G₂-瞬子丛能否通过自然扭量空间构造被表征为CR-全纯丛？
• RQ4 基本3-形式$\rho$及其Hodge对偶$*\rho$在定义扭量空间的CR几何中起什么作用？
• RQ5 全空间$X = S^6TM$的几何如何反映$M$上的基本G₂-结构？

主要发现

• 单位球丛$X = S^6TM$上的CR-结构可积当且仅当其底G₂-流形的全纯子群为$G_2$。
• 扭量空间$X$携带由$M$上的$G_2$-结构诱导的规范$SU(3)$-结构，其上存在一个非退化的$(3,0)$-形式$\Omega = \pi^*\rho + \sqrt{-1}(\pi^*\rho^*)\rfloor\theta$。
• $d\Omega$在$X$的水平子丛上为零，这对CR-结构的可积性至关重要。
• $B^{1,0}$的CR-结构是对合的，当且仅当$M$的曲率属于$\Lambda^2_{14} \otimes \mathfrak{g}_2$，从而确认了全纯子群条件。
• $M$上的G₂-瞬子丛与扭量空间$X$上的CR-全纯丛之间存在一一对应关系，为通过复几何实现瞬子提供了几何实现。
• 该构造将LeBrun在3-流形上的CR扭量空间推广至7维$G_2$情形，揭示了3维与7维黎曼几何之间深刻的类比关系。