[論文レビュー] The BMW algebras of type Dn

Arjeh M. Cohen, D. A. H. Gijsbers+1 more|arXiv (Cornell University)|Apr 20, 2007

Coding theory and cryptography参考文献 13被引用数 8

ひとこと要約

この論文は、再帰的置換系を用いて次元の上界を評価することで、型DnのBMW代数がZ[δ±1, l±1]/(m(1−δ)−(l−l−1))上に半単純かつ自由であることを証明し、次元は(2n+1)n!! − (2n−1+1)n! であることを示している。さらに、型Dnのブラウアー代数がZ[δ±1]上に同じ次元の半単純な同型像として得られることを確立し、一般化されたテンプレリー＝ライブ代数がBMW代数の部分代数であることも示している。

ABSTRACT

Abstract. The Birman-Murakami-Wenzl algebra (BMW algebra) of type Dn is shown to be semisimple and free over Z[δ ±1, l ±1]/(m(1 − δ) − (l − l −1)) of dimension (2 n +1)n!! −(2 n−1 +1)n!, where n!! = 1 ·3···(2n −1). The Brauer algebra of type Dn is a homomorphic ring image and is also semisimple and free of the same dimension, but over the ring Z[δ ±1]. A rewrite system for the Brauer algebra is used in upper bounding the dimension of the BMW algebra. As a consequence of our results, the generalized Temperley-Lieb algebra of type Dn turns out to be a subalgebra of the BMW algebra of the same type.

研究の動機と目的

• 型DnのBMW代数の構造と次元を確立すること。
• 型Dnのブラウアー代数が、同じ次元のBMW代数の半単純な同型像であることを証明すること。
• 型Dnの一般化されたテンプレリー＝ライブ代数が、同じ型のBMW代数の部分代数であることを示すこと。
• 再帰的置換系を用いて、BMW代数の次元の上界を評価すること。
• Z[δ±1, l±1]/(m(1−δ)−(l−l−1))およびZ[δ±1]を含む指定された環上でのこれらの代数の自由性と半単純性を分析すること。

提案手法

• ブラウアー代数の型Dnに対して再帰的置換系を構築し、その構造を解析し、BMW代数の次元の上界を評価する。
• 再帰的置換系の還元規則と図式の組合せ的解析を用いて、BMW代数の次元の上界を求める。
• torsion の存在を確認せず、基底の存在を検証することで、Z[δ±1, l±1]/(m(1−δ)−(l−l−1))上での自由性を示す。
• ブラウアー代数をBMW代数の商代数として扱い、Z[δ±1]上での自由性と半単純性を確立する。
• 図式的包含とイデアル関係を介して、一般化されたテンプレリー＝ライブ代数をBMW代数の部分代数として特定する。
• BMW代数の基底要素の組合せ的数え上げを通じて、次元の公式 (2n+1)n!! − (2n−1+1)n! を導出する。

実験結果

リサーチクエスチョン

• RQ1 Z[δ±1, l±1]/(m(1−δ)−(l−l−1)) 上で、型DnのBMW代数の正確な次元は何か？
• RQ2 型DnのBMW代数は、その係数環上で半単純かつ自由であるか？
• RQ3 ブラウアー代数の型Dnは、ホモモーフィズムと次元の観点からBMW代数とどのように関係するか？
• RQ4 一般化されたテンプレリー＝ライブ代数の型Dnは、同じ型のBMW代数内に部分代数として埋め込めるか？
• RQ5 再帰的置換系は、BMW代数の次元の上界を評価するために果たす役割は何か？

主な発見

• 型DnのBMW代数は、Z[δ±1, l±1]/(m(1−δ)−(l−l−1)) 上で半単純かつ自由であり、次元は(2n+1)n!! − (2n−1+1)n! である。
• 型Dnのブラウアー代数は、BMW代数の半単純かつ自由な商代数であり、Z[δ±1]上では同じ次元と自由度を有する。
• 型Dnの一般化されたテンプレリー＝ライブ代数は、型DnのBMW代数の部分代数である。
• ブラウアー代数の再帰的置換系は、BMW代数の次元に対する有効な上界を提供する。
• 次元の公式は、基底要素の組合せ的数え上げから導出され、代数の構造の整合性を確認する。
• BMW代数の代数的関係により、一般化されたテンプレリー＝ライブ代数が部分代数として保存される。