[論文レビュー] Hamiltonian no-torsion

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

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

ひとこと要約

この論文は、シンプレクティック的にアーシャーブルでない場合を含めた高次元のハミルトニアン torsion なし定理を確立し、閉じたシンプレクティック Calabi-Yau 多様体および負の単調多様体が非自明なハミルトニアン torsion を持たないことを証明している。一般化されたモース＝ボット法、量子スティーナロード作用素、およびフィルター付きフローホモロジーを用いて、正の単調多様体にハミルトニアン torsion がある場合、それらは幾何学的にユニルーデッドでなければならないことが示され、このような部分群はハミルトニアン群上の自然なノルムのもとで、恒等写像の任意に小さな近傍に含まれないことが示された。

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年のハミルトニアン torsion なし定理を、シンプレクティック的にアーシャーブルでない多様体へと拡張すること。
• 閉じたシンプレクティック Calabi-Yau 多様体および負の単調多様体にハミルトニアン torsion が存在しないことを確立すること。
• 正の単調シンプレクティック多様体におけるハミルトニアン torsion の幾何学的および位相的結果を調査すること。
• ハミルトニアン torsion が存在する場合、${\mathbb{F}}_p$-スティーナロードユニルーデッド性および幾何学的ユニルーデッド性が成立することを証明すること。
• ハミルトニアン torsion を持つ部分群が、ハミルトニアン群上の自然なノルムのもとで、恒等写像の任意に小さな近傍に含まれないことを示すこと。

提案手法

• 一般化されたモース＝ボット法を用いて、ハミルトニアン微分同相写像の周期的軌道および固定点の構造を分析する。
• ${\mathbb{F}}_p$ 系のフィルター付きフローホモロジーを用いて、有限群作用下での一般化固定点の局所ホモロジーを研究する。
• フィルター付きフローホモロジーの文脈で量子スティーナロード作用素を適用し、ユニルーデッド性の条件を検出する。
• 局所フローホモロジーにおけるスミス理論を用いて、固定点集合のホモロジー群の次元に関する不等式を導出する。
• スペクトル不変量とPSS同型を用いて、作用スペクトルとコホモロジー的データを関連付ける。
• スミス不等式と有限位数の制約を用いて、反復写像における局所フローホモロジー次元の定数性を確立する。

実験結果

リサーチクエスチョン

• RQ1 閉じたシンプレクティック Calabi-Yau 多様体および負の単調多様体は、非自明なハミルトニアン torsion を持つか？
• RQ2 正の単調シンプレクティック多様体がハミルトニアン torsion を持つ場合、どのような幾何学的またはコホモロジー的制約が生じるか？
• RQ3 ハミルトニアン torsion 部分群は、ハミルトニアン群上の自然なノルムのもとで、恒等写像の任意に小さな近傍に含まれる可能性があるか？
• RQ4 ハミルトニアン torsion の存在は、${\mathbb{F}}_p$-スティーナロードユニルーデッド性または幾何学的ユニルーデッド性を意味するか？
• RQ5 量子スティーナロード作用素とフィルター付きフローホモロジーは、アーシャーブルでない場合のシンプレクティック多様体における torsion の不在をどのように検出するか？

主な発見

• 閉じたシンプレクティック Calabi-Yau 多様体および負の単調多様体は、ハミルトニアン torsion を持たない。
• ハミルトニアン torsion を持つ任意の閉じた正の単調シンプレクティック多様体は、任意の $\omega$-適合 almost complex 構造 $J$ に対して、$J$-擬正則球面による幾何学的ユニルーデッド性を満たす。
• ハミルトニアン torsion の存在は、ある素数 $p$ に対して ${\mathbb{F}}_p$-スティーナロードユニルーデッド性を意味し、これは幾何学的ユニルーデッド性を示唆する。
• ハミルトニアン torsion が存在しない多様体において、$SL(k,\mathbb{Z})$（$k \geq 2$）のような格子や、コンパクトなリー群のハミルトニアン作用は、すべて自明でなければならない。
• ハミルトニアン torsion を持つ単調シンプレクティック多様体において、そのような微分同相写像が生成する部分群は、ハミルトニアン群上のいくつかの自然なノルムのもとで、恒等写像の任意に小さな近傍に含まれない。
• 有限位数の微分同相写像とフィルター付きフローホモロジーにおけるスミス不等式により、反復写像の局所フローホモロジー次元は反復に対して一定である。