[论文解读] Right coideal subalgebras in U^+_q(so_{2n+1})

V. K. Kharchenko|ArXiv.org|Aug 28, 2009

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

一句话总结

本文对量子群 $U_q^+(\frak{so}_{2n+1})$ 的正部中包含余根基的右余理想子代数进行了完整分类，建立了此类子代数与满足 $0 \leq \theta_k \leq 2n - 2k + 1$ 的整数序列 $(\theta_1, \dots, \theta_n)$ 之间的双射。关键结果是此类子代数恰好有 $(2n)!!$ 个，与 $B_n$ 型 Weyl 群的阶数一致；当 $q^t = 1$ 且 $t > 4$ 时，该分类可推广至小 Lusztig 量子群。分类依赖于 PBW 生成元及利用群状元素和结构常数表示的斜根向量的余乘公式。

ABSTRACT

We give a complete classification of right coideal subalgebras that contain all group-like elements for the quantum group $U_q^+(\frak{so}_{2n+1}),$ provided that $q$ is not a root of 1. If $q$ has a finite multiplicative order $t>4,$ this classification remains valid for homogeneous right coideal subalgebras of the small Lusztig quantum group $u_q^+(\frak{so}_{2n+1}).$ As a consequence, we determine that the total number of right coideal subalgebras that contain the coradical equals $(2n)!!,$ the order of the Weyl group defined by the root system of type $B_n.$

研究动机与目标

• 对 $U_q^+(\frak{so}_{2n+1})$ 的所有包含余根基（即群状元素张量的张量空间）的右余理想子代数进行分类。
• 将此分类推广至当 $q$ 的阶数为有限值 $t > 4$ 时，小 Lusztig 量子群 $u_q^+(\frak{so}_{2n+1})$ 的齐次右余理想子代数。
• 建立此类子代数与满足 $0 \leq \theta_k \leq 2n - 2k + 1$ 的整数序列 $\theta = (\theta_1, \dots, \theta_n)$ 之间的双射。
• 证明此类子代数的总数为 $(2n)!!$，与 $B_n$ 型根系的 Weyl 群阶数一致。
• 将分类推广至其与群状元素的交为子群（不一定是整个群）的子代数。

提出的方法

• 通过迭代量子括号定义的斜根向量 $u[k,m]$ 构造 $U_q^+(\frak{so}_{2n+1})$ 的 PBW 基。
• 推导这些 PBW 生成元的显式余乘公式：$\Delta(u[k,m]) = u[k,m] \otimes 1 + g_{km} \otimes u[k,m] + \sum_{i=k}^{m-1} \tau_i(1 - q^{-2}) g_{ki} u[i+1,m] \otimes u[k,i]$，其中 $\tau_n = q$，其余 $\tau_i = 1$。
• 通过涉及结构常数 $\alpha_{km}^s$ 的递推关系定义新的 PBW 生成元 $\Phi^S(k,m)$，以确保与余理想条件的相容性。
• 引入 $(k,m)$-正则集合 $S$ 的概念，以控制 $\Phi^S(k,m)$ 的结构并支持对偶性论证。
• 为余理想子代数 $\bf U$ 定义根序列 $r({\bf U}) = (\theta_1, \dots, \theta_n)$，其中 $\theta_k$ 是满足 $\Phi^S(k,m) \in \bf U$ 且其次数不能表示为 $\bf U$ 中其他次数之和的最大 $m$。
• 通过递归定义集合 $R_k$ 和 $T_k$ 构造子代数 $\bf U_\theta$，并证明 $\bf U_\theta$ 是一个包含余根基的右余理想子代数。

实验结果

研究问题

• RQ1 当 $q$ 不是单位根时，$U_q^+(\frak{so}_{2n+1})$ 中包含余根基的右余理想子代数有多少个？
• RQ2 当 $q^t = 1$ 且 $t > 4$ 时，此类子代数的分类能否推广至小 Lusztig 量子群 $u_q^+(\frak{so}_{2n+1})$？
• RQ3 是否存在一种自然参数化方式，通过满足 $0 \leq \theta_k \leq 2n - 2k + 1$ 的整数序列 $\theta_k$ 来参数化所有此类余理想子代数？
• RQ4 为何此类子代数的数量恰好等于 $(2n)!!$，即 $B_n$ 型 Weyl 群的阶数？
• RQ5 其与群状元素的交为子群（不一定是整个群）的齐次右余理想子代数具有何种结构？

主要发现

• 所有包含余根基的 $U_q^+(\frak{so}_{2n+1})$ 右余理想子代数的集合与满足 $0 \leq \theta_k \leq 2n - 2k + 1$ 的整数序列 $\theta = (\theta_1, \dots, \theta_n)$ 之间存在自然双射。
• 此类右余理想子代数的总数为 $(2n)!!$，与 $B_n$ 型根系的 Weyl 群阶数一致。
• 当 $q^t = 1$ 且 $t > 4$ 时，该分类在小 Lusztig 量子群 $u_q^+(\frak{so}_{2n+1})$ 的齐次右余理想子代数上依然成立。
• 每个此类子代数 $\bf U_\theta$ 由群状元素及 $\Phi^{T_k}(k,m)$（$m \in R_k$）生成，其中 $R_k$ 和 $T_k$ 为递归定义的集合。
• 对于 $U_q^+(\frak{so}_{2n+1})$ 或 $u_q^+(\frak{so}_{2n+1})$ 的任意齐次右余理想子代数 $\bf U$，若 $\bf U \cap G$ 是子群，则存在某个 $\theta$ 和子群 $\Omega \subseteq G$，使得 $\bf U = k[\Omega] \cdot \bf U_\theta^1$。
• $\bf U_\theta^1$ 是齐次的，由 $g_{km}^{-1} \Phi^S(k,m)$ 生成，且满足 $\bf U_\theta^1 \cap G = \{1\}$，因此它是关于平凡群的极小余理想子代数。