[論文レビュー] 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

ひとこと要約

本稿では、曲線系の3重対が、写像類群理論を用いて単純化された三つ編みを表すための必要十分条件を確立する。また、単純化された折りたばねヤウスフィブレーションの消滅サイクルから三つ編み図を導出するためのアルゴリズムを提供し、Meierによる回転4次元多様体および $S^4$、$S^1\times S^3\sharp S^2\times S^2$、$L_n$ 上の特定の genus-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.

研究の動機と目的

• 曲線系の3重対が写像類群を用いて単純化された三つ編みに対応する条件を同定すること。
• 単純化された折りたばねヤウスフィブレーションの消滅サイクルから三つ編み図を構成するためのアルゴリズム的手法を開発すること。
• Meierが構成した回転4次元多様体の三つ編みが、単純化された三つ編みと微分同相であることを証明すること。
• 深遠なハーゲン・スプリッティングに関する結果に依存せずに、線形代数的還元を用いて genus-2 の単純化された三つ編みを分類すること。
• 特定の $(3,1)$-三つ編みが、$S^4$ や関連多様体上に存在するが、ハンドルスライド列を用いて標準的三つ編みと同値であることを確認すること。

提案手法

• 消滅サイクルを用いて、単純化された三つ編みから生じるかどうかを判定するための写像類群条件を、曲線系に定義する。
• 三つ編みの臨界集合におけるネストされた臨界値円周の間のループに沿ったモノドロミーと平行移動の理論を用いる。
• 安定写像のホモトピーにおける変化を追跡するため、先行研究で得られたR2移動が平行移動に与える影響の結果を適用する。
• ハンドルスライドと手術を用いて消滅サイクルを曲線に翻訳し、互いに交わらない条件を満たすように三つ編み図を構成する。
• 写像類群作用を用いて、明示的なハンドルスライド列を通じて三つ編み図の同値性を検証する。
• アルゴリズムを genus-1 の単純化された折りたばねヤウスフィブレーションに適用し、$S^4$、$S^1\times S^3\sharp S^2\times S^2$、$L_n$ 多様体の図を導出する。

実験結果

リサーチクエスチョン

• RQ1 曲線系の3重対が単純化された三つ編みを表すための、写像類群の観点からの必要十分条件は何か？
• RQ2 単純化された折りたばねヤウスフィブレーションの消滅サイクルから、三つ編み図をどのようにアルゴリズム的に再構成できるか？
• RQ3 Meierが構成した回転4次元多様体の三つ編みは、単純化された三つ編みと微分同相であるか？
• RQ4 genus-2 の単純化された三つ編みの分類は、線形代数的問題に還元可能か？
• RQ5 $S^4$ 上の genus-1 フィブレーションから得られる $(3,1)$-三つ編みは、標準的安定化三つ編みと同値か？

主な発見

• genus-3 の曲面における曲線系の3重対が、単純化された三つ編みの図であるための必要十分条件は、Theorem 3.4 および Lemma 3.5 で形式化された、消滅サイクルに関する写像類群条件が満たされることである。
• Meierによる回転4次元多様体の三つ編みは、Theorem 3.7 で示されるように、単純化された三つ編みと微分同相である。
• 単純化された三つ編みの genus-2 の分類は、写像類群上での線形代数的問題に還元され、$S^3$ の genus-2 ハーゲン・スプリッティングに関する深い結果に依存せずに完全な分類が得られた。
• 単純化された折りたばねヤウスフィブレーションの消滅サイクルから三つ編み図を導出するためのアルゴリズムが構築され、モノドロミーとハンドルスライド操作が用いられた。
• $S^4$ の $(3,1)$-三つ編みは、明示的なハンドルスライド列により、$(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)$-三つ編みの直和と微分同相である。