[论文解读] Drinfel'd doubles and Shapovalov determinants

I. Heckenberger, Hiroyuki Yamane|ArXiv.org|Oct 9, 2008

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

一句话总结

本文通过根系、Weyl 群胚和 Lusztig 型同构，计算了包括量子包络代数、Lusztig 的小量子群以及量子李超代数在内的广泛类别的 pointed Hopf 代数的 Shapovalov 衍生物。在有限根系情形下，建立了该行列式的线性因子乘积公式，通过一种新颖的稠密性论证方法，将先前结果推广至变形参数为单位根的情形。

ABSTRACT

The Shapovalov determinant for a class of pointed Hopf algebras is calculated, including quantized enveloping algebras, Lusztig's small quantum groups, and quantized Lie superalgebras. Our main tools are root systems, Weyl groupoids, and Lusztig type isomorphisms. We elaborate powerful novel techniques for the algebras at roots of unity, and pass to the general case using a density argument. Key words: Hopf algebra, Nichols algebra, quantum group, representation

研究动机与目标

• 确定一大类 pointed Hopf 代数（包括量子包络代数和 Lusztig 的小量子群）的 Shapovalov 衍生物。
• 为变形参数取单位根时的代数开发新技巧，此时正部分与负部分均为有限维。
• 通过一种新颖的稠密性论证，将结果从取值于单位根的双特征标推广至更一般的双特征标。
• 提供 Shapovalov 衍生物的统一公式，表示为线性因子的乘积，类似于 Shapovalov 的原始公式。
• 给出 de Concini–Kac 公式的全新证明，并通过去除基域和变形参数阶数的限制，改进 Kumar 与 Letzter 的结果。

提出的方法

• 利用 $\mathbb{Z}^I$ 上双特征标关联的 Weyl 群胚与根系，分析 Drinfel'd 双代数的表示理论。
• 在 $\mathbb{Z}^I$ 上引入一个类比经典李理论中 $2\rho$ 的特征标 $\rho^\chi$。
• 运用 Lusztig 型同构构造 PBW 基，并研究根向量的 $q$-交换子。
• 应用稠密性论证，将结果从取值于单位根的双特征标推广至具有有限根系的一般双特征标。
• 使用 Weyl 群胚中的反射等组合工具，刻画 Verma 模的不可约性。
• 依赖于洛朗多项式环上的代数几何及由分圆元素生成的理想性质，以支持稠密性论证。

实验结果

研究问题

• RQ1 如何计算具有有限根系的对角型 Nichols 代数的 Drinfel'd 双代数的 Shapovalov 衍生物？
• RQ2 当双特征标取值于单位根时，可发展何种新技巧以推进表示理论，此时正部分与负部分均为有限维？
• RQ3 如何构建一个稠密性论证，以将结果从单位根情形推广至具有有限根系的一般双特征标？
• RQ4 Shapovalov 衍生物公式能否超越经典情形，推广至包括任意基域上的量子包络代数与小量子群？
• RQ5 Shapovalov 衍生物在何种形式下可表示为线性因子的乘积？其与根系及 Weyl 群胚有何关系？

主要发现

• 对于具有有限根系且对所有正根 $\beta$ 满足 $\chi(\beta,\beta) \neq 1$ 的代数 $U(\chi)$，其 Shapovalov 衍生物可表示为线性因子的乘积，推广了 Shapovalov 的原始公式。
• 对于取值于单位根的双特征标，作者基于 Weyl 群胚反射发展了专门技巧，以刻画 Verma 模的不可约性并推导出衍生物公式。
• 提出一种新的稠密性论证，使衍生物公式可从单位根情形推广至具有限根系的一般双特征标。
• 本文为量子包络代数中 Shapovalov 衍生物的 de Concini–Kac 公式提供了全新证明。
• 结果通过去除基域和变形参数 $q$ 阶数的限制，改进了 Kumar 与 Letzter 的工作，从而允许任意 $q$-阶数与任意基域。
• 证明了在满足秩条件时，Shapovalov 衍生物可表示为 $\det X = x^{k-r}b$ 的形式，其中 $X$ 为洛朗多项式矩阵，该结果通过代数几何支持了稠密性论证。