[论文解读] On the irreducible representations of a class of pointed Hopf algebras

David E. Radford, Hans‐Jürgen Schneider|ArXiv.org|Mar 11, 2006

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

一句话总结

本文通过建立群作用元素的权衡字符与不可约模同构类之间的双射关系，对一类 pointed Hopf 代数——具体为半单李代数的多参数形变及其有限维商代数——的有限维不可约表示进行分类。关键结果是在非退化双线性形式与一般任意统计条件下的不可约表示参数化。

ABSTRACT

We parameterize the finite-dimensional irreducible representations of a class of pointed Hopf algebras over an algebraically closed field of characteristic zero by dominant characters. The Hopf algebras we are considering arise in the work of N. Andruskiewitsch and the second author. Special cases are the multiparameter deformations of the enveloping algebras of semisimple Lie algebras where the deforming parameters are not roots of unity and some of their finite-dimensional versions in the root of unity case.

研究动机与目标

• 对由 Nichols 代数与二阶上循环扭构造的某一类 pointed Hopf 代数的有限维不可约表示进行分类。
• 将不可约模的参数化从无限维的一般情形推广至单位根情形下的有限维商代数。
• 在非退化情形下，建立群作用子代数的权衡字符与不可约模同构类之间的双射关系。
• 将一般框架应用于特定 Hopf 代数 $U(d,lambda)$ 和 $u(d,lambda)$，包括半单李代数的多参数形变。
• 证明当连接图非二分图时，某些生成元属于 Jacobson 幂零理想，利用余维理想幂零性。

提出的方法

• 使用二阶上循环扭构造 Hopf 代数 $H = (U times A)^ au$，其中 $U = b(W) times k[L]$ 与 $A = b(V) times k[G]$，$W, V$ 为 Yetter-Drinfeld 模。
• 通过 $L^ imes imes G^ imes$ 中字符对 $(\rho, \theta)$ 参数化不可约 $H$-模，其中权衡性由双线性形式 $\beta$ 定义。
• 通过 Hopf 代数投影 $H \to H'$ 将问题约化至非退化情形，诱导不可约表示集之间的双射。
• 应用 [13] 与 [14] 的结果，确保在一般任意统计条件下 $U$ 与 $A$ 的不可约模为一维。
• 在 $k\bra x_i \bra \rtimes k[\fG]$ 中使用 PBW 型基与根向量构造，分析 $u(\fd,\blambda)$ 的结构。
• 构造 Hopf 代数同构 $u(\fd,\blambda) \to (U \rtimes A)^\tau / (z_i \rtimes g_i^{-1} - 1)$，实现表示理论的转移。

实验结果

研究问题

• RQ1 如何对某一类 pointed Hopf 代数的有限维不可约表示进行参数化？
• RQ2 在何种条件下，从权衡字符到不可约模的映射成为双射？
• RQ3 连接图的二分性在 $u(\fd,\blambda)$ 的结构与表示理论中起何作用？
• RQ4 当生成元 $x_k$ 不与其他顶点相连时，其在 Jacobson 幂零理想中的行为如何？
• RQ5 在何种程度上，可通过 Hopf 代数投影将 $U(\fd,\blambda)$ 的表示理论约化为更小 Hopf 代数的表示理论？

主要发现

• 当双线性形式 $\beta$ 非退化时，映射 $(\rho, \theta) \to L(\rho, \theta)$ 给出 $(U \rtimes A)^\tau$ 上有限维不可约模同构类与权衡字符对之间的双射。
• 在一般情形（无 $q_{ii}$ 为单位根），$(\fd, \blambda)$ 的连接图是二分图，允许一步粘合构造，并可应用定理 2.8。
• 对于 $u(\fd,\blambda)$，映射 $\fG^\times \to \text{Irr}(u(\fd,\blambda))$，$\theta \to [L(\theta)]$ 是双射，其中 $L(\theta)$ 通过由 $\theta$ 导出的字符 $\rho$ 定义。
• 当连接图非二分图时，任何不与其它顶点相连的顶点 $k$ 满足 $x_k$ 属于 Jacobson 幂零理想，这是由于其生成子代数的余维理想幂零性所致。
• Hopf 代数投影 $F: u(\fd,\blambda) \to u(\fd', \blambda')$ 诱导双射 $F^*: \text{Irr}(u(\fd', \blambda')) \to \text{Irr}(u(\fd,\blambda))$，保持不可约性。
• 生成元 $x_k$（$k \notin t(i)$）属于 $F$ 的核，因此位于 $u(\fd,\blambda)$ 的 Jacobson 幂零理想中，此结论通过 $u_J^+$ 的幂零性得证。