[论文解读] Irreducible Representations of Groupoid $C^*$-algebras

Marius Ionescu, Dana P. Williams|ArXiv.org|Dec 4, 2007

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

一句话总结

该论文证明了对于具有哈尓系统的一致可数、局部紧致、豪斯多夫的广群，从稳定（同构）群的不可约表示诱导出的表示本身也是不可约的。作者利用现代莫里塔等价与分解理论，将变换群的麦科伊结果推广至一般的广群 C*-代数，通过在闭子广群上系统地进行诱导过程，证明了不可约性，并通过希尔伯特模之间的酉等价性验证了诱导过程的相容性。

ABSTRACT

If $G$ is a second countable locally compact Hausdorff groupoid with Haar system, we show that every representation induced from an irreducible representation of a stability group is irreducible.

研究动机与目标

• 将经典结果（即从稳定群的不可约表示诱导出的表示在变换群 C*-代数中是不可约的）推广至一般的可分广群 C*-代数。
• 利用莫里塔等价与分解理论的现代工具，形式化广群 C*-代数中从闭子广群诱导表示的理论。
• 建立广群 C*-代数中诱导的严格、现代的处理方法，纠正并扩展了早期在特殊情形下的非系统性方法。
• 证明当从同构群的不可约表示出发时，诱导过程保持不可约性，从而提供了一种系统构造不可约表示的方法。

提出的方法

• 作者从空间 $ G_{H^{(0)}} = s^{-1}(H^{(0)}) $ 构造了实现群广群 $ H^G $，并赋予其对角右 $ H $-作用。
• 通过在 $ G $ 的哈尓系统上积分，利用 $ G_{H^{(0)}} $ 上的 $ s $-系统结构，在 $ H^G $ 上定义了哈尓系统，确保其与广群运算相容。
• 空间 $ C_c(G_{H^{(0)}}) $ 被赋予作用与内积，构成一个 $ C_c(H^G,\beta) $-$ C_c(H,\alpha) $-实现双模，其完备化为希尔伯特双模 $ \mathsf{X}_H^G $。
• 利用里夫林的莫里塔等价理论及 [mrw:jot87] 中的等价定理，作者建立了 $ C^*(H) $ 与 $ C^*(H^G) $ 表示之间的对应关系，从而实现表示的诱导。
• 通过构造一个使用映射 $ \theta $ 的酉等价 $ V $，证明了诱导过程与复合运算相容，该映射将 $ \mathsf{X}_K^G \otimes_K (\mathsf{X}_H^K \otimes_H \mathcal{H}_L) $ 与 $ \mathsf{X}_H^G \otimes_H \mathcal{H}_L $ 相关联，从而证明了诱导的传递性。
• 关键的技术步骤在于利用富比尼定理与哈尓系统性质，证明映射 $ \theta $ 是等距同构，从而确立了诱导表示之间的酉等价性。

实验结果

研究问题

• RQ1 对于具有一致可数、局部紧致、豪斯多夫结构及哈尓系统的广群，从稳定群 $ G(u) $ 的不可约表示诱导出的广群 $ C^* $-代数 $ C^*(G) $ 的表示是否仍为不可约？
• RQ2 能否利用现代工具（如莫里塔等价与分解理论）将变换群的麦科伊诱导理论推广至一般的广群 $ C^* $-代数？
• RQ3 从子广群出发的诱导过程是否具有传递性？当通过一系列子广群链应用时，是否保持不可约性？
• RQ4 如何系统地从同构群 $ G(u) $ 的不可约表示构造 $ C^*(G) $ 的不可约表示？实现双模在该构造中起到什么作用？

主要发现

• 对于一致可数、局部紧致、豪斯多夫的广群，且具有哈尓系统，从稳定群 $ G(u) $ 的不可约表示诱导出的表示在广群 $ C^* $-代数 $ C^*(G) $ 中是不可约的。
• 从闭子广群 $ H $ 到 $ G $ 的诱导过程是良定义的，且尊重希尔伯特模的结构，其中实现双模 $ \mathsf{X}_H^G $ 在 $ C^*(H^G) $ 与 $ C^*(H) $ 之间建立了莫里塔等价。
• 映射 $ \theta $（用于识别诱导模的张量积）是希尔伯特模的等距同构，确保了诱导过程的相容性。
• 希尔伯特模之间的酉等价 $ V $，将 $ \mathsf{X}_K^G \otimes_K (\mathsf{X}_H^K \otimes_H \mathcal{H}_L) $ 与 $ \mathsf{X}_H^G \otimes_H \mathcal{H}_L $ 关联，证实了诱导的传递性，即 $ \operatorname{Ind}_K^G(\operatorname{Ind}_H^K L) \cong \operatorname{Ind}_H^G L $。
• 该证明依赖于分解定理与现代莫里塔等价理论，表明诱导表示的不可约性源于广群及其哈尓系统的结构。
• 该结果在一致可数性假设下成立，这确保了分解定理的适用性，但作者指出，主定理可能并不严格依赖于可分性。