[论文解读] Homomorphisms of quantum groups

Ralf Meyer, Sutanu Roy+1 more|arXiv (Cornell University)|Nov 18, 2010

Advanced Operator Algebra Research参考文献 10被引用 42

一句话总结

本文证明了局部紧量子群之间的同态可等价地由对偶的乘子代数和普遍量子群张量积中的双特征标来描述。关键贡献在于证明了所有模乘法幺半元都是‘基本’的，从而在不假设哈尓权存在的前提下，实现了从约化双特征标到普遍量子群的提升，推广了Ng与Kustermans的框架。

ABSTRACT

We introduce some equivalent notions of homomorphisms between quantum groups that behave well with respect to duality of quantum groups. Our equivalent definitions are based on bicharacters, coactions, and universal quantum groups, respectively.

研究动机与目标

• 以与对偶性兼容的方式定义并表征量子群同态，尤其针对非阿贝尔局部紧量子群。
• 解决霍普夫 ∗-同态在约化 C*-代数上无法诱导对偶映射的问题，特别是在非阿贝尔群情形。
• 证明 $\mathcal{U}\mathcal{M}(\hat{C} \otimes A)$ 中的双特征标可分类从 $C$ 到 $A$ 的量子群同态，提供一种具体且可操作的表征方式。
• 证明每个模乘法幺半元都是‘基本’的，从而可在不依赖哈尓权的前提下，将约化双特征标提升至普遍水平。
• 通过建立共作用函子、双特征标与霍普夫 ∗-同态之间的等价性，统一并推广Ng与Kustermans的现有框架。

提出的方法

• 通过定义与遗忘函子交换的共作用范畴之间的函子，建立同态的范畴基础。
• 从霍普夫 ∗-同态 $f: C \to A$ 构造一个单位可乘子 $V_f = (\text{id}_{\hat{C}} \otimes f)(W^C) \in \mathcal{U}\mathcal{M}(\hat{C} \otimes A)$，并证明其满足双特征标关系。
• 利用双特征标公理：$(\Delta_{\hat{C}} \otimes \text{id}_A)V = V_{23}V_{13}$ 与 $(\text{id}_{\hat{C}} \otimes \Delta_A)V = V_{12}V_{13}$，证明 $\mathcal{U}\mathcal{M}(\hat{C} \otimes A)$ 中的双特征标与量子群同态之间存在双射对应。
• 利用模乘法幺半元结构，将约化双特征标从 $\mathcal{U}\mathcal{M}(\hat{C} \otimes C)$ 提升至 $\mathcal{U}\mathcal{M}(\hat{C}^u \otimes C^u)$，且无需假设哈尓权的存在。
• 利用乘法幺半元与普遍量子群的理论，证明所有模乘法幺半元在Ng的意义下都是‘基本’的，从而确保提升始终可行。
• 通过卷积积 $V^{C \to A} * V^{A \to B} = (\text{id}_C \otimes f)(V^{C \to A})$ 建立双特征标的复合法则，其中 $f: A \to B$ 是一个霍普夫 ∗-同态。

实验结果

研究问题

• RQ1 如何以与对偶性兼容的方式表征量子群同态，尤其当霍普夫 ∗-同态在约化 C*-代数上失效时？
• RQ2 共作用范畴上的函子、双特征标与霍普夫 ∗-同态之间的确切关系是什么？
• RQ3 在何种条件下，局部紧量子群的约化双特征标可被提升至普遍水平？
• RQ4 在不假设哈尓权存在的情况下，是否所有模乘法幺半元的双特征标均可被提升？
• RQ5 双特征标如何复合？量子群同态的复合对应何种结构？

主要发现

• 从 $C$ 到 $A$ 的量子群同态与满足双特征标公理的单位可乘子 $V \in \mathcal{U}\mathcal{M}(\hat{C} \otimes A)$ 之间存在双射对应。
• 构造 $V_f = (\text{id}_{\hat{C}} \otimes f)(W^C)$ 建立了霍普夫 ∗-同态与双特征标之间的自然联系。
• 所有模乘法幺半元在Ng的意义下都是‘基本’的，意味着约化双特征标可在不依赖哈尓权的前提下提升至普遍量子群水平。
• 双特征标的提升确保了基于双特征标的量子群同态理论可适用于所有由模乘法幺半元定义的局部紧量子群。
• 同态的复合对应于双特征标的卷积：$V^{C \to B} = V^{A \to B} * V^{C \to A}$，当 $f: A \to B$ 是霍普夫 ∗-同态时，显式公式为 $V^{C \to B} = (\text{id}_C \otimes f)(V^{C \to A})$。
• 右量子群同态通过共作用的函子性，诱导从 $C$ 的希尔伯特空间核心表示到 $A$ 的同一希尔伯特空间上的核心表示的自然映射。