[论文解读] Maximal tori in the symplectomorphism groups of Hirzebruch surfaces

Yael Karshon|ArXiv.org|Apr 30, 2002

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

一句话总结

本文对赫兹布吕赫曲面（即 $S^2 \times S^2$ 和 $\widetilde{\mathbb{C}P}^2$）的哈密顿对称微分同胚群中极大环面的共轭类进行了分类。通过使用德尔赞多多面体和 $\mathrm{AGL}(2,\mathbb{Z})$-等价关系，证明了在对称形式 $\omega_{a,b}$ 下，$S^2 \times S^2$ 的共轭类数量为 $\lceil a/b \rceil$；在对称形式 $\widetilde{\omega}_{l,e}$ 下，$\widetilde{\mathbb{C}P}^2$ 的共轭类数量为 $\lceil e/(l-e) \rceil$，从而基于对称不变量得出了精确计数。

ABSTRACT

We count the conjugacy classes of maximal tori in the groups of symplectomorphisms of S^2 imes S^2 and of the blow-up of CP^2 at a point.

研究动机与目标

• 确定 $S^2 \times S^2$ 和 $\widetilde{\mathbb{C}P}^2$ 的哈密顿对称微分同胚群中极大环面共轭类的数量。
• 利用矩映射像的几何结构与德尔赞多多面体对这些环面进行分类。
• 建立对称不变量（如对称面积）与共轭意义下不同环面作用数量之间的对应关系。
• 解决关于第二贝蒂数较小的对称四维流形上环面作用多重性的长期悬而未决问题。

提出的方法

• 本文使用德尔赞多对具有有理顶点和整数法向量的凸多面体进行哈密顿环面作用的分类。
• 应用 $\mathrm{AGL}(2,\mathbb{Z})$-等价关系，对矩映射像在对称微分同胚与环面重参数化下的等价类进行分类。
• 将相关对称流形表征为具有整数参数 $m \geq 0$ 的赫兹布吕赫梯形，将其与 $S^2 \times S^2$（偶数 $m$）和 $\widetilde{\mathbb{C}P}^2$（奇数 $m$）联系起来。
• 推导出 $a, b, l, e$ 的存在性条件，利用要求 $a/b > m/2$ 和 $e/(l-e) > m/2$ 的条件。
• 证明所有极大环面均来自此类梯形形矩映射像，利用德尔赞多多边形的边数等于 $2 + b_2(M)$ 的事实。
• 利用莫尔斯-博特定理和不动点集的结构，将贝蒂数与不动曲面及不动点的数量联系起来。

实验结果

研究问题

• RQ1 对于 $a \geq b > 0$，$\operatorname{Ham}(S^2 \times S^2, \omega_{a,b})$ 中极大环面的共轭类有多少个？
• RQ2 对于 $l > e > 0$，$\operatorname{Ham}(\widetilde{\mathbb{C}P}^2, \widetilde{\omega}_{l,e})$ 中极大环面的共轭类有多少个？
• RQ3 对称不变量如 $a/b$ 和 $e/(l-e)$ 如何决定共轭意义下不同环面作用的数量？
• RQ4 这些对称微分同胚群中的所有极大环面是否都能通过德尔赞多多面体和 $\mathrm{AGL}(2,\mathbb{Z})$-等价关系实现？
• RQ5 整数参数 $m$ 在赫兹布吕赫曲面上环面作用分类中起什么作用？

主要发现

• 在 $\operatorname{Ham}(S^2 \times S^2, \omega_{a,b})$ 中，极大环面共轭类的数量为 $\lceil a/b \rceil$，其中 $a \geq b > 0$。
• 在 $\operatorname{Ham}(\widetilde{\mathbb{C}P}^2, \widetilde{\omega}_{l,e})$ 中，极大环面共轭类的数量为 $\lceil e/(l-e) \rceil$，其中 $l > e > 0$。
• 每个共轭类对应一个具有四个边和整数参数的德尔赞多多边形的唯一 $\mathrm{AGL}(2,\mathbb{Z})$-等价类。
• 该分类是完备的：这些群中的所有极大环面均来自此类矩映射像。
• 该结果成立的原因是第二贝蒂数较小（$b_2 = 2$），因此仅四条边的德尔赞多多边形相关。
• 本文建立了一个从整数参数 $m \geq 0$ 到相应流形上对称微分同胚类的环面作用之间的一一对应关系。