[论文解读] 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.

研究动机与目标

• 理解对称形变群的拓扑结构，特别是哈密顿子群 Ham(M,ω)。
• 分析 Ham(M) 对底层面 M 的同伦与同调的作用。
• 建立评估映射 π₁(Ham(M)) → π₁(M) 与 Ham(M) 在 H*(M) 上的同调作用的消失结果。
• 将这些结果应用于哈密顿稳定性与哈密顿纤维丛的 c-分裂。

提出的方法

• 使用 Seidel 表示法，定义 π₁(Ham(M)) 对量子上同调环 QH*(M) 的群作用。
• 应用关于 S² 上哈密顿纤维丛的格罗莫夫-塞温诺不变量，以研究量子乘法作用。
• 采用“拉伸颈部”论证，证明评估映射 π₁(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-分裂结果可通过拓扑归纳与拉回论证推广至更高同伦群。