[论文解读] Classification of broken Lefschetz fibrations with small fiber genera

R. İnanç Baykur, Seiichi Kamada|arXiv (Cornell University)|Oct 27, 2010

Geometric and Algebraic Topology参考文献 5被引用 5

一句话总结

本文通过分析纤维亏格为1且全局单值性非平凡的2-球面上的亏格1黎曼曲面纤维丛的单值性分解，对4-流形上的亏格1简化断裂Lefschetz纤维丛（SBLFs）进行了分类。利用图表描述与胞胎体技术，本文确定了所有 admits 此类纤维丛的紧致、定向4-流形，表明它们微分同胚于特定的连通和，涉及 $\mathbb{CP}^2$、$\overline{\mathbb{CP}}^2$、$S^1 \times S^3$、$S^2 \times S^2$、透镜空间，或 $n\mathbb{CP}^2 \# \, 5n\overline{\mathbb{CP}}^2$ 的吹胀，具体取决于基本群和欧拉示性数。

ABSTRACT

In this article, we generalize the classification of genus one Lefschetz fibrations to genus one simplified broken Lefschetz fibrations, which have fibers of genera one and zero. We classify genus one Lefschetz fibrations over the 2-disk with certain non-trivial global monodromies using chart descriptions, and identify the 4-manifolds admitting genus one simplified broken Lefschetz fibrations.

研究动机与目标

• 将Kas与Moishezon对亏格1黎曼曲面纤维丛的分类推广至纤维亏格为1和0的简化断裂Lefschetz纤维丛设定。
• 对映射到 $\pm \text{id}$ 乘以 $SL(2,\mathbb{Z})$ 中德恩旋转变换正幂的2-球面上亏格1黎曼曲面纤维丛进行分类，其全局单值性非平凡。
• 利用胞胎体与图表描述，识别所有 admits 最小亏格1简化断裂Lefschetz纤维丛的紧致、定向4-流形。
• 确定此类纤维丛所对应的4-流形的微分同胚类型，包括需通过吹胀实现分类的情形。

提出的方法

• 采用图形化图表描述方法，即[12]中图表演算的修改版本，以表示2-球面上的亏格1黎曼曲面纤维丛。
• 利用Hurwitz生成元系统与 $SL(2,\mathbb{Z})$ 中的单值性分解，分析全局单值性，尤其关注映射到 $\pm \text{id}$ 乘以德恩旋转变换幂的映射。
• 应用[3]中的胞胎体描述方法，重构纤维丛的全空间并确定其底端4-流形。
• 利用2-球面上单值性分解的分类，推导出纤维丛可能的全空间。
• 在必要时进行对称的吹胀，以获得标准单值性形式，特别是当全局单值性不在标准分解的像中时。
• 通过胞胎体图验证结果，并与已知例子比较，包括Perutz在 $S^2 \times S^2$ 与 $\mathbb{CP}^2 \# \overline{\mathbb{CP}}^2$ 上的纤维丛。

实验结果

研究问题

• RQ1 哪些4-流形 admits 亏格1简化断裂Lefschetz纤维丛，其纤维亏格为1和0？
• RQ2 在 $SL(2,\mathbb{Z})$ 中非平凡的全局单值性如何影响2-球面上亏格1黎曼曲面纤维丛的分类？
• RQ3 此类纤维丛的全空间作为4-流形，其微分同胚类型（至吹胀为止）为何？
• RQ4 该分类能否推广至全局单值性非平凡的纤维丛？吹胀在其中起到何种作用？
• RQ5 哪些拓扑不变量（如基本群、欧拉示性数）可表征 admits 这类纤维丛的4-流形？

主要发现

• admits 亏格1最小简化断裂Lefschetz纤维丛的4-流形微分同胚于 $S^1 \times S^3 \# k\overline{\mathbb{CP}}^2$、$\mathbb{CP}^2 \# S^1 \times S^3 \# (k-1)\overline{\mathbb{CP}}^2$、$S^2 \times S^2 \# S^1 \times S^3$、$L_n \# k\overline{\mathbb{CP}}^2$、$L_n' \# k\overline{\mathbb{CP}}^2$、$T^2 \times S^2 \# k\overline{\mathbb{CP}}^2$、$S^1 \times L(n,1) \# k\overline{\mathbb{CP}}^2$ 或 $E(n)$（其中 $k=12n$），至吹胀为止。
• 当 $\pi_1(X) = 1$ 时，全空间为 $E(n)$（$k=12n$）或在吹胀后微分同胚于 $n\mathbb{CP}^2 \# \, 5n\overline{\mathbb{CP}}^2$。
• 该分类包含全局单值性映射至 $\tilde{\mu} = \left(\begin{smallmatrix}-1 & 0 \\ 4 & -1\end{smallmatrix}\right)$ 的情形，需通过吹胀以应用主分类定理。
• 当 $b^+(X) > 0$ 时，所有此类纤维丛均为近辛的，且由于连通性，纤维在同调上是本质的。
• 该4-流形列表在吹胀意义下是完备的，且对于单值性不在标准分解类中的纤维丛，吹胀是必要的。
• 结果确认，在单值性分解 $\sim (t_a, t_b)^{3n+3} \cdot (t_a)^k$ 的情形下，吹胀后的全空间为 $n\mathbb{CP}^2 \# \, 5n\overline{\mathbb{CP}}^2$。