[論文レビュー] A basis for the Birman-Wenzl algebra

H. R. Morton|arXiv (Cornell University)|Dec 14, 2010

Geometric and Algebraic Topology参考文献 9被引用数 41

ひとこと要約

この論文は、代数的ブラウアー接続子の類似物を用いて $BW_n$ の基底を構成することで、Birman-Wenzl代数 $BW_n$ と Kauffman トゥールプ代数 $MT_n$ の明示的な同型写像を確立する。幾何的同相的議論を代数的関係に置き換える体系的アプローチにより、同型写像が導かれ、係数環 $\Lambda$ 上での $BW_n$ の次元が確認され、$\Lambda$ の特殊化の振る舞いが明確化され、パrameter空間のZariski稠密な部分集合に対して半単純性が保証される。

ABSTRACT

An explicit isomorphism is constructed between the Birman-Wenzl algebra, defined algebraically by J. Birman and H. Wenzl using generators and relations, and the Kauffman algebra, constructed geometrically by H. R. Morton and P. Traczyk in terms of tangles. The isomorphism is obtained by constructing an explicit basis in the Birman-Wenzl algebra, analogous to a basis previously constructed for the Kauffman algebra using 'Brauer connectors'. The geometric isotopy arguments for the Kauffman algebra are systematically replaced by algebraic versions using the Birman-Wenzl relations.

研究の動機と目的

• 代数的に定義された Birman-Wenzl 代数 $BW_n$ と幾何的に定式化された Kauffman トゥールプ代数 $MT_n$ の直接的な同型写像を確立すること。
• 幾何的同相的議論を代数的関係に置き換えた、$MT_n$ で用いられる Brauer 接続子基底に類似した $BW_n$ の明示的基底を構成すること。
• 係数環 $\Lambda$ 及びその特殊化が $BW_n$ の構造と半単純性に与える役割を明確化すること。
• $BW_n$ の次元とその表現論的性質について、自己完結的で代数的な証明を提供すること。

提案手法

• 正の置換ブレイドと生成子 $g_i$、$e_i$ に基づく帰納的技法を用いて、$MT_n$ の Brauer 接続子基底に類似した $BW_n$ の基底を構成する。
• $MT_n$ の構成で用いられる幾何的同相的議論を、Birman-Wenzl 関係、特に Yang-Baxter 関係と $e_i$ の冪等元関係を用いた代数的変形に置き換える。
• 逆写像 $\alpha$ を用いて $e_i$ と $g_i$ を含む積を標準形に変換し、帰納的削減により要素を基底要素に還元可能にする。
• $BW_n$ から $MT_n$ への同型写像 $\varphi$ を適用し、$f_k$ で生成されるイデアルの鎖といった構造的結果を代数的設定に移す。
• $BW_n$ が $\Lambda$ 上で自由であることを利用し、$\Lambda$ の特殊化を $BW_n$ に一貫して拡張できることを示し、一般に半単純性が成り立つことを保証する。
• 補題 6.3 の推論を用いて正の置換ブレイドを逆 Lorenz ブレイドと非自己同型ブレイドに分解し、要素構造の帰納的制御を可能にする。

実験結果

リサーチクエスチョン

• RQ1 代数的に定義された Birman-Wenzl 代数 $BW_n$ と幾何的に定義された Kauffman トゥールプ代数 $MT_n$ の間で、明示的な同型写像を構成可能か？
• RQ2 基底の明確な代数的構造は何か？ そしてそれは $MT_n$ の Brauer 接続子基底とどのように類似しているか？
• RQ3 係数環 $\Lambda$ の特殊化は $BW_n$ の半単純性にどのように影響し、代数的に制御可能か？
• RQ4 $MT_n$ における幾何的同相的議論を、$BW_n$ において体系的に代数的関係に置き換えることはどの程度可能か？
• RQ5 $BW_n$ の自由加群としての次元は何か？ そしてそれはどのように基底構成によって決定されるか？

主な発見

• 明示的な同型写像 $\varphi: BW_n \to MT_n$ が確立され、両代数が係数環 $\Lambda$ 上で同型であることが確認された。
• $BW_n$ の $\Lambda$ 上での次元は、構成された基底により決定され、$MT_n$ の Brauer 接続子基底に類似している。
• $BW_n$ は $\Lambda$ 上で自由加群としての構造を有し、$\Lambda$ の特殊化を $BW_n$ に一貫して拡張可能である。
• $\mbox{Spec}(\Lambda)$ のZariski稠密な部分集合に対して、$BW_n$ の特殊化は半単純であることが示され、Hecke代数の場合の議論を適応することで確認された。
• $BW_n$ で生成される $f_k$ のイデアルの鎖は、$MT_n$ で生成される $F_k$ のイデアルの鎖に対応し、トゥールプモデルを用いた合成系列の研究が可能になる。
• 逆ブレイドに関する補題と $e_i$ 要素の取り扱いに関する補題を支援として用いた帰納的基底構成により、$BW_n$ の任意の要素が基底要素の線形結合として表現可能であることが確認された。