[论文解读] Special Lagrangian Fibrations II: Geometry

Mark Gross|ArXiv.org|Sep 14, 1998

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

一句话总结

本文研究了卡拉比-丘流形上特殊拉格朗日子流形纤维化的几何结构，重点在于通过对偶纤维化构造镜像流形。在假设存在特殊拉格朗日子流形纤维化的基础上，利用辛几何与复几何方法定义对偶纤维化，并在不依赖托雷利定理的前提下构造镜像K3曲面，借助丘成桐定理及椭圆纤维化上的调和形式分析，实现了二维情形下的镜像对称。

ABSTRACT

We continue the study of the Strominger-Yau-Zaslow mirror symmetry conjecture. Roughly put, this states that if two Calabi-Yau manifolds X and Y are mirror partners, then X and Y have special Lagrangian torus fibrations which are dual to each other. Much work on this conjecture is necessarily of a speculative nature, as in dimension 3 it is still a very difficult problem of how to construct such fibrations. Nevertheless, assuming the existence of such fibrations there are many things one can prove. This paper covers a number of issues. First it applies results from the theory of completely integrable hamiltonian systems to understand some aspects of the geometry of such fibrations. From this, using reasonable regularity assumptions on the fibrations, one can understand how the cohomology of dual fibrations are related. We then study the question of how, given one such fibration, one would put a symplectic and complex structure on the dual fibrations, generalising work of Hitchin. While this question cannot be answered at this stage, these results should give insight into the nature of the problem. We sum up these ideas in a refined version of the Strominger-Yau-Zaslow conjecture. Finally, to give evidence for this conjecture, we prove it explicitly for K3 surfaces. One finds a construction of mirror symmetry for K3 surfaces which does not require the use of Torelli theorems, and is much more differential geometric in nature than previous constructions.

研究动机与目标

• 探索卡拉比-丘流形上特殊拉格朗日子流形纤维化的几何性质，尤其在斯特罗明格-丘-扎斯洛镜像对称猜想的背景下。
• 建立一种在存在特殊拉格朗日子流形纤维化时，通过对其偶纤维化构造卡拉比-丘三流形镜像流形的方法。
• 证明对于K3曲面，镜像可直接从特殊拉格朗日子流形纤维化构造，而无需引用托雷利定理。
• 验证所构造的镜像满足所需的上同调镜像对称条件，包括霍奇数交换与凯勒类正性。
• 证明镜像复结构与凯勒形式可通过调和形式与上同调数据（模例外除子）唯一确定。

提出的方法

• 假设存在特殊拉格朗日子流形纤维化 $ f: X \to B $，聚焦于正则部分的几何结构及其辛结构。
• 应用杜伊斯特马特的全局作用-角坐标理论，通过基空间 $ B $ 的余切丛在纤维的正则部分构造典范坐标。
• 利用特殊拉格朗日子流形是体积最小化的事实，指导对纤维正则性与行为的预期。
• 通过层 $ R^1f_{0*}\mathbb{R}/R^1f_{0*}\mathbb{Z} $ 构造对偶纤维化 $ \check{X}_0 \to B_0 $，并将其紧化得到 $ \check{X} $。
• 应用丘成桐定理，在镜像上构造里奇平坦凯勒度量，通过确保全纯2-形式实部的上同调类为正且为(1,1)型。
• 利用霍奇分解与对偶性，关联 $ \Omega $、$ \check{\Omega} $、$ \omega $ 与 $ \check{\omega} $ 的上同调类，并通过截面选择解决 $ B $-场的歧义。

实验结果

研究问题

• RQ1 如何在不依赖托雷利定理的前提下，利用卡拉比-丘流形上的特殊拉格朗日子流形纤维化构造其镜像流形？
• RQ2 何种条件可确保由特殊拉格朗日子流形纤维化构造出的对偶纤维化在镜像上定义出良态复结构？
• RQ3 原始流形与镜像流形上全纯形式与凯勒形式的上同调数据如何满足镜像对称条件？
• RQ4 通过在对偶纤维化中选择不同的零截面，能在多大程度上解决 $ B $-场的歧义？
• RQ5 调和形式与体积最小化在确保镜像凯勒结构的存在性与唯一性中起何种作用？

主要发现

• 镜像K3曲面 $ \check{S}_K $ 直接从 $ S $ 上的特殊拉格朗日子流形纤维化构造，而无需依赖托雷利定理。
• 镜像上全纯2-形式 $ \Omega $ 的上同调类模例外除子 $ E $ 确定，且满足 $ [\Omega]^2 = 0 $，这使其类在归一化下唯一确定。
• 凯勒类 $ [\mathop{\rm Re}\check{\Omega}] $ 被证明为正且为(1,1)型，从而通过丘成桐定理保证存在唯一的里奇平坦凯勒度量。
• 通过重新定义零截面 $ \sigma_0 $，构造解决了 $ B $-场的歧义，从而确保镜像结构的唯一性。
• 镜像对称关系 $ \mathop{\rm Im}\check{\Omega} \propto \omega $、$ \mathop{\rm Im}\Omega \propto \check{\omega} $ 与 $ \mathop{\rm Re}\check{\Omega} - \sigma_0 = \mathbf{B} $ 在模 $ E $ 的上同调等价意义下成立。
• 镜像纤维的体积满足 $ \mathop{\rm Vol}(\check{S}_b) = 1/\mathop{\rm Vol}(S_b) $，确认了纤维体积预期的对偶性。