[論文レビュー] Nielsen equivalence and trisections of 4-manifolds

Gabriel Islambouli|arXiv (Cornell University)|Apr 19, 2018

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

ひとこと要約

本稿は、トライセクションのスプライスに由来する基本群生成子のニールゼン同値性を用いて、固定された4次元多様体上に同一の genus を持つ異なる3分割を構成する。ヘーガード分割理論からの技術——特にニールゼン類および自己同型作用——を応用することで、各 $ k \geq 2 $ に対して、回転型セイフェルトファイバー空間上に $ 2^k - 1 $ 個の非微分同相な $(3k,k)$-トライセクションが存在することを証明し、非同相なトライセクションを同相にするために安定化が不可欠であることを示している。

ABSTRACT

The goal of this paper is to construct distinct trisections of the same genus on a fixed 4-manifold. For every $k \geq 2$, we construct $2^{k}-1$ non-diffeomorphic $(3k,k)$-trisections on infinitely many 4-manifolds. Here, the manifolds are spun Seifert fiber spaces and the trisections come from Meier's spun trisections. The technique used to distinguish the trisections parallels an established technique for distinguishing Heegaard splittings. In particular, we show that the Nielsen classes of the generators of the fundamental group, obtained from spines of the 4-dimensional 1-handlebodies of the trisection, are isotopy invariants of the trisection. If we additionally consider the action of the automorphism group on the Nielsen classes, we obtain diffeomorphism invariants of trisections.

研究の動機と目的

• 固定された4次元多様体上に同一の genus を持つ複数の非同相なトライセクションを構成すること。
• 異なるトライセクションを同相にするために安定化が不可欠であることを示し、トライセクション理論におけるギャップを埋めること。
• 3次元多様体のヘーガード分割不変量——特にニールゼン類——の技術を4次元トライセクションへと拡張すること。
• 基本群生成子の自己同型不変ニールゼン類を用いてトライセクションを微分同相型で分類すること。
• 3本の特異ファイバーを持つ小さなセイフェルトファイバー空間を分析し、一部の非同相なトライセクションが、バランス型安定化では同相になるが、アンバランス型ではならないことの特定。

提案手法

• 3次元多様体のヘーガード分割からミエラーの回転トライセクション構成法を用いてトライセクションを構成する。
• 各トライセクションに対して、トライセクションに含まれる1ハンドル体のスプライスから得られる3つのニールゼン類を関連付ける。
• 基本群におけるニールゼン同値性を用いて、トライセクションの同相性不変量を定義する。
• ニールゼン類への自己同型群作用を適用し、トライセクションの微分同相型不変量を取得する。
• ルスティグ、モリア、ローゼンバーガーによるフクシャン群におけるニールゼン同値性の結果を応用し、生成集合を分類する。
• 3本の特異ファイバーを持つ回転型小さなセイフェルトファイバー空間を分析し、既知のヘーガード分割分類を用いてトライセクションを構成する。

実験結果

リサーチクエスチョン

• RQ1 同一の4次元多様体上に、同一の genus を持つ複数の非同相なトライセクションが存在しうるか？
• RQ2 安定化を経て初めて同相になるトライセクションは存在するか？もしあるならば、どのような条件下で成立するか？
• RQ3 基本群生成子のニールゼン類は、トライセクションの同相性および微分同相型の不変量として機能するか？
• RQ4 非同相なトライセクションを同相にするために安定化が不可欠であるか？また、バランス型とアンバランス型の安定化の種別がこの性質に影響を与えるか？
• RQ5 トライセクションにおけるスプライスのニールゼン類は、関連する3次元多様体のヘーガード分割とどのように関係するか？

主な発見

• 各 $ k \geq 2 $ に対して、$ 2^k - 1 $ 個の非微分同相な $(3k,k)$-トライセクションを有する無限に多くの4次元多様体が存在する。
• 1ハンドル体スプライスに付随するニールゼン類 $\mathscr{N}(X_1), \mathscr{N}(X_2), \mathscr{N}(X_3)$ は、トライセクションの同相性不変量である。
• $ \phi(\mathscr{N}(H_1)) \neq \mathscr{N}(H_1') $ がすべての $ \phi \in \text{Aut}(\pi_1(M)) $ に対して成り立つならば、対応する回転型トライセクションは微分同相ではない。
• 固定された回転型小さなセイフェルトファイバー空間上に、3つの非同相なトライセクションが存在し、これらは1回のバランス型安定化を経て、互いに同相になる。
• これらのトライセクションは、いかなる $k$ および $l$-アンバランス型安定化の列に対しても、依然として互いに非同相のままであるため、バランス型安定化が本質的であることが示された。
• 構成されたトライセクションは最小 genus であり、非同相であるため、異なるトライセクション間の同相性を達成するために安定化が本質的に必要であることが示された。