[论文解读] Hamiltonian no-torsion

Marcelo S Atallah, Egor Shelukhin|arXiv (Cornell University)|Aug 26, 2020

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

一句话总结

该论文将庞特科夫2002年关于哈密顿无扭子定理的结果推广至辛非殆复（symplectically aspherical）情形之外的高维情形，证明了闭的辛卡拉比-丘流形与负单调流形不具有非平凡的哈密顿扭子。通过广义莫尔斯-博特定理、量子施蒂费尔幂以及过滤弗洛尔同调的方法，论文表明：若正单调流形具有哈密顿扭子，则其必为几何上有理链连通（geometrically uniruled）；且此类扭子子群在哈密顿群的自然范数下，不可能位于单位元的任意小邻域内。

ABSTRACT

In 2002 Polterovich has notably established that on closed aspherical symplectic manifolds, Hamiltonian diffeomorphisms of finite order, which we call Hamiltonian torsion, must in fact be trivial. In this paper we prove the first higher-dimensional Hamiltonian no-torsion theorems beyond the symplectically aspherical case. We start by showing that closed symplectic Calabi-Yau and negative monotone symplectic manifolds do not admit Hamiltonian torsion. Going still beyond topological constraints, we prove that every closed positive monotone symplectic manifold $(M,ω)$ admitting Hamiltonian torsion is geometrically uniruled by holomorphic spheres for every $ω$-compatible almost complex structure, partially answering a question of McDuff-Salamon. This provides many additional no-torsion results, and as a corollary yields the geometric uniruledness of monotone Hamiltonian $S^1$-manifolds, a fact closely related to a celebrated result of McDuff from 2009. Moreover, the non-existence of Hamiltonian torsion implies the triviality of Hamiltonian actions of lattices like $SL(k,\mathbb{Z})$ for $k \geq 2,$ as well as those of compact Lie groups. Finally, for monotone symplectic manifolds admitting Hamiltonian torsion, we prove an analogue of Newman's theorem on finite transformation groups for several natural norms on the Hamiltonian group: such subgroups cannot be contained in arbitrarily small neighborhoods of the identity. Our arguments rely on generalized Morse-Bott methods, as well as on quantum Steenrod powers and Smith theory in filtered Floer homology.

研究动机与目标

• 将庞特科夫2002年关于哈密顿无扭子定理的结果推广至辛非殆复流形之外的情形。
• 证明闭的辛卡拉比-丘流形与负单调流形不具有哈密顿扭子。
• 研究正单调辛流形中哈密顿扭子存在的几何与拓扑后果。
• 证明哈密顿扭子的存在性意味着在正单调情形下具有 ${\mathbb{F}}_p$-施蒂费尔有理链连通性与几何有理链连通性。
• 表明在哈密顿群的自然范数下，哈密顿扭子子群不可能被包含在单位元的任意小邻域中。

提出的方法

• 采用广义莫尔斯-博特方法分析哈密顿微分同胚的周期轨道与不动点结构。
• 利用系数为 ${\mathbb{F}}_p$ 的过滤弗洛尔同调，研究有限群作用下广义不动点的局部同调。
• 在过滤弗洛尔同调的框架下应用量子施蒂费尔幂，以检测有理链连通性条件。
• 在局部弗洛尔同调中运用史密斯理论，推导不动点集同调群维数的不等式。
• 利用谱不变量与PSS同构，将作用谱与上同调数据关联起来。
• 通过史密斯不等式与有限阶约束，建立迭代下局部弗洛尔同调维数的常数性。

实验结果

研究问题

• RQ1 闭的辛卡拉比-丘流形与负单调流形是否具有非平凡的哈密顿扭子？
• RQ2 当正单调辛流形具有哈密顿扭子时，会产生何种几何或上同调约束？
• RQ3 在哈密顿群的自然范数下，哈密顿扭子子群是否可能位于单位元的任意小邻域中？
• RQ4 哈密顿扭子的存在是否意味着 ${\mathbb{F}}_p$-施蒂费尔有理链连通性或几何有理链连通性？
• RQ5 量子施蒂费尔幂与过滤弗洛尔同调如何在非殆复情形下检测辛流形中扭子的缺失？

主要发现

• 闭的辛卡拉比-丘流形与负单调流形不具有哈密顿扭子。
• 每个具有哈密顿扭子的闭正单调辛流形，对每个 $\omega$-相容的几乎复结构 $J$，均为 $J$-全纯球面所几何有理链连通。
• 哈密顿扭子的存在性意味着对某些素数 $p$ 具有 ${\mathbb{F}}_p$-施蒂费尔有理链连通性，而该性质又蕴含几何有理链连通性。
• 若流形不具有哈密顿扭子，则其对格拉姆如 $SL(k,\mathbb{Z})$（$k \geq 2$）或紧李群的作用必为平凡作用。
• 对于具有哈密顿扭子的单调辛流形，此类微分同胚生成的子群不可能被包含在哈密顿群的任意几种自然范数下的单位元的任意小邻域中。
• 由于微分同胚的有限阶性与过滤弗洛尔同调中的史密斯不等式，迭代映射的局部弗洛尔同调维数在迭代下保持不变。