[论文解读] Exact, graded, immersed Lagrangians and Floer theory

Garrett Alston, Erkao Bao|arXiv (Cornell University)|Jul 15, 2014

Geometric and Algebraic Topology参考文献 14被引用 6

一句话总结

本论文通过在自交点的 Maslov 指数上施加正值条件，建立了一个精确、分等级、自交清洁的浸入情形下的拉格朗日子弗勒同调框架。该条件排除了导致问题的伪全纯盘泡发散，使得此类拉格朗日子流形可被包含在精确 Fukaya 范畴中，并确保 $A_\infty$-结构满足 $\mathfrak{m}_0 = 0$。该理论采用 Seidel 的扰动方案在 $\mathbb{Z}_2$ 上实现，从而获得可计算的不变量，并在非哈密顿精确形变下保持不变。

ABSTRACT

We develop Lagrangian Floer Theory for exact, graded, immersed Lagrangians with clean self-intersection using Seidel's setup. A positivity assumption on the index of the self intersection points is imposed to rule out certain (but not all) disc bubbles. This allows the Lagrangians to be included in the exact Fukaya category. We also study quasi-isomorphism of Lagrangians under certain exact deformations which are not Hamiltonian.

研究动机与目标

• 将精确 Fukaya 范畴扩展至包含具有清洁自交点的精确、分等级、浸入拉格朗日子流形。
• 通过在自交点的 Maslov 指数上施加正值条件，排除阻碍性盘泡发散，建立此类拉格朗日子流形的可计算 Floer 上同调理论。
• 证明此类拉格朗日子流形在非哈密顿精确形变下的 Floer 上同调不变性。
• 为这些拉格朗日子流形构造一个定义良好的 $A_\infty$-结构，且满足 $\mathfrak{m}_0 = 0$，确保理论在范畴论上表现良好。

提出的方法

• 在自交点的 Maslov 指数上施加正值条件，以防止可能阻碍弗雷德霍姆理论的某些伪全纯盘泡发散。
• 采用 Seidel 的扰动方案在 $\mathbb{Z}_2$ 上构造一个定义良好且可计算的 Floer 复形。
• 应用 Gromov 紧性与正则性理论于边界条件为浸入拉格朗日子流形的伪全纯带与盘的模空间。
• 利用渐近分析与加权 Sobolev 估计，控制解在柱形端点附近的衰减行为。
• 通过扰动的伪全纯曲线构造链复形 $CF(\iota; \mathfrak{H}, \mathfrak{J})$，并证明其在几乎复结构的同伦下保持不变。
• 通过带标记点与扰动数据的伪全纯多边形的模空间建立 $A_\infty$-结构，确保 $\mathfrak{m}_0 = 0$。

实验结果

研究问题

• RQ1 具有清洁自交点的精确、分等级、浸入拉格朗日子流形能否作为精确 Fukaya 范畴的对象被包含？
• RQ2 对自交点的 Maslov 指数施加正值条件是否足以排除 Floer 理论中的阻碍性盘泡发散？
• RQ3 此类拉格朗日子流形在非哈密顿精确形变下，其 Floer 上同调的不变性是否可被确立？
• RQ4 对于这些对象，其 Floer 复形上的 $A_\infty$-结构是否定义良好且满足 $\mathfrak{m}_0 = 0$？
• RQ5 能否使用 Seidel 的扰动方案，为浸入拉格朗日子流形构造一个可计算的、取值于 $\mathbb{Z}_2$ 的 Floer 理论？

主要发现

• 自交点 Maslov 指数的正值条件确保仅有有限多个伪全纯盘可能泡发，从而阻止了阻碍性退化现象的形成。
• Floer 上同调 $\mathrm{HF}(\iota)$ 定义良好，并在几乎复结构与扰动数据的同伦下保持不变。
• Floer 复形上的 $A_\infty$-结构满足 $\mathfrak{m}_0 = 0$，确保理论无阻碍，适合范畴化。
• 该理论在某些非哈密顿精确形变下保持不变，推广了先前的不变性结果。
• 对扰动 $J$-全纯曲线方程解的渐近衰减估计表明，其 $C^1$-范数在无穷远处呈指数衰减，从而保证了有限能量与紧性。
• 只要浸入像上存在全测地度量，该构造对任意具有清洁自交点的浸入均成立。