[论文解读] Symplectic $(-2)$-spheres and the symplectomorphism group of small rational 4-manifolds, II

Jun Li, Tianjun Li+1 more|arXiv (Cornell University)|Nov 25, 2019

Geometric and Algebraic Topology参考文献 45被引用 8

一句话总结

本文完全确定了在非单调辛形式下，有理4-流形 $$\mathbb{C}P^{2}\#5\overline{\mathbb{C}P}^{2}$$ 的Torelli辛映射类群（Torelli SMCG），当存在超过八个$(-2)$-辛球面时其为平凡群，当不存在任何$(-2)$-辛球面时同构于五阶穿孔球面的映射类群，而在中间情形下则同构于四阶穿孔球面的映射类群。此外，本文还完全计算了辛同胚群基本群的秩，并将其结果与$\mathbb{A}$与$\mathbb{D}_{4}$型Dynkin图联系起来，解决了有理4-流形的光滑同胚问题。

ABSTRACT

For $(\mathbb{C} P^2 \# 5{\overline {\mathbb{C} P^2}},ω)$, let $N_ω$ be the number of $(-2)$-symplectic spherical homology classes.We completely determine the Torelli symplectic mapping class group (Torelli SMCG): the Torelli SMCG is trivial if $N_ω>8$; it is $π_0(Diff^+(S^2,5))$ if $N_ω=0$ (by Paul Seidel and Jonathan Evans); it is $π_0(Diff^+(S^2,4))$ in the remaining case. Further, we completely determine the rank of $π_1(Symp(\mathbb{C} P^2 \# 5{\overline {\mathbb{C} P^2}}, ω)$ for any given symplectic form. Our results can be uniformly presented regarding Dynkin diagrams of type $\mathbb{A}$ and type $\mathbb{D}$ Lie algebras. We also provide a solution to the smooth isotopy problem of rational $4$-manifolds.

研究动机与目标

• 确定非单调辛形式下$\mathbb{C}P^{2}\#5\overline{\mathbb{C}P}^{2}$的Torelli辛映射类群（Torelli SMCG），该问题在满足$\chi(X) \geq 8$的有理4-流形中长期悬而未决。
• 计算$\pi_1(Symp(X,\omega))$在$\mathbb{C}P^{2}\#5\overline{\mathbb{C}P}^{2}$上所有辛形式下的秩，扩展至单调情形之外。
• 通过$\mathbb{A}$与$\mathbb{D}_4$型Dynkin图的李代数结构统一结果，揭示辛映射类群中更深层的代数拓扑模式。
• 通过建立对称$(-2)$-球面在何种条件下唯一同胚于哈密顿同胚的条件，解决有理4-流形的光滑同胚问题。

提出的方法

• 作者通过分析$(-2)$-辛球面同调类的数量$N_\omega$对Torelli SMCG进行分类，利用几乎复结构空间$\mathcal{J}_\omega$按负平方类别的分层。
• 他们应用膨胀定理，并研究$Symp_h(X,\omega)$在余维4子层$\mathcal{J}^c_4$补集上的作用，利用截面定理建立纤维丛结构。
• 证明依赖于Fujiki-Schumacher的无穷维截面定理，表明轨道投影$\mathcal{J}_\omega \setminus \mathcal{J}_4 \to (\mathcal{J}_\omega \setminus \mathcal{J}_4)/Symp_h$是纤维为$Symp_h$的纤维丛，从而实现同伦分析。
• 对于$\mathbb{A}$型形式，他们利用球面上的纯 braid 群结构，并分析$\mathbb{R}P^2$-填充辛形式，以证明$Symp_h(X,\omega)$的连通性。
• 对于$\mathbb{D}_4$型形式，他们通过适当自由作用与纤维序列证明$\pi_0(Symp_h(X,\omega)) \to \pi_0(\mathrm{Diff}^+(S^2,4))$的满射性。
• 他们通过上下界估计推导出$\pi_1(Symp_h(X,\omega))$的界，并利用Dynkin图分类在所有辛形式下统一计算其秩。

实验结果

研究问题

• RQ1 在$\mathbb{C}P^2\#5\overline{\mathbb{C}P}^2$上，非单调辛形式下的Torelli辛映射类群的结构是什么？
• RQ2 $(-2)$-辛球面的数量$N_\omega$如何决定Torelli SMCG？
• RQ3 是否能对这一流形上所有辛形式统一计算辛同胚群的基本群？
• RQ4 结果如何通过$\mathbb{A}$与$\mathbb{D}_4$型Dynkin图的表示理论统一？
• RQ5 在对称$(-2)$-球面的背景下，有理4-流形的光滑同胚问题的解是什么？

主要发现

• 当$N_\omega > 8$时，Torelli SMCG为平凡群，意味着没有非平凡的辛同胚在同调上平凡作用。
• 当$N_\omega = 0$时，Torelli SMCG同构于$\pi_0(\mathrm{Diff}^+(S^2,5))$，即五阶穿孔球面的映射类群。
• 当$N_\omega = 8$时，Torelli SMCG同构于$\pi_0(\mathrm{Diff}^+(S^2,4))$，即四阶穿孔球面的映射类群。
• $\pi_1(Symp_h(X,\omega))$的秩在$\mathbb{C}P^2\#5\overline{\mathbb{C}P}^2$上所有辛形式下均被完全确定，其结果依赖于$N_\omega$。
• 结果可统一用$\mathbb{A}$与$\mathbb{D}_4$型Dynkin图表达，揭示了辛映射类群背后深层的代数结构。
• 本文解决了光滑同胚问题：当且仅当$N_\omega \neq 8$时，辛$(-2)$-球面在哈密顿同胚下唯一；当$N_\omega = 8$时，唯一性失效。