[论文解读] Multi-brace cotensor Hopf algebras and quantum groups

Xin Fang, Marc Rosso|arXiv (Cornell University)|Oct 11, 2012

Algebraic structures and combinatorial models参考文献 11被引用 10

一句话总结

本文引入了多臂括号余代数张量霍普夫代数作为构造量子群及其表示的通用框架。通过定义满足多臂括号条件的分次对的关联乘积，将与可对称化卡克斯-莫迪代数相关联的完整量子群实现为量子拟对称代数，从而实现了对量子双生代数上最高权模与单模的系统性构造。

ABSTRACT

We construct multi-brace cotensor Hopf algebras with bosonizations of quantum multi-brace algebras as examples. Quantum quasi-symmetric algebras are then obtained by taking particular initial data; this allows us to realize the whole quantum group associated to a symmetrizable Kac-Moody Lie algebra as a quantum quasi-symmetric algebra and all highest weight irreducible representations can be constructed using this machinery. It also provides a systematic way to construct simple modules over the quantum double of a quantum group.

研究动机与目标

• 分类余代数 $T_H^c(M)$ 上的关联乘积，使其构成霍普夫代数结构，推广先前关于辫子双代数的研究。
• 以量子杂耍代数的精神，统一构造整个量子群（而不仅仅是其一半）。
• 利用该框架实现所有最高权不可约表示与量子双生代数上的单模。
• 通过刻画量子拟对称代数中的霍普夫理想，建立量子群中交换关系的刚性。

提出的方法

• 在映射对 $(f,g)$ 上定义多臂括号条件（MB），其中 $f: T_H^c(M)\otimes T_H^c(M) \to M$ 与 $g: T_H^c(M)\otimes T_H^c(M) \to H$，以确保结合性与霍普夫代数相容性。
• 利用余代数张量的普遍性质，通过在零度与一度分量上的投影，将乘积提升至整个代数。
• 引入分次对的概念，以确保包含映射 $H \to T_H^c(M)$ 与投影 $T_H^c(M) \to H$ 符合“带投影的霍普夫代数”框架。
• 将量子拟对称代数构造为量子多臂括号代数的玻色化，推广量子对称代数与量子拟杂耍代数。
• 引入“虚拟参数”$\xi_i$，以形变正负部分之间的交换关系，通过特化得到完整量子群。
• 证明由 $\xi_i - K_i^2 + 1$ 生成的理想是霍普夫理想，并通过多项式条件刻画所有此类霍普夫理想。

实验结果

研究问题

• RQ1 在何种条件下，余代数 $T_H^c(M)$ 上的对 $(f,g)$ 能通过多臂括号乘积赋予霍普夫代数结构？
• RQ2 与可对称化卡克斯-莫迪代数相关联的完整量子群能否被实现为量子拟对称代数？
• RQ3 量子拟对称代数在构造量子双生代数上的最高权表示与单模中起何作用？
• RQ4 哪些量子群中交换关系的形变能保持霍普夫代数结构？由此产生何种约束？

主要发现

• 多臂括号余代数张量霍普夫代数构造通过（MB）条件分类了所有使 $T_H^c(M)$ 赋予霍普夫代数结构的关联乘积，从而解决了问题1。
• 通过将虚拟参数 $\xi_i$ 特化为 $K_i^2 - 1$，完整量子群 $U_q(\mathfrak{g})$ 被实现为量子拟对称代数。
• 所有 $U_q(\mathfrak{g})$ 的最高权不可约表示均可作为诱导模 $R_\lambda(1)$ 的子模构造，该模是单的，且具有唯一的 $U_T(M)$-子模结构。
• 由 $\xi_i + P_i(K_i)$ 生成的理想 $J$ 是霍普夫理想，当且仅当 $P_i(K_i) = \lambda_i(K_i^2 - 1)$ 对某个 $\lambda_i \in \mathbb{K}$ 成立，表明交换关系形变的刚性。
• 该构造为乔瑟夫的结果提供了新的、更简单的证明：$\mathrm{ad}(\widetilde{U_q}(\mathfrak{g}))(K_{-2\lambda})$ 是 $\mathcal{D}(\widetilde{U_q}(\mathfrak{g}), \widetilde{U_q}(\mathfrak{g})^\circ)$-模的不可约模。
• 当且仅当 $P_i(K_i)$ 与 $K_i^2 - 1$ 成比例时，自然投影 $\pi: Q_H(M) \to Q_H(M)/J$ 才是霍普夫代数同态，从而确认了标准量子群形变的唯一性。