[论文解读] Generalized fixed point algebras for coactions of locally compact quantum groups

Alcides Buss|arXiv (Cornell University)|Nov 14, 2012

Advanced Operator Algebra Research被引用 4

一句话总结

本论文将Rieffel的广义不动点代数理论推广至Kustermans与Vaes意义下的局部紧量子群的共作用，采用希尔伯特模理论并引入非交换连续平方可积性的类比。关键结果建立了广义不动点代数与约化交叉积中一个理想之间的莫代尔等价关系，其中不动点代数被实现为约化交叉积上希尔伯特模的紧算子代数。

ABSTRACT

We extend the construction of generalized fixed point algebras to the setting of locally compact quantum groups - in the sense of Kustermans and Vaes - following the treatment of Marc Rieffel, Ruy Exel and Ralf Meyer in the group case. We mainly follow Meyer's approach analyzing the constructions in the realm of equivariant Hilbert modules. We generalize the notion of continuous square-integrability, which is exactly what one needs in order to define generalized fixed point algebras. As in the group case, we prove that there is a correspondence between continuously square-integrable Hilbert modules over an equivariant C*-algebra B and Hilbert modules over the reduced crossed product of B by the underlying quantum group. The generalized fixed point algebra always appears as the algebra of compact operators of the associated Hilbert module over the reduced crossed product.

研究动机与目标

• 将Rieffel的广义不动点代数理论从群作用推广至局部紧量子群的共作用。
• 将连续平方可积性的概念推广至量子群设定，以在非交换动力系统中实现不动点代数的构造。
• 建立具有量子群共作用的$C^*$-代数上连续平方可积希尔伯特模与约化交叉积上希尔伯特模之间的对应关系。
• 证明广义不动点代数自然地作为约化交叉积上关联希尔伯特模的紧算子代数出现。

提出的方法

• 采用Meyer的等变希尔伯特模框架来分析局部紧量子群的共作用。
• 为具有共作用的$C^*$-代数上的希尔伯特模引入非交换连续平方可积性的推广概念。
• 通过沿共作用的平均化构造广义不动点代数，其模型基于Rieffel在群情形下的方法。
• 应用实现双模构造，将不动点代数与约化交叉积$A \rtimes_r \mathcal{G}$中的一个理想联系起来。
• 利用量子群的典范共表示$W$及其相关算子来定义并分析希尔伯特模结构。
• 应用Cohen因式分解定理及对偶共作用的性质，证明饱和且s-完备的子空间可产生全莫代尔等价。

实验结果

研究问题

• RQ1 广义不动点代数理论能否从群作用推广至局部紧量子群的共作用？
• RQ2 在量子群共作用背景下，连续平方可积性的恰当非交换类比是什么？
• RQ3 在量子群设定下，广义不动点代数与约化交叉积之间有何关系？
• RQ4 在何种条件下，广义不动点代数作为约化交叉积上希尔伯特模的紧算子代数出现？
• RQ5 能否通过希尔伯特模与共作用的结构来表征自由性（饱和性）？

主要发现

• 与具有局部紧量子群共作用的$C^*$-代数上连续平方可积希尔伯特模相关的广义不动点代数，同构于约化交叉积上希尔伯特模的紧算子代数。
• 广义不动点代数与约化交叉积中的一个理想之间存在莫代尔等价，该等价由平方可积元素的稠密子空间的完备化诱导。
• 该构造将Rieffel原始框架从群作用推广至量子群共作用，同时保持了不动点代数与交叉积之间的核心对偶性。
• 希尔伯特模中饱和、s-完备且相对连续的子空间精确对应于自由共作用，从而推广了非交换动力系统中自由性的概念。
• 当且仅当量子群为正规时，量子群通过其余乘法作用于自身上的共作用是恰当且自由的，从而为非正规例子提供了非恰当性的精确刻画。
• 与稠密、s-完备且相对连续的子空间$\mathcal{R}_0 \subseteq \mathcal{G}_{\mathrm{si}}$相关的希尔伯特模$\mathcal{F}(\mathcal{G}, \mathcal{R})$，作为$\mathcal{K}(L^2(\mathcal{G}))$上的希尔伯特模，同构于$L^2(\mathcal{G})^*$，从而确立了规范对偶性。