[论文解读] Noncomplex smooth 4-manifolds with Lefschetz fibrations

Mustafa Korkmaz|ArXiv.org|Mar 22, 2001

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

一句话总结

本文通过在亏格-$g$曲面的映射类群中使用广义关系，构造了无穷多个成对非同胚的光滑4-流形，这些流形具有$S^2$上的亏格-$g$ Lefschetz纤维化结构，但不携带任何复结构。该构造依赖于将松本的亏格-2关系提升至 braid 群并投影到曲面映射类群，从而得到基本群为$\mathbb{Z} \oplus \mathbb{Z}_n$且$b_2^+ = 1$的4-流形，这些流形因已知的辛几何障碍而无法具有复结构。

ABSTRACT

For every integer g greater than or equal to 2, there exist infinitely many pairwise nonhomeomorphic smooth 4-manifolds that admit genus-g Lefschetz fibrations over S^2 but do not carry any complex structure with either orientation. This extends a recent result of Ozbagci and Stipsicz.

研究动机与目标

• 将松本的亏格-2 Lefschetz纤维化关系通过 braid 群提升推广至更高亏格曲面。
• 利用映射类群中的单值关系构造具有亏格-$g$ Lefschetz纤维化的4-流形，且其非复。
• 证明此类4-流形的基本群为$\mathbb{Z} \oplus \mathbb{Z}_n$（对所有$n$），并由此通过辛几何障碍定理推断其非复。
• 确定所得4-流形的微分同胚类型，表明当$g$为偶数时为$\Sigma_{g/2} \times S^2 \# 4\overline{\mathbb{CP}^2}$，当$g$为奇数时为$\Sigma_{(g-1)/2} \times S^2 \# 8\overline{\mathbb{CP}^2}$。

提出的方法

• 将松本的亏格-2关系（涉及八个右旋转德恩德变换）提升至 braid 群$\mathrm{B}_6$，并推广至任意$g \geq 2$时的$\mathrm{B}_{2g+2}$。
• 通过双曲对称商映射，将广义 braid 关系投影至亏格-$g$曲面的映射类群。
• 在映射类群中构造一个单值关系，涉及$2g+4$（当$g$为偶数时）或$2g+10$（当$g$为奇数时）个德恩变换，对应于 Lefschetz纤维化的全局单值性。
• 通过将该关系与特定映射类的共轭进行乘积，构造出一个单值关系，其对应的4-流形基本群为$\mathbb{Z} \oplus \mathbb{Z}_n$。
• 利用已知结果：基本群同构于$\mathbb{Z} \oplus \mathbb{Z}_n$的辛4-流形不具有复结构。
• 应用 Stipsicz 的分类结果：若4-流形满足$b_2^+ = 1$且有$2g+4$（或$2g+10$）个消失循环，则其微分同胚于$\Sigma_{g/2} \times S^2 \# 4\overline{\mathbb{CP}^2}$（或$\Sigma_{(g-1)/2} \times S^2 \# 8\overline{\mathbb{CP}^2}$）。

实验结果

研究问题

• RQ1 松本的亏格-2 Lefschetz纤维化关系能否推广至更高亏格曲面，以构造具有受控基本群的非复4-流形？
• RQ2 在$S^2$上非平凡的亏格-$g$ Lefschetz纤维化中，奇异纤维的最小数量是多少？是否可通过单值关系实现？
• RQ3 基本群为$\mathbb{Z} \oplus \mathbb{Z}_n$且$b_2^+ = 1$的4-流形是否具有复结构？如何通过障碍理论排除？
• RQ4 给定广义关系的单值关系时，亏格-$g$ Lefschetz纤维化的4-流形的微分同胚类型是什么？

主要发现

• 对每个$g \geq 2$，存在无穷多个成对非同胚的4-流形，它们具有$S^2$上的亏格-$g$ Lefschetz纤维化结构，但无论何种方向均不携带复结构。
• 在非平凡的亏格-$g$ Lefschetz纤维化中，奇异纤维的最小数量至多为：当$g$为偶数时为$2g+4$，当$g$为奇数时为$2g+10$，且该界是精确的。
• 与单值关系相关的4-流形$X_n$的基本群同构于$\mathbb{Z} \oplus \mathbb{Z}_n$，该性质通过已知的辛几何拓扑结果排除了复结构的存在。
• 当$g$为偶数时，4-流形微分同胚于$\Sigma_{g/2} \times S^2 \# 4\overline{\mathbb{CP}^2}$，其欧拉示性数为$8 - 2g$，亏格为$-4$。
• 当$g$为奇数且$g \geq 3$时，4-流形微分同胚于$\Sigma_{(g-1)/2} \times S^2 \# 8\overline{\mathbb{CP}^2}$，其欧拉示性数为$14 - 2g$，亏格为$-8$，且满足$b_2^+ = 1$，$b_2^- = 9$。
• 对奇数$g$的亏格计算依赖于构造七个$(-2)$-球面和一个自交数为$-2$的亏格-$(g-1)/2$曲面，表明在7维子空间上交截形式为负定，并利用对偶性得出$b_2^- = 9$。