[论文解读] Irreducible Representations of C*-crossed products by Finite Groups

Alvaro Arias, Frédéric Latrémolière|arXiv (Cornell University)|Mar 27, 2008

Advanced Operator Algebra Research参考文献 9被引用 7

一句话总结

本文对酉C*-代数$A$与有限群$G$的C*-半直积$A \rtimes_\alpha G$的不可约表示给出了完整的刻画，表明此类表示源于$A$的不可约表示及其在$G$中的稳定子子群。关键结果是：对于有限循环群，不可约表示要么是最小的（在$A$上的限制是不可约的），要么是从具有等价共轭的表示诱导而来，且通过固定点C*-代数给出了完整的结构描述。

ABSTRACT

We describe the structure of the irreducible representations of crossed products of unital C*-algebras by actions of finite groups in terms of irreducible representations of the C*-algebras on which the groups act. We then apply this description to derive a characterization of irreducible representations of crossed-products by finite cyclic groups in terms of representations of the C*-algebra and its fixed point subalgebra. These results are applied to crossed-products by the permutation group on three elements and illustrated by various examples.

研究动机与目标

• 理解酉C*-代数$A$与有限群$G$的$A \rtimes_\alpha G$的不可约表示结构。
• 将先前关于$\mathbb{Z}_2$-作用的结果推广至任意有限群。
• 以$A$的不可约表示及其在$G$中的稳定子群为基准，对不可约表示进行刻画，尤其关注循环群与对称群。
• 阐明在循环情形下固定点C*-子代数的作用。
• 为$\mathfrak{S}_3$-作用提供显式构造与例子，说明限制到$A$时非不可约的不可约表示。

提出的方法

• 使用Mackey方法与交换子分析，证明任意$A \rtimes_\alpha G$的不可约表示$\Pi$满足$\Pi(A)'$是有限维的。
• 应用Hoegh-Krohn–Landstad–Stormer定理于紧致群的遍历作用，推导出$\Pi(A)'$的有限维性。
• 通过从子群$H \leq G$诱导构造不可约表示，其中$H$稳定给定的$A$的不可约表示$\pi$，且满足$\pi \cong \pi \circ \alpha_h$对所有$h \in H$成立。
• 在希尔伯特空间分解$\mathcal{H} = \bigoplus \mathcal{H}_i$上使用广义置换算子，以建模$\Pi$下群酉算子的作用。
• 对$\mathfrak{S}_3$-半直积使用显式矩阵构造，利用$\omega = \exp(2\pi i/3)$与分块对角算子实现群关系。
• 通过交换子分析验证不可约性，表明仅与像集交换的算子为数量算子，利用群关系带来的对称性约束。

实验结果

研究问题

• RQ1 当$G$为有限群且$A$为酉C*-代数时，若不假设$A$为类型I或作用光滑，如何对$A \rtimes_\alpha G$的不可约表示进行分类？
• RQ2 不可约表示$A \rtimes_\alpha G$与$A$及其固定点子代数的不可约表示之间，存在何种精确的结构关系？
• RQ3 对于有限循环群，能否完全以$A$的表示及其稳定子群来刻画$A \rtimes_\alpha G$的不可约表示？
• RQ4 在非交换群如$\mathfrak{S}_3$的情形下会发生什么？能否显式构造不可约表示？它们与循环情形有何不同？
• RQ5 能否构造出限制到$A$时具有非平凡重数的不可约表示的例子，从而说明一般框架的必要性？

主要发现

• 对任意有限群$G$，$A \rtimes_\alpha G$的每个不可约表示$\Pi$均源于$A$的一个不可约表示$\pi$，其稳定子$H = \{h \in G \mid \pi \cong \pi \circ \alpha_h\}$是$G$的子群，且$\Pi$是由$A \rtimes_\alpha H$的表示诱导而来。
• 交换子$\Pi(A)'$是有限维的，这是由于$G$在$\Pi(A)'$上的遍历作用，以及[7]中的谱子空间定理的推论。
• 对有限循环群，$A \rtimes_\alpha G$的不可约表示要么是最小的（在$A$上的限制是不可约的），要么是由$A$的表示$\pi$诱导而来，使得$\pi$与$\pi \circ \alpha_g$对$G$的生成元$g$不等价。
• 在$\mathfrak{S}_3$情形下，存在$A \rtimes_\alpha \mathfrak{S}_3$的不可约表示$\widetilde{\Pi}$，使得$\widetilde{\Pi}|_A$是$A$的两个等价不可约表示的直和，表明循环群情形的结果无法推广至非交换群。
• 构造了一个显式例子，其中$\widetilde{\Pi}(x) = \begin{bmatrix} \pi(x) & 0 \\ 0 & \pi(\alpha_\tau(x)) \end{bmatrix}$，且$\pi \cong \pi \circ \alpha_\tau$，尽管限制到$A$时重数为二，$\widetilde{\Pi}$仍为不可约表示。
• 通过证明其交换子中的任意算子必为数量算子，从而证明$\widetilde{\Pi}$的不可约性，利用关系$W_\eta^3 = 1$，$W_\tau^2 = 1$，$W_\tau W_\eta W_\tau = W_\eta^2$，以及$W_\tau$-不变性带来的对称性约束。