[论文解读] Categorification of tensor powers of the vector representation of $U_q(\mathfrak{gl}(1|1))$

Antonio Sartori|arXiv (Cornell University)|May 27, 2013

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

一句话总结

本文通过 BGG 层次 $\mathcal{O}(\mathfrak{gl}_n)$ 的子商层范畴，构建了量子超代数 $U_q(\mathfrak{gl}(1|1))$ 的向量表示的张量幂的范畴化。它引入了一套用于交织算子的图式演算，并建立了一个三角范畴，其 Grothendieck 群实现该表示，其自同函子范畴化了量子群与 Hecke 代数的作用。

ABSTRACT

We consider the monoidal subcategory of finite dimensional representations of $U_q(\mathfrak{gl}(1|1))$ generated by the vector representation, and we provide a diagram calculus for the intertwining operators, which allows to compute explicitly the canonical basis. We construct then a categorification of these representations and of the action of both $U_q(\mathfrak{gl}(1|1))$ and the intertwining operators using subquotient categories of the BGG category $\mathcal{O}(\mathfrak{gl}_n)$.

研究动机与目标

• 开发 $U_q(\mathfrak{gl}(1|1))$ 的向量表示的张量幂的表示理论范畴化。
• 在此设定中，为交织算子提供一套图式演算，以实现规范基的显式计算。
• 构建一个三角范畴，其 Grothendieck 群同构于 $V^{\bigotimes n}$，其自同函子范畴化了 $U_q(\mathfrak{gl}(1|1))$ 与 Hecke 代数 $\mathcal{H}_n$ 的作用。
• 通过聚焦于包含向量表示但不包含其对偶的半单张量子范畴，处理 $\mathfrak{gl}(1|1)$ 表示的非半单性。

提出的方法

• 该构造利用 BGG 层次 $\mathcal{O}(\mathfrak{gl}_n)$ 的子商层范畴来实现范畴化。
• 基于诱导 Hecke 模的结构与适当分层代数的性质，发展了一套用于交织算子的图式演算。
• 在三角范畴 $\mathcal{D}^{\nabla}\mathcal{Q}(\mathbbold{n})$ 上定义了自同函子 $\mathcal{E}$、$\mathcal{F}$ 与 $\mathcal{C}_i$，其中 $\mathcal{E}$ 与 $\mathcal{F}$ 满足 $\mathcal{E}^2 = \mathcal{F}^2 = 0$。
• 证明了 $\mathcal{D}^{\nabla}\mathcal{Q}(\mathbbold{n})$ 的 Grothendieck 群同构于 $V^{\bigotimes n}$，且 $\mathcal{E}$、$\mathcal{F}$ 与 $\mathcal{C}_i$ 的作用提升为量子群与 Hecke 代数的作用。
• 通过函子与完备 Grothendieck 群的相容性，证明了范畴化与由网定义的态射可交换。

实验结果

研究问题

• RQ1 如何利用 $\mathfrak{gl}_n$ 的表示理论，对 $U_q(\mathfrak{gl}(1|1))$ 的向量表示的张量幂进行范畴化？
• RQ2 在此设定中，可采用何种图式演算来计算规范基？
• RQ3 如何将 $U_q(\mathfrak{gl}(1|1))$ 与 Hecke 代数 $\mathcal{H}_n$ 的作用提升为三角范畴上的函子？
• RQ4 非半单性在 $\mathfrak{gl}(1|1)$ 表示的范畴化中起何作用？又该如何处理？
• RQ5 能否构建一个范畴化框架，使量子群与 Hecke 代数的作用在同一个范畴上同时实现？

主要发现

• 构造了一个三角范畴 $\mathcal{D}^{\nabla}\mathcal{Q}(\mathbbold{n})$，其 Grothendieck 群同构于 $V^{\bigotimes n}$，即 $U_q(\mathfrak{gl}(1|1))$ 的向量表示的 $n$ 重张量幂。
• $\mathcal{D}^{\nabla}\mathcal{Q}(\mathbbold{n})$ 上的自同函子 $\mathcal{E}$ 与 $\mathcal{F}$ 范畴化了 $U_q(\mathfrak{gl}(1|1))$ 的 Chevalley 生成元的作用，且满足 $\mathcal{E}^2 = \mathcal{F}^2 = 0$。
• 对 $i=1,\dots,n-1$ 的自同函子 $\mathcal{C}_i$ 范畴化了 Hecke 代数 $\mathcal{H}_n$ 在 $V^{\bigotimes n}$ 上的作用。
• 用于交织算子的图式演算允许通过 $\mathcal{D}^{\nabla}\mathcal{Q}(\mathbbold{n})$ 的结构显式计算规范基元素。
• 范畴化与由网定义的态射可交换，如图 (7.59) 在完备 Grothendieck 群下的交换性所示，该图恢复了 $V^{\bigotimes n}$ 上的量子群与 Hecke 代数作用。