[论文解读] A note on local Floer homology

Peter Albers|ArXiv.org|Jun 23, 2006

Geometric and Algebraic Topology参考文献 3被引用 7

一句话总结

该论文提出了一种新的局部弗洛尔同调构造方法，适用于任意相容的几乎复结构以及霍弗范数小于拉格朗日子流形上全纯圆盘或全纯球面的最小辛面积的哈密顿函数。关键结果是，在最优假设下，该同调与拉格朗日子流形的奇异同调之间存在自然同构，并通过能量估计和全纯轨迹的几何判据，直接证明了模空间的紧致性。

ABSTRACT

In general, Lagrangian Floer homology - if well-defined - is not isomorphic to singular homology. For arbitrary closed Lagrangian submanifolds a local version of Floer homology is defined in [Flo89, Oh96] which is isomorphic to singular homology. This construction assumes that the involved Hamiltonian function $H$ is sufficiently $C^2$-small and the almost complex structure is sufficiently standard. In this note we develop a new construction of local Floer homology which works for any (compatible) almost complex structure and all Hamiltonian function with Hofer norm less than the minimal (symplectic) area of a holomorphic disk or sphere. The example $S^1\subset\C$ shows that this is sharp. If the Lagrangian submanifold is monotone, the grading of local Floer homology can be improved to a $\Z$-grading.

研究动机与目标

• 开发一种新的、更通用的局部弗洛尔同调构造方法，无需依赖 $C^2$-小哈密顿函数或标准几乎复结构。
• 建立一个几何准则，用于选取弗洛尔轨迹，以确保在更弱假设下模空间的紧致性。
• 证明由此得到的同调与拉格朗日子流形的奇异同调之间存在自然同构。
• 证明霍弗范数条件 $||H|| < A_L$ 是最优的，其中 $A_L$ 是全纯圆盘或全纯球面的最小面积。
• 将该框架推广至单调拉格朗日子流形，使得同调上具有 $\mathbb{Z}$-分次结构。

提出的方法

• 基于面积为零且Maslov指标为零的全纯圆盘，定义一个特殊子集 $\mathcal{P}^{\mathrm{ess}}_L(H)$ 的哈密顿弦。
• 构造满足 $\omega([U]) = 0$ 且 $\mu_{\mathrm{Maslov}}([U]) = 0$ 的弗洛尔轨迹模空间 $\mathcal{M}^{\mathrm{ess}}_L(x,y)$，以保证紧致性。
• 利用能量估计 $E(U) \leq \omega([U]) + ||H|| < A_L$ 控制全纯带状区域的能量，防止 bubbling 现象。
• 应用标准的正则性与横截性论证，证明在通用数据下模空间为光滑流形。
• 通过计数 $\mathcal{M}^{\mathrm{ess}}_L(x,y)$ 的零维分量来定义微分，从而得到一个与莫尔斯同调拟同构的链复形。
• 为满足 $||H_0|| + ||H_1|| < A_L$ 的哈密顿函数建立连续映射，证明同调在这些扰动下保持不变。

实验结果

研究问题

• RQ1 是否可以在不依赖 $C^2$-小哈密顿函数或标准几乎复结构的前提下构造局部弗洛尔同调？
• RQ2 何种几何条件可确保在更弱假设下模空间的紧致性？
• RQ3 霍弗范数条件 $||H|| < A_L$ 是否对非平凡哈密顿弦的存在性是最优的？
• RQ4 在这些放宽条件下，所得的局部弗洛尔同调是否能与奇异同调自然同构？
• RQ5 当拉格朗日子流形为单调时，同调的分次结构如何表现？

主要发现

• 在条件 $||H|| < A_L$ 下，局部弗洛尔同调 $\mathrm{HF}^{\mathrm{ess}}_*(L,\phi_H(L))$ 与奇异同调 $\mathrm{H}_*(L)$ 之间存在自然同构。
• 该构造适用于任意相容的几乎复结构以及所有霍弗范数小于 $A_L$（即全纯圆盘或全纯球面的最小面积）的哈密顿函数。
• 假设 $||H|| < A_L$ 是最优的，如示例 $S^1 \subset \mathbb{C}$ 所示：当 $||H|| \geq A_{S^1}$ 时，有 $\phi_H(S^1) \cap S^1 = \emptyset$。
• 对于单调拉格朗日子流形，$\mathrm{HF}^{\mathrm{ess}}_*(L,\phi_H(L))$ 的分次结构提升为 $\mathbb{Z}$-分次。
• 由于能量有界且面积与Maslov指标均为零，模空间 $\mathcal{M}^{\mathrm{ess}}_L(x,y)$ 在所有维度上均在断裂意义下紧致。
• 该构造恢复了切克诺夫的结果：$\#\mathcal{P}_L(H) \geq \sum_i b_i(L)$，且作用量满足 $-\sup H \leq \mathcal{A}_H(x) \leq -\inf H$。