[논문 리뷰] Irreducible Representations of Groupoid $C^*$-algebras

Marius Ionescu, Dana P. Williams|ArXiv.org|2007. 12. 04.

Advanced Operator Algebra Research참고 문헌 8인용 수 4

한 줄 요약

이 논문은 제2 가산, 국소적으로 컴act한, 하우스도르프인 군oids와 그에 대한 하르 체계를 갖는 경우, 안정성(이소트로피) 군의 기약 표현에서 유도된 표현이 스스로 기약임을 증명한다. 현대적 모리타 동치 이론과 분해 이론을 활용하여, 변환 군의 경우에 대해 맥키의 결과를 일반 군oids C*-대수로 일반화하며, 닫힌 부분군oids 위에서 체계적인 유도 과정을 통해 기약성을 증명하고, 유니터리 동치를 통한 힐버트 모듈의 호환성을 검증한다.

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*-대수의 경우 안정성 군의 기약 표현에서 유도된 표현이 기약임을, 일반적인 분리 가능한 군oids C*-대수로 일반화하는 것.
• 모리타 동치와 분해 이론의 현대적 도구를 활용하여 군oids C*-대수에서 닫힌 부분군oids로부터 표현을 유도하는 이론을 체계화하는 것.
• 이전의 특수한 경우에서의 수월한 접근 방식을 보완하고 확장하여, 군oids C*-대수에서의 유도를 엄밀하고 현대적인 방식으로 정립하는 것.
• 이소트로피 군의 기약 표현에서 시작할 때 유도 과정이 기약성을 유지함을 증명하여, 기약 표현을 체계적으로 구성하는 방법을 제공하는 것.

제안 방법

• 저자들은 공간 $ G_{H^{(0)}} = s^{-1}(H^{(0)}) $ 에서 유도된 임프리미티비티 군oids $ H^G $ 를 구성하며, 여기에 대각선 오른쪽 $ H $-작용을 부여한다.
• 그들은 $ G $ 의 하르 체계를 통합하여 $ G_{H^{(0)}} $ 에서의 $ s $-체계 구조를 이용해 $ H^G $ 에 하르 체계를 정의하며, 군oids 연산과의 호환성을 확보한다.
• 공간 $ 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) $ 의 표현 간의 대응을 확립함으로써 표현의 유도를 가능하게 한다.
• 유도 과정이 복합성과 호환됨을 보이기 위해, $ \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 $ 를 이용해 유니터리 동치 $ V $ 를 구성함으로써, 유도의 전이성(유도의 전이성)을 증명한다.
• 핵심 기술적 단계는 $ \theta $ 가 푸비니 정리와 하르 체계의 성질을 이용해 등거리 동형이며, 밀도가 있는 범위를 가짐을 증명함으로써, 유도된 표현 간의 유니터리 동치를 확립하는 것이다.

실험 결과

연구 질문

• RQ1 제2 가산, 국소적으로 컴팩트한, 하우스도르프인 군oids와 하르 체계를 갖는 일반적인 경우에 대해, 안정성 군 $ G(u) $ 의 기약 표현에서 유도된 표현이 전체 군oids $ C^* $-대수 $ C^*(G) $ 에서 기약이 되는가?
• RQ2 변환 군에 대한 고전적 맥키 유도 이론이 현대적 도구인 모리타 동치와 분해 이론을 사용하여 일반 군oids $ C^* $-대수로 확장 가능한가?
• RQ3 부분군oids에서의 유도 과정은 전이성이 있는가? 그리고 체인 형태의 부분군oids를 거쳐 적용할 경우 기약성이 유지되는가?
• RQ4 기약 표현을 이소트로피 군 $ G(u) $ 의 표현에서 시작하여 $ C^*(G) $ 의 기약 표현를 체계적으로 구성할 수 있는가? 이 과정에서 임프리미티비티 이중모듈러스의 역할은 무엇인가?

주요 결과

• 제2 가산, 국소적으로 컴팩트한, 하우스도르프인 군oids와 하르 체계를 갖는 경우, 안정성 군 $ G(u) $ 의 기약 표현에서 유도된 표현은 군oids $ C^* $-대수 $ C^*(G) $ 에서 기약이다.
• 닫힌 부분군oids $ 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 $ 의 전이성을 증명한다.
• 증명은 분해 정리와 현대적 모리타 동치 이론에 기반하며, 유도된 표현의 기약성이 군oids의 구조와 그 하르 체계의 성질에서 유추됨을 보여준다.
• 이 결과는 제2 가산성의 가정 하에 성립하며, 이는 분해 정리의 적용 가능성을 보장하지만, 저자들은 주요 정리에 있어서 분리 가능성은 엄밀히 필요하지 않다는 점을 언급한다.