[论文解读] Corepresentation theory of universal cosovereign Hopf algebras

Julien Bichon|ArXiv.org|Nov 4, 2002

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

一句话总结

本文建立了在特征零代数闭域上通用共对称霍普夫代数 $H(F)$ 的核心表示理论，推广了巴尼卡关于紧致量子群的结果。结果表明，当 $F$ 为一般情形时，$H(F)$ 的模丛范畴与 $H(q)$ 的模丛范畴之间存在张量等价，其简单模丛由自由幺半群 $\mathbb{N} * \mathbb{N}$ 索引，融合规则由广义乘积 $\odot$ 控制；该结果实现了对表示的完整分类，并可应用于具有非迹测度的矩阵代数的量子自构群。

ABSTRACT

We determine the corepresentation theory of universal cosovereign Hopf algebras, for generic matrices over an algebraically closed field of characteristic zero.

研究动机与目标

• 将巴尼卡关于紧致量子群的核心表示理论推广至特征零代数闭域上的非紧致、一般情形。
• 确定通用共对称霍普夫代数 $H(F)$ 在一般矩阵 $F$ 下的模丛范畴结构。
• 对 $H(F)$ 的所有简单模丛进行分类，并描述其融合规则。
• 将核心表示理论应用于赋予非迹测度的矩阵代数的量子自构群的表示理论。

提出的方法

• 利用 $H(F)$ 的普遍性质，将核心表示理论约化为 $H(q)$ 的理论，其中 $q$ 满足方程 $q^2 - \operatorname{tr}(F)q + 1 = 0$。
• 为归一化的 $F$ 建立 $H(F)$ 与 $H(q)$ 的模丛范畴之间的张量等价。
• 将 $H(q)$ 实现为自由积 $k[z,z^{-1}] * \mathcal{O}(SL_q(2))$ 的霍普夫子代数，以利用已知的分类结果。
• 在两个生成元的自由代数上应用巴尼卡的融合积 $\odot$，以描述简单模丛的张量积分解。
• 当 $\operatorname{tr}(E) = \operatorname{tr}(F)$ 且 $\operatorname{tr}(E^{-1}) = \operatorname{tr}(F^{-1})$ 时，构造量子自构群 $A_{\text{aut}}(M_m(k), \operatorname{tr}_E)$ 与 $A_{\text{aut}}(M_n(k), \operatorname{tr}_F)$ 之间的霍普夫-伽罗瓦系统。
• 证明当 $\operatorname{tr}(F) = \operatorname{tr}(F^{-1})$ 且 $q$ 满足二次方程时，$A_{\text{aut}}(M_n(k), \operatorname{tr}_F)$ 的模丛范畴与 $\mathcal{O}(SO_{q^{1/2}}(3))$ 张量等价。

实验结果

研究问题

• RQ1 在特征零代数闭域上，$H(F)$ 的核心表示理论如何将巴尼卡从紧致情形推广至一般非紧致情形？
• RQ2 当 $F$ 为一般情形时，$H(F)$ 的模丛范畴结构为何？
• RQ3 $H(F)$ 的简单模丛如何索引，其融合规则为何？
• RQ4 $H(F)$ 的表示理论与赋予非迹测度的矩阵代数的量子自构群之间有何关系？
• RQ5 在何种条件下，量子自构群 $A_{\text{aut}}(M_m(k), \operatorname{tr}_E)$ 与 $A_{\text{aut}}(M_n(k), \operatorname{tr}_F)$ 的模丛范畴张量等价？

主要发现

• 当 $F$ 归一化时，$H(F)$ 的模丛范畴与 $H(q)$ 的模丛范畴张量等价，其中 $q$ 是方程 $q^2 - \operatorname{tr}(F)q + 1 = 0$ 的解。
• 当 $F$ 为一般情形（即 $q$ 不是阶 $\geq 3$ 的单位根）时，$H(F)$ 是余半单的，且可对简单模丛进行完整分类。
• 每个简单 $H(F)$-模丛同构于唯一的 $x \in \mathbb{N} * \mathbb{N}$ 对应的 $U_x$，其中 $U_e = k$，$U_\alpha = U$，$U_\beta = V = U^*$。
• 简单模丛的张量积满足 $U_x \otimes U_y \cong \bigoplus_{\{a,b,g \in \mathbb{N} * \mathbb{N} \mid x = a g, y = \bar{g} b\}} U_{a b}$，推广了巴尼卡的融合规则。
• 当 $\operatorname{tr}(F) = \operatorname{tr}(F^{-1})$ 且 $q$ 为一般情形时，量子自构群 $A_{\text{aut}}(M_n(k), \operatorname{tr}_F)$ 的模丛范畴与 $\mathcal{O}(SO_{q^{1/2}}(3))$ 张量等价。
• 当 $\operatorname{tr}(E) = \operatorname{tr}(F)$ 且 $\operatorname{tr}(E^{-1}) = \operatorname{tr}(F^{-1})$ 时，$A_{\text{aut}}(M_m(k), \operatorname{tr}_E)$ 与 $A_{\text{aut}}(M_n(k), \operatorname{tr}_F)$ 的模丛范畴张量等价。