[论文解读] Examples of inner linear Hopf algebras

Nicolás Andruskiewitsch, Julien Bichon|arXiv (Cornell University)|Nov 30, 2009

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

一句话总结

本文为内线性霍普夫代数确立了两个基础性结果：通过霍普夫对偶的刻画，证明了当 $ q $ 不是单位根时，德林菲尔德-杰姆博量子代数 $ U_q(\mathfrak{g}) $ 和 $ \mathcal{O}_q(G) $ 是内线性的；以及在扩张下的稳定性结果，确认了在单位根处的量子代数及半自由化正交霍普夫代数也具有内线性性。此外，本文进一步表明，当 $ q \in \mathbb{R}^* $ 且 $ q \neq \pm 1 $ 时，紧李群的 $ \mathcal{O}_q(K) $ 是内线性但非内酉的，从而澄清了 *-代数表示中内线性与内酉性之间的关键区别。

ABSTRACT

The notion of inner linear Hopf algebra is a generalization of the notion of discrete linear group. In this paper, we prove two general results that enable us to enlarge the class of Hopf algebras that are known to be inner linear: the first one is a characterization by using the Hopf dual, while the second one is a stability result under extensions. We also discuss the related notion of inner unitary Hopf *-algebra.

研究动机与目标

• 通过提供内线性性的通用判据，扩展已知内线性霍普夫代数的类。
• 澄清 *-霍普夫代数背景下内线性性与内酉性之间的区别。
• 建立内线性性在代数扩张下的稳定性结果，适用于量子群与半自由化代数。
• 研究紧量子群（特别是 $ \mathcal{O}_q(K) $）的表示论性质，与内酉性之间的关系。

提出的方法

• 引入利用霍普夫对偶 $ H^0 $ 的内线性性刻画，表明 $ H $ 是内线性当且仅当 $ H^0 $ 包含一个分离 $ H $ 中点的有限生成霍普夫子代数。
• 将此判据应用于德林菲尔德-杰姆博量子代数 $ U_q(\mathfrak{g}) $ 和 $ \mathcal{O}_q(G) $，证明当 $ q $ 不是单位根时，其为内线性。
• 发展内线性性在霍普夫代数扩张下的稳定性结果，表明若 $ A $ 是内线性且 $ H $ 是 $ A $ 的忠实平坦扩张，则 $ H $ 是内线性。
• 将扩张技巧适配至 *-霍普夫代数，证明若 $ A \subset H $ 是正规、交换、内酉的霍普夫 *-子代数，且 $ H $ 作为右 $ A $-模是有限生成的，则 $ H $ 是内酉。
• 通过条件期望与 $ C^* $-代数技术，在希尔伯特空间上利用诱导表示构造内忠实的 *-表示。
• 将该理论应用于紧量子群 $ \mathcal{O}_q(K) $ 与半自由化正交代数 $ A_o^*(n) $，证明后者为内酉。

实验结果

研究问题

• RQ1 在何种 $ q $ 条件下，德林菲尔德-杰姆博量子代数 $ U_q(\mathfrak{g}) $ 和 $ \mathcal{O}_q(G) $ 是内线性的？
• RQ2 内线性性是否能在霍普夫代数的代数扩张下保持？若能，需何种结构假设？
• RQ3 当 $ q \in \mathbb{R}^* $ 且 $ q \neq \pm 1 $ 时，紧量子群 $ \mathcal{O}_q(K) $ 是否为内酉的，尽管其为内线性？
• RQ4 $ * $-代数 $ A_o^*(n) $ 是否存在在有限维希尔伯特空间上的内忠实 *-表示？
• RQ5 在 *-霍普夫代数背景下，内线性性与内酉性之间存在何种关系？

主要发现

• 当 $ q $ 不是单位根时，对所有半单李代数 $ \mathfrak{g} $，德林菲尔德-杰姆博量子代数 $ U_q(\mathfrak{g}) $ 是内线性的。
• 通过霍普夫对偶刻画，证明当 $ q $ 不是单位根时，量子函数代数 $ \mathcal{O}_q(G) $ 是内线性的。
• 即使 $ q $ 是单位根，量子代数 $ U_q(\mathfrak{g}) $ 和 $ \mathcal{O}_q(G) $ 仍保持内线性性，这是由于其在扩张下的稳定性。
• 通过 *-扩张定理，半自由化正交霍普夫 *-代数 $ A_o^*(n) $ 是内酉的。
• 当 $ q \in \mathbb{R}^* $ 且 $ q \neq \pm 1 $ 时，紧量子群 $ \mathcal{O}_q(K) $ 是内线性但非内酉的，原因在于其 *-表示中存在非平凡的交换子理想。
• $ * $-代数 $ \mathcal{O}_{-1}(\mathrm{SU}_2) $ 是内酉的，为内酉蕴含内线性这一命题的逆命题不成立提供了反例。