[論文レビュー] A survey of the topological properties of symplectomorphism groups

Dusa McDuff|ArXiv.org|Apr 19, 2004

Geometric and Algebraic Topology参考文献 24被引用数 14

ひとこと要約

この論文は、ハミルトニアンの同相写像群とその多様体上での作用に注目し、シンプレクティック同相写像群の位相的性質を調査する。評価写像 π₁(Ham(M)) → π₁(M) が自明であることを確立し、量子ホモロジーとグロモフ＝ウイッテン不変量を用いて、Ham(M) による H*(M) 上の作用がホモロジーで消えることを証明し、ハミルトニアンバンドルの安定性に関する結果を得る。

ABSTRACT

The special structures that arise in symplectic topology (particularly Gromov--Witten invariants and quantum homology) place as yet rather poorly understood restrictions on the topological properties of symplectomorphism groups. This article surveys some recent work by Abreu, Lalonde, McDuff, Polterovich and Seidel, concentrating particularly on the homotopy properties of the action of the group of Hamiltonian symplectomorphisms on the underlying manifold M. It sketches the proof that the evaluation map π_1(Ham(M)) o π_1(M) given by {ϕ_t}\mapsto {ϕ_t(x_0)} is trivial, as well as explaining similar vanishing results for the action of the homology of Ham(M) on the homology of M. Applications to Hamiltonian stability are discussed.

研究の動機と目的

• シンプレクティック多様体 M におけるハミルトニアン部分群 Ham(M,ω) の位相的構造を理解すること。
• Ham(M) が底面の多様体 M のホモトピーおよびホモロジー上に与える作用を分析すること。
• 評価写像 π₁(Ham(M)) → π₁(M) と Ham(M) による H*(M) 上のホモロジー作用の消滅結果を確立すること。
• これらの結果をハミルトニアン安定性およびハミルトニアンファイバー束の c-分解に応用すること。

提案手法

• Seidel 表現を用いて、π₁(Ham(M)) が量子ホモロジー環 QH*(M) 上に群作用を定義する。
• S² 上のハミルトニアンファイバー束のグロモフ＝ウイッテン不変量を応用し、量子乗法的作用を研究する。
• 『首を引き延ばす』（stretching the neck）論法を用いて、評価写像 π₁(Ham(M)) → π₁(M) が自明であることを証明する。
• ファイバー付き J-ホロモルフィック曲線と束の全空間における曲線の数え上げを用いて、Pλ における不変量と M における不変量を関連付ける。
• H*(Pλ) ≅ H*(S²) ⊗ H*(M) の同型を用いて、トレース写像 trλ: H*(M) → H*+1(M) が消えることを導出する。
• 補題 3.4 を用いた帰納法と引き戻しの議論により、c-分解の結果を高次のホモトピー群へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 閉じたシンプレクティック多様体に対して、評価写像 π₁(Ham(M)) → π₁(M) は自明か？
• RQ2 Ham(M) による H*(M) 上の作用はホモロジーで消えるのか？ そしてその束構造にどのような意味を持つのか？
• RQ3 ハミルトニアン S²-バンドルのグロモフ＝ウイッテン不変量は、ファイバーの量子ホモロジーとどのように関係するか？
• RQ4 トレース写像 trλ: H*(M) → H*+1(M) の消滅を用いて、ハミルトニアンバンドルの c-分解を証明できるか？
• RQ5 量子ホモロジーは、同相写像群にどのような位相的制約を課えるか？

主な発見

• 評価写像 π₁(Ham(M)) → π₁(M) は、『首を引き延ばす』論法により自明であることが証明された。
• Ham(M) による H*(M) 上の作用はホモロジーで消える。これは、トレース写像 trλ: H*(M) → H*+1(M) が恒等的にゼロであることを意味する。
• ハミルトニアン S²-バンドルの全空間 Pλ の有理ホモロジーは、H*(S²) ⊗ H*(M) と同型である。これは c-分解が成立することを確認する。
• Seidel 表現により、π₁(Ham(M)) から QH*(M) の自己同型群への群準同型が得られ、Ψ(λ) は単位元として作用する。
• 量子乗法的写像 b ↦ Ψ(λ)*b は単射である。これは、H*(M) の H*(Pλ) への像が非自明であることを示唆する。
• トレース写像の消滅と c-分解の結果は、位相的帰納法と引き戻しの議論により、高次のホモトピー群へ拡張される。