[论文解读] Fiber sums of genus 2 Lefschetz fibrations

Denis Auroux|ArXiv.org|Apr 23, 2002

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

一句话总结

该论文证明，任何亏格 2 的 Lefschetz 纤维丛在与足够多份具有 20 个不可约奇异纤维的有理亏格 2 纤维丛进行纤维和后，均会变为全纯形式。通过映射类群的因子分解与 Hurwitz 等价性，作者表明所有此类纤维丛均可通过包含标准构建模块的典范分解稳定至全纯形式，从而证实了 Siebert 与 Tian 的一个猜想。

ABSTRACT

Using the recent results of Siebert and Tian about the holomorphicity of genus 2 Lefschetz fibrations with irreducible singular fibers, we show that any genus 2 Lefschetz fibration becomes holomorphic after fiber sum with a holomorphic fibration.

研究动机与目标

• 解决 Siebert 与 Tian 提出的猜想：任何亏格 2 的 Lefschetz 纤维丛在与多个具有 20 个不可约奇异纤维的有理亏格 2 纤维丛进行纤维和后，均会变为全纯形式。
• 对亏格 2 的 Lefschetz 纤维丛在与标准有理纤维丛进行纤维和后的稳定化下进行分类。
• 建立所有此类纤维丛在充分稳定化后，其单值性因子分解等价于来自全纯纤维丛的因子分解。
• 通过证明其在纤维和操作下对具有可约奇异纤维的纤维丛也稳定至全纯形式，将全纯性结果推广至此类情况。

提出的方法

• 作者通过映射类群 Map₂ 中单位元的因子分解来建模 Lefschetz 纤维丛，其中因子对应于消失圈上的正向 Dehn 扭转。
• 他们利用 Hurwitz 等价性对单值性因子分解进行分类，通过 braid 群作用与共轭变换实现不同纤维丛之间的比较。
• 证明依赖于对分离型 Dehn 扭转数量（对应于可约纤维）的归纳约化，利用 Hurwitz 移动将这些扭转变为可分离与重定位的形式。
• 关键构建模块被定义为：W₀（具有 20 个不可约纤维的有理纤维丛）、W₁（单传单值性）与 W₂（用于可约纤维），其关系由映射类群的表示式导出。
• 作者利用中心元素 I 及关系式 (ζ₁ζ₂)³(ζ₄ζ₅)³ = σI 来操控因子分解，以实现所需的 Hurwitz 等价性。
• 通过选择足够大的 n，纤维和 F·(W₀)^n 变为 Hurwitz 等价于 (W₀)^{n+k}·(W₁)^ε·(W₂)^m，该形式对应于一个全纯纤维丛。

实验结果

研究问题

• RQ1 是否每个亏格 2 的 Lefschetz 纤维丛均可通过与具有 20 个不可约奇异纤维的有理亏格 2 纤维丛的若干份进行纤维和，而变为全纯形式？
• RQ2 在与标准有理纤维丛进行纤维和后，亏格 2 的 Lefschetz 纤维丛的单值性因子分解具有何种结构？
• RQ3 可约奇异纤维（分离型消失圈）如何影响亏格 2 的 Lefschetz 纤维丛的全纯性？它们能否通过稳定化过程被消除？
• RQ4 是否存在一种通用的稳定化过程，可通过纤维和操作将任意亏格 2 的 Lefschetz 纤维丛转化为全纯形式？

主要发现

• 任何亏格 2 的 Lefschetz 纤维丛 F 在与足够多份具有 20 个不可约奇异纤维的有理亏格 2 纤维丛进行纤维和后，将变为 Hurwitz 等价于一个全纯纤维丛。
• 单值性因子分解 F·(W₀)^n 与 (W₀)^{n+k}·(W₁)^ε·(W₂)^m 对于足够大的 n 是 Hurwitz 等价的，其中 ε ∈ {0,1}，k ≥ 0，m ≥ 0。
• 稳定化过程通过 Hurwitz 移动与共轭变换，将分离型 Dehn 扭转重新组织为标准块，从而消除了非全纯行为。
• 该结果证实了 Siebert-Tian 猜想：所有亏格 2 的 Lefschetz 纤维丛在与有限份具有 20 个不可约纤维的有理纤维丛进行纤维和后，均会变为全纯形式。
• 该分类在进一步进行纤维和操作下保持稳定，即在添加更多份 W₀ 后，全纯形式依然被保留。
• 该方法可推广至更高亏格的双全纯纤维丛，前提是为不同类型的可约纤维使用适当的构建模块。