[论文解读] Classical weight modules over $\imath$quantum groups

Hideya Watanabe|arXiv (Cornell University)|Dec 24, 2019

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

一句话总结

本文引入了$\imath$量子群上的经典权模，这是一类通过一个在$q=1$时退化为固定点李代数$\mathfrak{k}$的Cartan子代数的交换子代数定义的表示。通过将最高权理论推广到此设定，作者对若干$\imath$量子群（包括$\mathbf{U}^\imath(\mathfrak{sl}_n,\mathfrak{so}_n)$和$\mathbf{U}^\imath(\mathfrak{sl}_{2n},\mathfrak{sp}_{2n})$）的有限维不可约经典权模进行了分类，解决了$\imath$量子群中缺乏自然Cartan子代数的问题。

ABSTRACT

$\imath$quantum groups are generalizations of quantum groups which appear as coideal subalgebras of quantum groups in the theory of quantum symmetric pairs. In this paper, we define the notion of classical weight modules over an $\imath$quantum group, and study their properties along the lines of the representation theory of weight modules over a quantum group. In several cases, we classify the finite-dimensional irreducible classical weight modules by a highest weight theory.

研究动机与目标

• 解决由于$\imath$量子群中缺乏自然Cartan子代数而导致的有限维不可约$\imath$量子群模的分类问题这一长期挑战。
• 通过一个在$q=1$时退化为$\mathfrak{k}$的Cartan子代数的交换子代数$\mathbf{U}^\imath(\mathfrak{t}')$，定义一类新的表示——经典权模。
• 通过利用Letzter的Cartan子代数构造，将最高权理论推广到$\imath$量子群，从而在根分解难以处理的情况下实现分类。
• 为$\imath$量子群中不可约模的分类提供一个系统性框架，超越Gelfand-Tsetlin基或PBW型基等临时方法。

提出的方法

• 将经典权模定义为$\mathbf{U}^\imath(\mathfrak{t}')$-可对角化的模，其中$\mathbf{U}^\imath(\mathfrak{t}')$是$\mathbf{U}^\imath$的一个交换子代数，且在$q=1$时退化为$U(\mathfrak{t})$。
• 利用Letzter在$\mathbf{U}^\imath$中构造的交换子代数，该代数提升$\mathfrak{k}$的Cartan子代数，为$\mathbf{U}^\imath$中缺失的Cartan子代数提供替代方案。
• 通过识别$\mathbf{U}^\imath(\mathfrak{t}')$作用下的支配整权，应用最高权理论，推广标准量子群方法。
• 通过Verma模构造和不可约性判别准则，建立不可约经典权模与支配整权之间的对应关系。
• 通过已知结果和结构性质，在具体情形（包括$\mathbf{U}^\imath(\mathfrak{sl}_n,\mathfrak{so}_n)$和$\mathbf{U}^\imath(\mathfrak{sl}_{2n},\mathfrak{sp}_{2n})$）中验证分类结果。

实验结果

研究问题

• RQ1 尽管$\imath$量子群中缺乏自然Cartan子代数，是否可以定义有意义的权模概念？
• RQ2 是否可以利用Letzter的交换子代数（在$q=1$时退化为$\mathfrak{k}$的Cartan子代数）将最高权理论适配到$\imath$量子群中？
• RQ3 在经典权模框架下，通过最高权理论在多大程度上可以实现对有限维不可约$\mathbf{U}^\imath$-模的分类？
• RQ4 经典权模与先前已知的分类方法（如Gelfand-Tsetlin基或PBW型基）之间有何关系？

主要发现

• 本文成功地通过一个在$q=1$时退化为$\mathfrak{k}$的Cartan子代数的交换子代数$\mathbf{U}^\imath(\mathfrak{t}')$，在$\imath$量子群上定义了经典权模。
• 对于$\mathbf{U}^\imath(\mathfrak{sl}_n,\mathfrak{so}_n)$，通过最高权理论实现了有限维不可约经典权模的分类，恢复并重新解释了早期结果。
• 对于$\mathbf{U}^\imath(\mathfrak{sl}_{2n},\mathfrak{sp}_{2n})$，利用最高权建立了分类，证明了该方法在具有自然Cartan子代数的情形下的适用性。
• 该框架为$\imath$量子群中不可约模的分类提供了一致的方法，避免了在一般情形下根分解的困难。
• 该构造证实，即使在根向量分解难以处理的情况下，Letzter的Cartan子代数也足以实现最高权分类。