[论文解读] On the Floer homology of cotangent bundles

Alberto Abbondandolo, Matthias Schwarz|ArXiv.org|Aug 20, 2004

Geometric and Algebraic Topology参考文献 24被引用 4

一句话总结

该论文通过使用勒让德变换的哈密顿量以及与经典拉格朗日作用泛函的莫尔斯复形的直接比较，建立了 $T^*M$ 的弗洛尔同调与自由环路空间 $\Omega(M)$ 的奇异同调之间的新同构关系。论文引入了弗洛尔轨迹的改进 $L^\infty$ 估计，使得适用于更广泛类别的哈密顿量，并通过基于余切丛纤维结构的新型几何方法，确保了横截性与紧致性。

ABSTRACT

This paper concerns Floer homology for periodic orbits and for a Lagrangian intersection problem on the cotangent bundle of a compact orientable manifold M. The first result is a new uniform estimate for the solutions of the Floer equation, which allows to deal with a larger - and more natural - class of Hamiltonians. The second and main result is a new construction of the isomorphism between the Floer homology and the singular homology of the free loop space of M, in the periodic case, or of the based loop space of M, in the Lagrangian intersection problem. The idea for the construction of such an isomorphism is to consider a Hamiltonian which is the Legendre transform of a Lagrangian on TM, and to construct an isomorphism between the Floer complex and the Morse complex of the classical Lagrangian action functional on the space of free or based loops on M of Sobolev class W(1,2).

研究动机与目标

• 建立 $T^*M$ 的弗洛尔同调与自由环路空间 $\Omega(M)$ 的奇异同调之间的典范同构，通过直接几何构造扩展维特博的结果。
• 为满足 (H1) 与 (H2) 条件的更广泛类别的哈密顿量，发展更精细的 $L^\infty$ 估计，且不依赖于度量选择。
• 在 $W^{1,2}$ 环路上的经典作用泛函的莫尔斯复形与勒让德变换哈密顿量的弗洛尔复形之间，构造链级别的同构。
• 通过一种与 $T^*M$ 的拉格朗日子丛相容的新粘合与扰动方案，证明弗洛尔轨迹模空间的横截性与紧致性。
• 确保同构尊重 $\pi_1(M)$ 的共轭类对同调的分解，保持环路空间的拓扑结构。

提出的方法

• 利用勒让德变换将 $T^*M$ 上的哈密顿量 $H$ 与 $TM$ 上的拉格朗日量 $L$ 关联，将弗洛尔复形与作用泛函 $\mathcal{E}$ 的莫尔斯复形联系起来。
• 通过直接分析柯西-黎曼算子，建立弗洛尔轨迹的 $L^\infty$ 估计，避免使用微分与最大值原理。
• 构造一个链映射 $\Theta_k: CM_k(\mathcal{E}) \to CF_k(H)$，通过计数带符号 $\epsilon(u)$ 的 $J$-全纯曲线 $u \in \mathcal{M}^+(q,x)$ 定义。
• 应用 Sard-Smale 定理与 Carleman 相似性原理，证明 $\mathcal{J}_{\mathrm{reg}}(H,g)$ 中几乎复结构 $J$ 的残渣正则性。
• 利用断裂轨迹的粘合定理，证明链映射性质，确保 $\partial_{k-1}\Theta_k = \Theta_{k-1}\partial_k$。
• 证明当生成元按作用有序时，$\Theta_k$ 的矩阵表示为下三角矩阵，且对角线上元素为 $\pm 1$，从而蕴含可逆性，即为链同构。

实验结果

研究问题

• RQ1 能否在不依赖生成函数或上同调对偶性的情况下，直接构造 $T^*M$ 的弗洛尔同调与自由环路空间 $\Omega(M)$ 的奇异同调之间的同构？
• RQ2 在对哈密顿量的最小假设下，能否建立 $T^*M$ 上弗洛尔轨迹的 $L^\infty$ 估计，且不依赖于黎曼度量？
• RQ3 如何将 $W^{1,2}$ 环路上经典作用泛函的莫尔斯复形与勒让德变换哈密顿量的弗洛尔复形进行典范识别？
• RQ4 在何种条件下，弗洛尔轨迹的模空间是横截且紧致的，从而确保弗洛尔同调的良定义性？
• RQ5 该同构是否尊重 $\pi_1(M)$ 的共轭类对同调的分解，从而反映环路空间的拓扑结构？

主要发现

• 弗洛尔同调 $HF_*(T^*M)$ 与自由环路空间 $\Omega(M)$ 的奇异同调之间存在典范同构，该同构通过莫尔斯复形与弗洛尔复形之间的链级对应关系构造而成。
• 在自然条件 (H1) 与 (H2) 下，建立了弗洛尔轨迹的 $L^\infty$ 估计，这些条件与度量无关，且允许比以往结果更广泛的哈密顿量类别。
• 当生成元按作用有序时，链映射 $\Theta_k$ 的矩阵表示为下三角矩阵，且对角线上元素为 $\pm 1$，因此其可逆，从而构成链同构。
• 模空间 $\mathcal{M}^+(q,x)$ 的横截性对 $\mathcal{J}_{\mathrm{reg}}(H,g)$ 中的残渣 $J$ 成立，从而确保弗洛尔微分中计数的良定义性。
• 该同构与 $\pi_1(M)$ 的共轭类对同调的分解相容，反映了环路空间纤维结构的拓扑特征。
• 该构造避免使用生成函数与上同调方法，提供了该同构的直接几何证明，与维特博原始方法形成对比。