[论文解读] Complex semisimple quantum groups and representation theory

Christian C. Voigt, Robert Yuncken|arXiv (Cornell University)|May 16, 2017

Advanced Operator Algebra Research参考文献 61被引用 11

一句话总结

本论文将复半单量子群的表示理论作为紧致量子群的Drinfeld双代数来发展，重点在于通过量化的普遍包络代数对不可约Harish-Chandra模进行分类。它在复数域上建立了一个框架，其中 q ∈ C× 且不是单位根，强调Verma模的结构性质、对偶形式以及Weyl群和权格的参与，同时澄清了在非单位根情形下常被文献忽略的技术性差异。

ABSTRACT

These notes contain an introduction to the theory of complex semisimple quantum groups. Our main aim is to discuss the classification of irreducible Harish-Chandra modules for these quantum groups, following Joseph and Letzter. Along the way we cover extensive background material on quantized universal enveloping algebras and explain connections to the analytical theory in the setting of locally compact quantum groups.

研究动机与目标

• 为复半单量子群的表示理论提供一个全面且自包含的处理，这些量子群被定义为紧致半单李群的q-形变的Drinfeld双代数。
• 澄清并解决当 q ∈ C× 且不是单位根时，量子群表示理论中的细微技术问题，特别是关于Verma模和Harish-Chandra双模的问题。
• 统一代数与算子代数视角，重点使用量化的普遍包络代数和典范基的代数侧。
• 为这些量子群的不可约Harish-Chandra模（等价于不可约Yetter-Drinfeld模）建立精确的分类。
• 通过首先在一般域 K 上工作，然后特化到 K = C 且 q = e^h ≠ 1，解决文献中不一致和不同惯例的问题，确保权理论和对偶性的一致性。

提出的方法

• 在一般域 K 上发展理论，其中 q ∈ K× 且不是单位根，使用参数 s 使得 q = s^L，L 依赖于根系。
• 对紧致半单李群的q-形变的函数的Hopf ∗-代数应用Drinfeld双代数构造，得到复半单量子群。
• 使用乘子Hopf代数理论处理非单位结构，并在严格的代数设定中定义普遍R-矩阵和反极。
• 使用量化的普遍包络代数 U_q(g) 及其受限积分形式 U^A_q(g)，包括PBW基和除幂。
• 应用Shapovalov形式和Verma模上的对偶双线性形式，以分析不可约性与最高权结构。
• 利用扩展Weyl群 ˆW = Y_q ⋊ W 及Weyl群元素对权的作用，通过最高权分类不可约表示。

实验结果

研究问题

• RQ1 当 q ∈ C× 且不是单位根时，如何系统地发展复半单量子群的表示理论，避免依赖于在 q = 1 处特化的假设？
• RQ2 在 C(q) 与在 C 上且 q 不是单位根的设定下，Verma模和Harish-Chandra双模理论的精确结构性差异是什么？
• RQ3 量子对偶性原理如何在Drinfeld双代数构造中体现，以将量子群实现为复半单群的量子化？
• RQ4 扩展Weyl群 ˆW 和权格在这些量子群的不可约Harish-Chandra模分类中起什么作用？
• RQ5 如何将Drinfeld双代数的算子代数结构与使用典范基和可积模的代数表示理论相协调？

主要发现

• 通过 U_q(g) 的最高权理论，实现了对复半单量子群的不可约Harish-Chandra模的分类，不可约性由Shapovalov形式的非退化性决定。
• 在乘子Hopf代数框架中构造了普遍R-矩阵和乘法单位矩阵，为代数与分析量子群理论之间建立了桥梁。
• 证明了紧致量子群 G_q 的Drinfeld双代数是复半单群 G_C 的量子化，量子双代数构造实现了量子对偶性原理。
• 当 q = e^h ≠ 1 时，通过指数映射和根格刻画了权的可积性，从而精确描述了可积模及其对偶形式。
• 识别出某些诱导模的不可约子商模 V_{µ,λ} 为具有给定最小 K_q-型的唯一不可约分量，提供了表示范畴的分解。
• 证明了中心 ZU_q(g) 由与基本权 µ ∈ P+ 关联的Casimir元 z_µ 生成，且对有限维可积模，量子迹 t_V 定义良好。