[论文解读] Arnold Conjecture and Morava K-theory

Mohammed Abouzaid, Andrew J. Blumberg|arXiv (Cornell University)|Mar 2, 2021

Homotopy and Cohomology in Algebraic Topology参考文献 28被引用 9

一句话总结

该论文通过利用模空间的稳定复结构构造弗洛尔同伦理论，使用莫拉瓦 K-理论证明了阿诺德猜想的一个强版本。它建立了莫拉瓦 K-理论同调 $ H_*(M; K(n)) $ 的秩下界由非退化周期性哈密顿轨道的数量决定，推广了辛拓扑中的早期结果，并实现了科恩-琼斯-塞加尔关于弗洛尔同伦理论的愿景。

ABSTRACT

We prove that the rank of the cohomology of a closed symplectic manifold with coefficients in a field of characteristic $p$ is smaller than the number of periodic orbits of any non-degenerate Hamiltonian flow. Following Floer, the proof relies on constructing a homology group associated to each such flow, and comparing it with the homology of the ambient symplectic manifold. The proof does not proceed by constructing a version of Floer's complex with characteristic $p$ coefficients, but uses instead the canonical (stable) complex orientations of moduli spaces of Floer trajectories to construct a version of Floer homology with coefficients in Morava's $K$-theories, and can thus be seen as an implementation of Cohen, Jones, and Segal's vision for a Floer homotopy theory. The key feature of Morava K-theory that allows the construction to be carried out is the fact that the corresponding homology and cohomology groups of classifying spaces of finite groups satisfy Poincaré duality.

研究动机与目标

• 使用广义上同调理论来建立周期性哈密顿轨道数量的辛拓扑下界。
• 通过在莫拉瓦 K-理论中构造弗洛尔同调版本，实现科恩、琼斯和塞加尔关于弗洛尔同伦理论的愿景。
• 利用莫拉瓦 K-理论有限群分类空间上同调的庞加莱对偶性，以支持构造的实现。
• 将此前关于阿诺德猜想的结果（包括福崎-大岛与刘-田的工作）推广至任意特征 $ p $ 的域。
• 使用参数化谱与虚拟基本链，为哈密顿弗洛尔理论提供同伦论框架。

提出的方法

• 通过莫拉瓦 K-理论中的虚拟基本链，从哈密顿函数的流范畴构造谱范畴。
• 利用弗洛尔轨迹模空间上的稳定复结构，在莫拉瓦 K-理论中定义规范方向。
• 应用斯潘纳-惠特尼对偶性与参数化谱，将底流形的同调与流的弗洛尔同调联系起来。
• 通过库兰希流范畴与虚拟上链的协调系统，定义具有良好行为的具有莫拉瓦 K-理论系数的弗洛尔同调理论。
• 利用阿蒂亚-赫兹布鲁赫谱序列，将莫拉瓦 K-理论同调与特征 $ p $ 域系数的普通同调联系起来。
• 通过谱范畴的 DK-等价性，建立库兰希表示的虚拟上链复形与弗洛尔链复形之间的比较。

实验结果

研究问题

• RQ1 能否使用广义上同调理论（如莫拉瓦 K-理论）而非普通上同调来证明阿诺德猜想？
• RQ2 如何利用弗洛尔轨迹模空间的稳定复结构来构建弗洛尔同伦理论？
• RQ3 莫拉瓦 K-理论中的庞加莱对偶性在实现良好定义的弗洛尔同调理论中起到什么作用？
• RQ4 非退化哈密顿流的周期轨道数量是否能被莫拉瓦 K-理论同调的秩下界控制？
• RQ5 在库兰希流范畴中使用虚拟基本链，如何实现弗洛尔同调与广义上同调中流形同调之间的比较？

主要发现

• 作为 $ F_p[v_n^{/pm}] $-模，莫拉瓦 K-理论同调 $ H_*(M; K(n)) $ 的秩由任意时间-1流的非退化周期性哈密顿轨道数量所界定。
• 当 $ n $ 足够大使得 $ 2(p^n - 1) > \dim M $ 时，莫拉瓦 K-理论同调 $ H_*(M; K(n)) $ 的秩与 $ H_*(M; F_p) \otimes_{F_p} K(n)_* $ 相同，这与任意特征 $ p $ 域系数的普通同调秩一致。
• 通过模空间的稳定复结构构造具有莫拉瓦 K-理论系数的弗洛尔同调，避免了对特征 $ p $ 弗洛尔复形的需求。
• 证明建立了虚拟上链范畴的谱范畴与弗洛尔链复形之间的 DK-等价性，从而实现了同伦类型的比较。
• 使用参数化谱与协调的虚拟上链系统，确保了不同流范畴之间构造的兼容性与有限性。
• 该结果蕴含推论 1.2：任意特征 $ p $ 域 $ k $ 系数的普通同调 $ H_*(M; k) $ 的秩，由周期轨道的数量下界控制。