[논문 리뷰] The Mackey Machine for Crossed Products by Regular Groupoids. I

Geoff Goehle|arXiv (Cornell University)|2009. 08. 11.

Advanced Operator Algebra Research참고 문헌 14인용 수 3

한 줄 요약

이 논문은 군oids의 교차곱에 대해 Rieffel 유형의 유도 체계를 도입하여 매크리 기계(Mackey Machine)를 개발한다. 이에 따라 모든 $A \rtimes G$의 기약 표현은 어떤 $u \in G^{(0)}$에 대해 안정자 교차곱 $A(u) \rtimes S_u$의 표현을 유도함으로써 얻어진다. 주요 기여는 군oid $G$에 대한 정규성 조건을 가정할 때 기약 표현의 완전한 유도 이론적 분류를 확보하는 것이다. 결과적으로 이는 힐버트 모듈과 모리타 동치를 사용하여 군oid 동역계에 대해 기존의 군 및 군oid $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$.

연구 동기 및 목표

• Rieffel의 힐버트 모듈 프레임워크를 사용하여 매크리 기계를 군oid 교차곱으로 일반화하기.
• 정규 군oid $G$와 $C_0(G^{(0)})$-대수 $A$에 대해 $A \rtimes G$의 표현 이론을 다루기.
• 모든 $A \rtimes G$의 기약 표현이 안정자 교차곱 $A(u) \rtimes S_u$의 표현으로부터 유도됨을 확립하기.
• 스펙트럼 $A \rtimes G$가 안정자 부분군oid $S$에 대한 $A \rtimes S$의 스펙트럼의 몫으로서 표현됨을 규명하기.
• 기존의 군 교차곱 및 군oid $C^*$-대수 이론을 군oid 동역계의 맥락으로 일반화하기.

제안 방법

• 힐베르트 $A \rtimes S_u$-모듈을 사용하여 군oid 교차곱에 대한 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 안정자 부분군에서의 유도를 사용하여 매크리 기계를 군oid 교차곱으로 일반화할 수 있는가?
• RQ2 모든 $A \rtimes G$의 기약 표현이 $A(u) \rtimes S_u$의 표현으로부터 유도되는 조건은 무엇인가?
• RQ3 $A \rtimes G$의 스펙트럼은 안정자 교차곱 $A(u) \rtimes S_u$의 스펙트럼과 어떻게 관련이 있는가?
• RQ4 군oid $G$의 정규성이 유도 기계가 작동하도록 보장하는 데 어떤 역할을 하는가?
• RQ5 $R$이 $A(u) \rtimes S_u$에서 기약일 때, 유도 표현 $\operatorname{Ind}_{S_u}^G R$는 기약인가?

주요 결과

• 군oid $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$의 disjoint union의 몫과 위상동형이며, 이는 유도 구조를 반영한다.