[论文解读] Lagrangian Floer theory and mirror symmetry on compact toric manifolds

Kenji Fukaya, Yong‐Geun Oh+2 more|arXiv (Cornell University)|Sep 8, 2010

Geometric and Algebraic Topology被引用 28

一句话总结

本文建立了紧致环面流形的量子上同调与通过带有整体形变的拉格朗日子弗勒理论构造的朗道-金兹堡势函数的雅可比环之间的镜像对称同构。利用开-闭格罗莫夫-威滕不变量与库兰希结构，证明了从量子上同调到势函数雅可比环的科达尔-斯宾塞映射是一个环同构，且上同调的庞加莱对偶性对应于雅可比环上的留数配对，从而在环面流形上实现了完整的量子修正镜像对称。

ABSTRACT

In this paper we study Lagrangian Floer theory on toric manifolds from the point of view of mirror symmetry. We construct a natural isomorphism between the Frobenius manifold structures of the (big) quantum cohomology of the toric manifold and of Saito's theory of singularities of the potential function constructed in \cite{fooo09} via the Floer cohomology deformed by ambient cycles. Our proof of the isomorphism involves the open-closed Gromov-Witten theory of one-loop.

研究动机与目标

• 使用拉格朗日子弗勒理论，对紧致环面流形实现同调镜像对称的精确数学实现。
• 在环面流形的大量子上同调的弗罗贝尼乌斯流形结构与势函数的奇点理论之间，构造一个规范同构。
• 证明从量子上同调到势函数雅可比环的科达尔-斯宾塞映射是一个环同构。
• 证明量子上同调上的庞加莱对偶性配对与雅可比环上的留数配对在科达尔-斯宾塞映射下对应。
• 为开-闭格罗莫夫-威滕不变量与镜像对称中的量子修正之间的对应关系提供严格的理论基础。

提出的方法

• 构造带有整体形变 $ b \in H^*(X; \Lambda_0) $ 的势函数 $ P_O^b $，其取值于诺维科夫环上洛朗多项式环的完成形式。
• 通过关于 $ b $ 对势函数求导，定义科达尔-斯宾塞映射 $ \mathrm{ks}_b: H^*(X; \Lambda_0) \to \mathrm{Jac}(P_O^b) $，并证明其为良定义的环同态。
• 利用库兰希结构与多重截面理论，定义并分析伪全纯环面的模空间，这是计算开-闭不变量的核心。
• 通过科达尔-斯宾塞映射，建立 $ H^*(X; \Lambda_0) $ 上的量子上乘积 $ \cup_b $ 与雅可比环中乘法之间的同构。
• 利用循环对称性与海森矩阵恒等式，证明 $ H^*(X; \Lambda) $ 上的庞加莱对偶性配对与 $ \mathrm{Jac}(P_O^b) \otimes_{\Lambda_0} \Lambda $ 上的留数配对之间存在同构。
• 利用塞德尔同态及McDuff–Tolman的结果，分析该映射在辛形变与量子形变下的行为。

实验结果

研究问题

• RQ1 从量子上同调到整体形变势函数 $ P_O^b $ 的雅可比环的科达尔-斯宾塞映射，如何与量子上同调的弗罗贝尼乌斯流形结构相关联？
• RQ2 与伪全纯环面相关的开-闭格罗莫夫-威滕不变量，能否用于证明紧致环面流形上A模型与B模型之间的完整镜像对称同构？
• RQ3 在科达尔-斯宾塞映射下，雅可比环 $ \mathrm{Jac}(P_O^b) $ 上的留数配对是否与量子上同调 $ QH^*(X; \Lambda_0) $ 上的庞加莱对偶性配对一致？
• RQ4 势函数 $ P_O^b $ 在奇点理论的意义下是否为普遍形变（versal）？这是否意味着量子上同调环结构可被雅可比环完全捕捉？
• RQ5 在福克亚范畴的框架下，量子上同调与雅可比环之间的同构能否扩展为完整的范畴等价？

主要发现

• 科达尔-斯宾塞映射 $ \mathrm{ks}_b: H^*(X; \Lambda_0) \to \mathrm{Jac}(P_O^b) $ 是一个良定义的环同构，建立了量子上乘积与雅可比环乘法之间的直接对应。
• 在 $ H^*(X; \Lambda) $ 上的庞加莱对偶性配对与 $ \mathrm{Jac}(P_O^b) \otimes_{\Lambda_0} \Lambda $ 上的留数配对之间存在同构，确认了在配对层面的镜像对称对偶性。
• 势函数 $ P_O^b $ 在奇点理论的意义下是普遍形变，意味着其形变空间捕捉了该奇点的所有可能一阶形变。
• 用于单圈构型（环面）的开-闭格罗莫夫-威滕不变量被用来定义和计算关键映射与配对，为同构提供了几何基础。
• 量子上同调与雅可比环之间的同构与塞德尔元素及量子乘积的作用相容，该结论通过伪全纯环面的模空间得到验证。
• 该构造适用于一般紧致环面流形（不一定是法诺流形），并通过诺维科夫环上的完成推广至大量子上同调。