[논문 리뷰] On classification of simple non-unital amenable C*-algebras, II

Guihua Gong, Huaxin Lin|arXiv (Cornell University)|2017. 02. 03.

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

한 줄 요약

이 논문은 UCT와 유한한 핵심 차원 조건 하에, 일반화된 흔적 순위가 1이고 추적에서 K₀가 0인 분리 가능하고 약한 아벨 단순 스테이블리 프로젝션 없는 C*-대수의 분류 정리를 수립한다. 이 정리에 따르면, 두 such 대수는 유일한 엘리엇 불변량이 서로 동형이면 서로 동형임을 보이며, K₀ = ℤ이고 K₁ = 0인 Z₀—모든 Z-안정 C*-대수의 일반 모델—을 도입하여, A ⊗ Z₀ ≅ B ⊗ Z₀ iff Ell(A ⊗ Z₀) ≅ Ell(B ⊗ Z₀)임을 보여, Z₀-안정성에 의해 비단위, 스테이블리 프로젝션 없는 설정으로까지 분류를 확장한다.

ABSTRACT

We present a classification theorem for amenable simple stably projectionless C*-algebras with generalized tracial rank one whose $K_0$ vanish on traces which satisfy the Universal Coefficient Theorem. One of them is denoted by ${\cal Z}_0$ which has a unique tracial state and $K_0({\cal Z}_0)=\mathbb{Z}$ and $K_1({\cal Z}_0)=\{0\}.$ Let $A$ and $B$ be two separable simple $C^*$-algebras satisfying the UCT and have finite nuclear dimension. We show that $A\otimes {\cal Z}_0\cong B\otimes {\cal Z}_0$ if and only if ${ m Ell}(B\otimes {\cal Z}_0)={ m Ell}(B\otimes {\cal Z}_0).$ A class of simple separable $C^*$-algebras which are approximately sub-homogeneous whose spectra having bounded dimension is shown to exhaust all possible Elliott invariant for $C^*$-algebras of the form $A\otimes {\cal Z}_0,$ where $A$ is any finite separable simple amenable $C^*$-algebras. Suppose that $A$ and $B$ are two finite separable simple $C^*$-algebras with finite nuclear dimension satisfying the UCT such that traces vanishe on $K_0(A)$ and $K_0(B)$ (but arbitrary $K_1$). One consequence of the main results in this situation is that $A\cong B$ if and only if $A$ and $B$ have the isomorphic Elliott invariant.

연구 동기 및 목표

• 비단위, 스테이블리 프로젝션 없는 C*-대수로의 엘리엇 분류 프로그램을 확장하여, 전통적인 K-이론적 방법이 실패하는 경우를 다루기 위해.
• K₀에서 양의 원소가 없고 비영인 프로젝션도 없는 단순 C*-대수의 분류 문제를 해결하기 위해.
• K₀ = ℤ이고 K₁ = 0인 Z₀—모든 Z-안정 C*-대수의 일반 모델—을 수립하여, 텐서 곱을 통한 분류를 가능하게 하기 위해.
• Z₀-안정 대수가 엘리엇 불변량에 의해 분류됨을 증명하여, UCT 분류를 비단위 설정으로 확장하기 위해.
• 모든 가능한 엘리엇 불변량이 형식 A ⊗ Z₀인 대수들에 대해, 스펙트럼 차원이 유계인 약간의 부분호모지언 C*-대수로부터 유도될 수 있는지 확인하기 위해.

제안 방법

• 스테이블리 프로젝션 없는 C*-대수의 구조적 조건으로 일반화된 흔적 순위 1(gTR ≤ 1)을 도입한다.
• 유일한 흔적 상태, K₀(Z₀) = ℤ, K₁(Z₀) = 0, 그리고 Z₀ ⊗ Z₀ ≅ Z₀를 가지는 보편 C*-대수 Z₀를 사용한다.
• Kunneth 공식을 적용하여, 임의의 A에 대해 Ki(A ⊗ Z₀) ≅ Ki(A) 및 T(A ⊗ Z₀) ≅ T(A)임을 보인다.
• 중앙 수열과 절단 기법을 활용하여, 성질 (SI)과 연속 스케일을 이용해 D에 속하는 대수의 Z-안정성을 증명한다.
• Z₀-안정 대수의 구조 이론을 통해 A ⊗ Z₀ ≅ B ⊗ Z₀ iff Ell(A ⊗ Z₀) ≅ Ell(B ⊗ Z₀)임을 증명한다.
• 스펙트럼 차원 ≤ 3인 부분호모지언 C*-대수의 인덕티브 극한으로 D에 속하는 대수들과 스테이블리 동형인 대수의 모델을 구축한다.

실험 결과

연구 질문

• RQ1 UCT와 유한한 핵심 차원 조건을 만족하는 비단위, 스테이블리 프로젝션 없는 C*-대수로의 엘리엇 분류 프로그램을 확장할 수 있는가?
• RQ2 Z₀는 스테이블리 프로젝션 없는 C*-대수의 분류를 안정화하는 데 어떤 역할을 하는가?
• RQ3 형식 A ⊗ Z₀인 대수들의 모든 가능한 엘리엇 불변량이 스펙트럼 차원이 유계인 약간의 부분호모지언 C*-대수로부터 실현될 수 있는가?
• RQ4 Z₀-안정성은 유한한 핵심 차원을 가진 UCT 클래스의 C*-대수들에 대해 A ⊗ Z₀ ≅ B ⊗ Z₀ iff Ell(A ⊗ Z₀) ≅ Ell(B ⊗ Z₀)임을 암시하는가?
• RQ5 모든 분리 가능하고 약한 아벨 C*-대수 중 D에 속하는 대수들은 Z-안정인가, 그리고 이는 중심 수열과 절단의 구조와 어떻게 관련되는가?

주요 결과

• 모든 분리 가능하고 단순한 C*-대수 A와 B에 대해, 유한한 핵심 차원과 UCT를 만족할 경우, A ⊗ Z₀ ≅ B ⊗ Z₀ iff Ell(A ⊗ Z₀) ≅ Ell(B ⊗ Z₀)이다.
• Z₀는 K₀(Z₀) = ℤ, K₁(Z₀) = 0이며 Z₀ ⊗ Z₀ ≅ Z₀인 보편적인 Z-안정 C*-대수이다.
• 모든 분리 가능하고 약한 아벨 C*-대수 중 D에 속하는 대수들은 중심 수열 절단과 성질 (SI)을 통해 Z-안정임이 입증되었다.
• A ⊗ Z₀의 엘리엇 불변량은 스펙트럼 차원이 최대 3인 약간의 부분호모지언 C*-대수로부터 실현 가능한 모든 불변량을 포함한다.
• 유한한 분리 가능하고 단순한 C*-대수 A와 B에 대해, 추적에서 K₀가 0이고 유한한 핵심 차원을 만족할 경우, A ≅ B iff Ell(A) ≅ Ell(B)이다.
• D에 속하는 대수들과 스테이블리 동형인 대수의 집합은 정확히 스펙트럼 차원 ≤ 3인 부분호모지언 C*-대수의 인덕티브 극한의 집합이다.