[论文解读] On right coideal subalgebras of quantum groups

Karolina Vocke|arXiv (Cornell University)|Apr 26, 2018

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

一句话总结

本文提出了一种系统方法，用于构造量子群 $U_q(\frak{g})$ 中任意右余理想子代数（RCS）的生成集，证明此类子代数可配备以 $U^{\geq 0}$ 或 $U^{\leq 0}$ 中元素为首项的生成元，并特别地，每个生成元至多具有一个 $E$-首项和一个 $F$-首项，分别对应于 $ψ(U^{+}[w^{+}])$ 和 $U^{-}[w^{-}]$ 中的根向量，其中 $w^{+}, w^{-}$ 为适当的 Weyl 群元素。关键贡献在于实现了一种结构分类，使得 $U_q(\frak{sl}_2)$ 和 $U_q(\frak{sl}_3)$ 中的 RCS 可被显式枚举，包括新的非平凡例子以及 $U_q(\frak{sl}_3)$ 中所有 Borel 子代数的完整分类。

ABSTRACT

Right coideal subalgebras are interesting substructures of Hopf algebras such as quantum groups. Examples of right coideal subalgebras are the quantum Borel part as well as quantum symmetric pairs. Classifying right coideal subalgebras is a difficult question with notable results by Schneider, Heckenberger and Kolb. After reviewing these results, as main result we prove that an arbitrary right coideal subalgebras has a particularly nice set of generators. This allows in principle to specify the set of right coideal subalgebras in a given case. As application we determine right coideal subalgebras of the quantum groups Uq(sl2) and Uq(sl3) and discuss their representation theoretic properties.

研究动机与目标

• 为量子群 $U_q(\frak{g})$ 中所有右余理想子代数（RCS）提供一种构造性且系统化的方法，使其具有指定结构。
• 通过识别具有受控首项的典范生成系统，解决分类非齐次 RCS 的困难。
• 将一般框架应用于显式分类 $U_q(\frak{sl}_2)$ 和 $U_q(\frak{sl}_3)$ 中的所有 RCS，包括新的非平凡例子。
• 利用完整的 RCS 分类，对 $U_q(\frak{sl}_3)$ 中所有 Borel 子代数——即有限维单模为一维的极大 RCS——进行分类。

提出的方法

• 该方法为任意 RCS $C \subset U_q(\frak{g})$ 构造一个生成系统，使得 $C^0 = C \cap U^0$ 为 Hopf 子代数，从而确保与 $Q$-分次相容。
• 证明可选取生成元，使其首项位于 $U^{\geq 0}$ 或 $U^{\leq 0}$ 中，且每个生成元至多具有一个 $E$-首项和一个 $F$-首项。
• 生成元选取自 $\psi(U^{+}[w^{+}])$ 和 $U^{-}[w^{-}]$，其中 $w^{+}, w^{-} \in W$ 为适当选取的 Weyl 群元素。
• 该构造基于 $\phi$-扭曲 coproduct 的特征移位余理想子代数理论，建立在 Heckenberger 和 Kolb 对齐次 RCS 的分类之上。
• 将主定理应用于 $U_q(\frak{sl}_2)$ 和 $U_q(\frak{sl}_3)$，通过分析可能的首项和关系，显式列出所有 RCS。
• 该方法利用 Lusztig 的 $T_w$-自同构对 PBW 基和根向量结构进行处理，以确保完备性与正确性。

实验结果

研究问题

• RQ1 当 $C^0$ 为 Hopf 子代数时，能否为 $U_q(\frak{g})$ 中任意右余理想子代数构造统一的生成系统？
• RQ2 RCS 中生成元的首项结构对子代数形式施加了何种结构性约束？
• RQ3 如何利用此类生成系统显式分类 $U_q(\frak{sl}_2)$ 和 $U_q(\frak{sl}_3)$ 中的 RCS？
• RQ4 在 $U_q(\frak{sl}_3)$ 中，Borel 子代数的完整集合是什么？它们与一般 RCS 分类有何关联？
• RQ5 在低秩量子群中，是否存在超越量子 Borel 和对称对构造的新非平凡右余理想子代数？

主要发现

• 本文证明，每个满足 $C^0$ 为 Hopf 子代数的右余理想子代数 $C \subset U_q(\frak{g})$ 均可配备一个生成系统，其中每个生成元的首项位于 $U^{\geq 0}$ 或 $U^{\leq 0}$ 中，且至多具有一个 $E$-首项和一个 $F$-首项。
• 对于 $U_q(\frak{sl}_2)$，本文识别出所有 RCS：标准 Borel 部分 $U^{\geq 0}$、$U^{\leq 0}$、量子对称对，以及若干新的非平凡例子。
• 对于 $U_q(\frak{sl}_3)$，本文显式构造了 14 种不同的 RCS 类型，包括标准 Borel 子代数、量子对称对，以及由非零标量参数化的新型族。
• 该分类结果在 $U_q(\frak{sl}_3)$ 中恰好给出三种类型的 Borel 子代数：标准类型、两种具有非退化条件的对称类型，以及一种具有特定特征支撑的第三类。
• 本文确认 $U_q(\frak{sl}_3)$ 中的 Borel 子代数仅有三类：类型 1（标准）、类型 2（非退化特征移位）和类型 3（具有特定 $E_\alpha K_\alpha^{-1}$ 和 $F_\alpha$ 支撑）。
• 该构造提供了 $U_q(\frak{sl}_3)$ 中所有 RCS 的完整列表，包括如 $\langle E_\alpha K_\beta^{-1} + c_F F_\beta, K_\beta^{-1}K_\alpha \rangle$ 这类族（$c_F \in k^*$ 任意），以及其他包含 $K$-单项式的附加生成元的类型。