[论文解读] Action Selectors and the Fixed Point Set of a Hamiltonian Diffeomorphism

Wyatt Howard|arXiv (Cornell University)|Nov 2, 2012

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

一句话总结

该论文证明，当哈密顿微分同胚在闭合、有理数且弱单调的辛流形上的作用谱小于利斯捷尔曼-西雷尔曼理论所预测的值时，其不动点集必须具有非平凡上同调。通过谱不变量与量子上同调，论文证明了该条件迫使不动点集在正度数上支持非零上同调，从而在无瑕情形下推广了阿诺德猜想。

ABSTRACT

In this paper we study the size of the fixed point set of a Hamiltonian diffeomorphism on a closed symplectic manifold which is both rational and weakly monotone. We show that there exists a non-trivial cycle of fixed points whenever the action spectrum is smaller, in a certain sense, than required by the Ljusternik-Schirelman theory. For instance, in the aspherical case, we prove that when the number of points in the action spectrum is less than or equal to the cup length of the manifold, then the cohomology of the fixed point set must be non-trivial. This is a consequence of a more general result that is applicable to all weakly monotone manifolds asserting that the same is true when the action selectors are related by an equality of the Ljusternik-Schirelman theory.

研究动机与目标

• 理解当作用谱小于利斯hte尔曼-西雷尔曼理论所预测时，哈密顿微分同胚的不动点集的大小与拓扑复杂性。
• 通过证明非孤立不动点集必须具有非平凡上同调，将阿诺德猜想推广至孤立不动点之外的情形。
• 建立作用选择子、量子上同调与辛流形中不动点集拓扑之间的联系。
• 将无瑕情形下的结果推广至更广泛的有理数、弱单调辛流形类别。

提出的方法

• 使用过滤弗洛尔同调与上同调分析周期轨道及其谱不变量。
• 应用量子上同调与量子乘积，通过等式 $ c^{α * β}(H) = c^{α}(H) - I^{c}_{ω}(\beta) $ 将上同调类与作用选择子联系起来。
• 利用弗洛尔理论中通过谱不变量定义的作用选择子 $ c^\alpha(H) $ 检测非平凡不动点集。
• 应用利斯hte尔曼-西雷尔曼理论，将作用谱点数与流形的上积长度进行比较。
• 在 $ C^0 $-拓扑下应用紧致性与收敛性论证，证明周期轨道序列收敛于原哈密顿函数的不动点。
• 依赖帕莱斯-斯莫尔条件与一致利普希茨界，提取环路的收敛子序列。

实验结果

研究问题

• RQ1 在有理数、弱单调辛流形上，哈密顿微分同胚的不动点集在何种条件下具有非平凡上同调？
• RQ2 作用谱的大小与不动点集的拓扑之间有何关系？
• RQ3 当作用谱小于上积长度时，谱不变量与量子上同调能否检测到非孤立不动点？
• RQ4 等式 $ c^{\alpha * \beta}(H) = c^{\alpha}(H) - I^{c}_{\omega}(\beta) $ 在迫使不动点集非平凡性方面起什么作用？
• RQ5 在无瑕情形下，当 $ \#\mathcal{S}(H) < CL(M)+1 $ 时，何时有 $ H^j(F) \neq 0 $ 对某个 $ j \geq 1 $ 成立？

主要发现

• 若在无瑕流形上 $ \#\mathcal{S}(H) < CL(M)+1 $，则存在某个 $ 1 \leq j \leq 2n $ 使得 $ H^j(F) \neq 0 $，即不动点集具有非平凡上同调。
• 对于有理数、弱单调流形，若 $ c^{\alpha * \beta}(H) = c^{\alpha}(H) - I^{c}_{\omega}(\beta) $ 且 $ \alpha \neq 0 $、$ \deg(\beta) > 0 $，则 $ \beta|_F \neq 0 $ 在 $ HQ^*(F) $ 中，意味着 $ F $ 具有非平凡上同调。
• 在无瑕情形下，若 $ c^{\alpha \cup \beta}(H) = c^{\alpha}(H) $ 且 $ \deg(\beta) > 0 $，则 $ H^{\deg(\beta)}(F) \neq 0 $，从而将阿诺德猜想推广至非孤立不动点。
• 证明依赖于周期轨道序列收敛于原哈密顿函数的不动点，其依据为 $ C^0 $-收敛性与常微分方程的唯一性。
• 作为扰动哈密顿函数周期点极限的不动点 $ p $ 位于邻域 $ U^a_\delta $ 之外，若假设 $ p \in U^a_\delta $ 则导致矛盾，从而证明存在作用值为 $ a $ 的不动点。
• 该结果建立了谱不变量、量子上同调与不动点集拓扑之间的深刻联系，将维特博的临界值选择子结果推广至哈密顿设定。