[论文解读] Coideal Subalgebras and Quantum Symmetric Pairs

Gail Letzter|ArXiv.org|Mar 30, 2001

Algebraic structures and combinatorial models参考文献 27被引用 82

一句话总结

本文通过一sid的余理想子代数构建了量子对称对的统一框架，确立了其在构造量子哈里什-钱德拉模和量子对称空间中的作用。关键贡献是通过主导积分权条件 $\lambda \in P^{+}_{\Theta}$ 对球对称模进行刻画，该条件分类了具有非零 $B$-不变子空间的有限维表示，并与量子区域球函数相联系。

ABSTRACT

Coideal subalgebras of the quantized enveloping algebra are surveyed, with selected proofs included. The first half of the paper studies generators, Harish-Chandra modules, and associated quantum homogeneous spaces. The second half discusses various well known quantum coideal subalgebras and the implications of the abstract theory on these examples. The focus is on the locally finite part of the quantized enveloping algebra, analogs of enveloping algebras of nilpotent Lie subalgebras, and coideals used to form quantum symmetric pairs. The last family of examples is explored in detail. Connections are made to the construction of quantum symmetric spaces.

研究动机与目标

• 开发量化包代数中一sid余理想子代数的一般理论，以构造量子对称对。
• 在量子情形下，通过类比经典情形的权条件，刻画有限维球对称模。
• 建立余理想子代数、量子齐性空间与量化函数代数 $R_q[G]$ 结构之间的联系。
• 通过余理想子代数统一构造量子对称空间，推广 $U_q(\mathfrak{g}^\theta)$。

提出的方法

• 将一sid余理想子代数用作 $U_q(\mathfrak{g}^\theta)$ 的量子类比，特别是在最大分裂情形下。
• 应用量子哈里什-钱德拉模分析余理想子代数下的表示与不变量。
• 通过量化函数代数 $R_q[G]$ 中余理想子代数的对偶构造量子齐性空间。
• 在 $U_q(\mathfrak{g})$ 上使用滤子，以在弱条件下描述余理想子代数的生成元。
• 识别局部有限部分 $F(U)$ 为余理想子代数，其非霍普夫子代数但支持有限维表示。
• 利用余理想结构证明彼得-外尔分解，并刻画 $R_q[G]$ 中 $B$-不变子空间。

实验结果

研究问题

• RQ1 当 $U_q(\mathfrak{g}^\theta)$ 无法作为霍普夫子代数嵌入时，如何利用 $U_q(\mathfrak{g})$ 的一sid余理想子代数构造量子对称对？
• RQ2 何种条件下，最高权 $\lambda$ 确保有限维 $U_q(\mathfrak{g})$-模 $L(\lambda)$ 拥有非零 $B$-不变向量？
• RQ3 余理想子代数如何与量子齐性空间及 $R_q[G]$ 的分解相关联？
• RQ4 $R_q[G]$ 中 $B$-双不变子空间的结构是什么？它与量子区域球函数有何关系？
• RQ5 本文提出的余理想子代数是否能生成与早期量子对称空间构造中使用的左理想相同的理想？

主要发现

• 与对称对 $\mathfrak{g}^\theta, \mathfrak{g}$ 关联的余理想子代数 $B$ 被证明是 $U_q(\mathfrak{g}^\theta)$ 的量子类比，其中 $B$ 不一定是霍普夫子代数，但满足余理想条件。
• 有限维 $U_q(\mathfrak{g})$-模 $L(\lambda)$ 的 $B$-不变子空间至多一维，且该维数为一当且仅当 $\lambda \in P^{\pm}_{\Theta}$，即满足特定正交性与整数性条件的主导积分权集合。
• $R_q[G]$ 中左 $B$-不变子空间 $R_q[G]^B_l$ 作为右 $U_q(\mathfrak{g})$-模，同构于直和 $\bigoplus_{\lambda \in P^{+}_{\Theta}} L(\lambda)^*$。
• $R_q[G]$ 中 $B$-双不变子空间 $R_q[G]^B_{bi}$ 同构于 $\bigoplus_{\lambda \in P^{+}_{\Theta}} \mathcal{H}(\lambda)$，其中每个 $\mathcal{H}(\lambda)$ 是一个一维平凡 $B$-双模。
• $R_q[G]^B_{bi}$ 为交换代数，且同构于 $\mathbb{C}(q)[\mathcal{A}]^{W_\Theta}$，其中 $\mathcal{A}$ 是Cartan子空间的量子类比，$W_\Theta$ 为受限Weyl群。
• $\mathcal{H}(\lambda)$ 被识别为量子区域球函数，初步证据表明其可推广为一般情形下的麦克唐纳多项式或 $q$-超几何级数。