[論文レビュー] Exact sequences, lower central series and representations of surface braid groups

Paolo Bellingeri, Eddy Godelle+1 more|arXiv (Cornell University)|Jun 24, 2011

Geometric and Algebraic Topology参考文献 29被引用数 8

ひとこと要約

この論文は、正確な系列と下部中心系列を用いた完全な代数的枠組みを確立し、特にBigelow-Krammer-Lawrence表現の一般化を含め、表面のぶらいんど群の線形表現を構成・拡張する。下部中心系列のΓ₃レベルを用いた表現の拡張が、一意的かつ同型である拡張をもたらすことを示し、AnとKo、およびBlanchetによる最近の構成の構造的説明を提供する。

ABSTRACT

We consider exact sequences and lower central series of surface braid groups and we explain how they can prove to be useful for obtaining representations for surface braid groups. In particular, using a completely algebraic framework, we describe the notion of extension of a representation introduced and studied recently by An and Ko and independently by Blanchet.

研究の動機と目的

• 表面のぶらいんど群の正確な系列と下部中心系列が、線形表現を体系的に構成するのにどのように利用できるかを示すこと。
• AnとKoが最近導入した表現拡張法およびBlanchetが独立に開発した方法に対する代数的説明を提供すること。
• 表面のぶらいんど群におけるBigelow-Krammer-Lawrence表現の拡張が、下部中心系列のΓ₃レベルによって一意的に得られることを示すこと。
• 表面のぶらいんど群への長さ関数の拡張の存在と一意性を調査し、境界を持つ表面と境界を持たない表面の間で区別すること。

提案手法

• 表面のぶらいんど群の短い正確系列と、それらが下部中心系列の剰余群に誘導する系列を利用する。
• 下部中心系列（Γᵢ(G)）の構造を応用し、境界成分が1つの可換な表面のぶらいんど群について、G/Γ₃(G)を分析する。
• G/Γ₃(G)の群提示を、自由アーベル群の半直積として導出し、表現拡張の代数的制御を可能にする。
• 拡張表現の構成と下部中心系列のΓ₃レベルとの間の対応関係を確立し、同型を除いて一意的であることを証明する。
• 古典的ぶらいんど群表現で用いられたアプローチを一般化した、代数的枠組みにおける「表現の拡張」の概念を用いる。
• 混合ぶらいんど群系列の分裂性を分析し、それらを純粋ぶらいんど群に制限した場合、一般にはほぼ直積構造が得られないことを示す。

実験結果

リサーチクエスチョン

• RQ1 表面のぶらいんど群の拡張された線形表現の構成は、正確な系列や下部中心系列といった代数的構造を用いて形式化可能か？
• RQ2 なぜΓ₂レベルの構成では表面の場合にBigelow-Krammer-Lawrence表現を拡張できないのか？ そして、どの下部中心系列のレベルがこのような拡張を可能にするのか？
• RQ3 AnとKo、およびBlanchetが提案した表現拡張は、表面のぶらいんど群の代数的構造によって一意に決定されるか？
• RQ4 古典的ぶらいんど群における標準的な長さ関数は、表面のぶらいんど群へとホモモーフィズムとして拡張可能か？ どのような位相的条件下でそれが可能か？
• RQ5 混合および純粋ぶらいんど群の短い正確系列は、どのような条件下でほぼ直積構造をもつのか？

主な発見

• 境界成分が1つのコンパクトな可換な表面のぶらいんど群Gについて、剰余群G/Γ₃(G)は自由アーベル群の半直積であり、明示的な群提示が与えられている。
• 下部中心系列のΓ₃レベルによる表現拡張の構成は、定義5.2で形式化されたように、同型を除いて一意的な拡張をもたらす。
• Proposition 5.4で示されるように、表面ぶらいんど群において、Bigelow-Krammer-Lawrence表現の拡張はΓ₂レベルでは実現できない。
• Proposition 5.10で証明されたように、正の genus を持つ境界成分が1つの表面のぶらいんど群において、Bₙにおける標準的長さ関数は一意にホモモーフィズムに拡張可能である。
• Proposition 5.11で確立されたように、閉じた可換な表面では、このような長さ関数の拡張は存在しない。
• 混合表面ぶらいんど群系列を純粋ぶらいんど群に制限しても、元の系列が分裂しても、一般にはほぼ直積構造が得られない。これは、核のアーベル化への非自明な作用に起因する。