[논문 리뷰] Hamiltonian no-torsion

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

Geometric and Algebraic Topology참고 문헌 73인용 수 4

한 줄 요약

이 논문은 심플렉틱적으로 비가역적인 경우를 초월하여 고차원 해밀턴 비틀림 정리들을 수립하며, 닫힌 심플렉틱 칼라비-ยอ우 및 음의 단조성 다발이 비자명한 해밀턴 비틀림을 갖지 않는다는 것을 증명한다. 일반화된 모스-보트 방법, 양자 스티너드 힘, 그리고 필터링된 플로어 homology를 사용하여, 양의 단조성 다발에서 해밀턴 비틀림이 존재할 경우 기하학적으로 유일루프되어야 하며, 이러한 부분군은 해밀턴 군 위의 자연스러운 노름 하에 항등원의 임의로 작은 이웃에 포함될 수 없다는 것을 보여준다.

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 동형사를 사용하여 작용 스펙트럼과 코homological 자료 간의 관계를 설정하기.
• 스미스 부등식과 유한 차수 제약 조건을 통해 반복에 따른 국소 플로어 호모로지 차원의 일관성을 확립하기.

실험 결과

연구 질문

• RQ1 닫힌 심플렉틱 칼라비-요우 및 음의 단조성 다발은 비자명한 해밀턴 비틀림을 갖는가?
• RQ2 양의 단조성 심플렉틱 다발이 해밀턴 비틀림을 갖는다면 어떤 기하학적 또는 코homological 제약 조건이 발생하는가?
• RQ3 해밀턴 비틀림 부분군은 해밀턴 군 위의 자연스러운 노름 하에 항등원의 임의로 작은 이웃에 포함될 수 있는가?
• RQ4 해밀턴 비틀림의 존재는 ${\mathbb{F}}_p$-스티너드 유일루프성 또는 기하학적 유일루프성을 유도하는가?
• RQ5 양자 스티너드 힘과 필터링된 플로어 호모로지는 비가역적인 경우를 초월한 심플렉틱 다발에서 비틀림의 부재를 어떻게 탐지하는가?

주요 결과

• 닫힌 심플렉틱 칼라비-요우 및 음의 단조성 다발은 해밀턴 비틀림을 갖지 않는다.
• 해밀턴 비틀림을 갖는 모든 닫힌 양의 단조성 심플렉틱 다발은 모든 $\omega$-호환적인 거의 복소 구조 $J$에 대해 $J$-홀로모르픽 원형에 의해 기하학적으로 유일루프되어진다.
• 해밀턴 비틀림의 존재는 특정 소수 $p$에 대해 ${\mathbb{F}}_p$-스티너드 유일루프성을 유도하며, 이는 기하학적 유일루프성을 함의한다.
• 해밀턴 비틀림이 존재하지 않는 다발의 경우, $SL(k,\mathbb{Z})$ ($k \geq 2$)과 같은 격자 및 컴act 리 군의 해밀턴 작용은 반드시 자명해야 한다.
• 해밀턴 비틀림을 갖는 단조성 심플렉틱 다발의 경우, 이러한 디피오모르피즘에 의해 생성되는 부분군은 해밀턴 군 위의 몇 가지 자연스러운 노름 중 어느 것도 항등원의 임의로 작은 이웃에 포함될 수 없다.
• 반복에 따른 반복 맵의 국소 플로어 호모로지 차원은 디피오모르피즘의 유한 차수와 필터링된 플로어 호모로지에서의 스미스 부등식 덕분에 반복 동안 일정하게 유지된다.