Representation theory of mirabolic quantum $\mathfrak{sl}_n$

技术摘要：抛物型量子$\mathfrak{sl}_n$的表示论

问题陈述
本文探讨了抛物型量子群$MU(n)$的表示论，该代数结构源于量子施ur代数的几何构造的“抛物型”推广。虽然经典的 Beilinson-Lusztig-MacPherson (BLM) 构造通过部分旗对给出了量子包络代数$U_v(\mathfrak{sl}_n)$，但抛物型情形考虑的是由两个旗和一个有限域上有限维向量空间中的向量组成的三元组。第二位作者的前期工作 ([Ros18]) 确立了$n=2$的情形，而近期工作 [FZM25] 通过生成元和关系给出了任意$n$下$MU(n)$的展示。然而，对于$n > 2$时$MU(n)$有限维表示的完整分类及其表示范畴半单性的证明，此前仍属未解之谜。

方法论
作者利用 [FZM25] 中确立的$MU(n)$展示，将其分析为量子包络代数$U_v(\mathfrak{sl}_n)$上的余模代数。方法论按以下步骤进行：

1. 结构分析：本文确立了$MU(n)$通过特定的余作用映射$\rho$成为$U_v(\mathfrak{sl}_n)$上的余模代数。这一结构使作者能够利用$U_v(\mathfrak{sl}_n)$已完善的表示论。
2. 表示的构造：作者定义了一族表示$L_{\lambda, r}$，其参数为$\mathfrak{sl}_n$的主支配整权$\lambda$和整数$0 \le r \le n$。这些表示构造为张量积$L_\lambda \otimes W_r$，其中$L_\lambda$是$U_v(\mathfrak{sl}_n)$的简单模，$W_r$是定义表示的第$r$个量子外幂。额外生成元$\ell$（即“抛物型”元素）的作用在$W_r$上被显式定义。
3. 引入“深度”：引入了一个关键的新不变量，即表示的“深度”。对于权向量$x$，深度$r$定义为：当$j < r$时$\ell f_1 \cdots f_j x$为零，而当$j = r$时$\ell f_1 \cdots f_r x$非零。参数$r$区分了抛物型表示与标准的$U_v(\mathfrak{sl}_n)$表示。
4. 通用模（Verma 型）：作者构造了两个无限维的"Verma 型”模，$V_{\lambda, r}$（定义为$MU(n)$的商，通过生成元和关系给出）和$M_{\lambda, r}$（定义为$M_\lambda \otimes W_r$，其中$M_\lambda$是$U_v(\mathfrak{sl}_n)$的标准 Verma 模）。一项核心的技术成就是证明了这两种构造之间的同构（定理 4.4）。
5. 分类与半单性：利用通用模的同构以及深度不变量的性质，作者证明了每一个有限维不可约表示都同构于某个$L_{\lambda, r}$。此外，通过分析不可约对象之间的扩张并利用代数上的反自同构，他们证明了有限维表示范畴是半单的。

主要贡献与结果

• 完整分类：本文提供了$MU(n)$不可约有限维表示的完整分类。每一个这样的表示都同构于$L_{\lambda, r}$，其中$(\lambda, r)$是唯一的对，$\lambda$为主支配整权，$0 \le r \le n$。
• 半单性：证明了$MU(n)$的有限维表示范畴是半单的（定理 5.3）。这是通过证明不可约表示之间不存在非平凡扩张来实现的，该结果依赖于“深度”不变量的特定性质以及通用模的结构。
• 显式展示：利用两种 Verma 型构造之间的同构，作者推导出了不可约表示$L_{\lambda, r}$关于生成元和关系的显式展示（推论 4.7）。
• 辫模结构：本文确立了有限维$MU(n)$-表示的范畴构成了有限维$U_v(\mathfrak{sl}_n)$-表示范畴上的一个辫模范畴（命题 5.7）。该结构被证明等价于一个秩为$n+1$的自由模范畴，从而导致辫群（Type BC 型）在这些表示的张量幂上的作用（推论 5.9）。
• 通用构造的同构：一项重要的技术结果是定理 4.4，它证明了商构造$V_{\lambda, r}$和张量积构造$M_{\lambda, r}$产生同构的表示。这架起了$MU(n)$的代数展示与源自$U_v(\mathfrak{sl}_n)$的几何/组合直觉之间的桥梁。

意义
本文的主要意义在于提供了抛物型量子群$MU(n)$在一般情形（即$v$不是单位根）下有限维表示的首次完整分类。通过确立范畴的半单性以及对不可约表示的显式参数化，该工作将$n=2$的已知结果推广到了任意$n$。引入“深度”不变量为区分抛物型情形下的表示提供了新的代数工具，这在标准的$U_v(\mathfrak{sl}_n)$理论中没有直接的类比。此外，将该范畴识别为$U_v(\mathfrak{sl}_n)$-模上的辫模范畴，将抛物型情形与更广泛的范畴结构联系起来，具体表现为 Type A 与 Type B/C 组合学的混合。作者指出，这些结果为未来关于抛物型量子 Schur-Weyl 对偶的研究奠定了基础。

本文明确将其范围限定在一般情形；它承认当$v$为单位根时，半单性和分类结果未必成立，并将该情形留作未来研究的方向。