[논문 리뷰] Lifting KK-elements, asymptotical unitary equivalence and classification of simple C*-algebras

Huaxin Lin, Zhuang Niu|ArXiv.org|2008. 02. 11.

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

한 줄 요약

이 논문은 추적 질량이 0인 단위원소를 가진 단순 Z-안정 C*-대수의 완전한 분류를 제시한다. 이는 KK-원소에 대한 올림 문제를 해결하고, 단위원소를 가진 단순형 사상의 점근적 유니터리 동치를 특성화함으로써 달성된다. 또한, 단위원소를 가진 AH-대수 $ C $ 에서 단위원소를 가진 단순 C*-대수 $ A $ 로의 단위원소를 가진 단순형 사상들이 그들의 KK-클래스, 유도된 추적 상태 사상, 그리고 회전 사상에 의해 점근적 유니터리 동치에 대해 분류됨을 증명하며, 이는 Z-안정 C*-대수의 완전한 동형 분류로 이어진다.

ABSTRACT

Let $A$ and $C$ be two unital simple C*-algebas with tracial rank zero. Suppose that $C$ is amenable and satisfies the Universal Coefficient Theorem. Denote by ${KK}_e(C,A)^{++}$ the set of those $κ$ for which $κ(K_0(C)_+\setminus\{0\})\subset K_0(A)_+\setminus\{0\}$ and $κ([1_C])=[1_A]$. Suppose that $κ\in {KK}_e(C,A)^{++}.$ We show that there is a unital monomorphism $ϕ: C o A$ such that $[ϕ]=κ.$ Suppose that $C$ is a unital AH-algebra and $λ: \mathrm{T}(A) o \mathrm{T}_{\mathtt{f}}(C)$ is a continuous affine map for which $τ(κ([p]))=λ(τ)(p)$ for all projections $p$ in all matrix algebras of $C$ and any $τ\in \mathrm{T}(A),$ where $\mathrm{T}(A)$ is the simplex of tracial states of $A$ and $\mathrm{T}_{\mathtt{f}}(C)$ is the convex set of faithful tracial states of $C.$ We prove that there is a unital monomorphism $ϕ: C o A$ such that $ϕ$ induces both $κ$ and $λ.$ Suppose that $h: C o A$ is a unital monomorphism and $γ\in \mathrm{Hom}(\Kone(C), \aff(A)).$ We show that there exists a unital monomorphism $ϕ: C o A$ such that $[ϕ]=[h]$ in ${KK}(C,A),$ $τ\circ ϕ=τ\circ h$ for all tracial states $τ$ and the associated rotation map can be given by $γ.$ Applications to classification of simple C*-algebras are also given.

연구 동기 및 목표

• 추적 질량이 0인 C*-대수의 맥락에서 KK-원소를 단위원소를 가진 단순형 사상으로의 올림 문제를 해결하는 것.
• 단위원소를 가진 AH-대수 $ C $ 에서 단위원소를 가진 단순 C*-대수 $ A $ 로의 단위원소를 가진 단순형 사상의 점근적 유니터리 동치를 특성화하는 것.
• 단순 C*-대수의 분류에서 $ K $-이론과 추적을 분리하는 프로젝션에 대한 제약 조건을 제거하는 것.
• 에lliott 불변량과 추적 질량 조건을 사용하여 단위원소를 가진 분리 가능하고 단순하며 $ \mathcal{Z} $-안정 C*-대수의 완전한 분류 정리를 수립하는 것.

제안 방법

