[论文解读] Brauer algebras of type C

Arjeh M. Cohen, Shoumin Liu+1 more|arXiv (Cornell University)|Jan 18, 2011

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

一句话总结

本文引入了一种新的类型为 $\mathrm{C}_n$ 的布伦纳代数，通过推广经典布伦纳代数的生成元与关系进行定义。证明了该代数同构于经典布伦纳代数 $\mathrm{Br}(\mathrm{A}_{2n-1})$ 中对称图的子代数，从而确立了其自由性、胞状性以及通过闭式公式给出的精确秩，为类型 $\mathrm{C}_n$ 的布伦纳代数提供了一个自然实现：即作为 $\mathrm{Br}(\mathrm{A}_{2n-1})$ 的对称子代数。该同构通过显式构造生成元 $r_i$ 和 $e_i$ 映射到 $\mathrm{Br}(\mathrm{A}_{2n-1})$ 中的 $R_j$ 与 $E_j$ 的乘积而实现。其主要贡献在于对 $\mathrm{Br}(\mathrm{C}_n)$ 在 $\mathbb{Z}[\delta^{\pm 1}]$ 上的完整代数与组合刻画，表明其为胞状代数。$\mathrm{Br}(\mathrm{C}_n)$ 的秩由涉及特定对称性的分拆求和的闭式公式给出，且该代数被证明是自由的，秩为 $a_{2n}$，其中 $a_n$ 满足递推关系。

ABSTRACT

For each natural number n greater than 1, we define an algebra satisfying many properties that one might expect to hold for a Brauer algebra of type Cn. The monomials of this algebra correspond to scalar multiples of symmetric Brauer diagrams on 2n strands. The algebra is shown to be free of rank the number of such diagrams and cellular, in the sense of Graham and Lehrer.

研究动机与目标

• 定义一种新的代数结构——类型 $\mathrm{C}_n$ 的布伦纳代数，使其满足关于类型 $\mathrm{C}_n$ 的考克斯eter系统所预期的布伦纳代数性质。
• 在新代数与经典布伦纳代数 $\mathrm{Br}(\mathrm{A}_{2n-1})$ 中对称布伦纳图的子代数之间建立精确同构。
• 证明所得代数在 $\mathbb{Z}[\delta^{\pm 1}]$ 上自由且在格雷厄姆与勒勒的定义下为胞状代数，从而确保其结构与表示理论性质。

提出的方法

• 通过生成元 $r_0, \dots, r_{n-1}$（对合元）与 $e_0, \dots, e_{n-1}$（拟幂等元）定义 $\mathrm{Br}(\mathrm{C}_n)$，其关系由类型 $\mathrm{C}_n$ 的迪尼克图确定。
• 显式构造一个 $\mathbb{Z}[\delta^{\pm 1}]$-代数同构 $\phi: \mathrm{Br}(\mathrm{C}_n) \to \mathrm{SBr}(\mathrm{A}_{2n-1})$，将 $r_i$ 映射为 $R_{n-i}R_{n+i}$，$e_i$ 映射为 $E_{n-i}E_{n+i}$（$i > 0$），并将 $r_0$ 映射为 $R_n$，$e_0$ 映射为 $E_n$。
• 利用可接受根集与单项式标准形理论分析 $\mathrm{Br}(\mathrm{C}_n)$ 中单项式的结构，特别是单子半群在正交根集上的作用。
• 通过分析 $\mathrm{A}_{2n-1}$ 的考克斯eter图自同构所诱导的对称性，证明 $\phi$ 的像恰好是 $\mathrm{SBr}(\mathrm{A}_{2n-1})$。
• 通过递归分解构造细胞数据 $(\Lambda, T, C, *)$，并验证胞状性的三个公理，从而证明 $\mathrm{Br}(\mathrm{C}_n)$ 的胞状性。
• 推导出 $\mathrm{Br}(\mathrm{C}_n)$ 秩的闭式公式：$\sum_{i=0}^{n} \left( \sum_{p+2q=i} \frac{n!}{p!q!(n-i)!} \right)^2 2^{n-i} (n-i)!$，并通过递推关系 $a_n = a_{n-1} + 2(n-1)a_{n-2}$（初始值 $a_0 = a_1 = 1$）进行验证。

实验结果

研究问题

• RQ1 是否存在一种自然的代数结构，使得类型 $\mathrm{C}_n$ 的布伦纳代数能推广经典类型 $\mathrm{A}_{2n-1}$ 的布伦纳代数？
• RQ2 在 $\mathrm{Br}(\mathrm{A}_{2n-1})$ 中，对称布伦纳图的子代数是否同构于通过类型 $\mathrm{C}_n$ 的生成元与关系所定义的新代数？
• RQ3 能否证明所得代数是自由且胞状的，从而确保其良好的结构与表示理论性质？
• RQ4 类型 $\mathrm{C}_n$ 的布伦纳代数的精确秩是多少？是否可表示为闭式公式？

主要发现

• 类型 $\mathrm{C}_n$ 的布伦纳代数 $\mathrm{Br}(\mathrm{C}_n)$ 通过显式同构 $\phi$ 同构于经典布伦纳代数 $\mathrm{Br}(\mathrm{A}_{2n-1})$ 中对称图的子代数 $\mathrm{SBr}(\mathrm{A}_{2n-1})$，该同构在生成元上明确定义。
• 代数 $\mathrm{Br}(\mathrm{C}_n)$ 在 $\mathbb{Z}[\delta^{\pm 1}]$ 上是自由的，秩为 $a_{2n}$，其中 $a_n$ 满足递推关系 $a_n = a_{n-1} + 2(n-1)a_{n-2}$，初始值 $a_0 = a_1 = 1$，其秩由闭式公式 $\sum_{i=0}^{n} \left( \sum_{p+2q=i} \frac{n!}{p!q!(n-i)!} \right)^2 2^{n-i} (n-i)!$ 给出。
• 代数 $\mathrm{Br}(\mathrm{C}_n)$ 在格雷厄姆与勒勒的意义下是胞状的，其细胞数据通过递归分解与单项式标准形显式构造。
• 类型 $\mathrm{C}_n$ 的考克斯eter群的群代数是通过将 $\mathrm{Br}(\mathrm{C}_n)$ 商去所有 $e_i$ 生成的理想而得到的，且由 $e_i$ 生成的子代数同构于类型 $\mathrm{B}_n$ 的蒂姆斯莱布代数。
• 由 $\{r_j, e_j\}_{j \in J}$ 生成的 $\mathrm{Br}(\mathrm{C}_n)$ 的抛物子代数（其中 $J$ 是迪尼克节点的子集）同构于 $J$ 的连通分支所对应的类型下的布伦纳代数，从而确认其在限制下的良好行为。
• $\mathrm{Br}(\mathrm{C}_2)$ 的维数为 25，超过陈所定义的类型 $\mathrm{I}_2(4)$ 的 24 维代数，表明本构造产生了一个不同且更大的代数。