[논문 리뷰] Irreducible Representations of C*-crossed products by Finite Groups

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

Advanced Operator Algebra Research참고 문헌 9인용 수 7

한 줄 요약

이 논문은 단위 C*-대수 $A$와 유한군 $G$에 대해 C*-크로스드 프로덕트 $A −rtimes_\alpha G$의 기약 표현의 완전한 특성화를 제공한다. 이는 이러한 표현들이 $A$의 기약 표현과 그 표현의 $G$ 내에서의 안정자 부분군에서 유래됨을 보여준다. 핵심 결과는 유한 순환군의 경우, 기약 표현이 최소성(제약 조건이 $A$로 인해 기약이 되는 경우) 또는 동치인 코너제이션을 가진 표현으로부터 유도된다는 것이다. 고정점 대수를 통한 전체적인 구조적 기술이 제공된다.

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 \rtimes_\alpha G$의 기약 표현 $\Pi$에 대해 $\Pi(A)'$가 유한차원임을 보이기 위해 매크리 기계와 공액 분석을 사용한다.
• 콤��� 군의 에르고딕 작용에 관한 Hoegh-Krohn–Landstad–Stormer 정리를 적용하여 $\Pi(A)'$의 유한차원성을 유도한다.
• 주어진 $A$의 기약 표현 $\pi$를 안정화하는 부분군 $H \leq G$에서의 유도를 통한 기약 표현의 구성. 여기서 $\pi \cong \pi \circ \alpha_h$ for $h \in H$.
• 힐버트 공간 분해 $\mathcal{H} = \bigoplus \mathcal{H}_i$ 위에서의 일반화된 순열 연산자 사용을 통해 $\Pi$에 의한 군 유니타리의 작용을 모델링한다.
• $\mathfrak{S}_3$-크로스드 프로덕트에 대한 명시적 행렬 구성: $\omega = \exp(2\pi i/3)$와 블록 대각 연산자를 사용하여 군 관계를 실현한다.
• 공액 분석을 통한 기약성 검증: 군 관계에서 유도된 대칭 제약 조건을 사용하여, 이미지와 가환하는 유일한 스칼라 배수의 항등원 외에 다른 연산자가 존재하지 않음을 보인다.

실험 결과

연구 질문

• RQ1 유한군 $G$와 단위 C*-대수 $A$에 대해, $A \rtimes_\alpha G$의 기약 표현을 어떻게 분류할 수 있는가? 이 때 $A$가 유형 I이거나 작용이 매끄럽다는 가정 없이.
• RQ2 기약 표현 $A \rtimes_\alpha G$와 $A$의 기약 표현, 그리고 고정점 부분대수 사이의 정확한 구조적 관계는 무엇인가?
• RQ3 유한 순환군의 경우, $A \rtimes_\alpha G$의 기약 표현을 $A$의 표현과 그 안정자 부분군을 통해 완전히 특성화할 수 있는가?
• RQ4 비아벨 군인 $\mathfrak{S}_3$의 경우 어떻게 되는가? 기약 표현을 명시적으로 구성할 수 있으며, 순환군의 경우와 어떻게 다를까?
• RQ5 기약 표현 $\widetilde{\Pi}$의 제약 조건이 $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$로 기약이 되는 경우) 또는 생성자 $g$에 대해 $\pi$와 $\pi \circ \alpha_g$가 동치가 아닌 표현 $\pi$로부터 유도된 경우로 나뉜다.
• $\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$ 이고, 제약 조건이 다중도 2를 가지지만 $\widetilde{\Pi}$는 여전히 기약임을 보였다.
• $\widetilde{\Pi}$의 기약성은 $W_\eta^3 = 1$, $W_\tau^2 = 1$, $W_\tau W_\eta W_\tau = W_\eta^2$ 등의 관계와 $W\_\tau$-불변성에서 유도된 대칭 제약 조건을 사용하여, 그 공액에 속하는 모든 연산자가 스칼라임을 보여 증명된다.