[论文解读] On diagrams of simplified trisections and mapping class groups

Kenta Hayano|Osaka City University (Osaka City University)|Nov 8, 2017

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

一句话总结

本文利用映射类群理论，建立了曲面上传统三重曲线系统构成简化三叶分解的充要条件。该文提出了一种算法，可从简化破裂Lefschetz纤维化的消失循环推导出三叶分解图，并证明了Meier对旋转变换4-流形及$S^4$、$S^1\times S^3\sharp S^2\times S^2$和$L_n$上某些亏格1纤维化的三叶分解，与简化三叶分解微分同胚。

ABSTRACT

A simplified trisection is a trisection map on a 4-manifold such that, in its critical value set, there is no double point and cusps only appear in triples on innermost fold circles. We give a necessary and sufficient condition for a 3-tuple of systems of simple closed curves in a surface to be a diagram of a simplified trisection in terms of mapping class groups. As an application of this criterion, we show that trisections of spun 4-manifolds due to Meier are diffeomorphic (as trisections) to simplified ones. Baykur and Saeki recently gave an algorithmic construction of a simplified trisection from a directed broken Lefschetz fibration. We also give an algorithm to obtain a diagram of a simplified trisection derived from their construction.

研究动机与目标

• 利用映射类群刻画曲面上传统三重曲线系统对应简化三叶分解的条件。
• 开发一种算法化方法，从简化破裂Lefschetz纤维化的消失循环构造三叶分解图。
• 证明Meier构造的旋转变换4-流形三叶分解与简化三叶分解微分同胚。
• 通过线性代数约化方法对亏格2简化三叶分解进行分类，避免依赖关于$S^3$亏格2Heegaard分解的深刻结果。
• 通过手柄滑移序列验证$S^4$及其相关流形上特定$(3,1)$-三叶分解与标准三叶分解等价。

提出的方法

• 通过定义曲面系统上与消失循环相关的映射类群条件，判断其是否源于简化三叶分解。
• 利用三叶分解临界集内嵌套临界值圆周之间环路的单值化和并行移动理论。
• 应用先前研究中关于R2-移动对并行移动影响的结果，追踪稳定映射同伦过程中消失循环的变化。
• 通过手柄滑移和手术将消失循环转化为曲线，构造三叶分解图，并确保满足不相交条件。
• 利用映射类群作用，通过显式的手柄滑移序列验证三叶分解图之间的等价性。
• 将该算法应用于亏格1简化破裂Lefschetz纤维化，推导出$S^4$、$S^1\times S^3\sharp S^2\times S^2$和$L_n$流形的三叶分解图。

实验结果

研究问题

• RQ1 在映射类群语言下，一个曲面三重曲线系统构成简化三叶分解的必要且充分条件是什么？
• RQ2 如何通过算法从简化破裂Lefschetz纤维化的消失循环重构三叶分解图？
• RQ3 Meier构造的旋转变换4-流形三叶分解是否与简化三叶分解微分同胚？
• RQ4 能否将简化三叶分解的亏格2分类问题约化为线性代数问题？
• RQ5 从亏格1纤维化获得的$S^4$上的$(3,1)$-三叶分解是否与标准稳定三叶分解等价？

主要发现

• 亏格3曲面上的三重曲线系统构成简化三叶分解图，当且仅当其对应的映射类群条件在消失循环上成立，如定理3.4与引理3.5所形式化表述。
• Meier构造的旋转变换4-流形三叶分解与简化三叶分解微分同胚，该结论在定理3.7中得到证明。
• 简化三叶分解的亏格2分类被约化为映射类群上的线性代数问题，从而在不依赖$S^3$亏格2 Heegaard分解深刻结果的前提下，实现了完整分类。
• 构建了一种算法，通过单值化和手柄滑移操作，从简化破裂Lefschetz纤维化的消失循环推导出三叶分解图。
• $S^4$的$(3,1)$-三叶分解图（由亏格1简化破裂Lefschetz纤维化获得）通过显式的手柄滑移序列被证明与$(0,0)$-三叶分解的稳定化微分同胚，如图20所示验证。
• $L_0 \cong S^1\times S^3\sharp S^2\times S^2$和$L_0' \cong S^1\times S^3\sharp S^2\tilde{\times}S^2$上的$(3,1)$-三叶分解图与$S^1\times S^3$的$(1,1)$-三叶分解和$S^2$上$S^2$-丛的$(2,0)$-三叶分解的连通和微分同胚。