[論文レビュー] Proof of the simplicity conjecture

Dan Cristofaro‐Gardiner, Vincent Humilière+1 more|arXiv (Cornell University)|Jan 6, 2020

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

ひとこと要約

本稿は、2次元円板におけるコンパクトに台を持つ面積保存ホメオモルフィズムの群が単純でないことを示すことで、単純性予想を解決した。これは、周期的フロイドホモロジーからのスペクトル不変量を用いて、真の正規部分群を構成することで達成された。主な革新点は、これらの不変量のC⁰連続性を確立し、ハッチングスの予想（カルビ・ホモモルフィズムの回復）を検証することで、カルビ・ホモモルフィズムがハミルトニアン・ホメオモルフィズムへ拡張可能であることを可能にした。

ABSTRACT

In the 1970s, Fathi, having proven that the group of compactly supported volume-preserving homeomorphisms of the $n$-ball is simple for $n \ge 3$, asked if the same statement holds in dimension $2$. We show that the group of compactly supported area-preserving homeomorphisms of the two-disc is not simple. This settles what is known as the "simplicity conjecture" in the affirmative. In fact, we prove the a priori stronger statement that this group is not perfect. An important step in our proof involves verifying for certain smooth twist maps a conjecture of Hutchings concerning recovering the Calabi invariant from the asymptotics of spectral invariants defined using periodic Floer homology. Another key step, which builds on recent advances in continuous symplectic topology, involves proving that these spectral invariants extend continuously to area-preserving homeomorphisms of the disc. These two properties of PFH spectral invariants are potentially of independent interest. Our general strategy is partially inspired by suggestions of Fathi and the approach of Oh towards the simplicity question. In particular, we show that infinite twist maps, studied by Oh, are not finite energy homeomorphisms, which resolves the "infinite twist conjecture" in the affirmative; these twist maps are now the first examples of Hamiltonian homeomorphisms which can be said to have infinite energy. Another consequence of our work is that various forms of fragmentation for volume preserving homeomorphisms which hold for higher dimensional balls fail in dimension two.

研究の動機と目的

• 2次元円板におけるコンパクトに台を持つ面積保存ホメオモルフィズムの群に関する長年の単純性予想を解決すること。
• 真の正規部分群を構成することで、この群が完全でない（したがって単純でもない）ことを示すこと。
• 面積保存ホメオモルフィズムに対する周期的フロイドホモロジー（PFH）スペクトル不変量のC⁰連続性を確立すること。
• 単調なねじり写像に対して、PFHスペクトル不変量の漸近的挙動からカルビ・インバリアントが回復可能であるというハッチングスの予想を検証すること。
• 無限ねじり写像が有限エネルギーのホメオモルフィズムでないことを示し、『無限ねじり予想』を解決すること。

提案手法

• 周期的フロイドホモロジー（PFH）を用いてハミルトニアン微分同相写像のスペクトル不変量を定義し、C⁰連続性によりホメオモルフィズムへ拡張する。
• ホーファーノルムとスペクトル不変量の推定を用いて、恒等写像およびその近傍においても、PFHスペクトル不変量がC⁰位相で連続であることを証明する。
• 単調なねじり写像のPFHに対して組合せ的モデルを構築し、ECHインデックスを計算するとともに、擬全純曲線の正値性を検証する。
• 正の単調なねじり写像に対して、スペクトル不変量の漸近的挙動がカルビ・インバリアントを回復することを示し、ハッチングスの予想を確認する。
• スペクトル不変量が発散することを示し、無限ねじり写像が有限エネルギーのホメオモルフィズムでないことを確立することで、無限ねじり予想を証明する。
• カルビ・ホモモルフィズムの核として非自明な正規部分群の存在を用いて、群の非単純性および非完全性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 コンパクトに台を持つ面積保存ホメオモルフィズムの群 $ ext{Homeo}_c( ext{D}, ext{ω})$ は単純か？
• RQ2 カルビ・インバリアントは2次元円板におけるハミルトニアン・ホメオモルフィズムの群へ拡張可能か？
• RQ3 PFHスペクトル不変量は面積保存ホメオモルフィズムへ連続に拡張可能か？
• RQ4 単調なねじり写像に対して、PFHスペクトル不変量の漸近的挙動はカルビ・インバリアントを回復するか？
• RQ5 無限ねじり写像は有限エネルギーのホメオモルフィズムか？

主な発見

• 群 $ ext{Homeo}_c( ext{D}, ext{ω})$ は単純でない。これは単純性予想が肯定的に解決されたことを示す。
• 群 $ ext{Homeo}_c( ext{D}, ext{ω})$ は完全でない。これは、非自明な交換子部分群を含むためである。
• PFHスペクトル不変量は面積保存ホメオモルフィズムへ連続に拡張可能であり、重要な正則性性質が確立された。
• 正の単調なねじり写像に対してハッチングスの予想が成立：カルビ・インバリアントはPFHスペクトル不変量の漸近的挙動から回復可能である。
• 無限ねじり写像は有限エネルギーのホメオモルフィズムでない。これは『無限ねじり予想』が正当であることを確認する。
• カルビ・ホモモルフィズムは群 $ ext{Hameo}_c( ext{D}, ext{ω})$ へ連続に拡張可能であり、well-definedな実数値不変量を提供する。