[논문 리뷰] Classifying the Type of Principal Groupoid C*-algebras

Lisa Orloff Clark|ArXiv.org|2005. 11. 17.

Advanced Operator Algebra Research참고 문헌 12인용 수 6

한 줄 요약

이 논문은 궤도 공간 $G^0/G$의 위상적 성질과 연산자 대수적 성질을 연결하여 주로 그룹로이드 $C^*$-대수의 유형을 분류한다. $C^*(G)$가 CCR일 조건은 $G^0/G$가 $T_1$이고, GCR일 조건은 $G^0/G$가 $T_0$이며, 펠 대수일 조건은 $G$가 카르탕 그룹로이드일 때임을 증명한다. 이는 궤도 공간에서 $C^*(G)$의 스펙트럼으로 가는 연속적인 사상이며, $T_0$일 경우 위상동형사상임을 이용한다.

ABSTRACT

Suppose $G$ is a second countable, locally compact, Hausdorff groupoid with a fixed left Haar system. Let $\go/G$ denote the orbit space of $G$ and $\cs(G)$ denote the groupoid $C^*$-algebra. Suppose that $G$ is a principal groupoid. We show that $C^*(G)$ is CCR if and only if $\go/G$ is a $T_1$ topological space, and that $C^*(G)$ is GCR if and only if $\go/G$ is a $T_0$ topological space. We also show that $C^*(G)$ is a Fell Algebra if and only if $G$ is a Cartan groupoid.

연구 동기 및 목표

• 변환 그룹로이드 $C^*$-대수에 대한 기존 분류 결과를 더 넓은 주제인 주로 그룹로이드로 일반화하기 위해.
• 궤도 공간 $G^0/G$의 위상적 성질과 $C^*(G)$의 $C^*$-대수적 분류 사이의 정확한 대응 관계를 설정하기 위해.
• G가 카르탕 그룹로이드일 때이고 오직 그 때에만 $C^*(G)$가 펠 대수임을 증명하기 위해, 이는 이전의 카르탕 쌍에 대한 결과를 확장하기 위함이다.
• 궤도 공간 $G^0/G$에서 $C^*(G)$의 스펙트럼 $\widehat{C^*(G)}$로 가는 연속적이고, $T_0$일 경우 위상동형인 사상 구축하기 위해.
• 미래 연구에서 비주로 그룹로이드로 CCR 및 GCR 결과를 확장하기 위한 기초 틀 제공하기 위해.

제안 방법

• 각 궤도 $[u]$에 대해 $u$에서의 점 질량으로부터 유도된 임의의 기저 표현 $L^u$를 할당하여 사상 $\psi: G^0/G \to \widehat{C^*(G)}$를 구성한다.
• 궤도 공간의 위상과 표현에서 약한 연산자 위상의 조합을 사용하여 $\psi$의 연속성을 증명한다.
• 열린 산란 집합과 포화성 조건을 이용하여, $G^0/G$가 $T_0$일 경우에 $\psi$의 단사성과 개방성을 증명함으로써, $\psi$가 위상동형임을 보인다.
• 분해 정리와 $C_c(G)$의 표현 이론을 사용하여 $C^*$-노름과 $C^*(G)$의 구조를 확립한다.
• 주로 그룹로이드의 구조를 활용하여, 열린 $G$-불변 부분집합 $Y \subset G^0$에 대해 $C^*(G|_Y)$ 형태의 아이디얼을 특성화한다.
• 산란 주변이 연속적 추적 아이디얼과 펠 점의 구조와 연결됨을 이용하여, $G$가 카르탕 그룹로이드일 조건과 $C^*(G)$가 펠 대수임을 연결한다.

실험 결과

연구 질문

• RQ1 궤도 공간 $G^0/G$에 어떤 위상적 조건이 성립할 때, 그룹로이드 $C^*$-대수 $C^*(G)$가 CCR가 되는가?
• RQ2 주로 그룹로이드 $G$에 대해 $C^*(G)$가 언제 GCR가 되며, 이는 궤도 공간 $G^0/G$의 $T_0$ 성질과 어떻게 관련되는가?
• RQ3 어떤 주로 그룹로이드 $G$는 $C^*(G)$가 펠 대수가 되게 하는가? 이는 $G$의 카르탕 성질과 어떻게 관련되는가?
• RQ4 스펙트럼 $\widehat{C^*(G)}$는 자연스럽게 궤도 공간 $G^0/G$와 일치할 수 있는가? 이때 위상동형이 성립하는 조건은 무엇인가?
• RQ5 G^0 내에서의 산란 집합과 열린 집합의 포화성은 $C^*(G)$의 아이디얼 구조와 분류에 어떻게 관련되는가?

주요 결과

• 주로 그룹로이드 $G$에 대해 $C^*(G)$가 CCR이 되는 것은 궤도 공간 $G^0/G$가 $T_1$ 위상공간일 때이고 오직 그 때에만 성립한다.
• 주로 그룹로이드 $G$에 대해 $C^*(G)$가 GCR이 되는 것은 궤도 공간 $G^0/G$가 $T_0$ 위상공간일 때이고 오직 그 때에만 성립한다.
• 사상 $\psi: G^0/G \to \widehat{C^*(G)}$가 $\psi([u]) = [L^u]$로 정의될 때, 이는 연속적인 단사 사상이며, $G^0/G$가 $T_0$일 경우 위상동형이다.
• 주로 그룹로이드 $G$에 대해 $C^*(G)$가 펠 대수이면 오직 $G$가 카르탕 그룹로이드일 때 성립한다. 즉, $G^0$의 각 점이 산란 주변을 갖는다.
• 주로 그룹로이드 $G$에 대해 $C^*(G)$의 모든 닫힌 아이디얼은 열린 $G$-불변 부분집합 $Y \subset G^0$에 대해 $C^*(G|_Y)$ 형태로 표현 가능하며, 이는 아이디얼 분류를 가능하게 한다.
• C^*(G)가 GCR일 경우, 가장 큰 펠 아이디얼은 $C^*(G|_Y)$이며, 여기서 $Y$는 $G^0$ 내 모든 점 중 산란 주변을 갖는 점들의 집합이다.