[论文解读] The Mackey Machine for Crossed Products by Regular Groupoids. I

Geoff Goehle|arXiv (Cornell University)|Aug 11, 2009

Advanced Operator Algebra Research参考文献 14被引用 3

一句话总结

本文通过引入一种类似Rieffel的诱导系统，发展了广群交叉积的Mackey机械，证明了在群广群 $G$ 满足正则性条件时，$A \rtimes G$ 的每个不可约表示都源于某个 $u \in G^{(0)}$ 的稳定子交叉积 $A(u) \rtimes S_u$ 的诱导表示。其核心贡献是在广群 $G$ 满足正则性假设下，对不可约表示实现了完整的理论诱导分类。该结果通过希尔伯特模与莫里塔等价推广了Mackey机械至广群动力系统，从而推广了关于群与广群 $C^*$-代数的先前结果。

ABSTRACT

We first describe a Rieffel induction system for groupoid crossed products. We then use this induction system to show that, given a regular groupoid $G$ and a dynamical system $(A,G,α)$, every irreducible representation of $A times G$ is induced from a representation of the group crossed product $A(u) times S_u$ where $u\in G\unit$, $A(u)$ is a fibre of $A$, and $S_u$ is a stabilizer subgroup of $G$.

研究动机与目标

• 将Mackey机械推广至广群交叉积，利用Rieffel的希尔伯特模框架。
• 研究正则广群 $G$ 与 $C_0(G^{(0)})$-代数 $A$ 的 $A \rtimes G$ 的表示理论。
• 建立 $A \rtimes G$ 的每个不可约表示均源于稳定子交叉积 $A(u) \rtimes S_u$ 的表示。
• 将 $A \rtimes G$ 的谱识别为 $A \rtimes S$ 的谱的商空间，其中 $S$ 是稳定子子广群。
• 将现有关于群交叉积与广群 $C^*$-代数的结果推广至广群动力系统的设定。

提出的方法

• 通过希尔伯特 $A \rtimes S_u$-模，为广群交叉积引入一种Rieffel诱导系统。
• 利用单位空间 $G^{(0)}$ 的结构及 $G$ 的作用，为每个 $u \in G^{(0)}$ 定义稳定子群 $S_u$。
• 应用Mackey-Glimm对偶性，假设 $G$ 是正则的，以确保 $G^{(0)}/G$ 几乎是豪斯多夫空间。
• 通过索引为序数的开 $G$-不变集 $U_\beta \subset G^{(0)}$，为 $A \rtimes G$ 构造一个合成列 $\{I_\beta\}$。
• 证明每个商 $I_{\beta+1}/I_\beta$ 同构于一个豪斯多夫商空间 $G|_{U_{\beta+1} \setminus U_\beta}$ 上的交叉积。
• 对 $S_u$ 到 $G|_{U_{\beta+1} \setminus U_\beta}$ 应用诱导，以表明不可约表示通过 $A(u) \rtimes S_u$ 的诱导产生。

实验结果

研究问题

• RQ1 能否通过从稳定子子群诱导，将Mackey机械推广至广群交叉积？
• RQ2 在何种条件下，$A \rtimes G$ 的每个不可约表示都源于 $A(u) \rtimes S_u$ 的表示？
• RQ3 $A \rtimes G$ 的谱与稳定子交叉积 $A(u) \rtimes S_u$ 的谱之间有何关系？
• RQ4 广群 $G$ 的正则性在确保诱导机制有效中起什么作用？
• RQ5 当 $R$ 在 $A(u) \rtimes S_u$ 上不可约时，诱导表示 $\operatorname{Ind}_{S_u}^G R$ 是否不可约？

主要发现

• 在 $G$ 正则的假设下，$A \rtimes G$ 的每个不可约表示都源于某个 $u \in G^{(0)}$ 的 $A(u) \rtimes S_u$ 的表示。
• 将诱导表示 $\operatorname{Ind}_{S_u}^{G|_{U_{\beta+1} \setminus U_\beta}} R$ 到 $A \rtimes G$ 的自然延拓与 $\operatorname{Ind}_{S_u}^G R$ 一致，确保了各诱导层级之间的连贯性。
• $I_{\beta+1}/I_\beta$ 同构于 $A(U_{\beta+1} \setminus U_\beta) \rtimes G|_{U_{\beta+1} \setminus U_\beta}$，从而实现了表示理论的局部化。
• 当 $R$ 在 $A(u) \rtimes S_u$ 上不可约且轨道空间为豪斯多夫时，表示 $\operatorname{Ind}_{S_u}^{G|_{U_{\delta} \setminus U_{\sigma}}} R$ 也是不可约的。
• 若 $\operatorname{Ind}_{S_u}^G R \simeq \operatorname{Ind}_{S_u}^G L$，则 $R \simeq L$，表明诱导在不可约表示上是单射的。
• $A \rtimes G$ 的谱与不相交并 $\coprod_{u \in G^{(0)}} (A(u) \rtimes S_u)^\wedge$ 的商空间同胚，反映了诱导结构。