[논문 리뷰] On the K-theory of higher rank graph C*-algebras

D. Gwion Evans|ArXiv.org|2004. 06. 23.

Advanced Operator Algebra Research참고 문헌 27인용 수 54

한 줄 요약

이 논문은 높은 질서의 그래프 C*-대수의 K-이론에 대해 명시적인 공식을 도출하며, 특히 2-그래프와 3-그래프 대수의 경우를 다룬다. 이를 위해 호모로지 스펙트럴 시퀀스와 정점 행렬의 스미스 표준형을 사용한다. 이는 단위를 가진 k-그래프 C*-대수에서 $K_0$와 $K_1$의 토판 없음 랭크가 동일하다는 것을 증명하며, Cuntz 대수와 동형인 경우를 포함한 특정 예제에 대한 완전한 K-군 계산도 제공한다.

ABSTRACT

Given a row-finite $k$-graph $Λ$ with no sources we investigate the $K$-theory of the higher rank graph $C^*$-algebra, $C^*(Λ)$. When $k=2$ we are able to give explicit formulae to calculate the $K$-groups of $C^*(Λ)$. The $K$-groups of $C^*(Λ)$ for $k>2$ can be calculated under certain circumstances and we consider the case $k=3$. We prove that for arbitrary $k$, the torsion-free rank of $K_0(C^*(Λ))$ and $K_1(C^*Λ))$ are equal when $C^*(Λ)$ is unital, and for $k=2$ we determine the position of the class of the unit of $C^*(Λ)$ in $K_0(C^*(Λ))$.

연구 동기 및 목표

• 높은 질서의 그래프 C*-대수의 K-이론을 계산하며, 특히 $k=2$와 $k=3$의 경우에 대해 호모로지 방법을 사용한다.
• k-그래프 C*-대수의 K-군이 명시적으로 계산될 수 있는 조건을 규명한다.
• 단위를 가진 $C^*(\Lambda)$일 때 $K_0(C^*(\Lambda))$와 $K_1(C^*(\Lambda))$의 토판 없음 랭크가 동일하다는 것을 확립한다.
• 특정 예제에 대한 명시적인 K-군 계산을 제공하며, Cuntz 대수와 동형인 경우를 포함한다.
• Kirchberg-Phillips 분류 정리를 적용하여 K-이론을 통해 $k$-그래프 C*-대수를 분류한다.

제안 방법

• K_*(C^*(\Lambda))로 수렴하는 호모로지 스펙트럴 시퀀스를 사용하며, $E^2_{p,q} \cong H_p(\mathbb{Z}^k, K_q(B))$이다. 여기서 $B$는 AF 대수이다.
• Kumjian과 Pask (2000)에서 확립한 lin $C^*(\Lambda)$가 AF 대수와 $\mathbb{Z}^k$의 와핑곱과 안정적으로 동형임을 기반으로 한다.
• k-그래프 $\Lambda$의 정점 행렬을 사용하여 $H_*(\mathbb{Z}^k, K_0(B))$의 군 호모로지를 계산한다. 이 행렬들은 범주 구조를 캐릭터라이즈한다.
• 사슬 복합체의 미분을 나타내는 행렬에 스미스 표준형을 적용하여 코어널러스와 커널을 계산한다.
• 스펙트럴 시퀀스와 스미스 표준형을 사용하여 $k=2$와 $k=3$의 경우에 대해 $K_0(C^*(\Lambda))$와 $K_1(C^*(\Lambda))$에 대한 명시적 공식을 유도한다.
• Kirchberg-Phillips 분류 정리를 적용하여, K-이론이 일치할 경우 $k$-그래프 C*-대수와 알려진 Cuntz 대수가 동형임을 결론내린다.

실험 결과

연구 질문

• RQ1 2-그래프 C*-대수 $C^*(\Lambda)$의 K-이론 군 $K_0(C^*(\Lambda))$와 $K_1(C^*(\Lambda))$에 대한 명시적 공식은 무엇인가?
• RQ2 더 강한 구조적 가정 하에서 3-그래프 C*-대수의 K-이론은 어떻게 계산할 수 있는가?
• RQ3 단위를 가진 $C^*(\Lambda)$일 때 $K_0(C^*(\Lambda))$와 $K_1(C^*(\Lambda))$의 토판 없음 랭크 사이의 관계는 무엇인가?
• RQ4 $k$-그래프 C*-대수의 K-이론이 그 이sovorphism 클래스를 결정하는 조건은 무엇인가?
• RQ5 K-이론 계산을 통해 $k$-그래프 C*-대수가 알려진 Cuntz 대수와 동형임을 증명할 수 있는가?

주요 결과

• 2-그래프 $\Lambda$에 대해, K-군 $K_0(C^*(\Lambda))$와 $K_1(C^*(\Lambda))$는 정점 행렬 $M_1$과 $M_2$의 스미스 표준형에 의해 완전히 결정된다.
• k=3의 경우, 스미스 표준형을 통해 코어널러스와 커널을 계산할 수 있는 더 강한 가정 하에서 K-군을 계산할 수 있다.
• 단위를 가진 k-그래프 C*-대수에서 $K_0(C^*(\Lambda))$의 토판 없음 랭크는 $K_1(C^*(\Lambda))$의 것과 같다.
• 특정 2-그래프 $\Lambda$에 대해, $K_0(C^*(\Lambda))$는 순서 16의 군이며 $K_0(C^*(\Lambda)) \cong \mathbb{Z}/4\mathbb{Z} \oplus \mathbb{Z}/4\mathbb{Z}$이고 $K_1(C^*(\Lambda)) \cong \mathbb{Z}/4\mathbb{Z} \oplus \mathbb{Z}/4\mathbb{Z}$이다.
• 함수 $c: \mathbb{Z}_2 \times \mathcal{O}_3 \times \mathcal{O}_3 \times \mathcal{O}_3 \to \mathbb{Z}_2$를 통해 정의된 3-그래프 $\Lambda$에 대해, K-군은 자명하므로 $K_0(C^*(\Lambda)) \cong 0$이고 $K_1(C^*(\Lambda)) \cong 0$이며, 이는 Kirchberg-Phillips 정리에 의해 $C^*(\Lambda) \cong \mathcal{O}_2$임을 의미한다.
• 논문은 Kumjian과 Pask (2000) 및 Robertson과 Steger (1999)의 가정이 충족될 경우 $C^*(\Lambda)$가 단위를 가진 Kirchberg 대수임을 확인하며, K-이론을 통한 분류가 가능하다고 한다.