[論文レビュー] Idempotents for Birman-Murakami-Wenzl algebras and reflection equation

A. P. Isaev, Alexander Molev+1 more|arXiv (Cornell University)|Nov 10, 2011

Algebraic structures and combinatorial models参考文献 27被引用数 7

ひとこと要約

この論文は、アップダウンテーブックスの量子内容に評価された複数変数の有理的融合関数を用いて、Birman–Murakami–Wenzl（BMW）代数の完全な対の直交する最小のべき等元の体系を構成する。この手法により、ヘッケ代数の1パラメータ族の融合手続きが得られ、古典的極限によってBMW代数の異なる縮約により、ブローア代数の2種類の異なる融合関数が回復される。

ABSTRACT

A complete system of pairwise orthogonal minimal idempotents for Birman-Murakami-Wenzl algebras is obtained by a consecutive evaluation of a rational function in several variables on sequences of quantum contents of up-down tableaux. A by-product of the construction is a one-parameter family of fusion procedures for Hecke algebras. Classical limits to two different fusion procedures for Brauer algebras are described.

研究の動機と目的

• Birman–Murakami–Wenzl代数における最小のべき等元の明示的かつR行列に依存しない構成を提供すること。
• アップダウンテーブックスの量子内容に評価された複数変数の有理関数を用いた、BMW代数の融合手続きを確立すること。
• 融合関数の古典的極限を導出し、ヘッケおよびブローア代数の既知の融合関数を再現すること。
• 反射方程式が量子および古典的中心化子代数の融合関数の構成において果たす役割を明確にすること。
• BMW代数の異なる縮約が、転置テーブックスに対応するブローア代数の異なる古典的融合関数をもたらすことを示すこと。

提案手法

• 生成子とスペクトルパラメータを用いて定義される、BMW代数値の有理関数（融合関数）を導入する。
• アップダウンテーブックスに関連する量子内容に逐次評価することで、最小のべき等元を生成する。
• この構成は、既約表現と量子内容の系列との表現論的対応に依存する。
• 2つの異なるパrameterのレジームを用いて古典的極限を取る：$ q \to 1 $ と $ q \to -1 $ であり、それぞれ異なる古典的代数をもたらす。
• 融合関数の古典的極限は、それぞれ[11]および[12]のブローア代数の融合関数を、異なる縮約により再現する。
• この手法により、融合関数と反射方程式の解との間に深い関係があることが明らかになる。[15]で示されたように。

実験結果

リサーチクエスチョン

• RQ1 R行列に依存しない形で、BMW代数の完全な最小のべき等元の体系をどのように構成できるか？
• RQ2 アップダウンテーブックスの量子内容は、BMW代数の融合関数のパrameter化において果たす役割は何か？
• RQ3 BMW代数の異なる古典的極限が、なぜブローア代数の異なる融合関数をもたらすのか？
• RQ4 中心化子代数の文脈において、融合関数と反射方程式の解との関係は何か？
• RQ5 なぜBMW代数の2つの異なる縮約が、ブローア代数における転置テーブックスに対応する融合関数をもたらすのか？

主な発見

• BMW代数の融合関数がアップダウンテーブックスの量子内容に評価されると、対の直交する最小のべき等元の完全な体系が得られる。
• BMW融合関数をヘッケ代数への商に制限することで、パrameter $ \nu $ がBMW設定で非自明であっても、ヘッケ代数の1パラメータ族の融合関数が得られる。
• $ q \to 1 $ の古典的極限は、[11]のブローア代数の融合関数を再現し、これは標準テーブックスに対応する。
• $ q \to -1 $ の古典的極限は、[12]の融合関数をもたらし、これは転置テーブックスに対応し、古典的内容の定義を修正する必要がある。
• 融合関数の古典的極限が[15]の反射方程式の解と一貫していることが示され、これは量子群の可積分構造と関連している。
• 2つの追加の縮約レジーム（$ q = e^h, \nu = -e^{h(\omega-1)} $ および $ q = -e^h, \nu = -e^{h(1-\omega)} $）が特定され、それぞれが融合関数の異なる古典的極限をもたらす。