[论文解读] Broken Lefschetz fibrations and mapping class groups

R. İnanç Baykur, Kenta Hayano|arXiv (Cornell University)|Oct 21, 2014

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

一句话总结

本文通过Hurwitz循环系对简化版断裂Lefschetz纤维丛（BLFs）在4-流形上的组合分类进行了完整建立，证明了BLF的同构类与此类系统Hurwitz等价类之间存在双射。关键贡献在于在同一个4-流形上构造了无穷多对非同构的BLFs，其正则纤维同胚，表明BLF同构关系严格强于泛用映射的同伦等价关系。

ABSTRACT

The purpose of this note is to explain a combinatorial description of closed smooth oriented 4-manifolds in terms of positive Dehn twist factorizations of surface mapping classes, and further explore these connections. This is obtained via monodromy representations of simplified broken Lefschetz fibrations on 4-manifolds, for which we provide an extension of Hurwitz moves that allows us to uniquely determine the isomorphism class of a broken Lefschetz fibration. We furthermore discuss broken Lefschetz fibrations whose monodromies are contained in special subgroups of the mapping class group; namely, the hyperelliptic mapping class group and in the Torelli group, respectively, and present various results on them which extend or contrast with those known to hold for honest Lefschetz fibrations. Lastly, we show that there are 4-manifolds admitting infinitely many pairwise nonisomorphic relatively minimal broken Lefschetz fibrations with isotopic regular fibers.

研究动机与目标

• 通过映射类群分解提供光滑4-流形上简化版断裂Lefschetz纤维丛（BLFs）的完整组合描述。
• 将Hurwitz移动扩展至BLFs，使同构类可通过循环系的Hurwitz等价性唯一确定。
• 研究映射类群特殊子群中单值的BLFs，特别是双阿贝尔群与Torelli群。
• 通过构造具有同胚纤维的无穷多对非同构纤维丛，证明BLF同构类严格强于不定泛用映射的同伦类。

提出的方法

• 作者将Hurwitz循环系（c; c₁,…,cₙ）定义为在亏格g曲面上有序排列的简单闭曲线组，用于编码BLF的单值性。
• 引入两种移动——初等变换与同步共轭——以定义Hurwitz等价性，从而对相应BLFs的同构类进行分类。
• 主要结果建立了亏格g的BLF同构类与此类循环系的Hurwitz等价类之间的双射，其中g ≥ 3。
• 论文利用映射Φ_c: Map(Σ_g) → Map(Σ_{g-1})的核来刻画有效单值分解。
• 定义了几何不变量I(d₁,d₂)，即Σ_c中路径的几何交叉数，该量在Hurwitz移动下保持不变，并用于区分非同构纤维丛。
• 通过构造具有递增交叉数的路径，实现无穷多对非同构纤维丛的构造，尽管其纤维同胚，但其单值分解不同。

实验结果

研究问题

• RQ1 能否通过映射类群分解的组合数据，对4-流形上的简化版断裂Lefschetz纤维丛进行完全分类？
• RQ2 Hurwitz移动如何推广至BLFs？它们能否唯一确定纤维丛的同构类？
• RQ3 哪些不变量可用于区分具有同胚正则纤维的非同构BLFs？
• RQ4 映射类群的双阿贝尔群或Torelli子群中单值的纤维丛，其性质是否与真正的Lefschetz纤维丛类似或相异？
• RQ5 BLF的同构类是否严格强于其底层映射到S²的同伦类？

主要发现

• 当g ≥ 3时，亏格g的断裂Lefschetz纤维丛同构类与Hurwitz循环系的Hurwitz等价类之间存在双射。
• 几何交叉数I(d₁,d₂)在Hurwitz移动下保持不变，并作为区分单值属于Φ_c核的非同构纤维丛的完备不变量。
• 在同一个4-流形X₀上构造了无穷多对两两非同构的BLFs，所有纤维丛的正则纤维同胚。
• 由于I(d₁,d₂ⁿ) = 4n + 2的交叉数不同，纤维丛fₙ与fₘ（n ≠ m）是非同构的，且该交叉数在Hurwitz等价下保持不变。
• 尽管非同构，纤维丛hₙ = fₙ ∘ Φ₀,ₙ彼此同伦，并在上同伦集π²(X₀) = [X₀, S²]中代表同一元素。
• 该构造表明BLF同构关系严格强于不定泛用映射的同伦等价关系，凸显了4-流形纤维丛分类中的刚性。