[論文レビュー] Braids and Permutations

Vladimir Lin|ArXiv.org|Apr 29, 2004

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

ひとこと要約

この論文は、$n \leq 2k$ の条件下で、braid 群 $B_k$ から対称群 $\mathbf{S}(n)$ へのホモーモーフィズムを分類し、特定の条件下（例えば $n < k \neq 4$ または $6 < k < n < 2k$）では、非可約写像に対して像が巡回群であることを証明している。さらに、$n < k$ のとき、$B_k \to B_n$ へのbraidホモーモーフィズムの像が巡回群であることを示しており、非巡回像をもつ $B_k$ の自己準同型は、純braid群を保存することを示している。同論文では、特徴的コhomology的および組合せ的技法を用いて、アーティンの古典的結果を拡張・強化している。

ABSTRACT

E. Artin described all irreducible representations of the braid group B_k to the symmetric group S(k). We strengthen some of his results and, moreover, exhibit a complete picture of homomorphisms of B_k to S(n) for n&lt;2k+1. We show that the image of such ahomomorphism f is cyclic whenever either (*) n6 there exist, up to conjugation, exactly 3 irreducible representations of B_k into S(2k) with non-cyclic images but they all are imprimitive. We use these results to prove that for n4 the intersection PB_k\cap B'_k of PB_k with the commutator subgroup B'_k=[B_k,B_k] is a completely characteristic subgroup of B'_k.

研究の動機と目的

• braid 群 $B_k$ から $\mathbf{S}(k)$ への非可約表現の分類をエ. アーティンの結果に拡張・強化すること。
• すべてのホモーモーフィズム $\psi: B_k \to \mathbf{S}(n)$ を $n \leq 2k$ に対して分類し、特に像が巡回群である場合を特定すること。
• 自己準同型 $B_k$ の構造と、純braid群 $PB_k$ および交換子群 $B_k'$ への作用を分析すること。
• $k > 4$ のとき、$PB_k \cap B_k'$ が $B_k'$ の完全特徴的部分群であることを確立すること。
• braid 群ホモーモーフィズム、置換表現、およびコホモロジー的技法との関係を調査すること。

提案手法

• braid 群ホモーモーフィズムの分析に、コホモロジー的技法を用い、特に $\Omega$-ホモーモーフィズムと成分に基づく完全列を用いる。
• 像の構造と関係に基づき、ホモーモーフィズム $B_k \to \mathbf{S}(n)$ を四つのタイプ $\mathcal{S}_1, \mathcal{S}_2, \mathcal{S}_3, \mathcal{S}_4$ に分類する。
• 置換とbraid関係に関する代数的補題を適用し、特に推移的および素性条件の下で可能な像を制限する。
• $B_k$ の標準的表示と、交換子群 $B_k'$ の性質（$k > 4$ のとき完全性）を用いる。
• $m$-braid を用いたブレード埋め込みを通じて、$B_k \to B_{mk}$ への特別なホモーモーフィズムを構成し、既知の埋め込みを一般化する。
• 整数的、アーベル的、巡回的ホモーモーフィズムの分析により、像の構造を区別し、非整数的ケースを同定する。

実験結果

リサーチクエスチョン

• RQ1 $n \leq 2k$ のとき、ホモーモーフィズム $\psi: B_k \to \mathbf{S}(n)$ の像が巡回群であるのはいつか？
• RQ2 $n < 2k$ のとき、$B_k \to \mathbf{S}(n)$ への完全な非可約ホモーモーフィズムの集合は何か。特に、像が非巡回群である場合について。
• RQ3 非巡回像をもつ $B_k$ の自己準同型は、純braid群 $PB_k$ および交換子群 $B_k'$ とどのように作用するか？
• RQ4 $PB_k \cap B_k'$ の構造は何か。また、$k > 4$ のとき、なぜ $B_k'$ において完全特徴的であるのか？
• RQ5 $k > 4$ かつ $n \in P^3(k) \cup P^4(k)$ のとき、非整数的特別ホモーモーフィズム $B_k \to B_n$ は存在するか？

主な発見

• 任意のホモーモーフィズム $\psi: B_k \to \mathbf{S}(n)$ に対して、$n < k \neq 4$ のとき、像は巡回群である。
• $6 < k < n < 2k$ のとき、任意の非可約ホモーモーフィズム $\psi: B_k \to \mathbf{S}(n)$ は、像が巡回群である。
• $k > 6$ のとき、非巡回像をもつ $B_k \to \mathbf{S}(2k)$ の非可約ホモーモーフィズムは、ちょうど三つの共役類に分けられ、それらすべてが非可約的である。
• $n < k$ のとき、任意のホモーモーフィズム $\varphi: B_k \to B_n$ は、像が巡回群である。
• 非巡回像をもつ $B_k$ の自己準同型 $\varphi$ は、純braid群 $PB_k$ を保存する。
• $k > 4$ のとき、$PB_k \cap B_k'$ は $B_k'$ の完全特徴的部分群である。