[论文解读] The Lagrangian Floer-quantum-PSS package and canonical orientations in Floer theory

Frol Zapolsky|arXiv (Cornell University)|Jul 8, 2015

Geometric and Algebraic Topology参考文献 29被引用 19

一句话总结

该论文将拉格朗日子流同调与量子同调之间的PSS同构性推广至任意系数，采用典范定向而非相对Pin-结构。证明了该同构保持量子乘积与模结构，适用于满足弱化Stiefel–Whitney条件的非可定向拉格朗日子流形，并通过行列式线丛与全纯曲线粘合理论构建了完整的符号追踪框架。

ABSTRACT

The purpose of this paper is to extend the construction of the PSS-type isomorphism between the Floer homology and the quantum homology of a monotone Lagrangian submanifold $L$ of a symplectic manifold $M$, provided that the minimal Maslov number of $L$ is at least two, to arbitrary coefficients. We provide a proof, again over arbitrary coefficients, that this isomorphism respects the natural algebraic structures on both sides, such as the quantum product and the quantum module action. This isomorphism serves as the technical foundation for the construction of Lagrangian spectral invariants in a joint paper with Remi Leclercq (arXiv:1505:07430). Our constructions work when the second Stiefel--Whitney class of $L$ vanishes on the image of the boundary homomorphism $π_3(M,L) o π_2(L)$, a condition strictly weaker than being relatively Pin; in particular we do not require $L$ to be orientable. The constructions are done using canonical orientations, and require no further choices such as relative Pin-structures. Such structures do however play a significant role when endowing the various complexes and homologies with structures of modules over Novikov rings, and in calculations.

研究动机与目标

• 将拉格朗日子流同调与量子同调之间的PSS同构性推广至任意系数，超越通常的Z/2Z或Z系数。
• 证明该同构在两侧均保持量子乘积与量子模作用结构。
• 通过行列式线丛实现的典范定向，消除对相对Pin-结构或可定向性假设的需求。
• 利用穿孔黎曼曲面上柯西–黎曼算子的粘合理论，为Floer理论构建完整的符号追踪框架。
• 计算关键例子（如CP^n中的RP^n，CP^2与CP^1×CP^1中的单调拉格朗日环面）的显式量子复形。

提出的方法

• 利用行列式线丛及其在黎曼曲面退化下的粘合性质，为弗雷德霍姆算子构造典范定向。
• 应用b-光滑映射与预粘合技术，控制模空间中节点附近伪全纯曲线的行为。
• 利用与b-光滑映射相关的柯西–黎曼算子定义Floer偏微分方程，并研究其解空间的受控定向性。
• 开发在节点黎曼曲面上跨接Floer PDE解的粘合框架，确保整个模空间中定向的一致性。
• 通过评估映射与Maslov指标2圆盘的交数，在模空间的零维层面上实现符号追踪机制，使用零维层。
• 应用谱序列与对偶结构，关联哈密顿与拉格朗日子流同调，并计算带扭转系数的量子同调。

实验结果

研究问题

• RQ1 拉格朗日子流同调与量子同调之间的PSS同构能否推广至任意系数环，而无需假设可定向性或相对Pin-结构？
• RQ2 当Maslov指标2圆盘发生泡胀时，如何在任意系数下一致追踪Floer同调边界算子中的符号？
• RQ3 PSS同构是否保持Floer同调与量子同调两侧的量子乘积与量子模作用结构？
• RQ4 当封帽按同伦类区分而非仅按面积或同调类时，典范量子复形的结构是什么？
• RQ5 在一般系数下，典范定向与拉格朗日子流同调中的协调定向相比有何异同？

主要发现

• 在条件w2(L)在π3(M,L) → π2(L)的像上为零时，拉格朗日子流同调与量子同调之间的PSS同构在任意系数下被构造出来，该条件弱于要求L为相对Pin-结构。
• 该同构保持量子乘积与量子模作用结构，证实了代数运算在PSS映射下兼容。
• 该构造使用通过行列式线丛实现的典范定向，消除了对相对Pin-结构等额外选择的需求。
• 对于RP^n ⊂ CP^n（n ≥ 2），边界算子计算为∂q₀ = (−e^A + e^C)x + (e^B − e^C)y，其中B、C类圆盘的交数分别为−1、1。
• 对于CP^2中的切卡诺夫环面，边界算子为∂x = (−e^β + 2(e^{h−2β−α} + e^{h−2β} + e^{h−2β+α}))q₂，反映了五个Maslov指标2圆盘的贡献。
• 对于CP^1×CP^1中的奇异环面，边界算子为∂x = (−e^β + e^{A−β} + e^{B−β} + e^{A−β−α} + e^{B−β+α})q₂，其中∂q₀涉及五项的抵消，确认了符号的一致性。