[论文解读] CCR and GCR Groupoid C*-algebras

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

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

一句话总结

该论文建立了广群C*-代数为CCR或GCR的必要与充分条件，推广了关于变换群C*-代数的经典结果。在假设各稳定子群为可约的前提下，证明了C*(G)为CCR当且仅当轨道空间为T₁且所有稳定子群为CCR；C*(G)为GCR当且仅当轨道空间为T₀且所有稳定子群为GCR。

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 $C^*(G)$ denote the groupoid $C^*$-algebra. Suppose that the isotropy groups of $G$ are amenable. We show that $C^*(G)$ is CCR if and only if $\go/G$ is a $T_1$ topological space and all of the isotropy groups are CCR. We also show that $C^*(G)$ is GCR if and only if $\go/G$ is a $T_0$ topological space and all of the isotropy groups are GCR.

研究动机与目标

• 将变换群C*-代数的CCR与GCR分类定理推广至一般的局部紧广群C*-代数。
• 识别广群上的拓扑与代数条件，以确保其C*-代数为CCR或GCR。
• 建立从轨道空间G⁰/G到C*(G)∧的连续且单射的映射，从而支持分类结果。
• 将先前在主广群情形下的结果扩展至非主广群，其稳定子群可能不连续。
• 表明稳定子群的可约性是构造谱映射所必需的技术假设，尽管理论上该条件可能冗余。

提出的方法

• 通过将稳定子群Gᵘᵘ的平凡表示诱导到全广群C*-代数，定义C*(G)上的表示lᵘ。
• 构造映射ω: G⁰/G → C*(G)∧，将每个轨道[u]映射到lᵘ的酉等价类。
• 利用Renault的分解定理及稳定子群的可约性，证明ω是良定义的、连续的且单射的。
• 利用该连续单射的存在性，将G⁰/G的拓扑性质（T₁或T₀）与C*(G)的谱性质联系起来。
• 利用已知结果：C*(G)的每个不可约表示都通过C*(G|ₐ[u]) ≅ C*(Gᵘᵘ) ⊗ K分解，且C*(G|ₐ[u])为CCR/GCR当且仅当C*(Gᵘᵘ)为CCR/GCR。
• 应用[2, 推论3.5]与[8, 定理3.1]，将全局的CCR/GCR性质归约为稳定子群层面的问题。

实验结果

研究问题

• RQ1 在何种条件下，广群C*-代数C*(G)为CCR？
• RQ2 在何种条件下，广群C*-代数C*(G)为GCR？
• RQ3 在非主广群情形下，当稳定子群为非阿贝尔且可能不连续时，能否构造从轨道空间G⁰/G到C*(G)∧的谱映射？
• RQ4 为何在构造谱映射时需要稳定子群的可约性？该条件是必要还是仅为技术性假设？
• RQ5 轨道空间的T₁与T₀性质如何与C*(G)的CCR与GCR结构相关联？

主要发现

• C*(G)为CCR当且仅当轨道空间G⁰/G为T₁空间且所有稳定子群Gᵘᵘ为CCR。
• C*(G)为GCR当且仅当轨道空间G⁰/G为T₀空间且所有稳定子群Gᵘᵘ为GCR。
• 关键的技术贡献是构造了一个连续且单射的映射ω: G⁰/G → C*(G)∧，该映射将轨道空间的拓扑与C*-代数的谱联系起来。
• 该映射ω通过从每个稳定子群Gᵘᵘ到C*(G)诱导平凡表示来定义，其良定义性与连续性依赖于稳定子群的可约性。
• 证明依赖于C*(G)的每个不可约表示都通过C*(G|ₐ[u]) ≅ C*(Gᵘᵘ) ⊗ K（对某个u ∈ G⁰）分解，从而将问题归约为稳定子群层面。
• 可约性假设对于通过Renault的分解定理保证ω的连续性至关重要，尽管作者怀疑该条件在最终刻画中可能冗余。