[论文解读] Lagrangian Floer theory on compact toric manifolds: survey

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

Geometric and Algebraic Topology参考文献 47被引用 15

一句话总结

本综述论文建立了紧致环化流形中 $T^n$-轨道的拉格朗日子流形 Floer 上同调与势函数 $\mathfrak{PO}$ 的雅可比环之间的深刻联系，证明了非零 Floer 上同调类的数量等于流形的贝蒂数。该文构建了大量子上同调与雅可比环之间的同构，通过 Saito 的 Frobenius 流形理论与留数配对，实现了环化 A 模型与 Landau-Ginzburg B 模型之间的镜像对称性。

ABSTRACT

This article is a survey of a series of papers [FOOO3,FOOO4,FOOO5] in which we developed the method of calculation of Floer cohomology of Lagrangian torus orbits in compact toric manifolds, and its applications to symplectic topology and to mirror symmetry. In this article we summarize the main ingredients of calculation and illustrate them by examples. The second half of the survey is devoted to discussion of the most recent result from [FOOO5] (arXiv:1009.1648) where the mirror symmetry between the two Frobenius manifolds arising from the big quantum cohomology and from the K. Saito theory of singularities was established.

研究动机与目标

• 通过 $\mathcal{F}^{\text{Fuk}}$-理论的技术，系统计算紧致环化流形中 $T^n$-轨道的拉格朗日子流形 Floer 上同调。
• 在大量子上同调 $QH(X;\Lambda_0)$ 与势函数 $\mathfrak{PO}$ 的雅可比环 $\text{Jac}(\mathfrak{PO})$ 之间建立环同构，将辛几何与奇点理论联系起来。
• 证明非平移的拉格朗日子流形 $L(\mathbf{u})$ 与 $\mathfrak{PO}$ 的临界点一一对应，并与半单量子上同调的直和分量相对应。
• 通过由 $\mathfrak{ks}_{\mathfrak{b}}$ 映射诱导的同构，证明量子上同调上的庞加莱对偶配对与雅可比环上的留数配对一致。
• 通过具体例子（包括 $\mathbb{C}P^2$ 的爆破与 Hirzebruch 曲面）验证该镜像对称同构，借助 Hessian 衍生物与留数计算确认对应关系。

提出的方法

• 使用通用诺维科夫环 $\Lambda_0$ 及其扩展 $\Lambda$ 和 $\Lambda_+$ 来形式化 Floer 理论与量子上同调中的系数。
• 应用边界位于 $T^n$-轨道上的伪全纯盘理论，定义势函数 $\mathfrak{PO}^\mathfrak{b}$，编码来自全纯盘的量子修正。
• 在 Floer 上同调中引入整体形变，将 $QH(X;\Lambda_0)$ 与 $\text{Jac}(\mathfrak{PO}^\mathfrak{b})$ 之间的同构推广至大量子上同调情形。
• 构造从量子上同调到雅可比环的 $\mathfrak{ks}_{\mathfrak{b}}$ 同态，并通过显式代数与几何论证证明其为同构。
• 利用 Saito 的孤立超曲面奇点理论，在 $\text{Jac}(\mathfrak{PO}^\mathfrak{b})$ 上定义留数配对，证明其与 $QH(X;\Lambda_0)$ 上的庞加莱对偶配对一致。
• 通过具体计算验证同构与对偶性，例如在 $F_2(\alpha)$ 与 $\mathbb{C}P^2$ 的单调爆破上，计算 Hessian 衍生物与留数和。

实验结果

研究问题

• RQ1 紧致环化流形中 $T^n$-轨道的 Floer 上同调如何与势函数 $\mathfrak{PO}$ 的临界点相关联？
• RQ2 环化流形的大量子上同调能否与它的势函数 $\mathfrak{PO}^\mathfrak{b}$ 的雅可比环同构？该同构是否保持 Frobenius 流形结构？
• RQ3 在该同构下，量子上同调上的庞加莱对偶配对是否与雅可比环上的留数配对一致？
• RQ4 非平移的拉格朗日子流形 $L(\mathbf{u})$ 如何从半单量子上同调的分解中产生？它们与 Entov-Polterovich 准态有何关系？
• RQ5 该量子上同调与雅可比环之间的同构能否在具体例子（如 $F_2(\alpha)$ 与 $\mathbb{C}P^2$ 的单调爆破）中显式验证？

主要发现

• 具有非零 Floer 上同调的配对 $(L(\mathbf{u}), b)$ 的数量等于环化流形 $X$ 的贝蒂数，且每对均对应于势函数 $\mathfrak{PO}$ 的一个临界点。
• 环同构 $QH(X;\Lambda_0) \cong \text{Jac}(\mathfrak{PO})$ 成立；当 $QH(X;\Lambda)$ 为半单时，每个直因子对应于 $\mathfrak{PO}$ 的一个临界点。
• $\mathfrak{ks}_{\mathfrak{b}}: QH(X;\Lambda_0) \to \text{Jac}(\mathfrak{PO}^\mathfrak{b})$ 的同构是环同构，将左侧的庞加莱对偶配对与右侧的留数配对相互关联。
• 对于 Hirzebruch 曲面 $F_2(\alpha)$，四个临界点处的 Hessian 衍生物为 $4T, 4T, -4T, -4T$，确认非退化性并匹配量子上同调结构。
• 在 $\mathbb{C}P^2$ 的单调爆破中，验证了 $T^{-2/3} \sum_{i=1}^4 \frac{z_i}{4 - z_i^3} = 0$，确认推论 12.21 与留数配对恒等式。
• 大量子上同调上的 Frobenius 流形结构（Dubrovin）与 $\text{Jac}(\mathfrak{PO}^\mathfrak{b})$ 上的 Saito Frobenius 结构一致，实现了环化 A 模型与 Landau-Ginzburg B 模型之间的镜像对称性。