[論文レビュー] 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ファイブレーション（BLF）の完全な組み合わせ的分類を確立し、BLFの同型類とそのような系のHurwitz同値類との間の全単射を証明する。主な貢献は、同一の4次元多様体上に、同相な正則ファイバーを持つ無限個の互いに同型でないBLFの構成であり、これはBLFの同型が一般の写像のホモトピー同値よりも厳密に細かいかつ、4次元多様体ファイブレーションの分類における剛性を示している。

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ファイブレーション（BLF）の完全な組み合わせ的記述を、マッピングクラス群の因子分解を用いて行う。
• Hurwitz移動をBLFへ拡張し、対応するBLFの同型類が、サイクル系のHurwitz同値類によって一意に特定可能であることを可能にする。
• マッピングクラス群の特別な部分群、特にハイパーオービット的およびTorelli部分群にモノドロミーをもつBLFを調査する。
• 同型類のBLFが、不定的で一般な写像のホモトピー類よりも厳密に細かいかを示すために、同一の4次元多様体上に同相なファイバーを持つ無限個の非同型ファイブレーションを構成する。

提案手法

• 著者は、 genus-g の曲面上の単純閉曲線の順序付き組 (c; c₁,…,cₙ) を、BLFのモノドロミーを符号化するHurwitzサイクル系として定義する。
• 同型なBLFに対応するサイクル系を分類するために、2つの移動—基本的変換と同時共轭—を導入し、Hurwitz同値を定義する。
• 主な結果として、g ≥ 3 に対して、genus-g のBLFの同型類とそのようなサイクル系のHurwitz同値類との間の全単射が確立される。
• 本稿では、写像 Φ_c: Map(Σ_g) → Map(Σ_{g-1}) の核を用いて、有効なモノドロミー因子分解を特徴付ける。
• 幾何的不変量 I(d₁,d₂) を、Σ_c 内のパスの幾何的交点数として定義し、これはHurwitz移動のもとで保存され、非同型なファイブレーションを区別するために用いられる。
• 無限個の非同型ファイブレーションの構成は、増加する交点数を持つパスに依拠し、同相なファイバーにもかかわらず、異なるモノドロミー因子分解をもたらす。

実験結果

リサーチクエスチョン

• RQ1 4次元多様体上の簡略化された折れ線Lefschetzファイブレーションは、マッピングクラス群の因子分解からの組み合わせ的データによって完全に分類可能か？
• RQ2 Hurwitz移動はBLFへどのように拡張可能か？また、それらはファイブレーションの同型類を一意に特定可能か？
• RQ3 同相な正則ファイバーを持つ非同型BLFを区別する不変量は何か？
• RQ4 マッピングクラス群のハイパーオービット的またはTorelli部分群にモノドロミーをもつファイブレーションは、真のLefschetzファイブレーションと類似した性質を示すか、それとは異なる性質を示すか？
• RQ5 BLFの同型類は、その基になる S² への写像のホモトピー類よりも厳密に細かいか？

主な発見

• g ≥ 3 に対して、genus-g の折れ線Lefschetzファイブレーションの同型類とHurwitzサイクル系のHurwitz同値類との間には全単射が存在する。
• 幾何的交点数 I(d₁,d₂) はHurwitz移動のもとで不変であり、Φ_c の核にモノドロミーをもつ非同型ファイブレーションを区別する完全な不変量である。
• 同一の4次元多様体 X₀ 上に、同相な正則ファイバーをもつ無限個のペアワイズ非同型BLFの族が構成された。
• fₙ と fₘ (n ≠ m) は、交点数 I(d₁,d₂ⁿ) = 4n + 2 が異なり、Hurwitz同値のもとで保存されるため、非同型である。
• 非同型であるにもかかわらず、hₙ = fₙ ∘ Φ₀,ₙ は互いにホモトピックであり、コホモトピー集合 π²(X₀) = [X₀, S²] の同一の元を表す。
• この構成により、BLFの同型は、不定的で一般な写像のホモトピー同値よりも厳密に細かいかつ、4次元多様体ファイブレーションの分類における剛性が示された。