[论文解读] 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$ 的阶约束及排除某些单位根类值）推广了早期关于Birman-Wenzl代数的结果。

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,n}$ 的细胞结构扩展至所有正整数 $r$，而不仅限于奇数 $r$。
• 利用从JM-基与正交基导出的递推公式，计算细胞模的判别式。
• 通过诱导与限制函子及格拉姆行列式分析，建立 $τ_{r,n}$ 在域上半单性的判别准则。
• 通过识别半单性的确切参数条件，将先前关于Birman-Wenzl代数的结果推广至环形情形。

提出的方法

• 利用细胞代数的表示理论，对任意域上的 $τ_{r,n}$-模进行不可约表示分类。
• 在每个 $τ_{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}$ 的半单性中起什么作用？

主要发现

• 在 $µ$-可容许条件下，环形BMW代数 $τ_{r,n}$ 对所有正整数 $r$（而不仅奇数 $r$）在 $R$ 上是细胞代数。
• 通过细胞代数表示理论，$τ_{r,n}$ 的不可约模在任意域上被完全分类。
• 建立了用于计算 $τ_{r,n}$ 所有细胞模判别式（格拉姆行列式）的递推公式。
• 域 $F$ 上 $τ_{r,n}$ 的半单性完全由四个条件决定：$o(q^2) > n$，$|d| ≥ n$（当 $u_i u_j^{-1} = q^{2d}$ 时），$u_i \notin S_{r,ρ}$，且 $u_i u_j \notin \bigcup_{k=3}^n \{q^{4-2k}, q^{2k-4}\}$。
• 半单性判别准则推广了先前关于Birman-Wenzl代数的结果，适用于所有 $r \geq 1$，并给出了关于 $q$-阶与参数比值的明确条件。