[논문 리뷰] CCR and GCR Groupoid C*-algebras

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

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

한 줄 요약

이 논문은 변환군 C*-대수에 대한 고전적 결과를 일반화하여, 군oids C*-대수가 CCR 또는 GCR일 조건이 되는 필요충분조건을 확립한다. 유한성 조건 하에, C*(G)가 CCR이면 궤도 공간이 T₁이면서 모든 이소트로피 군이 CCR여야 하고, GCR이면 궤도 공간이 T₀이면서 모든 이소트로피 군이 GCR여야 함을 증명한다.

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 $C^*(G)$ denote the groupoid $C^*$-algebra. Suppose that the isotropy groups of $G$ are amenable. We show that $C^*(G)$ is CCR if and only if $\go/G$ is a $T_1$ topological space and all of the isotropy groups are CCR. We also show that $C^*(G)$ is GCR if and only if $\go/G$ is a $T_0$ topological space and all of the isotropy groups are GCR.

연구 동기 및 목표

• 변환군 C*-대수에 대한 CCR 및 GCR 분류 정리들을 일반적인 국소적으로 컴acts한 군oids C*-대수로 일반화하기.
• 군oids의 위상적 및 대수적 조건을 규명하여 그 C*-대수가 CCR 또는 GCR가 되도록 보장하기.
• 궤도 공간 G⁰/G에서 C*(G)의 스펙트럼으로 가는 연속적이고 단사적인 사상의 수립을 통해 분류 결과를 가능하게 하기.
• 이전의 주로 군oids 경우에 대한 결과를 이소트로피가 비연속적일 수 있는 비주어진 군oids로 확장하기.
• 이소트로피 군의 애매성은 스펙트럼 사상 구축에 필수적인 기술적 가정임을 보여주되, 이론적으로는 여전히 여유로울 수 있음을 밝히기.

제안 방법

• 각 이소트로피 군 Gᵘᵘ의 자명한 표현을 전체 군oids C*-대수로 유도하여 C*(G) 위에 표현 lᵘ를 정의한다.
• 각 궤도 [u]를 lᵘ의 단위(unitary) 동치류로 보내는 사상 ω: G⁰/G → C*(G)∧를 구성한다.
• Renault의 분해 정리와 이소트로피 군의 애매성 조건을 이용하여 ω가 잘 정의되어 있고, 연속적이며 단사적임을 증명한다.
• 이 연속적 단사 사상의 존재를 통해 궤도 공간 G⁰/G의 위상적 성질(T₁ 또는 T₀)을 C*(G)의 스펙트럼 성질과 연결한다.
• 기존 결과를 활용: C*(G)의 모든 기약 표현은 C*(G|ₐ[u]) ≅ C*(Gᵘᵘ) ⊗ K를 통해 인해, C*(G|ₐ[u])가 CCR/GCR이면 C*(Gᵘᵘ)도 CCR/GCR이다.
• 문헌 [2, 보조정리 3.5] 및 [8, 정리 3.1]을 적용하여 전반적인 CCR/GCR 성질을 이소트로피 군 수준으로 환원한다.

실험 결과

연구 질문

• RQ1 군oids C*-대수 C*(G)가 언제 CCR인가?
• RQ2 군oids C*-대수 C*(G)가 언제 GCR인가?
• RQ3 비주어진 군oids 설정에서, 비아벨이거나 비연속적인 이소트로피를 가진 경우에도 궤도 공간 G⁰/G에서 C*(G)∧로 가는 스펙트럼 사상은 구성 가능한가?
• RQ4 왜 이소트로피 군의 애매성 조건이 스펙트럼 사상 구축에 필요한가? 이 조건은 필수적인가, 아니면 단지 기술적인가?
• RQ5 궤도 공간의 T₁ 및 T₀ 성질은 C*(G)의 CCR 및 GCR 구조와 어떻게 관련이 있는가?

주요 결과

• C*(G)는 궤도 공간 G⁰/G가 T₁ 공간이면서 모든 이소트로피 군 Gᵘᵘ가 CCR일 때이고, 그 때에만 CCR이다.
• C*(G)는 궤도 공간 G⁰/G가 T₀ 공간이면서 모든 이소트로피 군 Gᵘᵘ가 GCR일 때이고, 그 때에만 GCR이다.
• 핵심 기여는 궤도 공간의 위상과 C*-대수의 스펙트럼을 연결하는 연속적이고 단사적인 사상 ω: G⁰/G → C*(G)∧의 구축이다.
• 이 사상 ω는 각 이소트로피 군 Gᵘᵘ에서 자명한 표현을 C*(G)로 유도함으로써 정의되며, 그 잘 정의성과 연속성은 이소트로피 군의 애매성 조건에 의존한다.
• 이 증명은 C*(G)의 모든 기약 표현이 어떤 u ∈ G⁰에 대해 C*(G|ₐ[u]) ≅ C*(Gᵘᵘ) ⊗ K를 통해 인해, 문제를 이소트로피 군 수준으로 환원할 수 있음을 이용한다.
• 애매성 가정은 Renault의 분해 정리를 통해 ω의 연속성 확보에 필수적이지만, 최종 특성화에서는 여전히 여유로울 수 있음을 저자들이 추측한다.