[论文解读] Free actions of compact quantum group on unital C*-algebras

Paul Baum, Kenny De Commer+1 more|arXiv (Cornell University)|Apr 9, 2013

Advanced Operator Algebra Research参考文献 33被引用 25

一句话总结

本文建立了紧量子群作用于酉C*-代数时三个条件的等价性：C*-自由性（一个泛函分析条件）、Peter-Weyl-Galois条件（一个典范映射的代数同构），以及强幺半性（一个范畴性质）。关键贡献是通过典范映射的同构，以代数语言表征了C*-自由性，将经典Galois理论和主丛理论推广至量子设定。

ABSTRACT

Let F be a field, G a finite group, and Map(G,F) the Hopf algebra of all set-theoretic maps G->F. If E is a finite field extension of F and G is its Galois group, the extension is Galois if and only if the canonical map resulting from viewing E as a Map(G,F)-comodule is an isomorphism. Similarly, a finite covering space is regular if and only if the analogous canonical map is an isomorphism. In this paper we extend this point of view to actions of compact quantum groups on unital C*-algebras. We prove that such an action is free if and only if the canonical map (obtained using the underlying Hopf algebra of the compact quantum group) is an isomorphism. In particular, we are able to express the freeness of a compact Hausdorff topological group action on a compact Hausdorff topological space in algebraic terms.

研究动机与目标

• 将经典Galois理论与主丛理论推广至紧量子群作用于酉C*-代数的设定。
• 通过典范映射的同构，提供C*-自由性这一源于泛函分析的概念的代数表征。
• 将三个不同概念——C*-自由性、Peter-Weyl-Galois条件与强幺半性——统一于一个等价框架之中。
• 利用Hopf代数与C*-代数工具，将经典正则覆盖与群作用理论扩展至非交换设定。

提出的方法

• 通过满足共结合性与单位元性的酉*-同态 δ: A → A ⊗min H，定义紧量子群 (H, Δ) 在酉C*-代数 A 上的余作用。
• 将 Peter-Weyl函子 P_H(A) 定义为 A 的子代数，其元素满足 under δ 的像属于 A ⊗ O(H)，其中 O(H) 是矩阵系数的在稠密性下的Hopf *-子代数。
• 构造典范映射 can: P_H(A) ⊗_B P_H(A) → P_H(A) ⊗ O(H)，定义为 x ⊗ y ↦ (x ⊗ 1)δ(y)，其中 B = A^{coH} 为不动点代数。
• 建立三个条件的等价性：(1) 通过闭线性张成条件 {(x⊗1)δ(y)}cls = A ⊗min H 表征的C*-自由性；(2) 典范映射为双射（即Peter-Weyl-Galois条件）；(3) 余作用在余模上的强幺半性。
• 利用紧量子群的Peter-Weyl理论，将问题约化为有限维Hopf代数结构，并利用 O(H) 与 H 之间的对偶性。
• 应用非交换几何与Hopf-Galois理论中的技术，包括余张量积与余模代数，以证明等价性。

实验结果

研究问题

• RQ1 紧量子群作用于酉C*-代数时，C*-自由性是否等价于典范映射为同构？
• RQ2 能否通过代数同构条件，将经典正则覆盖空间与Galois扩张的概念推广至紧量子群作用？
• RQ3 余作用在余模上的强幺半性是否与C*-自由性及Peter-Weyl-Galois条件对应相同的结构条件？
• RQ4 群作用在紧Hausdorff空间上的自由性能否通过典范映射的同构在纯代数语言下表达？

主要发现

• 对于任意紧量子群作用于酉C*-代数，三个条件——C*-自由性、Peter-Weyl-Galois条件与强幺半性——彼此等价。
• 典范映射 can: P_H(A) ⊗_B P_H(A) → P_H(A) ⊗ O(H)，定义为 x⊗y ↦ (x⊗1)δ(y)，当且仅当作用为C*-自由时是同构。
• 该等价性推广了经典结果：有限群作用于紧Hausdorff空间是自由的，当且仅当典范映射为同构；而Galois扩张亦由相同的同构条件刻画。
• 该结果为C*-自由性提供了纯粹的代数判据，以范畴中的余模代数同构取代了泛函分析条件。
• 该等价性在非交换设定下依然成立，将经典主丛与Galois扩张理论扩展至紧量子群。
• 本文证明了C*-自由作用的纤维丛整体上为C*-自由，表明局部数据之间具有相容性。