[論文レビュー] An algebra involving braids and ties

Francesca Aicardi, Jesús Juyumaya|arXiv (Cornell University)|Sep 12, 2017

Geometric and Algebraic Topology参考文献 4被引用数 18

ひとこと要約

この論文は、ブレードに類似した生成子 $T_i$ とテイ生成子 $E_i$ によって生成される、${\mathbb{C}}(u)$ 上の有限次元代数 ${\mathcal{E}}_n(u)$ を導入し、その性質を研究する。これらの生成子は、ブレード群とイデムポテンス関係を組み合わせた関係を満たす。主な貢献は、${\mathcal{E}}_3(1)$ の表現論の完全分類であり、それが半単純で、$4M_1(\mathbb{C}) \oplus 2M_2(\mathbb{C}) \oplus 2M_3(\mathbb{C})$ に分解され、次元が 30 に等しいことを示している。この分析には、図式的解釈と超八面体群の群代数へのモルフィズムが用いられている。

ABSTRACT

In this note we study a family of algebras with one parameter defined by generators and relations. The set of generators contains the generators of the usual braids algebra, and another set of generators which is interpreted as ties between consecutive strings. We also study the representations theory of the algebra when the parameter is specialized to 1.

研究の動機と目的

• 新しい代数 ${\mathcal{E}}_n(u)$ を定義し、その性質を研究すること。この代数は、ブレード群の生成子とタイ生成子を統合し、ヘッケ代数の構造を拡張する。
• ${\mathcal{E}}_n(u)$ の定義関係を、以前の定式化にあった余分な関係を除去することで、最小限のセットに簡略化すること。
• ${\mathcal{E}}_n(u)$ の表現論を、パrameter $u$ を $1$ に特殊化した場合に、特に小さな $n$ に対して分析すること。
• ブレードとタイとしての生成子の図式的解釈を確立し、線形基底と関係式の研究を容易にすること。
• ${\mathcal{E}}_3(1)$ が半単純で、${\mathbb{C}}$ 上の行列代数への明示的分解を持つことを証明すること。

提案手法

• ${\mathcal{E}}_n(u)$ は、生成子 $T_1, \dots, T_{n-1}$ と $E_1, \dots, E_{n-1}$ および、ブレード関係、$E_i$ のイデムポテンス性、およびブレード・タイの混合関係を満たす関係によって定義される。
• 図式的モデルが導入され、$T_i$ は交差を、$E_i$ は隣接するストランド間のタイを表す。これにより、関係式に関する視覚的推論が可能になる。
• 帰納的証明を用いて、${\mathcal{E}}_n(u)$ が有限次元であることを示し、$U_i = \{1\} \cup T_iU_{i-1} \cup E_iU_{i-1} \cup T_iE_iU_{i-1}$ を用いて線形基底を再帰的に構成する。
• $u=1$ における表現論の研究は、超八面体群の群代数へのモルフィズムを用いて行われ、$\psi$ という写像が、符号付き置換に値をとり、イデムポテンス作用を持つように定義される。
• 基底要素の線形独立性は、評価写像 $\varphi_0$ を適用し、超八面体群代数における係数を分析することで証明される。
• ${\mathcal{E}}_3(1)$ の分解は、次元が 30 であることを示し、$\psi$ による像の構造を用いることで導出される。

実験結果

リサーチクエスチョン

• RQ1 ブレードとタイを統合する代数 ${\mathcal{E}}_n(u)$ の最小限の定義関係は何か？
• RQ2 ${\mathcal{E}}_n(u)$ の表現論は、パrameter $u$ を $1$ に特殊化した場合にどのように振る舞うか？
• RQ3 ${\mathcal{E}}_3(1)$ は半単純か？ もし半単純であれば、その完全な単純成分への分解は何か？
• RQ4 生成子をブレードとタイとして図式的に解釈することは、代数の構造を体系的に分析する方法を提供できるか？
• RQ5 ${\mathcal{E}}_3(1)$ の次元は何か？ また、それは超八面体群の表現論とどのように関係するか？

主な発見

• ${\mathcal{E}}_n(u)$ は有限次元であり、$T_i$、$E_i$、$T_iE_i$ の作用によって前の生成子に対して再帰的に定義される $U_i$ を用いて基底が構成される。
• ${\mathcal{E}}_n(u)$ の定義関係は、元の定式化にあった2つの余分な関係を除去することで、最小限のシステムに簡略化された。
• $n=2$ の場合、${\mathcal{E}}_2(u)$ の基底は4つの要素からなる：$\{1, T_1, E_1, T_1E_1\}$。
• $n=3$ の場合、代数 ${\mathcal{E}}_3(u)$ は、$L$ が対称群 $\mathcal{S}_3$ の5つの要素を走るとき、$L$、$LE_1$、$LE_2$、$LE_1E_2$、$LE_2T_1$ の形の15個の要素によって線形に張られる。
• ${\mathcal{E}}_3(1)$ は半単純であり、$4M_1(\mathbb{C}) \oplus 2M_2(\mathbb{C}) \oplus 2M_3(\mathbb{C})$ に分解され、全次元は30に等しい。
• $\psi$ は ${\mathcal{E}}_3(1)$ から超八面体群の群代数への写像であり、これが単射であることが示され、構成された基底の線形独立性が裏付けられた。