[论文解读] The Haar measure on some locally compact quantum groups

Alfons Van Daele|ArXiv.org|Sep 1, 2001

Advanced Operator Algebra Research参考文献 30被引用 16

一句话总结

本文使用一种新颖的技术，为沃罗诺维奇的量子 $az+b$-群构造了哈尓权，揭示了这些权仅在缩放群作用下相对不变，而非严格不变。这提供了局部紧致量子群中此类非不变哈尓权的首个具体实例，证实了库斯特定-瓦斯理论的关键预测，并验证了其基础框架的正确性。

ABSTRACT

The Haar measure on some locally compact quantum groups is constructed. The main example we treat is the az+b-group of Woronowicz. We also briefly consider some other examples (like the ax+b-group). We get the first examples of a locally compact quantum group where the Haar measure is not invariant with respect to the scaling group.

研究动机与目标

• 为局部紧致量子群理论中最近引入的一个例子——沃罗诺维奇的量子 $az+b$-群，构造哈尓权。
• 证明在此例中，哈尓权仅在缩放群作用下相对不变，而非严格不变，这与早期假设相反。
• 通过提供一个哈尓权表现出相对不变性的具体实例，验证库斯特定-瓦斯关于局部紧致量子群的框架。
• 开发并应用一种适用于其他量子群例子的通用技术，使其超越此特定情形。

提出的方法

• 本文采用基于离散群与其对偶之间配对的海森堡表示的表示论方法。
• 通过 $L^2(G) \otimes L^2(G)$ 上的酉算子 $W$ 构造了乘法的酉实现，其定义为 $(W\xi)(g,h) = \xi(g, g^{-1}h)$。
• 该方法涉及利用半直积构造和紧算子的表示理论，将表示从霍普夫 $^*$-代数层面提升至 $C^*$-代数层面。
• 应用一个关键结果（命题 A.5），即由对易关系 $b a^{-1} = e^{\pi i/n} a^{-1} b$ 导出的单参数酉群生成元 $e^{\pi i/(2n)} a^{-1}b$，以验证该群的解析生成元。
• 该构造依赖于 $C_0(G) \times_\alpha G$ 同构于 $L^2(G)$ 上紧算子的性质，从而实现对表示的分类。
• 该技术被推广，以证明其在 $az+b$-群之外的适用性，如文末所示。

实验结果

研究问题

• RQ1 量子 $az+b$-群是否确实存在在缩放群作用下不严格不变的哈尓权，如库斯特定-瓦斯理论所预测？
• RQ2 能否发展一种系统性方法，用于构造当沃罗诺维奇的标准技术无法产生哈尓权时的量子群的哈尓权？
• RQ3 量子 $az+b$-群中哈尓权的不变性性质的精确本质是什么？它与经典情形有何不同？
• RQ4 如何利用 $C^*$-代数和半直积的表示理论来构造并验证非平凡量子群中哈尓权的存在性？
• RQ5 所提出的该方法在多大程度上可推广至具有类似结构特征的其他量子群？

主要发现

• 明确构造了量子 $az+b$-群的哈尓权，确认了在此非平凡例子中其存在性。
• 证明了哈尓权仅在缩放群作用下相对不变，而非严格不变，这一结果虽为理论预测，但此前缺乏具体实例，本工作首次填补了这一空白。
• 该构造技术成功地将哈尓权从霍普夫 $^*$-代数层面提升至 $C^*$-代数层面，克服了沃罗诺维奇原始方法的局限性。
• 该方法具有可推广性，并应用于其他例子，如 $\mathbb{Z}_{2n} \times \mathbb{R}$ 和 $\mathbb{T} \times \mathbb{Z}$，展示了其广泛适用性。
• 本文确立了库斯特定-瓦斯关于局部紧致量子群的框架具有一致性和预测能力，因其正确描述了哈尓权的相对不变性。
• 该结果为库斯特定-瓦斯对局部紧致量子群的定义是经典局部紧致群的正确推广提供了有力证据。