[논문 리뷰] Asymptotically Unitary Equivalence and Classification of Simple Amenable C*-algebras

Huaxin Lin|ArXiv.org|2008. 06. 03.

Advanced Operator Algebra Research참고 문헌 31인용 수 9

한 줄 요약

이 논문은 추적 차수 1 이하인 단위원소를 가진 분리 가능한 단순 애매한 C*-대수의 완전한 분류를 수립한다. 두 단위원소를 가진 단사형 사상이 약한 단위원소 동치임은, KK-이론, 추적 사상, 그리고 로테이션 관련 사상에서 일치할 때이고, 그 조건이 유일한 조건임을 증명한다. 이 결과는 에일리엇 분류 프로그램을 추적 차수 0 또는 1을 넘는 더 넓은 C*-대수의 범주로 확장하며, 차원 성장이 없는 대수와 동형인 Z-안정적 AH-대수를 포함한다.

ABSTRACT

Let $C$ and $A$ be two unital separable amenable simple C*-algebras with tracial rank no more than one. Suppose that $C$ satisfies the Universal Coefficient Theorem and suppose that $ϕ_1, ϕ_2: C o A$ are two unital monomorphisms. We show that there is a continuous path of unitaries $\{u_t: t\in [0, \infty)\}$ of $A$ such that $$ \lim_{t o\infty}u_t^*ϕ_1(c)u_t=ϕ_2(c) foral c\in C $$ if and only if $[ϕ_1]=[ϕ_2]$ in $KK(C,A),$ $ϕ_1^‡=ϕ_2^‡,$ $(ϕ_1)_T=(ϕ_2)_T$ and a rotation related map $\bar{R}_{ϕ_1,ϕ_2}$ associated with $ϕ_1$ and $ϕ_2$ is zero. Applying this result together with a result of W. Winter, we give a classification theorem for a class ${\cal A}$ of unital separable simple amenable \CA s which is strictly larger than the class of separable \CA s whose tracial rank are zero or one. The class contains all unital simple ASH-algebras whose state spaces of $K_0$ are the same as the tracial state spaces as well as the simple inductive limits of dimension drop circle algebras. Moreover it contains some unital simple ASH-algebras whose $K_0$-groups are not Riesz. One consequence of the main result is that all unital simple AH-algebras which are ${\cal Z}$-stable are isomorphic to ones with no dimension growth.

연구 동기 및 목표

• 추적 차수 ≤1인 단순 애매한 C*-대수 사이의 단위원소 단사형 사상에 대한 약한 단위원소 동치의 유일성 정리를 수립하기 위해.
• 에일리엇 분류 프로그램을 추적 차수 0 또는 1을 넘는 엄밀히 더 큰 C*-대수의 범주로 확장하기 위해.
• Z-안정적 단위원소 단순 AH-대수의 경우, 약한 단위원소 동치를 사용하여 차원 성장이 없는 대수와 동형임을 증명하기 위해.
• UHF 대수와의 텐서곱, 인덕티브 극한, 텐서곱에 대해 닫혀 있는 C*-대수의 클래스 A를 특성화하기 위해. 이 클래스에는 많은 ASH-대수와 Z-안정 대수가 포함된다.
• 에일리엇 프로그램에서 추적 차수 0을 넘어서는 C*-대수의 분류를 가능하게 하는, KK-이론, 추적, 그리고 새로운 로테이션 사상에 기반한 분류 프레임워크를 제공하기 위해.

제안 방법

• 최근 [38]에서 증명된, 추적 차수 1인 C*-대수에 대한 기본 호모토피 보조정리(lemma)를 사용하여, 준위상형 사상의 변형을 제어하기 위해.
• Universal Coefficient Theorem (UCT)을 적용하여, KK-이론 클래스가 실제 사상으로 올라가도록 보장하기 위해.
• A 내에서 연속적인 단위원소의 경로를 구성하여, 두 단위원소 단사형 사상 φ₁과 φ₂를 점차적으로 상호연결하기 위해.
• 네 가지 불변량을 통한 약한 단위원소 동치의 검증: [φ₁] = [φ₂] in KK(C,A), φ₁‡ = φ₂‡, (φ₁)T = (φ₂)T, 그리고 R̄φ₁,φ₂ = 0.
• W. Winter의 방법을 활용하여, UHF 대수 Mₚ와의 텐서곱을 통해 분류 문제를 추적 차수 0인 대수로 축소하기 위해.
• 인덕티브 극한과 텐서곱에 대한 닫힘 성질을 활용하여, C*-대수의 클래스 A를 정의하고 특성화하기 위해.

실험 결과

연구 질문

• RQ1 추적 차수 ≤1인 단순 애매한 C*-대수에 대해, 두 단위원소 단사형 사상 φ₁, φ₂: C → A가 언제 약한 단위원소 동치가 되는가?
• RQ2 이러한 사상들을 약한 단위원소 동치로 분류하기 위해 필요한 K-이론적 및 추적 불변량은 무엇이며, 그것들이 충분한 조건인가?
• RQ3 Z-안정적 단위원소 단순 AH-대수는 차원 성장이 없는 대수와 동형으로 간주될 수 있는가?
• RQ4 에일리엇 프로그램에서 추적 차수 0을 넘어서는 C*-대수의 분류를 위해, KK-이론과 추적 이외에 필요한 최소한의 불변량은 무엇인가?
• RQ5 텐서곱, 인덕티브 극한, UHF 대수와의 텐서곱에 대해 닫혀 있는 클래스 A에 속하는 C*-대수들은 무엇이며, 그들의 구조적 특성은 무엇인가?

주요 결과

• 두 단위원소 단사형 사상 φ₁, φ₂: C → A는 [φ₁] = [φ₂] in KK(C,A), φ₁‡ = φ₂‡, (φ₁)T = (φ₂)T, 그리고 R̄φ₁,φ₂ = 0일 때이고, 그 조건이 유일한 조건이다.
• 단위원소를 가진 분리 가능한 단순 애매한 C*-대수의 클래스 A는 모든 단위원소 단순 AH-대수, 모든 Z-안정 대수(그리고 TR ≤1), 그리고 텐서곱, 인덕티브 극한, UHF 대수와의 텐서곱에 대해 닫혀 있다.
• 모든 Z-안정적 단위원소 단순 AH-대수는 차원 성장이 없는 대수와 동형이며, 이는 주요 분류 결과의 핵심적 결과이다.
• A에 속한 대수의 텐서곱은 여전히 A에 속하며, A는 인덕티브 극한에 대해 닫혀 있어, 분류 목적에서의 강건성을 확인한다.
• A에 속한 단위원소 단순 ASH-대수 중에는 메트라이잭빌 쿠샤 추적 상태 공간과 K₀-군이 ℤ인 대수, 그리고 비 라이프스키 K₀-군을 가진 대수도 포함된다.
• A, B ∈ A에 대해, A ⊗ ℤ ≅ B ⊗ ℤ이면 Ell(A ⊗ ℤ) ≅ Ell(B ⊗ ℤ이 되며, 이는 A 내의 Z-안정 대수에 대한 완전한 불변량을 제공한다.