[论文解读] Locally compact quantum groups in the universal setting

Johan Kustermans|ArXiv.org|Feb 2, 1999

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

一句话总结

本文通过构造约化 C*-代数量子群的某个稠密 ∗-子代数的普遍包络 C*-代数，从任意约化 C*-代数量子群构造出一个普遍 C*-代数量子群。利用 Kirchberg 关于酉共表示的论证的改进版本，证明了该普遍对象继承了一个与自身约化对偶同构的完整量子群结构，从而在局部紧量子群理论中统一了普遍与约化设定。

ABSTRACT

In this paper we associate to every reduced C*-algebraic quantum group A a universal C*-algebraic quantum group. We fine tune a proof of Kirchberg to show that every *-representation of a modified L1-space is generated by a unitary corepresentation. By taking the universal enveloping C*-algebra of a dense sub *-algebra of A we arrive at the uinversal C*-algebra. We show that this universal C*-algebra carries a quantum group structure which is as rich as its reduced companion.

研究动机与目标

• 从给定的约化 C*-代数量子群构造一个普遍 C*-代数量子群。
• 将局部紧量子群的对偶理论扩展到普遍设定。
• 证明普遍对象继承了与其约化对应物一样丰富的量子群结构。
• 通过 C*-代数方法，为研究局部紧量子群提供一个普遍框架。

提出的方法

• 构造约化 C*-代数量子群的某个稠密 ∗-子代数的普遍包络 C*-代数。
• 改编 Kirchberg 证明的改进版本，以证明修改后的 L¹ 空间上的每个 ∗-表示均来自一个酉共表示。
• 利用酉共表示结构，将余乘法及其他量子群运算提升至普遍 C*-代数。
• 验证普遍 C*-代数满足局部紧量子群的公理。
• 通过普遍性质建立普遍与约化量子群之间的强对偶性。
• 证明普遍量子群继承了约化版本的所有结构性质——如 Haar 重量和不变性。

实验结果

研究问题

• RQ1 能否从给定的约化 C*-代数量子群唯一地构造出一个普遍 C*-代数量子群？
• RQ2 普遍对象是否继承了其约化对应物的完整量子群结构，包括不变重量和不变性性质？
• RQ3 Kirchberg 关于 L¹ 空间与酉共表示的方法能否被改编以证明普遍对象的存在？
• RQ4 在局部紧量子群理论的意义下，普遍量子群是否与约化量子群对偶等价？
• RQ5 稠密 ∗-子代数在构造普遍 C*-代数以及确保量子群公理被保留的过程中起什么作用？

主要发现

• 普遍 C*-代数量子群被构造为约化 C*-代数量子群的某个稠密 ∗-子代数的普遍包络 C*-代数。
• 每个修改后 L¹ 空间上的 ∗-表示均来自一个酉共表示，这是实现构造的关键技术结果。
• 普遍 C*-代数继承了明确定义的余乘法，使其成为一个局部紧量子群。
• 普遍对象上的量子群结构与约化版本一样丰富，包括左、右不变重量的存在性。
• 普遍量子群与约化量子群对偶等价，保留了所有关键结构性质。
• 该构造在局部紧量子群理论中建立了普遍与约化设定之间的自然且函子性的对应关系。