[论文解读] Existence of broken Lefschetz fibrations

R. İnanç Baykur|ArXiv.org|Jan 21, 2008

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

一句话总结

本文证明了在任意闭合、定向、光滑的4-流形上均存在断裂的Lefschetz纤维丛，且可根据欧拉示性数精确控制Lefschetz奇点的数量：当欧拉示性数为奇数时为一个，为偶数时为零个。作者利用具有折叠和尖点奇点的映射的拓扑修改——借鉴Saeki与Levine的奇点理论——构造了这些纤维丛，为先前结果提供了新的、初等的证明，并通过同伦移动将结果推广至包含指定嵌入纤维和连通纤维的纤维丛。

ABSTRACT

We prove that every closed oriented smooth 4-manifold X admits a broken Lefschetz fibration (aka singular Lefschetz fibration) over the 2-sphere. Given any closed orientable surface F of square zero in X, we can choose the fibration so that F is a fiber. Moreover, we can arrange it so that there is only one Lefschetz critical point when the Euler characteristic e(X) is odd, and none when e(X) is even. We make use of topological modifications of smooth maps with fold and cusp singularities due to Saeki and Levine, and thus we get alternative proofs of previous existence results. Also shown is the existence of broken Lefschetz pencils with connected fibers on any near-symplectic 4-manifold.

研究动机与目标

• 证明每个闭合、定向、光滑的4-流形都存在一个到2-球面的断裂Lefschetz纤维丛。
• 证明这样的纤维丛可被构造为使得给定的平方为零的曲面成为纤维。
• 控制Lefschetz临界点的数量：当欧拉示性数为奇数时为一个，为偶数时为零个。
• 在近辛4-流形上建立具有连通纤维的断裂Lefschetz铅笔的存在性。
• 提供一种拓扑的、奇点理论的替代方法，以替代此前领域中使用的近似全纯方法。

提出的方法

• 将问题约化为光滑流形间映射奇点理论的经典理论。
• 应用Saeki与Levine的方法，通过拓扑修改消除折叠与尖点奇点。
• 使用同伦技术修改纤维丛，包括“翻转与滑动”移动以重新连接断开的纤维。
• 通过环形奇点的同伦变换，操纵环形支集的像，同时保持纤维丛结构不变。
• 沿环形像上的箭头应用“滑动”移动，将拓扑信息在区域间转移，确保纤维的连通性。
• 通过在正性形式评估为正的正则纤维附近保持纤维丛不变，从而在整个同伦过程中保持近辛结构。

实验结果

研究问题

• RQ1 每个闭合、定向、光滑的4-流形是否都可 admits 一个到2-球面的断裂Lefschetz纤维丛？
• RQ2 这样的纤维丛是否可被构造为使得给定的平方为零的曲面成为纤维？
• RQ3 能否根据4-流形的欧拉示性数控制Lefschetz临界点的数量？
• RQ4 近辛4-流形是否 admits 具有连通纤维和嵌入环形像的断裂Lefschetz铅笔？
• RQ5 此类纤维丛的存在性是否可不依赖于近似全纯技术而得到证明？

主要发现

• 每个闭合、定向、光滑的4-流形都存在一个到2-球面的断裂Lefschetz纤维丛。
• 对于4-流形中任意平方为零的曲面，可选择纤维丛使得该曲面成为纤维。
• 当欧拉示性数为奇数时，纤维丛可被构造为恰好包含一个Lefschetz临界点；当为偶数时，无需任何Lefschetz临界点。
• 近辛4-流形 admits 具有连通纤维、连通环形支集和嵌入环形像的断裂Lefschetz铅笔。
• “翻转与滑动”同伦移动可将具有断开纤维的断裂Lefschetz纤维丛转化为具有连通纤维的纤维丛，同时保持环形支集结构不变。
• 证明中所用的修改保持了近辛形式的形变类，确保最终的纤维丛仍为近辛的。