[论文解读] Symplectic automorphisms of T^*S^2

Paul Seidel|ArXiv.org|Mar 19, 1998

Geometric and Algebraic Topology参考文献 1被引用 16

一句话总结

本文证明了在边界附近平凡的单位余切丛 $T^*S^2$ 的辛自同构群，其弱同伦型同伦等价于 $\mathbb{Z}$，生成元为沿零截面的广义 Dehn 扭转。关键洞见在于将该空间紧化为 $S^2 \times S^2$，并利用 Gromov 的辛微分同胚拓扑理论与规范群同伦理论，表明尽管对应的微分同胚群仅有两个连通分支，其辛映射类群仍为无限循环群。

ABSTRACT

Let M be the cotangent bundle of S^2, with the standard symplectic structure. By adapting an argument of Gromov we determine the weak homotopy type of the group S of those symplectic automorphisms of M which are trivial at infinity. It turns out that S is weakly homotopy equivalent to \Z. π_0(S) is generated by the class of the standard "generalized Dehn twist". As a consequence, we show that there are different connected components of S which lie in the same connected component of the corresponding group of diffeomorphisms.

研究动机与目标

• 确定在边界附近平凡的单位余切丛 $T^*S^2$ 的辛自同构群 $\SS$ 的同伦型。
• 解决辛映射类群为无限阶而微分同胚类群仅为二阶的矛盾。
• 建立 $\SS$ 与 $\mathbb{Z}$ 之间的弱同伦等价，并确认广义 Dehn 扭转为生成元。
• 通过紧化与规范理论方法，阐明辛群与微分同胚群之间的关系。

提出的方法

• 将辛流形 $T \subset T^*S^2$（单位余切丛）紧化为具有标准辛形式的 $S^2 \times S^2$，并将 $T$ 的内部等同于 $S^2 \times S^2 \setminus \Delta$，其中 $\Delta$ 为对角线。
• 利用 Gromov 对 $S^2 \times S^2$ 的辛微分同胚分类，将 $\SS$ 的拓扑与紧化空间的辛自同构群拓扑联系起来。
• 构造一个包含 $\SS_1$、$\SS_2$、$\mathcal{D}_1$、$\mathcal{D}_2$、$\mathcal{G}^s$ 和 $\mathcal{G}$ 的拓扑群交换图，其行精确且同伦正合。
• 通过在法丛 $\nu\Delta$ 上的取值映射，将 $\SS_2$ 的同伦群与 $\mathcal{G}^s$ 的同伦群关联，证明 $\pi_1(\mathcal{G}^s) \cong \mathbb{Z}$。
• 利用 $S^2 \times S^2 \setminus \Delta$ 上的 $S^1$-作用定义广义 Dehn 扭转 $\tau$，其作用由能量函数 $\mu(x,y) = -|x+y|$ 给出，从而构造出 $\pi_0(\SS)$ 的生成元。
• 证明 $\SS_1$ 可形变收缩到 $\{\mathrm{id}, \iota\}$，其中 $\iota$ 交换两个 $S^2$ 分量，并利用 Gromov 的 $J$-全纯叶状结构论证，证明 $\SS_+$ 是可缩的。

实验结果

研究问题

• RQ1 在边界附近平凡的 $T^*S^2$ 的辛自同构群 $\SS$ 的同伦型是什么？
• RQ2 为何广义 Dehn 扭转 $\tau$ 在 $\pi_0(\SS)$ 中具有无限阶，尽管其在微分同胚群中的像阶为二？
• RQ3 将 $T^*S^2$ 紧化为 $S^2 \times S^2$ 如何促进 $\pi_0(\SS)$ 的计算？
• RQ4 辛法丛自同构的规范群 $\mathcal{G}^s$ 在确定 $\SS$ 的同伦群中起什么作用？
• RQ5 能否仅由广义 Dehn 扭转完全捕捉 $T^*S^2$ 的辛映射类群，还是存在额外的生成元？

主要发现

• 在边界附近平凡的 $T^*S^2$ 的辛自同构群 $\SS$ 与 $\mathbb{Z}$ 弱同伦等价，且 $\pi_0(\SS) \cong \mathbb{Z}$。
• 沿零截面 $Z \subset T^*S^2$ 的广义 Dehn 扭转 $\tau$ 生成 $\pi_0(\SS)$，且 $[\tau]$ 具有无限阶。
• $\pi_0(\SS)$ 在 $\pi_0\mathcal{D}$（微分同胚群）中的像同构于 $\mathbb{Z}/2$，表明辛结构能检测到比光滑结构更精细的不变量。
• 所有 $i > 0$ 的高阶同伦群 $\pi_i(\SS)$ 均为零，因此 $\SS$ 弱同伦等价于离散的 $\mathbb{Z}$。
• 在点 $x \in \Delta$ 处的取值映射 $e_x: \mathcal{G}^s \to SL_2(\mathbb{R})$ 是弱同伦等价，意味着 $\mathcal{G}^s$ 具有 $\mathbb{Z}$ 的同伦型。
• $\partial: \pi_1(\mathcal{G}^s) \to \pi_0(\SS_2)$ 是同构，且 $[\tau]^2 = \partial(r)$，其中 $r \in \pi_1(\mathcal{G}^s) \cong \mathbb{Z}$ 是生成元，从而确认 $\pi_0(\SS_2) \cong \mathbb{Z}$。