[论文解读] Nearby Lagrangians with vanishing Maslov class are homotopy equivalent

Mohammed Abouzaid|arXiv (Cornell University)|May 3, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用 4

一句话总结

该论文证明了在余切丛中，具有平凡 Maslov 类的闭精确拉格朗日子流形同伦等价于零截面。通过引入带有局部系统并结合粗几何与 $A_\infty$-代数理论的扩展福克亚范畴，作者证明此类拉格朗日子流形是单连通的，并在基本群上诱导同构，从而在 $\field{F}_2$ 上得出同伦等价结果，并通过覆叠空间论证推广至一般情形。

ABSTRACT

We prove that the inclusion of every closed exact Lagrangian with vanishing Maslov class in a cotangent bundle is a homotopy equivalence. We start by adapting an idea of Fukaya-Seidel-Smith to prove that such a Lagrangian is equivalent to the zero section in the Fukaya category with integral coefficients. We then study an extension of the Fukaya category in which Lagrangians equipped with local systems of arbitrary dimension are admitted as objects, and prove that this extension is generated, in the appropriate sense, by local systems over a cotangent fibre. Whenever the cotangent bundle is simply connected, this generation statement implies that the universal covering of every closed exact Lagrangian of vanishing Maslov index is trivial. Finally, we borrow ideas from coarse geometry to develop a Fukaya category associated to the universal cover, allowing us to prove the result in the general case.

研究动机与目标

• 建立余切丛中具有平凡 Maslov 类的闭精确拉格朗日子流形同伦等价于零截面。
• 将福克亚范畴扩展至包含 $\field{F}_2$ 上任意维数局部系统的拉格朗日子流形。
• 证明在生成性拉格朗日子流形上平凡局部系统可分裂生成此扩展范畴。
• 证明当底流形单连通时，此类拉格朗日子流形是单连通的。
• 通过定向覆叠与基本群论证，将结果推广至非可定向底流形。

提出的方法

• 改编福克亚–塞idel–史密斯论证，证明具有平凡 Maslov 类的拉格朗日子流形在 $\field{F}_2$ 系数的福克亚范畴中与零截面准同构。
• 构造一个扩展的福克亚范畴 $\ncal{S}(M)$，其对象为 $\field{F}_2$ 上有限维局部系统的拉格朗日子流形。
• 利用 $A_\infty$-模理论，证明在对角化解析拉格朗日子流形上的平凡局部系统可分裂生成 $\ncal{S}(M)$。
• 应用覆叠空间论证：通过底流形的定向覆叠将问题约化至可定向情形。
• 利用谱序列与 $p$-进滤子，证明 $\field{Z}$ 上的 Floer 上同调的秩为 1，从而推出拉格朗日子流形与零截面准同构。
• 利用 $\field{F}_2$ 上的史蒂夫罗德平方与 Wu 公式，推导出拉格朗日子流形为相对自旋，从而消除了一个技术障碍。

实验结果

研究问题

• RQ1 余切丛中具有平凡 Maslov 类的闭精确拉格朗日子流形是否在基本群上诱导同构？
• RQ2 福克亚范畴能否扩展至包含任意维数的局部系统？该扩展是否包含分裂生成对象？
• RQ3 当底流形单连通时，此类拉格朗日子流形是否均为单连通？
• RQ4 在非可定向情形下，此类拉格朗日子流形的同伦型如何确定？
• RQ5 全覆叠在构造捕捉同伦等价的福克亚范畴中起什么作用？

主要发现

• 闭精确拉格朗日子流形包含于 $T^*N$ 且 Maslov 类平凡时，其在基本群上诱导同构。
• 扩展的福克亚范畴 $\ncal{S}(M)$ 由对角化解析拉格朗日子流形上的平凡局部系统分裂生成。
• 当 $N$ 单连通时，所有此类拉格朗日子流形均为单连通，故其全覆叠是收缩的。
• $\field{Z}$ 上的 Floer 上同调 $HW^*_{b}(T^*_nN, Q)$ 是秩为 1 的自由阿贝尔群，这意味着其与零截面准同构。
• $\field{F}_2$ 系数与史蒂夫罗德运算的使用使得可推导出拉格朗日子流形为相对自旋，从而消除了技术障碍。
• 通过定向覆叠，结果可推广至非可定向 $N$，证明在所有情况下包含映射均为同伦等价。