[论文解读] Yetter-Drinfeld modules under cocycle twists

Georgia Benkart, Mariana Pereira+1 more|ArXiv.org|Aug 11, 2009

Algebraic structures and combinatorial models参考文献 15被引用 3

一句话总结

本文通过 Radford 构造和 Majid 的等价关系，建立了有限维点式 Hopf 代数 $H$ 与它的上循环扭变 $H^\sigma$ 之间简单 Yetter-Drinfeld 模的显式对应关系。关键结果是：Drinfeld 双代数 $D(H)$ 与 $D(H^\sigma)$ 的模范畴之间存在范畴等价，该结果在受限的两参量量子群 $\mathfrak{u}_{r,s}(\mathfrak{sl}_n)$ 上明确得到验证，维度公式通过 Singular::Plural 中的 Gröbner 基计算导出。

ABSTRACT

We give an explicit formula for the correspondence between simple Yetter-Drinfeld modules for certain finite-dimensional pointed Hopf algebras $H$ and those for cocycle twists $H^σ$ of $H$. This implies an equivalence between modules for their Drinfeld doubles. To illustrate our results, we consider the restricted two-parameter quantum groups ${\mathfrak{u}}_{r,s}({\mathfrak{sl}}_n)$ under conditions on the parameters guaranteeing that ${\mathfrak{u}}_{r,s}({\mathfrak{sl}}_n)$ is a Drinfeld double of its Borel subalgebra. We determine explicit correspondences between ${\mathfrak{u}}_{r,s}({\mathfrak{sl}}_n)$-modules for different values of $r$ and $s$ and provide examples where no such correspondence can exist. Our examples were obtained via the computer algebra system {\sc Singular::Plural}.

研究动机与目标

• 建立点式 Hopf 代数 $H$ 及其上循环扭变 $H^\sigma$ 的简单 Yetter-Drinfeld 模之间的精确对应关系。
• 将 Radford 对简单模的构造推广至上循环扭变 Hopf 代数。
• 通过该对应关系，证明 Drinfeld 双代数 $D(H)$ 与 $D(H^\sigma)$ 的表示范畴等价。
• 利用上循环扭变等价关系分析受限两参量量子群 $\mathfrak{u}_{r,s}(\mathfrak{sl}_n)$ 的表示理论。
• 在 $\mathfrak{u}_{r,s}(\mathfrak{sl}_n)$ 为 Drinfeld 双代数的参数条件下，提供其简单模的显式维度公式。

提出的方法

• 利用 Majid 与 Oeckl 建立的 $H$ 与 $H^\sigma$ 的 Yetter-Drinfeld 模范畴等价关系。
• 应用 Radford 构造，将简单 Yetter-Drinfeld 模实现为 $H$ 的子空间。
• 通过上循环扭变数据，显式推导 $H$ 与 $H^\sigma$ 的简单模之间的对应关系公式。
• 借助 Majid 建立的 Yetter-Drinfeld $H$-模与 $D(H)$-模之间的等价关系，将 $D(H)$-模与 $D(H^\sigma)$-模的范畴联系起来。
• 利用计算机代数系统 Singular::Plural 中的 Gröbner 基技术计算模的维度。
• 通过模算术与 Cartan 矩阵系统，推导 $\mathfrak{u}_{r,s}(\mathfrak{sl}_n)$ 的简单模维度公式，参数为 $m_1, m_2$。

实验结果

研究问题

• RQ1 在何种条件下，点式 Hopf 代数 $H$ 的上循环扭变 $H^\sigma$ 保持简单 Yetter-Drinfeld 模的结构？该对应关系如何显式描述？
• RQ2 当 $r$ 与 $s$ 互为倒数时，$\mathfrak{u}_{r,s}(\mathfrak{sl}_n)$ 的表示理论与 $\mathfrak{u}_{q,q^{-1}}(\mathfrak{sl}_n)$ 的表示理论有何关系？
• RQ3 在 $\mathfrak{u}_{r,s}(\mathfrak{sl}_n)$ 为 Drinfeld 双代数的参数条件下，其简单 Yetter-Drinfeld 模的精确维度是多少？
• RQ4 对于非同构的量子群，$\mathfrak{u}_{r,s}(\mathfrak{sl}_n)$ 与 $\mathfrak{u}_{q,q^{-1}}(\mathfrak{sl}_n)$ 表示理论的相似性是否可通过上循环扭变解释？
• RQ5 当不存在上循环扭变时，此类等价关系的局限性是什么？此类情况下简单模的维度有何不同？

主要发现

• 为 $H$ 与 $H^\sigma$ 的简单 Yetter-Drinfeld 模之间建立了显式公式，适用于一大类点式 Hopf 代数。
• 通过上循环扭变，$D(H)$-模范畴与 $D(H^\sigma)$-模范畴等价，且该等价由模的对应关系诱导。
• 对于 $\mathfrak{u}_{r,s}(\mathfrak{sl}_n)$，在特定参数条件下存在上循环扭变，使得 $\mathfrak{u}_{r,s}(\mathfrak{sl}_n)$ 与 $\mathfrak{u}_{q,q^{-1}}(\mathfrak{sl}_n)$ 的表示范畴等价。
• 当 $q$ 为四次单位根时，$\mathfrak{u}_{1,q}(\mathfrak{sl}_3)$ 与 $\mathfrak{u}_{q,q^{-1}}(\mathfrak{sl}_3)$ 的简单模维度显著不同，表明此类等价关系在一般情况下不成立。
• 若 $m_1 + m_2 \leq \ell$，则 $\mathfrak{u}_{r,s}(\mathfrak{sl}_3)$-模的维度为 $\frac{1}{2}m_1m_2(m_1 + m_2)$；若 $m_1 + m_2 > \ell$，则为 $\frac{1}{2}m_1m_2(m_1 + m_2) - \frac{1}{2}m_1'm_2'(m_1' + m_2')$，其中 $m_1 \equiv (2d_1 - d_2 + 1) \mod \ell$，$m_2 \equiv (2d_2 - d_1 + 1) \mod \ell$。