[論文レビュー] Universal representations of braid and braid-permutation groups

Barbu Berceanu, Ştefan Papadima|ArXiv.org|Aug 4, 2007

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

ひとこと要約

本稿は、アソシエータを用いず、方向付きバターン代数を用いて、バターン置換群（溶接バターン群）の明示的で忠実かつ合理的な普遍表現を構成する。これは、半アソシエータと3-バターンの普遍表現の間の全単射を確立し、関連する順次層レベルでの次数を保つ同型写像を通じて、普遍ヴァシリエフ型不変量が得られることを示す。

ABSTRACT

Drinfel'd used associators to construct families of universal representations of braid groups. We consider semi-associators (i.e., we drop the pentagonal axiom and impose a normalization in degree one). We show that the process may be reversed, to obtain semi-associators from universal representations of 3-braids. We view braid groups as subgroups of braid-permutation groups. We construct a family of universal representations of braid-permutation groups, without using associators. All representations in the family are faithful, defined over $\bbQ$ by simple explicit formulae. We show that they give universal Vassiliev-type invariants for braid-permutation groups.

研究の動機と目的

• ℚ 上でアソシエータに依存せずに、バターン置換群（溶接バターン群）の普遍表現を構成すること。
• 半アソシエータと3-バターンの普遍表現の間の自然な全単射を確立し、ドリンフェルトの構成を逆転すること。
• 方向付きバターン代数を、方向付きアルティン代数と対称群代数の半直積として定義し、ドリンフェルトのバターン代数を一般化すること。
• 構築された表現が忠実であり、関連する順次層レベルで同型を誘導することを証明し、これにより普遍有限型不変量が得られることを示すこと。
• マクーカー群（純粋な溶接バターン群）が1-形式的であり、その有理数係数のリー代数が下部中央系列のフィルトレーションを用いて明示的に計算されることを示すこと。

提案手法

• 非可換変数を2つ持つ形式的べき級数として半アソシエータを定義し、次数1で正規化されるが、五角形公理を満たす必要はない。
• 方向付きバターン代数を、𝒪ₙ ⋊ ℚ[Σₙ] の形の ℤ-代数として構成する。ここで 𝒪ₙ は方向付き水平弦図の代数である。
• 生成子 vᵢⱼ の指数関数を含む明示的公式を用いて、溶接バターン群から方向付きバターン代数への普遍表現を定義する。
• 溶接バターン群のマルツェフ完備化と関連する順次層リー代数を用い、マクーカー群の1-形式性を証明する。
• 溶接バターン群の有理数群代数の順次層と方向付きバターン代数の順次層の間で、次数を保つ同型写像を確立する。
• 群代数と方向付きバターン代数の順次層の間の同型を活用し、表現が普遍有限型不変量であることを示す。

実験結果

リサーチクエスチョン

• RQ1 バターン置換群の普遍表現は、アソシエータを用いず構成可能か？
• RQ2 半アソシエータと3-バターンの普遍表現の間に自然な全単射は存在するか？
• RQ3 構築された溶接バターン群の表現は、普遍ヴァシリエフ型不変量をもたらすか？
• RQ4 マクーカー群は1-形式的か？ その有理数係数の順次層リー代数の構造は何か？
• RQ5 写像 δₙ:𝒜ₙ*→𝒪ₙ*（tᵢⱼ を vᵢⱼ + vⱼᵢ に送る）は単射か？ そして、n-バターンのすべての有限型不変量が、順次層の設定において溶接バターンから生じるのか？

主な発見

• 半アソシエータと3-バターンの普遍表現の間には自然な全単射が存在し、標準的なドリンフェルトの構成を逆転する。
• 溶接バターン群から方向付きバターン代数への普遍表現は忠実であり、明示的な公式により ℚ 上で定義される。
• 表現は関連する順次層レベルで次数0の同型写像を誘導し、これが普遍ヴァシリエフ型不変量であることを確認する。
• マクーカー群は1-形式的であり、その下部中央系列フィルトレーションに伴う有理数係数リー代数が明示的に計算されている。
• 順次層レベルでの誘導写像 𝛿ₙ⊗id:𝒜ₙ*⋊ℚ[Σₙ]→𝒪ₙ*⋊ℚ[Σₙ] は同型であり、n-バターンのすべての有限型不変量が順次層の設定において溶接バターンから生じることを示唆する。
• n ≤ 3 の場合、𝛿ₙ の単射性が確認され、一般に成り立つという予想を支持する。