• 추적 질량이 0이면서 $ C $ 가 유계인 단위원소를 가진 단순 C*-대수 $ A $ 와 $ C $ 에 대해, $ {KK}_e(C,A)^{++} $ 에 속하는 모든 $ \kappa $ 가 $ [\phi] = \kappa $ 를 만족하는 단위원소를 가진 단순형 사상 $ \phi: C \to A $ 로 올라간다는 것을 증명한다.
• 단위원소를 가진 단순형 사상 $ C \to A $ 의 점근적 유니터리 동치류와 집합 $ (KKT(C,A)^{++}, \mathrm{Hom}(K_1(C), \mathrm{Aff}(T(A)))/\mathcal{R}_0) $ 사이의 전단사 사상 수립, 여기서 $ \mathcal{R}_0 $ 은 회전 사상이 0이 되는 부분군이다.
• 문헌 [15] 의 점근적 유니터리 동치 이론을 활용하여 분류가 KK-클래스, 추적 상태 사상, 그리고 회전 사상의 전체 자료와 관련됨을 밝힌다.
• 올림 결과를 적용하여, 두 개의 단위원소를 가진 $ \mathcal{Z} $-안정 C*-대수가 그 에lliott 불변량이 서로 일치하고, 어떤 UHF-대수와의 텐서곱이 추적 질량 0을 가진다면 서로 동형임을 보인다.
• Winter [24] 의 결과와 유일한 추적 상태를 가진 유형 I C*-대수의 임베디드 극한의 구조를 활용하여, 유한 생성된 $ K $-이론을 초월해 분류를 확장한다.

실험 결과

연구 질문

• RQ1 추적 질량이 0이면서 $ C $ 가 UCT를 만족하는 단위원소를 가진 단순 C*-대수 $ A $ 와 $ C $ 에 대해, $ \kappa \in {KK}_e(C,A)^{++} $ 가 단위원소를 가진 단순형 사상 $ \phi: C \to A $ 의 KK-클래스로 실현될 수 있는가?
• RQ2 두 개의 단위원소를 가진 단순형 사상 $ \phi, \psi: C \to A $ 가 언제 점근적 유니터리 동치가 되는가?
• RQ3 고정된 KK-클래스와 추적 상태 사상이 주어진 상태에서, 주어진 회전 사상 $ \gamma \in \mathrm{Hom}(K_1(C), \mathrm{Aff}(T(A))) $ 가 단위원소를 가진 단순형 사상 $ \phi: C \to A $ 로 실현될 수 있는가?
• RQ4 에lliott 불변량이 일치하는 경우, 유일한 추적 상태를 가진 유형 I 대수의 임베디드 극한인 단위원소를 가진 분리 가능하고 단순하며 $ \mathcal{Z} $-안정 C*-대수들이 서로 동형이 되는가?
• RQ5 어떤 UHF-대수와의 텐서곱이 추적 질량 0을 가지는 경우, 단위원소를 가진 $ \mathcal{Z} $-안정 C*-대수의 분류가 완전한가?

주요 결과

• 모든 $ \kappa \in {KK}_e(C,A)^{++} $ 가 추적 질량이 0인 C*-대수의 맥락에서 단위원소를 가진 단순형 사상 $ \phi: C \to A $ 로 올라가며, 이는 오랫동안 남아있던 C*-대수의 추적 질량 0에 대한 올림 문제를 해결한다.
• 단위원소를 가진 단순형 사상 $ C \to A $ 의 점근적 유니터리 동치류는 집합 $ (KKT(C,A)^{++}, \mathrm{Hom}(K_1(C), \mathrm{Aff}(T(A)))/\mathcal{R}_0) $ 와 전단사이다. 이는 완전한 분류 불변량을 제공한다.
• 두 개의 단위원소를 가진 $ \mathcal{Z} $-안정 C*-대수가 그 에lliott 불변량이 서로 일치하고, 어떤 UHF-대수와의 텐서곱이 추적 질량 0을 가진다면 서로 동형이다.
• 유일한 추적 상태를 가진 유형 I 대수의 임베디드 극한인 단위원소를 가진 분리 가능하고 단순하며 $ \mathcal{Z} $-안정 C*-대수의 경우, 동형은 에lliott 불변량이 서로 일치하는 것과 동치이다.
• 분류 결과는 유한 생성된 $ K $-이론과 추적을 분리하는 프로젝션을 초월하여, 이전 문헌에서의 핵심 제약 조건을 제거한다.