[论文解读] Lectures on Groups of Symplectomorphisms

Dusa McDuff|ArXiv.org|Jan 6, 2002

Geometric and Algebraic Topology参考文献 48被引用 25

一句话总结

本文利用 $J$-全纯曲线技巧与 $S^2$ 上的哈密顿丛，研究了闭合辛 4-流形上辛同胚群与哈密顿群的拓扑与几何结构，特别是 $\mathbb{C}P^2$ 和 $S^2 \times S^2$。通过 Seidel 表示与 Gromov-Witten 不变量，本文建立了霍弗度量下长度最小化路径的存在性，解决了辛几何中一个关键的正则性问题。

ABSTRACT

These notes combine material from short lecture courses given in Paris, France, in July 2001 and in Srni, the Czech Republic, in January 2003. They discuss groups of symplectomorphisms of closed symplectic manifolds (M,\om) from various points of view. Lectures 1 and 2 provide an overview of our current knowledge of their algebraic, geometric and homotopy theoretic properties. Lecture 3 sketches the arguments used by Gromov, Abreu and Abreu-McDuff to figure out the rational homotopy type of these groups in the cases M= CP^2 and M=S^2 imes S^2. We outline the needed J-holomorphic curve techniques. Much of the recent progress in understanding the geometry and topology of these groups has come from studying the properties of fibrations with the manifold M as fiber and structural group equal either to the symplectic group or to its Hamiltonian subgroup Ham(M). The case when the base is S^2 has proved particularly important. Lecture 4 describes the geometry of Hamiltonian fibrations over S^2, while Lecture 5 discusses their Gromov-Witten invariants via the Seidel representation. It ends by sketching Entov's explanation of the ABW inequalities for eigenvalues of products of special unitary matrices. Finally in Lecture 6 we apply the ideas developed in the previous two lectures to demonstrate the existence of (short) paths in Ham(M,\om) that minimize the Hofer norm over all paths with the given endpoints.

研究动机与目标

• 理解闭合辛 4-流形上辛同胚群的有理同伦型，特别是 $\mathbb{C}P^2$ 与 $S^2 \times S^2$。
• 通过 Seidel 表示分析 $S^2$ 上哈密顿丛的几何结构及其 Gromov-Witten 不变量。
• 利用辛丛与非挤压论证，证明在霍弗范数下哈密顿群 $\mathrm{Ham}(M,\omega)$ 中长度最小化路径的存在性。

提出的方法

• 利用 $J$-全纯曲线技巧，计算 $M = \mathbb{C}P^2$ 与 $S^2 \times S^2$ 时 $\mathrm{Symp}(M,\omega)$ 的有理同伦型。
• 应用 Seidel 表示 $\mathcal{S}$，将 $S^2$ 上哈密顿丛的量子同调与结构群的拓扑联系起来。
• 运用赋值理论与 Gromov-Witten 不变量，估算辛丛的面积并约束嵌入球体的半径。
• 利用量子同调代数中的恒等式 $\mathcal{S}(\lambda) * \mathcal{S}(-\lambda) = \mathbf{1}$ 推导特征值与曲率的不等式。
• 应用 ABW 不等式于特殊酉矩阵乘积的特征值，以约束 Seidel 表示的结构。
• 结合小面积丛的非挤压定理与 Seidel 表示，证明 $\mathrm{Ham}(M,\omega)$ 中长度最小化路径的存在性。

实验结果

研究问题

• RQ1 对于 $M = \mathbb{C}P^2$ 与 $M = S^2 \times S^2$，辛同胚群 $\mathrm{Symp}(M,\omega)$ 的有理同伦型是什么？
• RQ2 在 $S^2$ 上的哈密顿丛的 Gromov-Witten 不变量如何与 Seidel 表示及量子同调相关联？
• RQ3 能否通过辛丛与 $J$-全纯曲线技巧，在 $\mathrm{Ham}(M,\omega)$ 上建立霍弗度量下长度最小化路径的存在性？
• RQ4 ABW 不等式对量子同调代数中 Seidel 表示的特征值施加了何种约束？
• RQ5 在 $S^2$ 上的哈密顿丛的面积如何与嵌入球体的存在性及 Seidel 表示相关联？

主要发现

• 利用 $J$-全纯曲线技巧，计算了 $M = \mathbb{C}P^2$ 与 $M = S^2 \times S^2$ 时 $\mathrm{Symp}(M,\omega)$ 的有理同伦型。
• Seidel 表示 $\mathcal{S}$ 提供了一种强大工具，可将丛的量子同调与结构群的拓扑联系起来。
• 对于面积小于 $\hbar/2$ 的丛，若存在权重为 $\kappa_0$ 的良好截面，则任意半径为 $r$ 的嵌入球体满足 $\pi r^2 \leq \mathrm{area}(P,\Omega) - \kappa_0$。
• 恒等式 $\mathcal{S}(\lambda) * \mathcal{S}(-\lambda) = \mathbf{1}$ 暗示 $\kappa(\lambda) = -\kappa(-\lambda)$，将相反环路的 Seidel 元素联系起来。
• ABW 不等式被用于约束特殊酉矩阵乘积的特征值，而这些矩阵通过量子上同调与 Seidel 表示相关联。
• 在霍弗范数下，$\mathrm{Ham}(M,\omega)$ 中的长度最小化路径存在，其证明基于小面积丛的非挤压性与 Seidel 表示。