[论文解读] Haar measure on a locally compact quantum group

Byung-Jay Kahng|ArXiv.org|Oct 31, 2002

Advanced Operator Algebra Research参考文献 19被引用 5

一句话总结

本文证明了通过可解李群的非线性泊松结构进行形变量子化的特定非紧致 $C^*$-代数量子群 $(A, \triangle)$ 满足库斯特马斯与瓦埃斯意义上的局部紧致量子群公理。通过使用乘法幺正算子严格构造出 $A$ 上的左不变与右不变的哈尓权，并验证其不变性，作者确认 $(A, \triangle)$ 确为一个真正的局部紧致量子群，从而弥合了早期工作中关于哈尓权处理不完整的基础性空白。

ABSTRACT

In the general theory of locally compact quantum groups, the notion of Haar measure (Haar weight) plays the most significant role. The aim of this paper is to carry out a careful analysis regarding Haar weight, in relation to general theory, for the specific non-compact quantum group (A,Δ) constructed earlier by the author. In this way, one can show that (A,Δ) is indeed a ``(C*-algebraic) locally compact quantum group'' in the sense of the recently developed definition given by Kustermans and Vaes. Attention will be given to pointing out the relationship between the original construction (obtained by deformation quantization) and the structure maps suggested by general theory.

研究动机与目标

• 严格验证通过形变量子化构造的 $C^*$-代数量子群 $(A, \triangle)$ 是否满足库斯特马斯与瓦埃斯定义的局部紧致量子群公理。
• 通过在完整的 $C^*$-代数 $A$ 上直接构造哈尓权，而非仅在稠密 $^*$-子代数上，解决早期工作中对哈尓权处理不完整的问题。
• 阐明原始基于泊松–李群构造的结构映射（共乘法、反演、模函数）与一般理论中所需的规范映射之间的关系。
• 通过建立对偶量子群 $(\hat{A}, \hat{\Delta})$ 及其通过乘法幺正算子的实现，为对偶性与表示理论提供完整框架。

提出的方法

• 利用编码了共乘法 $\Delta$ 和正则表示的乘法幺正算子 $U_A$，在 $A$ 上构造哈尓权。
• 使用 $A$ 的稠密 $^*$-子代数 $\mathcal{A}$ 及其对偶 $\hat{\mathcal{A}}$，在希尔伯特空间 $\mathcal{H}$ 上定义左正则表示 $\lambda_f$ 与右正则表示 $\rho_f$，确保该权是良定义且正规的。
• 通过乘法幺正算子 $\widehat{U_A}$ 的作用，利用交换关系 $[\rho_f, \lambda_g] = 0$，证明对偶 $C^*$-代数 $B$ 上的权 $\varphi_B$ 的左不变性与右不变性。
• 通过部分傅里叶变换建立 $B \cong \lambda(C^*(G))$，表明 $B$ 同构于一个可解李群 $G$ 的约化群 $C^*$-代数，从而支持存在忠实、半有限、正规权的结论。
• 通过验证 $\widehat{U_A}$ 在两个代数上实现共乘法，且 $M_B = M_{\hat{A}}'$（即 $\hat{A}$ 生成的冯诺依曼代数的交换子），确认 $(A, \Delta)$ 与 $(\hat{A}, \hat{\Delta})$ 之间的对偶性。
• 利用乘法幺正算子的结构推导出反演与模函数，将其与原始基于泊松–李群的定义进行比较，确认其与一般理论的一致性。

实验结果

研究问题

• RQ1 通过形变量子化构造的 $C^*$-代数量子群 $(A, \Delta)$ 是否满足库斯特马斯与瓦埃斯定义的局部紧致量子群公理？
• RQ2 能否在完整的 $C^*$-代数 $A$ 上显式构造出左不变与右不变的哈尓权，而非仅在稠密 $^*$-子代数上？
• RQ3 通过泊松–李群数据定义的原始结构映射（共乘法、反演、余元）如何与局部紧致量子群一般理论中导出的规范映射相关联？
• RQ4 对偶量子群 $(\hat{A}, \hat{\Delta})$ 的精确结构是什么？它如何通过乘法幺正算子实现？
• RQ5 乘法幺正算子 $\widehat{U_A}$ 是否足以重构原始与对偶量子群？它是否满足所需的不变性与对偶性性质？

主要发现

• 对偶 $C^*$-代数 $B$ 上的哈尓权 $\varphi_B$ 显式构造为 $\varphi_B(\lambda_f) = \int f(x,y,0) \, dxdy$，并扩展为 $M_B$ 上的忠实、半有限、正规权，确认其作为哈尓权的角色。
• 通过乘法幺正算子 $\widehat{U_A}$ 的作用，验证了权 $\varphi_B$ 在共乘法 $\Delta_B$ 下的左不变性与右不变性，满足局部紧致量子群的关键要求。
• $C^*$-代数 $B$ 同构于约化群 $C^*$-代数 $\lambda(C^*(G))$，为对偶量子群提供了具体的实现方式，支持了不变权的存在性。
• 对所有 $f,g \in \hat{\mathcal{A}}$，交换关系 $[\rho_f, \lambda_g] = 0$ 成立，意味着 $M_B = M_{\hat{A}}'$，这是对偶性与乘法幺正算子构造的关键条件。
• $(A, \Delta)$ 的反演与模函数被证明与一般理论一致：反演由 GNS 映射的极分解导出，模函数则来自模自同构群。
• 乘法幺正算子 $\widehat{U_A}$ 满足基本恒等式 $(L \otimes L)(\Delta a) = \widehat{U_A}^* (1 \otimes L(a)) \widehat{U_A}$，确认其在实现共乘法中的作用，并确保量子群结构的成立。