[论文解读] A KLR Grading of the Brauer Algebras

Li Ge|arXiv (Cornell University)|Sep 3, 2014

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

一句话总结

该论文在特征为0的域上构造了一个具有类似KLR关系的Z-分次代数 $G_n(\delta)$，证明其同构于Brauer代数 $B_n(\delta)$。该同构在 $B_n(\delta)$ 上赋予了一个非平凡的Z-分次，并给出了一个显式的齐次细胞基，从而通过KLR风格的表示证明了 $B_n(\delta)$ 是一个分次细胞代数。

ABSTRACT

We construct a naturally $\mathbb Z$-graded algebra $\mathscr G_n(δ)$ over $R$ with KLR-like relations and give an explicit isomorphism between $\mathscr G_n(δ)$ and $\mathscr B_n(δ)$, the Brauer algebras over $R$, when $R$ is a field of characteristic 0. This isomorphism allows us to exhibit a non-trivial $\mathbb Z$-grading on the Brauer algebras over a field of characteristic 0. As a byproduct of the proof, we also construct an explicit homogeneous cellular basis for $\mathscr G_n(δ)$.

研究动机与目标

• 在特征为0的域上构造一个具有与环型 quiver Hecke 代数关系类似的Z-分次代数 $G_n(\delta)$。
• 建立 $G_n(\delta)$ 与Brauer代数 $B_n(\delta)$ 之间的同构，从而为 $B_n(\delta)$ 赋予一个非平凡的Z-分次。
• 为 $G_n(\delta)$ 构造一个显式的齐次细胞基，证明 $B_n(\delta)$ 是一个分次细胞代数。

提出的方法

• 通过生成元 $e(i), y_k, \psi_k, \epsilon_k$ 及其与A型KLR代数类似的关系来定义 $G_n(\delta)$。
• 构造一组由上下表（up-down tableaux）索引的齐次元素 $\psi^{st}$，其次数满足 $\deg \psi^{st} = \deg s + \deg t$，作为候选基。
• 利用类似细胞代数的乘法规则（命题5.27）证明 $G_n(\delta)$ 由 $\{ \psi^{st} \}$ 张成，从而得到 $\dim G_n(\delta) \leq (2n-1)!$。
• 通过将生成元映射到 $B_n(\delta)$ 的标准生成元，并利用半标准形式和已知关系，构造一个从 $G_n(\delta)$ 到 $B_n(\delta)$ 的满射代数同态。
• 通过证明基 $\{ \psi^{st} \}$ 恰好有 $ (2n-1)!! $ 个元素，与 $\dim B_n(\delta)$ 一致，从而证明该同态是单射，故为同构。
• 验证基 $\{ \psi^{st} \}$ 满足分次细胞基的公理，包括齐次性与 $*$-对合。

实验结果

研究问题

• RQ1 在特征为0的域上，Brauer代数 $B_n(\delta)$ 是否可以赋予一个非平凡的Z-分次？
• RQ2 是否存在一个类似KLR的Brauer代数表示，能够实现这种分次？
• RQ3 Brauer代数是否具有类似于环型quiver Hecke代数的齐次细胞基？
• RQ4 是否可以通过细胞基的构造方法建立 $G_n(\delta)$ 与 $B_n(\delta)$ 之间的同构？

主要发现

• 根据定理B，代数 $G_n(\delta)$ 同构于特征为0的域上的Brauer代数 $B_n(\delta)$。
• 该同构意味着 $B_n(\delta)$ 从 $G_n(\delta)$ 继承了一个非平凡的Z-分次，使其成为一个分次代数。
• 集合 $\{ \psi^{st} \}$ 构成 $G_n(\delta)$ 的一个齐次细胞基，因此也构成 $B_n(\delta)$ 的齐次细胞基，如定理C所示。
• $G_n(\delta)$ 的维数上界为 $ (2n-1)!! $，与 $\dim B_n(\delta)$ 一致，这证实了该基张成整个空间且线性无关。
• 基 $\{ \psi^{st} \}$ 满足细胞乘法规则（命题5.27），确认了其细胞结构。
• 商代数 $G_n(\delta)/E_n(\delta)$，其中 $E_n(\delta)$ 是由 $\epsilon_k$ 生成的双边理想，同构于环型quiver Hecke代数 $R^\Lambda_n$，如定理7.79所示。