[论文解读] Classifying the Type of Principal Groupoid C*-algebras

Lisa Orloff Clark|ArXiv.org|Nov 17, 2005

Advanced Operator Algebra Research参考文献 12被引用 6

一句话总结

本文通过将主丛群胚的C*-代数类型与轨道空间 $G^0/G$ 的拓扑性质联系起来，对主丛群胚C*-代数的类型进行了分类。证明了 $C^*(G)$ 是CCR当且仅当 $G^0/G$ 是 $T_1$，GCR当且仅当 $G^0/G$ 是 $T_0$，且是Fell代数当且仅当 $G$ 是Cartan群胚，利用从轨道空间到C*-代数谱的连续映射（当 $T_0$ 时为同胚）。

ABSTRACT

Suppose $G$ is a second countable, locally compact, Hausdorff groupoid with a fixed left Haar system. Let $\go/G$ denote the orbit space of $G$ and $\cs(G)$ denote the groupoid $C^*$-algebra. Suppose that $G$ is a principal groupoid. We show that $C^*(G)$ is CCR if and only if $\go/G$ is a $T_1$ topological space, and that $C^*(G)$ is GCR if and only if $\go/G$ is a $T_0$ topological space. We also show that $C^*(G)$ is a Fell Algebra if and only if $G$ is a Cartan groupoid.

研究动机与目标

• 将已知的变换群C*-代数分类结果推广到更广泛的主丛群胚设定中。
• 建立轨道空间 $G^0/G$ 的拓扑性质与 $C^*(G)$ 的C*-代数分类之间的精确对应关系。
• 证明 $C^*(G)$ 是Fell代数当且仅当 $G$ 是Cartan群胚，从而扩展了关于Cartan对的先前结果。
• 构造一个从轨道空间 $G^0/G$ 到谱 $\widehat{C^*(G)}$ 的连续映射，且在 $T_0$ 条件下为同胚。
• 为未来将CCR和GCR结果推广到非主丛群胚奠定基础框架。

提出的方法

• 通过为每个轨道 $[u]$ 赋予从点态测度在 $u$ 处诱导的不可约表示 $L^u$，构造映射 $\psi: G^0/G \to \widehat{C^*(G)}$。
• 利用轨道空间的拓扑结构和表示上的弱算子拓扑，证明 $\psi$ 是连续的。
• 当 $G^0/G$ 是 $T_0$ 时，通过利用开游动集和饱和性证明 $\psi$ 的单射性和开性，从而证明其为同胚。
• 利用分解定理和 $C_c(G)$ 的表示理论，建立 $C^*$-范数和 $C^*(G)$ 的结构。
• 通过利用主丛群胚结构，将 $C^*(G)$ 中的理想刻画为 $C^*(G|_Y)$ 的形式，其中 $Y \subset G^0$ 是开的且 $G$-不变的子集。
• 通过将游动邻域与连续迹理想及Fell点结构联系起来，证明 $G$ 是Cartan群胚当且仅当 $C^*(G)$ 是Fell代数。

实验结果

研究问题

• RQ1 在轨道空间 $G^0/G$ 的何种拓扑条件下，群胚C*-代数 $C^*(G)$ 是CCR？
• RQ2 对于主丛群胚 $G$，$C^*(G)$ 何时是GCR？这与 $G^0/G$ 的 $T_0$ 性质有何关联？
• RQ3 何种主丛群胚 $G$ 满足 $C^*(G)$ 是Fell代数？这与 $G$ 的Cartan性质有何关联？
• RQ4 谱 $\widehat{C^*(G)}$ 是否能自然地与轨道空间 $G^0/G$ 识别？在何种条件下该识别为同胚？
• RQ5 在 $G^0$ 中，游动集与开集的饱和性如何与 $C^*(G)$ 的理想结构及分类相关？

主要发现

• C*-代数 $C^*(G)$ 是CCR当且仅当轨道空间 $G^0/G$ 是 $T_1$ 拓扑空间。
• C*-代数 $C^*(G)$ 是GCR当且仅当轨道空间 $G^0/G$ 是 $T_0$ 拓扑空间。
• 由 $\psi([u]) = [L^u]$ 定义的映射 $\psi: G^0/G \to \widehat{C^*(G)}$ 是连续单射，且当 $G^0/G$ 是 $T_0$ 时为同胚。
• C*-代数 $C^*(G)$ 是Fell代数当且仅当 $G$ 是Cartan群胚，即 $G^0$ 中每一点都有一个游动邻域。
• 对于主丛群胚 $G$，其每个闭理想都可表示为 $C^*(G|_Y)$ 的形式，其中 $Y \subset G^0$ 是某个开的且 $G$-不变的子集，从而实现了理想分类。
• 当 $C^*(G)$ 是GCR时，其最大的Fell理想为 $C^*(G|_Y)$，其中 $Y$ 是 $G^0$ 中所有具有游动邻域的点的集合。