[论文解读] A spectral sequence for symplectic homology

Mark McLean|arXiv (Cornell University)|Nov 10, 2010

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

一句话总结

本文构建了一个收敛于Lefschetz纤维丛的辛同调的谱序列，其E¹页与单值对称变换及其迭代的Floer同调相关。关键结果在辛同调与对称变换的Floer同调之间建立了桥梁，通过长正合列和Floer同调群上的群作用，实现了新的不动点障碍及辛拓扑应用。

ABSTRACT

We construct a spectral sequence converging to symplectic homology of a Lefschetz fibration whose E1 page is related to Floer homology of the monodromy symplectomorphism and its iterates. We use this to show the existence of fixed points of certain symplectomorphisms.

研究动机与目标

• 将Lefschetz纤维丛的辛同调与其实现对称变换的Floer同调联系起来。
• 构造一个谱序列，其E¹页编码实现对称变换映射的迭代Floer同调群。
• 利用该谱序列推导出关于对称变换下不动点存在的新障碍。
• 通过长正合列和群作用建立不同Floer同调群之间的结构性关系。
• 提供一种利用单值动力学计算辛同调的工具。

提出的方法

• 构建一个收敛于Lefschetz纤维丛 $\pi: E \to \mathbb{C}$ 的辛同调 $SH_*(\widehat{M})$ 的谱序列，该纤维丛具有一个正向端。
• 使用由 $\phi^k$ 的不动点模 $\mathbb{Z}/k\mathbb{Z}$-轨道生成的Floer同调群 $HF_*(\phi, k)$ 定义 $E^1$ 页。
• 利用邻域与Liouville域的完备化定义柱状端结构，确保在 $[1,\infty) \times \partial F$ 上有 $\lambda = r\alpha$。
• 应用Floer轨迹的最小值原理，证明停留在正则纤维外的解必须保留在柱状端内，从而保证横截性与紧致性。
• 在 $HF_*(\phi^k, 1)$ 上建立 $\mathbb{Z}/k\mathbb{Z}$-作用 $\Gamma$，在特征为0或 $p \nmid k$ 的系数域下，证明 $HF_*(\phi, k) \cong HF_*(\phi^k, 1)^\Gamma$。
• 推导出一个长正合列，关联 $HF^*(\phi)$、$HF_*(\phi,1)$ 与 $HF^{*-1}(\phi)$，类似于Gysin序列。

实验结果

研究问题

• RQ1 如何将Lefschetz纤维丛的辛同调与其实现对称变换的Floer同调联系起来？
• RQ2 何种谱序列结构将实现对称变换的动力学与全空间的辛同调联系起来？
• RQ3 该谱序列能否用于推导对称变换下不动点存在的新障碍？
• RQ4 在群作用下，$HF_*(\phi,k)$ 与 $HF_*(\phi^k,1)$ 之间的精确关系为何？
• RQ5 Floer同调群之间的长正合列如何反映实现对称变换的拓扑结构？

主要发现

• 谱序列收敛于 $SH_*(\widehat{M})$，其中 $E^1_{0,q} = H^{n-q}(M)$ 且 $E^1_{p,q} = HF_{q-p}(\phi,p)$（当 $p > 1$ 时），其余情况为零。
• 对于平凡纤维丛 $\widehat{F} \times \mathbb{C}$，该谱序列在第一页即退化，意味着 $SH_*(\widehat{F} \times \mathbb{C}) = 0$。
• 存在 $\mathbb{Z}/k\mathbb{Z}$-作用 $\Gamma$ 作用于 $HF_*(\phi^k,1)$，使得当系数域的特征为0或 $p \nmid k$ 时，有 $HF_*(\phi, k) \cong HF_*(\phi^k, 1)^\Gamma$。
• 存在一个长正合列关联 $HF^*(\phi)$、$HF_*(\phi,1)$ 与 $HF^{*-1}(\phi)$，为上同调与同调Floer理论之间提供了结构性联系。
• 该谱序列为利用单值映射的动力学计算辛同调提供了计算框架。
• 最小值原理确保连接柱状端内轨道的Floer轨迹始终保留在该区域，从而支持构造中的横截性与紧致性。