[论文解读] Brauer algebras of Type $C$ are Cellularly Stratified Algebras

C. Bowman|arXiv (Cornell University)|Feb 2, 2011

Algebraic structures and combinatorial models参考文献 6被引用 8

一句话总结

该论文通过展示其为超octahedral群的迭代膨胀，证明了类型$C_n$的Brauer代数是分层拟序的，使用图示生成元和各层上的双线性形式。关键贡献包括标准模的完整索引、分解数公式，以及拟Hereditary条件的刻画：当且仅当$\delta \neq 0$且$p > n$时，该代数在特征为$p$的域上是拟Hereditary的。该框架使得超octahedral群的分解矩阵出现在Brauer代数的分解矩阵的主对角线上。

ABSTRACT

In a recent paper Cohen, Liu and Yu introduce the Type $C$ Brauer algebra. We show that this algebra is an iterated inflation of hyperoctahedral groups, and that it is cellularly stratified. This gives an indexing set of the standard modules, results on decomposition numbers, and the conditions under which the algebra is quasi-hereditary.

研究动机与目标

• 建立类型$C_n$的Brauer代数为分层拟序代数。
• 为该代数的标准模提供完整的索引集。
• 根据超octahedral群的分解数，推导出该代数的分解数。
• 确定该代数为拟Hereditary的条件。
• 将分层拟序代数理论扩展至类型$C$ Brauer代数的语境。

提出的方法

• 通过使用特定关系的图示生成元$r_i$和$e_i$，将代数构造为超octahedral群$H_{n-2k}$的迭代膨胀。
• 通过双线性形式$\varphi: V(n,k) \times V'(n,k) \to H_{n-2k}$定义乘法结构，其中若$f$和$g$中的弧相连，则$\varphi(f,g) = \delta^m \sigma$，否则为$0$。
• 定义同构$\psi: B(C_n,R,\delta) \to V(n,k) \otimes V'(n,k) \otimes kH_{n-2k}$，将图示映射为弧图示与群元素的张量积。
• 证明代数上的对合对应于$e \otimes f \otimes \pi \mapsto f \otimes e \otimes \pi^{-1}$，并保持分层拟序结构。
• 通过检查幂等元和相容性条件，验证各层满足分层拟序代数的条件。
• 应用Hartmann等人提出的分层拟序代数理论，推导出关于标准模和分解数的结果。

实验结果

研究问题

• RQ1 类型$C_n$的Brauer代数是否为分层拟序代数？若是，能否通过迭代膨胀加以证明？
• RQ2 类型$C$ Brauer代数的标准模的索引集是什么？
• RQ3 类型$C$ Brauer代数的分解数如何与超octahedral群的分解数相关？
• RQ4 在何种条件下，类型$C$ Brauer代数是拟Hereditary的？
• RQ5 各层上的双线性形式$\varphi$如何控制代数的乘法结构？

主要发现

• 代数$B(C_n,R,\delta)$的标准模由$\Delta(\mu,k) = V(n,k) \otimes v_k \otimes \Delta(\mu)$索引，其中$k \leq n/2$，且$\Delta(\mu)$是$H_{n-2k}$的标准模。
• 分解数满足$[\Delta(\mu,k):D(\lambda,k)] = [\Delta(\mu):D(\lambda)]$，意味着$H_{n-2k}$的分解矩阵出现在Brauer代数分解矩阵的主对角线上。
• 当且仅当$\delta \neq 0$且$p > n$时，该代数在特征为$p$的域$R$上是拟Hereditary的。
• 双线性形式$\varphi(f,g)$仅在弧图示$f$和$g$共享公共顶点时非零，其值为$\delta^m \sigma$，其中$m$为闭合环路的数量，$\sigma$为通路弦所诱导的置换。
• 代数上的对合对应于反转弧图示并取群元素的逆，从而保持分层拟序结构。
• 迭代膨胀构造确保所有胞理想能正确上拉，整个代数从超octahedral群各层继承了分层拟序结构。