[论文解读] Exact Lagrangians in plumbings

Mohammed Abouzaid, Ivan Smith|arXiv (Cornell University)|Jul 1, 2011

Geometric and Algebraic Topology参考文献 20被引用 8

一句话总结

该论文证明，在通过至少三维流形的余切丛进行黏贴构造的 Stein 流形中，具有平凡 Maslov 类的闭合精确 Spin 拉格朗日子流形的 Fukaya 类别由黏贴结构的紧致核心生成。通过 Lefschetz 纤维丛和卷曲 Floer 同调，作者证明了所有此类拉格朗日子流形与紧致核心上的扭曲复形 quasi-isomorphic，将经典结果推广至四维以上，并对精确拉格朗日球面、Legendrian 单匝的填充以及同调球面上的辛同胚施加了新的拓扑约束。

ABSTRACT

Consider a Stein manifold M obtained by plumbing cotangent bundles of manifolds of dimension greater than or equal to 3 at points. We prove that the Fukaya category of closed exact Lagrangians with vanishing Maslov class in M is generated by the compact cores of the plumbing. As applications, we classify exact Lagrangian spheres in A2-Milnor fibres of arbitrary dimension, derive constraints on exact Lagrangian fillings of Legendrian unknots in disk cotangent bundles, and prove that the categorical equivalence given by the spherical twist in a homology sphere is typically not realised by any compactly supported symplectomorphism.

研究动机与目标

• 对通过余切丛黏贴构造的高维 Stein 流形中的精确拉格朗日子流形进行分类。
• 将对精确拉格朗日子流形拓扑的理解拓展至四维以上，其中以往结果依赖于维数特异性工具。
• 在上述黏贴构造中，建立具有平凡 Maslov 类的精确拉格朗日子流形的 Fukaya 类别生成结果。
• 推导出关于精确拉格朗日球面在 $A_2$-Milnor 纤维中的存在性与分类的新型拓扑约束，其维度任意。
• 证明同调球面上的球面自同构通常不能由紧支集辛同胚实现。

提出的方法

• 在黏贴构造上构造 Lefschetz 纤维丛结构，将卷曲 Floer 同调与环路空间的 Morse 同调联系起来。
• 利用黏贴构造的精确辛结构，在 Floer 复形上定义自然的行动滤子。
• 证明从紧致核心的 Morse 同调到余切纤维的卷曲 Floer 同调的映射在度数 0 处是满射。
• 通过 cobordism 论证，建立基于环路空间同调与纤维卷曲 Floer 同调之间的同构。
• 利用高维（>2）流形的环路空间形变 retract 到基于环路空间的事实，确保在度数 0 处同构。
• 应用该结果，通过随行动滤子递增的直极限论证，证明 Fukaya 类别由紧致核心上的扭曲复形生成。

实验结果

研究问题

• RQ1 高维余切丛黏贴构造中，精确拉格朗日子流形的 Fukaya 类别是否可由紧致核心生成？
• RQ2 结果对 $A_2$-Milnor 纤维中任意维数的精确拉格朗日球面的存在性与分类施加了何种约束？
• RQ3 在圆盘余切丛中，Legendrian 单匝的精确拉格朗日填充是否受核心拓扑的约束？
• RQ4 同调球面上的 Fukaya 类别上球面自同构的范畴作用是否可由紧支集辛同胚实现？
• RQ5 卷曲 Floer 同调与环路空间 Morse 同调之间的相互作用，如何约束黏贴构造中精确拉格朗日子流形的结构？

主要发现

• 具有平凡 Maslov 类的闭合精确拉格朗日子流形的 Fukaya 类别完全嵌入于由余切纤维生成的卷曲 Fukaya 类别子范畴中。
• 在至少三维流形的余切丛黏贴构造中，每个具有平凡 Maslov 类的闭合精确拉格朗日子流形，都与紧致核心上的扭曲复形 quasi-isomorphic。
• 通过 cobordism 论证，余切纤维的卷曲 Floer 同调同构于底流形基于环路空间的同调。
• 存在从群环 $\mathbb{Z}[\pi_1(Q_i)]$ 到纤维度数 0 卷曲 Floer 同调的满同态，且在维数约束下成为同构。
• 维度为 $2n$ 的 $A_2^n$-Milnor 纤维在 Fukaya 类别中至多存在一个精确拉格朗日球面（up to quasi-isomorphism），推广了四维情形。
• 同调球面上的 Fukaya 类别上球面自同构自同函子通常不能由任何紧支集辛同胚实现。