[论文解读] Lectures on Special Lagrangian Submanifolds

Nigel Hitchin|ArXiv.org|Jul 6, 1999

Geometry and complex manifolds参考文献 10被引用 156

一句话总结

本文提出了一套基于Gerbe的理论框架，用于理解三维Calabi-Yau流形中特殊拉格朗日子流形的几何结构，为Strominger-Yau-Zaslow（SYZ）镜像对称猜想提供了几何基础。该框架将SYZ镜像构造为带有B场Gerbe平坦平凡化的特殊拉格朗日子环面的模空间，并通过原始空间与镜像空间之间的Legendre对偶性，证明了由此构造出的度量结构为Kähler度量。

ABSTRACT

These notes consist of a study of special Lagrangian submanifolds of Calabi-Yau manifolds and their moduli spaces. The particular case of three dimensions, important in string theory, allows us to introduce the notion of gerbes. These offer an appropriate language for describing many significant features of the Strominger-Yau-Zaslow approach to mirror symmetry.

研究动机与目标

• 通过Gerbe建立描述三维Calabi-Yau流形中特殊拉格朗日子流形的几何框架。
• 阐明B场在Strominger-Yau-Zaslow（SYZ）镜像对称计划中的作用。
• 将SYZ镜像定义为带有Gerbe平坦平凡化的特殊拉格朗日子环面的模空间。
• 通过Legendre变换在原始与镜像Calabi-Yau流形的度量结构之间建立对偶性。

提出的方法

• 使用取值于圆群的Čech上循环来定义Gerbe，以捕捉$H^3(X,\mathbf{Z})$中的上同调类。
• 将B场建模为在特殊拉格朗日子环面纤维上具有平凡holonomy的平坦Gerbe。
• 将SYZ镜像$\check{Z}$构造为配对$(M,T)$的模空间，其中$M$为特殊拉格朗日子环面，$T$为$M$上Gerbe的平坦平凡化。
• 通过结合模空间$\mathcal{B}$的基度量与纤维上的对偶环面度量，定义$\check{Z}$上的度量。
• 应用Legendre变换，证明$\check{Z}$上的度量为Kähler度量，其势函数$\check{\phi}$与原始势函数$\phi$构成Legendre对偶。
• 利用Gauss-Manin联络将$\check{Z}$的切丛分解为水平与垂直分量，从而实现Kähler度量的构造。

实验结果

研究问题

• RQ1 如何利用Gerbe来描述三维Calabi-Yau流形中特殊拉格朗日子流形背景下的B场？
• RQ2 当存在非平凡B场时，SYZ镜像的精确几何结构是什么？
• RQ3 Gerbe在特殊拉格朗日子环面纤维上的平坦性如何影响镜像流形的构造？
• RQ4 能否通过原始与镜像势函数之间的对偶性，证明镜像流形上的度量为Kähler度量？
• RQ5 Gauss-Manin联络在定义镜像空间切丛分解中起什么作用？

主要发现

• 带有B场的Calabi-Yau流形的SYZ镜像$\check{Z}$被构造为配对$(M,T)$的模空间，其中$M$为特殊拉格朗日子环面，$T$为$M$上Gerbe${\bf B}$的平坦平凡化。
• 当B场为平凡时，该构造恢复了原始的SYZ镜像，表明与标准框架的一致性。
• B场在任意特殊拉格朗日子环面纤维上的限制具有平凡holonomy，从而允许存在平坦平凡化，这些平凡化定义了镜像模空间。
• $\check{Z}$上的度量被证明为Kähler度量，其Kähler势函数$\check{\phi}$与原始势函数$\phi$通过Legendre变换相关联。
• 切空间分解$T{\check{Z}} \cong H^1(M,\mathbf{R}) \otimes \mathbf{C}$自然诱导出一个几乎复结构，且度量形式为$\check{g} = \sum_{ij} \frac{\partial^2 \check{\phi}}{\partial \xi_i \partial \xi_j} (d\xi_i d\xi_j + d\eta_i d\eta_j)$，从而确认其Kähler性质。
• 通过Legendre变换介导的原始与镜像度量之间的对偶性，揭示了$Z$与$\check{Z}$上度量结构之间深刻的对称性，尽管由于高度对称性，两者均非真正的紧致Calabi-Yau度量。