[论文解读] Highest weight categories arising from Khovanov's diagram algebra IV: the general linear supergroup

Jonathan Brundan, Catharina Stroppel|arXiv (Cornell University)|Jul 15, 2009

Algebraic structures and combinatorial models参考文献 24被引用 4

一句话总结

本文建立了广义线性超群 GL(m|n) 的余维数为 r 的块与 Khovanov 图形代数的极限版本之间的 Morita 等价，记为 $H^{\flat}_{r}$。这种等价性表明这些块是 Koszul 的，为 GL(m|n) 的表示理论提供了图示模型，并通过 Khovanov 的代数框架将其与范畴化量子群及链路同调联系起来。

ABSTRACT

We prove that blocks of the general linear supergroup are Morita equivalent to a limiting version of Khovanov's diagram algebra. We deduce that blocks of the general linear supergroup are Koszul.

研究动机与目标

• 建立广义线性超群 GL(m|n) 的块与 Khovanov 图形代数的极限版本之间的 Morita 等价。
• 证明这些块是 Koszul 的，从而为 GL(m|n) 的表示理论提供图示模型。
• 将 Khovanov 图形代数的框架扩展至超群设定，将其与余循环 Hecke 代数和 KLR 代数联系起来。
• 在等价的两边识别出特殊的投影函子，使超群与图形代数的范畴结构相匹配。

提出的方法

• 使用 Khovanov 图形代数 $H^{lat}_{r}$ 的极限版本，该代数作为与余循环 Hecke 代数相关联的有限维代数的直极限构造而成。
• 通过一个典范的极小投影生成元 $P = \text{colim}\thinspace P^{p,q}$，建立 GL(m|n) 的有限维表示范畴中余维数为 r 的块与 $H^{lat}_{r}$ 模范畴之间的 Morita 等价。
• 通过涉及平移内积 $(\lambda + \rho, \varepsilon_i)$ 的权字典，将权偏序集 $X^+(T)$ 与一个图示集合 $\Lambda(m|n)$ 一一对应。
• 应用二级 Schur-Weyl 对偶性，将自然表示 $V$ 的张量积与余循环 Hecke 代数 $H_d^{p,q}$ 的作用联系起来。
• 利用 Morita 双模 $A^{p,q}$ 和 $B^{p,q}$，将代数 $R^{p,q}$（同构于 $\text{End}_G(T_d^{p,q})^{\text{op}}$）与广义 Khovanov 代数 $K^{p,q}$ 联系起来。
• 通过 Hom-空间与函子之间的自然同构建立函子等价，证明 $E_i \cong \text{Hom}_G(P,?) \circ \mathcal{E}_i \circ P \otimes_K ?$。

实验结果

研究问题

• RQ1 如何利用图示代数描述广义线性超群 GL(m|n) 的表示理论？
• RQ2 给定余维数 r 的 GL(m|n) 块的结构是什么？它们与 Khovanov 图形代数有何关系？
• RQ3 GL(m|n) 的块与 Khovanov 图形代数的极限版本之间是否存在 Morita 等价？
• RQ4 GL(m|n) 的块是否具有 Koszul 结构？如果是，这在图示代数中如何体现？
• RQ5 超群侧的特殊投影函子如何对应于图示代数侧的函子？

主要发现

• 余维数为 r 的广义线性超群 GL(m|n) 的块与极限图示代数 $H^{lat}_{r}$ 之间存在 Morita 等价，建立了表示范畴之间的范畴等价。
• Morita 等价意味着 GL(m|n) 的每个块都是 Koszul 的，从而在超群设定中实现了 Koszul 对偶性的图示实现。
• 该等价性通过一个典范的极小投影生成元 $P = \varinjlim P^{p,q}$ 实现，该生成元诱导了范畴等价。
• 图示代数侧的特殊投影函子 $E_i$ 和 $F_i$ 同构于通过 Morita 等价的拉回与推出函子的复合。
• 该等价性与余循环 Hecke 代数和 KLR 代数的作用相容，将超群表示理论与范畴化量子群联系起来。
• 权偏序集 $X^+(T)$ 被识别为图示集合 $\Lambda(m|n)$，从而可通过数轴上的标签对权的组合结构进行组合描述。