[논문 리뷰] Classification of simple C*-algebras and higher dimensional noncommutative tori

Huaxin Lin|ArXiv.org|2003. 11. 24.

Advanced Operator Algebra Research참고 문헌 5인용 수 8

한 줄 요약

이 논문은 국소적으로 부분동형 C*-대수로 근사되는 단위 원소를 가진 단순 C*-대수들에 대해, 그들의 스케일링된 순서가 붙은 K-이론에 의해 완전히 분류됨을 보여주는 분류 정리를 수립한다. 주요 결과는 이러한 대수들, 특히 형태 $C(b{T}^k) imes_ heta b{Z}$인 일부 고차원 비가환 토러스를 포함하여, 그들의 순서가 붙은 K-이론 군이 서로 동형이면 서로 동형이 되며, 이러한 대수들은 원판 대수들의 인덕티브 극한임을 보여준다.

ABSTRACT

We show that unital simple C*-algebras with tracial topological rank zero which are locally approximated by subhomogeneous C^-algebras can be classified by their ordered $K$-theory. We apply this classification result to show that certain simple crossed products are isomorphic if they have the same ordered $K$-theory. In particular, irrational higher dimensional non-commutative tori of the form $C({\mathbb T}^k) imes_θ{\mathbb Z}$ are in fact inductive limits of circle algebras.

연구 동기 및 목표

• AH-대수를 넘어서 중요한 비-AH C*-대수, 예를 들어 최소 미분형 사상의 작용에 의한 교차곱을 포함한 분류 결과를 확장하기 위해.
• 국소적으로 부분동형 C*-대수들로 근사되는 단위 원소를 가진 단순 C*-대수들에 대해, 트레이서 위상수학적 랭크가 0인 일반적인 분류 정리를 수립하기 위해.
• 일부 무리수 고차원 비가환 토러스 $C(b{T}^k) imes_ heta b{Z}$가 원판 대수들의 인덕티브 극한임을 증명하기 위해.
• 이러한 대수들의 동형이 스케일링된 순서가 붙은 K-이론에 의해 완전히 결정됨을 보여주기 위해.
• 무리수 회전 대수에 대한 엘리엇의 분류 결과를 고차원 비가환 토러스로 일반화하기 위해.

제안 방법

• 트레이서 위상수학적 랭크가 0인 핵심 C*-대수들에 대한 정밀화된 유일성 정리의 사용.
• KK-이론 자료에 대해 '반' 존재 정리를 수립한 후, $\bb{Z}^k$의 부분군들에서의 양의 준동형사상의 연장에 의해 전체 존재 정리를 도출하기 위해.
• UCT와 안정적 랭크 1, 약한 무퍼포레이션된 $K_0$-군에 관한 결과를 적용하여 분류가 적용됨을 보장하기 위해.
• 최근 린과 파운스의 결과를 활용하여 최소 미분형 사상의 교차곱이 부분동형 C*-대수들의 인덕티브 극한임을 보여준다.
• 존재 정리와 유일성 정리를 이용해 K-이론 동형사상의 릿지(lifting)를 통한 C*-대수 간의 동형사상 구성.
• K-이론 자료, 즉 $K_0$, $K_1$, 양의 원소들, 단위 원소들이 동형류를 완전히 결정함을 검증하기 위해.

실험 결과

연구 질문

• RQ1 국소적으로 부분동형 C*-대수들로 근사되는 단위 원소를 가진 단순 C*-대수들 중 트레이서 위상수학적 랭크가 0인 대수들이 스케일링된 순서가 붙은 K-이론에 의해 분류될 수 있는가?
• RQ2 무리수 $\theta$에 대해 형태 $C(b{T}^k) imes_ heta b{Z}$인 고차원 비가환 토러스는 원판 대수들의 인덕티브 극한과 동형인가?
• RQ3 콤���트 다양체 위에서 최소이고 유일하게 에르고딕한 미분형 사상에 의한 교차곱의 C*-대수들이 그들의 순서가 붙은 K-이론 군이 동형이면 서로 동형인가?
• RQ4 모든 유한 생성 부분군이 $\rho_{A_n}(K_0(A_n))$에서 $\bb{Z}^k$로 순서가 붙은 부분군으로 포함될 수 있는 조건이 분류 프레임워크에서 존재 정리에 충분한가?
• RQ5 분류 결과를 AH-대수를 넘어서, 유한 직접합의 동형 대수들의 인덕티브 극한임이 알려져 있지 않은 C*-대수들까지 확장할 수 있는가?

주요 결과

• 국소적으로 부분동형 C*-대수들로 근사되는 단위 원소를 가진 단순 C*-대수들 중 트레이서 위상수학적 랭크가 0인 대수들은 스케일링된 순서가 붙은 K-이론에 의해 완전히 분류된다.
• 무리수 $\theta$에 대해 $C(b{T}^k) imes_ heta b{Z}$는 단위 원소를 가진 단순 인덕티브 극한의 원판 대수들과 동형이다.
• 콤팩트 다양체 $X_i$ 위에서 최소인 미분형 사상 $\sigma_i: X_i \to X_i$에 대해, 교차곱 $C(X_i) \times_{\sigma_i} \bb{Z}$는 그들의 순서가 붙은 $K$-이론 군이 동형이면 서로 동형이다.
• 분류 결과는 실수 랭크가 0인 조건을 만족하는 모든 단순 $C^*$-대수들에 대해 최소 미분형 사상에 의한 다양체에서 유래된 대수들에도 적용된다.
• $K_0$-군은 약한 무퍼포레이션되어 있고 $K_1$-군은 토크션 자유이며, 이는 분류 결과가 적용됨을 보장한다.
• 이 결과는 모든 무리수 회전 대수가 원판 대수들의 인덕티브 극한임을 보여주는 엘리엇과 에반스의 정리를 고차원 비가환 토러스로 일반화한다.