[论文解读] Characterizations of compact and discrete quantum groups through second duals

Volker Runde|ArXiv.org|Jun 24, 2005

Advanced Operator Algebra Research参考文献 20被引用 35

一句话总结

本文证明：局部紧量子群是紧致的当且仅当其预对偶是其二阶对偶中的理想；是离散的当且仅当其连续在无穷远处消失的C*-代数是其二阶对偶中的理想。这些结果统一并推广了经典群论中通过群代数与傅里叶代数对紧致与离散局部紧群的刻画，借助对偶性与二阶对偶理想，将结果扩展至量子群框架。

ABSTRACT

A locally compact group $G$ is compact if and only if $L^1(G)$ is an ideal in $L^1(G)^{**}$, and the Fourier algebra $A(G)$ of $G$ is an ideal in $A(G)^{**}$ if and only if $G$ is discrete. On the other hand, $G$ is discrete if and only if $C_0(G)$ is an ideal in $C_0(G)^{**}$. We show that these assertions are special cases of results on locally compact quantum groups in the sense of J. Kustermans and S. Vaes. In particular, a von Neumann algebraic quantum group $(M,Γ)$ is compact if and only if $M_*$ is an ideal in $M^*$, and a (reduced) $C^*$-algebraic quantum group $(A,Γ)$ is discrete if and only if $A$ is an ideal in $A^{**}$.

研究动机与目标

• 将经典局部紧群的紧致性与离散性刻画推广至局部紧量子群框架。
• 建立量子群的紧致性等价于其预对偶是其二阶对偶中的理想。
• 证明量子群的离散性等价于其C*-代数是其二阶对偶中的理想。
• 在量子群对偶性框架下，统一并推广Watanabe（关于L¹(G)理想）与Lau（关于A(G)理想）的结果。

提出的方法

• 使用Kustermans–Vaes公理由局部紧量子群，将其视为带有共乘法的霍普夫–冯诺依曼代数。
• 在二阶对偶上应用Arens乘积，以在预对偶与C*-代数上定义代数结构。
• 利用对偶性：量子群的紧致性对应于其对偶的离散性，反之亦然。
• 借助弱紧致乘法与邓福德–佩蒂斯性质，刻画二阶对偶中的理想结构。
• 运用Gelfand变换与紧算子的谱理论，分析特征与C*-范数的唯一性。
• 通过约化至希尔伯特空间表示与紧算子代数中理想已知结果完成证明。

实验结果

研究问题

• RQ1 何时一个冯诺依曼代数量子群的预对偶是其二阶对偶中的理想？
• RQ2 何时一个约化C*-代数量子群的C*-代数是其二阶对偶中的理想？
• RQ3 经典群论中通过L¹(G)与A(G)理想刻画紧致与离散群的结果，如何推广至量子群？
• RQ4 在二阶对偶框架下，对偶性在联系紧致性与离散性方面起什么作用？
• RQ5 二阶对偶中的理想性质是否蕴含底层代数上C*-范数的唯一性？

主要发现

• 冯诺依曼代数量子群(M, Γ)是紧致的当且仅当其预对偶M*是M**中的理想。
• 约化C*-代数量子群(A, Γ)是离散的当且仅当A是A**中的理想。
• 经典结果：L¹(G)是L¹(G)**中的理想当且仅当G是紧致群，已推广至量子群。
• A(G)是A(G)**中的理想当且仅当G是离散群的结果，已扩展至量子设置。
• 二阶对偶中的理想性质通过紧算子的谱理论，意味着底层代数具有唯一的C*-范数。
• 紧致与离散量子群之间的对偶性在二阶对偶理想性质中得以体现：G是紧致的当且仅当Ĝ是离散的。