[论文解读] The multiplicative unitary as a basis for duality

Ann Maes, Alfons Van Daele|ArXiv.org|May 27, 2002

Advanced Operator Algebra Research参考文献 13被引用 4

一句话总结

本文提出了一种基于广义乘法单位算符的新量子群对偶性框架，取代了Baaj与Skandalis理论中严格的正则性与不可约性条件。通过引入满足特定结构公理的‘量子群框架’，作者推导出两个具有群性质的对偶量子对象，并通过量子$az+b$-群及与局部紧致群的半直积构造，展示了该构造的实现。

ABSTRACT

The classical duality theory associates to an abelian group a dual companion. Passing to a non-abelian group, a dual object can still be defined, but it is no longer a group. The search for a broader category which should include both the groups and their duals, points towards the concept of quantization. Classically, the regular representation of a group contains the complete information about the structure of this group and its dual. In this article, we follow Baaj and Skandalis and study duality starting from an abstract version of such a representation: the multiplicative unitary. We suggest extra conditions which will replace the regularity and irreducibility of the multiplicative unitary. From the proposed structure of a "quantum group frame", we obtain two objects in duality. We equip these objects with certain group-like properties, which make them into candidate quantum groups. We consider the concrete example of the quantum az+b-group, and discuss how it fits into this framework. Finally, we construct the crossed product of a quantum group frame with a locally compact group.

研究动机与目标

• 开发超越Kac代数及现有量子群框架局限性的非交换量子群更广泛对偶性理论。
• 在Baaj与Skandalis的乘法单位算符方法中，以新公理集取代经典正则表示与不可约性条件。
• 定义‘量子群框架’作为基础结构，从中可推导出两个对偶的量子对象。
• 证明这些对偶对象具有群性质，使其成为局部紧致量子群的可行候选。
• 通过量子$az+b$-群与局部紧致群的半直积构造，展示该框架的适用性。

提出的方法

• 从与局部紧致群$G$相关的乘法单位算符$W_G$出发，其编码了该群的完整代数与拓扑结构。
• 在希尔伯特空间$\mathcal{H} \otimes \mathcal{H}$上引入一个抽象乘法单位算符$W$，满足共结合性与归一化条件。
• 提出一组新公理（取代正则性与不可约性），通过乘法单位算符定义‘量子群框架’。
• 从该框架构造两个冯诺依曼代数$M^1$与$\widehat{M^1}$，其具有形变的代数与余代数结构。
• 利用半直积构造将量子群框架与局部紧致群结合，得到具有扭曲乘法的新$M^1$代数。
• 通过交换关系与酉实现（如$U$）将$\Phi^1$与$\widehat{\Phi^1}$的余乘法与原始结构联系起来。

实验结果

研究问题

• RQ1 如何在不依赖正则性或不可约性的前提下，从广义乘法单位算符重构量子群的对偶性？
• RQ2 乘法单位算符需满足何种公理条件，才能保证存在两个具有群性质的对偶量子对象？
• RQ3 量子$az+b$-群如何融入这一新的量子群框架之中？
• RQ4 能否一致地定义并表征量子群框架与局部紧致群的半直积？
• RQ5 酉算符$U$在半直积构造中如何实现对代数与余代数结构的形变？

主要发现

• 所提出的量子群框架结构生成两个冯诺依曼代数$M^1$与$\widehat{M^1}$，二者互为对偶且具有群性质。
• 在$M^1$上的余乘法$\Phi^1$可表示为$\Phi^1(m \otimes 1) = \Phi(m)_{13}$，表明其与原始余乘法$\Phi$相容。
• 对$p \in G$，$\lambda_p$像上的余乘法为$\Phi^1(U^* (1 \otimes \lambda_p) U) = (U^* \otimes U^*) \Phi(\lambda_p)_{24} (U \otimes U)$，证实了扭曲余代数结构的存在。
• 对偶代数$\widehat{M^1}$的代数结构为平凡的$\widehat{M} \otimes \widehat{M^0}$，但其余乘法通过$\widehat{\Phi^1}(\widehat{m} \otimes f) = (\iota \otimes \tau \otimes \iota)(\widehat{\Phi} \otimes \widehat{\Phi^0})(\widehat{m} \otimes f)$发生形变，其中$\tau$为扭曲对换算符。
• 函数$h_i(p) = (f_i \star \widetilde{g})(p)$属于傅里叶代数$A(G)$，且满足对$p \in K$有$\sum_{i=1}^n h_i(p) = 1$，其中$h_i$在$E_i$上具有紧支集。
• 通过酉算符$U$对张量积代数结构进行非平凡扭曲，实现了$M^1$作为$M$与$\mathcal{M}(G)$半直积的构造。