[논문 리뷰] On twisted higher-rank graph C*-algebras

Alex Kumjian, David Pask외 1명|arXiv (Cornell University)|2011. 12. 29.

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

한 줄 요약

이 논문은 k-그래프에 대한 범주적 코homology를 도입하여 비틀린 고계수 그래프 C*-대수에 대한 군oids 모델을 수립한다. 비틀린 k-그래프 C*-대수와 비틀린 군oids C*-대수가 서로 동형임을 증명한다. 게이지 불변 유일성 정리와 쿤츠-크리거 유일성 정리를 증명하고, 이러한 모든 대수들이 핵심적이고 부트스트랩 클래스에 속함을 보인다.

ABSTRACT

We define the categorical cohomology of a k-graph Λ and show that the first three terms in this cohomology are isomorphic to the corresponding terms in the cohomology defined in our previous paper. This leads to an alternative characterisation of the twisted k-graph C*-algebras introduced there. We prove a gauge-invariant uniqueness theorem and use it to show that every twisted k-graph C*-algebra is isomorphic to a twisted groupoid C*-algebra. We deduce criteria for simplicity, prove a Cuntz-Krieger uniqueness theorem and establish that all twisted k-graph C*-algebras are nuclear and belong to the bootstrap class.

연구 동기 및 목표

• 비틀린 k-그래프 C*-대수에 대한 군oids 모델을 범주적 코homology를 사용하여 제공한다.
• 비틀린 k-그래프 C*-대수와 비틀린 군oids C*-대수가 서로 동형임을 수립한다.
• 비틀린 k-그래프 C*-대수에 대한 게이지 불변 유일성 정리를 증명한다.
• 모든 비틀린 k-그래프 C*-대수가 핵심적이고 부트스트랩 클래스에 속함을 보인다.
• 코homological 불변량을 통해 비틀린 k-그래프 C*-대수를 특성화하고, 유일성 정리를 비틀린 설정으로 확장한다.

제안 방법

• k-그래프의 단순체적 구조를 소카테고리로 간주하여 $\underline{H}^*(\Lambda,A)$ 라는 범주적 코homology를 도입한다.
• 중앙 확장에 의한 k-그래프의 중심적 확장을 통해 정사각형 코homology $H^2(\Lambda,\mathbb{T})$ 와 범주적 코homology $\underline{H}^2(\Lambda,\mathbb{T})$ 사이의 동형을 증명한다.
• 아벨 군에 의한 k-그래프의 중심 확장을 정의하고, 이들이 $\underline{H}^2(\Lambda,A)$ 를 분류함을 보인다.
• $\Lambda$ 에 대한 $\mathbb{T}$-값을 가진 2-코사이클로부터 경로 군oids $\mathcal{G}_\Lambda$ 상의 2-코사이클을 구성한다.
• Renault의 군oids C*-대수 이론과 스케일드 프로덕트 구성법을 사용하여 비틀린 군oids 대수와 비틀린 k-그래프 대수 간의 관계를 규명한다.
• 군oids 모델에 게이지 불변 유일성 정리와 쿤츠-크리거 유일성 정리를 적용하여 구조적 성질을 유도한다.

실험 결과

연구 질문

• RQ1 비틀린 k-그래프 C*-대수는 코homological 구성에 의해 비틀린 군oids C*-대수로 표현될 수 있는가?
• RQ2 k-그래프 상의 정사각형 코사이클과 범주적 코사이클 사이에 코homological 동형이 존재하는가?
• RQ3 k-그래프의 중심 확장은 비틀린 k-그래프 C*-대수를 분류하는 데 어떤 역할을 하는가?
• RQ4 비틀린 k-그래프 C*-대수들은 비틀리지 않은 경우와 유사한 유일성 정리를 만족하는가?
• RQ5 모든 비틀린 k-그래프 C*-대수들이 핵심적이고 부트스트랩 클래스에 속하는가?

주요 결과

• k-그래프에 대한 정사각형 코homology와 범주적 코homology 이론의 첫 세 코homology 군은 서로 동형이며, $H^2(\Lambda,\mathbb{T}) \cong \underline{H}^2(\Lambda,\mathbb{T})$ 이다.
• 모든 비틀린 k-그래프 C*-대수 $C^*(\Lambda,\phi)$ 는 비틀린 군oids C*-대수 $C^*(\mathcal{G}_\Lambda, \sigma)$ 와 동형이다.
• 비틀린 k-그래프 C*-대수에 대해 게이지 불변 유일성 정리가 성립한다.
• 비틀린 k-그래프 C*-대수에 대해 쿤츠-크리거 유일성 정리가 수립된다.
• 모든 비틀린 k-그래프 C*-대수들은 핵심적이고 부트스트랩 클래스 $\mathcal{N}$ 에 속한다. 이는 AF 대수의 와핑곱과의 모리타 동치를 통해 보여진다.
• k-그래프에 대한 풀백과 카르테시안 곱 구성은 비틀린 C*-대수에 대해 해당하는 연산을 유도하며, $f$ 가 전사일 경우 $C^*(f^*\Lambda, f^*c) \cong C^*(\Lambda,c) \otimes C(\mathbb{T}^{l-k})$ 이다.