[论文解读] On the Hofer-Zehnder conjecture on $\mathbb{C} ext{P}^d$ via generating functions (with an appendix by Egor Shelukhin)

Simon Allais|arXiv (Cornell University)|Oct 27, 2020

Geometric and Algebraic Topology被引用 1

一句话总结

本文通过生成函数方法证明了复射影空间 $\mathbb{C}P^d$ 上的Hofer-Zehnder猜想，表明每个具有至少 $d+2$ 个非退化周期点的哈密顿微分同胚都有无穷多个周期点。该方法利用从生成函数导出的持久性模组构造条形码，避免了弗洛尔同调与 J-全纯曲线。关键结果推广了弗兰克斯定理，并通过经典莫尔斯理论技术证实了谢鲁欣在 $\mathbb{C}P^d$ 上的同调猜想。

ABSTRACT

We use generating function techniques developed by Givental, Th\'eret and ourselves to deduce a proof in $\mathbb{C} ext{P}^d$ of the homological generalization of Franks theorem due to Shelukhin. This result proves in particular the Hofer-Zehnder conjecture in the non-degenerated case: every Hamiltonian diffeomorphism of $\mathbb{C} ext{P}^d$ that has at least $d+2$ non-degenerated periodic points has infinitely many periodic points. Our proof does not appeal to Floer homology or the theory of $J$-holomorphic curves. An appendix written by Shelukhin contains a new proof of the Smith-type inequality for barcodes of Hamiltonian diffeomorphisms that arise from Floer theory, which lends itself to adaptation to the setting of generating functions.

研究动机与目标

• 提供一种基于生成函数的替代证明，证明 $\mathbb{C}P^d$ 上的Hofer-Zehnder猜想，且不依赖于弗洛尔同调或 J-全纯曲线。
• 将同调计数 $N(\phi; F)$ 建立为与局部弗洛尔同调等价的不变量，从而实现谢鲁欣猜想的经典莫尔斯理论解释。
• 证明复射影空间 $\mathbb{C}P^d$ 上的哈密顿微分同胚 $\phi$，若满足 $N(\phi; F) > d+1$，则有无穷多个周期点，将弗兰克斯定理推广至高维。
• 将条形码的史密斯型不等式推广至生成函数设定，使弗洛尔理论结果可适配至经典方法。

提出的方法

• 从与哈密顿同伦相关的生成函数构造持久性模组 $ (G_{(-\infty,t)}^*(h_s; F))_t $，其结构类似于弗洛尔同调。
• 将持久性模组表示为条形码，其中无限条对应谱不变量，有限条对应具有非平凡局部同调的不动点。
• 定义同调计数 $ N(\phi; F) = \sum_{x \in \text{Fix}(\phi)} \dim C_*(\phi; x; F) $，并证明其等于在域 $ F $ 上对所有不动点的局部弗洛尔同调之和。
• 利用条形码上的 $ \mathbb{Z} $-作用分析周期性：有限个有限条的 $ \mathbb{Z} $-轨道意味着不动点有限。
• 通过在 $ \Lambda_K $ 系数下的过滤弗洛尔同调，建立史密斯型不等式 $ p \cdot \beta_{\text{tot}}(\phi, F_p) \leq \beta_{\text{tot}}(\phi^p, F_p) $，证明周期点增长的关键不等式。
• 利用谱不变量与作用窗口，将条长与总条长 $ \beta_{\text{tot}}(\phi, K) $ 关联，后者控制周期点的增长。

实验结果

研究问题

• RQ1 Hofer-Zehnder猜想在 $ \mathbb{C}P^d $ 上是否成立，即具有有限多个周期点的哈密顿微分同胚必须恰好有 $ d+1 $ 个，否则必有无穷多个？
• RQ2 通过局部同调定义的同调计数 $ N(\phi; F) $ 是否可通过生成函数与经典莫尔斯理论实现？
• RQ3 是否可在不使用弗洛尔同调的前提下，仅通过带诺维科夫系数的过滤弗洛尔同调，证明史密斯型不等式 $ p \cdot \beta_{\text{tot}}(\phi, F_p) \leq \beta_{\text{tot}}(\phi^p, F_p) $？
• RQ4 哈密顿微分同胚的条形码结构是否能完全从生成函数重构，同时保持 $ \mathbb{Z} $-作用与谱不变量？
• RQ5 总条长 $ \beta_{\text{tot}}(\phi, K) $ 是否控制周期点的增长，特别是对素数周期？

主要发现

• 每个复射影空间 $ \mathbb{C}P^d $ 上的哈密顿微分同胚 $ \phi $，若满足 $ N(\phi; F) > d+1 $，则有无穷多个周期点，证实了弗兰克斯定理的同调推广。
• 若 $ F $ 的特征为 0，则对所有足够大的素数 $ p $，$ \phi $ 都有 $ p $-周期点，且周期小于 $ k $ 的周期点数量至少以 $ \frac{k^2}{\log k} $ 的速度增长。
• 若 $ F $ 的特征为 $ p \neq 0 $，则 $ \phi $ 有无穷多个周期点，其周期为 $ p $ 的幂，即属于集合 $ \{ p^k \mid k \in \mathbb{N} \} $。
• 史密斯型不等式 $ p \cdot \beta_{\text{tot}}(\phi, F_p) \leq \beta_{\text{tot}}(\phi^p, F_p) $ 成立，其通过带 $ \Lambda_K $-系数的过滤弗洛尔同调的证明方法已适配至生成函数设定。
• 总条长 $ \beta_{\text{tot}}(\phi, K) $ 在域扩张下保持不变，且当 $ \text{char}(K) = p $ 时满足 $ \beta_{\text{tot}}(\phi, K) = \beta_{\text{tot}}(\phi, F_p) $，确保了不同系数域间的一致性。
• 条形码中有限条的 $ \mathbb{Z} $-轨道数量等于 $ K(\phi, K) $，而无限条的数量等于 $ B(K) = \dim_K H_*(\mathbb{C}P^d; K) = d+1 $，与阿诺德猜想一致。