[論文レビュー] The representation theory of cyclotomic BMW algebras

He Rui, Mei Si|ArXiv.org|Jul 25, 2008

Algebraic structures and combinatorial models参考文献 15被引用数 11

ひとこと要約

この論文は、セルフアーチテクチャ理論を用いて、任意の体上の巡回的BMW代数 $τ_{r,n}$ の既約表現を分類し、セルモジュールのJMベースと直交基底を構成する。$τ_{r,n}$ の半単純性の完全な基準を提示し、$q$, $u_i$, および $ρ$ のパラメータ条件、特に $q^2$ の位数制約と特定の単位根に類似する値の除外を含む、以前のビルマン＝ウェンツル代数に関する結果を一般化する。

ABSTRACT

In this paper, we go on Rui-Xu's work on cyclotomic Birman-Wenzl algebras $\W_{r, n}$ in \cite{RX}. In particular, we use the representation theory of cellular algebras in \cite{GL} to classify the irreducible $\W_{r, n}$-modules for all positive integers $r$ and $n$. By constructing cell filtrations for all cell modules of $\W_{r, n}$, we compute the discriminants associated to all cell modules for $\W_{r, n} $. Via such discriminats together with induction and restriction functors given in section~5, we determine explicitly when $\W_{r, n}$ is semisimple over a field. This generalizes our previous result on Birman-Wenzl algebras in \cite{RS1}.

研究の動機と目的

• 任意の体上の巡回的BMW代数 $τ_{r,n}$ のすべての既約表現を分類すること。
• パラメータ $µ$-適応条件の下で、$r$ が奇数に限らないすべての正の整数 $r$ に対して $τ_{r,n}$ のセルフラ構造を拡張すること。
• JMベースと直交基底から導かれる再帰的公式を用いて、セルモジュールの判別式を計算すること。
• 誘導／制限函手とグラム行列式解析を用いて、体上の $τ_{r,n}$ の半単純性の基準を確立すること。
• ビルマン＝ウェンツル代数に関する以前の結果を、$q$-位数とパラメータ比に関する明示的な条件を特定することによって、巡回的設定に一般化すること。

提案手法

• セルフアーチテクチャの表現論を用いて、任意の体上の $τ_{r,n}$-モジュールの既約モジュールを分類する。
• 各セルモジュール $M$ に $τ_{r,n-1}$-フィルトレーションを定義し、JMベースを構成することで、グラム行列式の再帰的計算を可能にする。
• 「分離条件」の下で、JMベースからのグラム行列式と直交基底からのものとの同値性を確立する。
• $τ_{r,n}$-モジュールと $τ_{r,n-2}$-モジュールの間の制限函手 $Φ$ と誘導函手 $Σ$ を定義し、$n$ を超えてモジュール構造を関連付ける。
• 函手的構造と既知の行列式恒等式を用いて、セルモジュールの判別式の再帰的公式を導出する。
• 函手的枠組みと判別式解析を適用し、グラム行列式の消滅しないことを分析することで、半単純性の条件を特定する。

実験結果

リサーチクエスチョン

• RQ1 パラメータ $q$, $u_i$, および $ρ$ がどのような条件下で、任意の体上の巡回的BMW代数 $τ_{r,n}$ が半単純になるか。
• RQ2 セルフアーチテクチャ技法を用いて、任意の体上の $τ_{r,n}$ の既約表現を完全に分類する方法は何か。
• RQ3 セルモジュール $τ_{r,n}$ の構造はどのようなものか。また、その判別式はどのように再帰的に計算できるか。
• RQ4 $τ_{r,n}$-モジュールと $τ_{r,n-2}$-モジュールの間の誘導および制限函手は、分類および半単純性解析をどのように支援するか。
• RQ5 集合 $Q_{r,ρ}$ と $S_{r,ρ}$ は、$τ_{r,n}$ の半単純性を決定する上で果たす役割は何か。

主な発見

• パラメータ $µ$-適応条件の下で、$r$ が奇数に限らないすべての正の整数 $r$ に対して、$R$ 上の巡回的BMW代数 $τ_{r,n}$ はセルフラである。
• 任意の体上で、セルフアーチテクチャの表現論を用いて、$τ_{r,n}$-既約モジュールは完全に分類可能である。
• すべてのセルモジュールの判別式（グラム行列式）を計算する再帰的公式が確立された。
• 体 $F$ 上での $τ_{r,n}$ の半単純性は、以下の4条件によって完全に決定される：$o(q^2) > n$、$u_i u_j^{-1} = q^{2d}$ のとき $|d| \geq n$、$u_i \notin S_{r,ρ}$、および $u_i u_j \notin \bigcup_{k=3}^n \{q^{4-2k}, q^{2k-4}\}$。
• 半単純性の基準は、以前のビルマン＝ウェンツル代数に関する結果を拡張し、すべての $r \geq 1$ に一様に適用可能であり、$q$-位数とパラメータ比に関する明示的な条件を含む。