[论文解读] Special Lagrangian Fibrations I: Topology

Mark Gross|arXiv (Cornell University)|Oct 6, 1997

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

一句话总结

本文提出了一套针对卡拉比-丘流形上特殊拉格朗日子丛的拓扑框架，假设其镜像通过此类子丛的对偶化得到。该研究通过单值性作用建立了上同调镜像映射，并证明在三倍体情形下，单值性权重过滤与Leray过滤一致，与镜像对称及同调镜像对称的预测相符。

ABSTRACT

In 1996, Strominger, Yau and Zaslow made a conjecture about the geometric relationship between two mirror Calabi-Yau manifolds. Roughly put, if X and Y are a mirror pair of such manifolds, then X should possess a special Lagrangian torus fibration $f:X o B$ such that Y is obtained by dualizing the fibration f. This leaves a huge amount to be done to verify such conjectures. This paper takes a speculative point of view, in that it assumes that a special Lagrangian torus fibration exists on X. We address a number of questions of a topological nature: what is the relationship between the cohomology of X and the cohomology of the dual fibration? what kind of information does the Leray spectral sequence for f contain? what is the relationship between the topological (1,1) couplings of the dual of f and the (1,n-1)-couplings of X in the large complex structure limit? These questions are shown to have nice answers if a key conjecture about the monodromy diffeomorphisms about a large complex structure limit point holds. Roughly put, this conjecture says that monodromy about a large complex structure limit point can be described as a very natural generalization of a Dehn twist for an elliptic curve. Given this conjecture, we show, among other results, that the large complex radius limit of the (1,n-1) couplings on X coincide with the topological (1,1) couplings on Y, and if dim X=3, the Leray filtration and weight filtrations of the mixed Hodge structure coincide, as conjectured by myself and P.M.H. Wilson, and independently by D. Morrison.

研究动机与目标

• 在假设其镜像通过此类子丛的对偶化得到的前提下，研究卡拉比-丘流形上特殊拉格朗日子环丛的拓扑性质。
• 理解复模空间中大复结构极限点周围的单值性作用，特别是其在镜像对称中的角色。
• 基于康采维奇的同调镜像对称猜想，构造 $ H^{\text{even}}(\check{X},\mathbb{Q}) $ 与 $ H^{\text{odd}}(X,\mathbb{Q}) $ 之间的自然上同调镜像映射。
• 验证单值性作用在上同调上的表现是否与三倍体情形下预期的 $(1,n-1)$ 强子耦合及Leray过滤一致。

提出的方法

• 分析特殊拉格朗日子丛 $ f: X \to B $ 的Leray谱序列，推导其对偶子丛与上同调结构的后果。
• 提出一个猜想（猜想3.7）：通过大复结构极限点的边界除子周围的单值性作用可视为截面平移，推广了椭圆子丛中的德恩扭转。
• 计算平移单值性在上同调上的作用，表明其与镜像上预期的拓扑强子耦合一致。
• 利用单值性作用定义一个上同调镜像映射 $ \phi_2 $，将 $ \check{X} $ 上的Mukai向量映射到 $ X $ 上的上同调类。
• 通过 $ T_D $-作用与 $ e^D $-扭动，验证该镜像映射与交积理论及傅里叶-穆凯伊型结构的相容性。
• 运用镜像黎曼-罗赫定理与交积理论，检验该映射在所有度数上的自洽性，特别是在 $ H^4 $ 与 $ H^2 $ 中。

实验结果

研究问题

• RQ1 特殊拉格朗日子丛在卡拉比-丘流形上需满足何种拓扑约束，才能支持通过对其对偶化实现的镜像构造？
• RQ2 围绕大复结构极限点的单值性作用如何作用于子丛上同调？其是否可描述为截面平移？
• RQ3 能否在 $ H^{\text{even}}(\check{X},\mathbb{Q}) $ 与 $ H^{\text{odd}}(X,\mathbb{Q}) $ 之间构造一个自然的上同调镜像映射？其是否与已知不变量相容？
• RQ4 在卡拉比-丘三倍体情形下，单值性权重过滤与Leray过滤是否一致，如[11]与[18]所猜想？
• RQ5 所提出的镜像映射是否与交积数及上同调类上的 $ e^D $-扭动作用相容？

主要发现

• 通过大复结构极限点的边界除子周围的单值性作用被猜想为截面平移，推广了椭圆子丛中的德恩扭转。
• 该单值性在上同调上的作用再现了镜像上预期的 $(1,n-1)$ 强子耦合，证实了与拓扑镜像对称的一致性。
• 在三倍体情形下，上同调上的单值性权重过滤与Leray过滤一致，验证了[11]与[18]中的猜想。
• 从 $ H^*(\check{X},\mathbb{Q}) $ 到 $ H^*(X,\mathbb{Q}) $ 构造了上同调镜像映射 $ \phi_2 $，并给出了 $ \phi_2(1,0,0,0) $、$ \phi_2(D) $ 与 $ \phi_2(e^D C) $ 的显式公式。
• 映射 $ \phi_2 $ 满足所有必要的交积性质：$ \phi_2(D) \cdot \phi_2(C) = -D.C $，$ \phi_2(1,0,0,0) \cdot \phi_2(D) = 0 $，且 $ \phi_2(D) \cdot \phi_2(E) = 0 $，符合镜像对称的要求。
• 通过 $ T_{-D} \circ \phi_2 = \phi_2 \circ e^D $ 验证了 $ \phi_2 $ 与 $ e^D $-扭动的相容性，确认其与傅里叶-穆凯伊型结构的一致性。