[논문 리뷰] Classification of finite simple amenable ${\cal Z}$-stable $C^*$-algebras

Guihua Gong, Huaxin Lin외 1명|arXiv (Cornell University)|2014. 12. 31.

Advanced Operator Algebra Research참고 문헌 71인용 수 73

한 줄 요약

이 논문은 유니탈, 단순, 분리 가능, 애매한, Z-안정인 C*-대수의 분류 정리를 유일한 에일리오프 불변량을 사용하여 수립한다. Z-안정 대수에서 불변량이 동형인 경우, 맵의 점근적 유니터리 동치를 통해 동형임을 증명함으로써, 유한한 유리수 흔적 랭크와 유한한 분해 랭크를 가진 대수를 포함한 광범위한 C*-대수의 클래스를 UCT 조건 하에서 분류한다.

ABSTRACT

We present a classification theorem for a class of unital simple separable amenable ${\cal Z}$-stable $C^*$-algebras by the Elliott invariant. This class of simple $C^*$-algebras exhausts all possible Elliott invariant for unital stably finite simple separable amenable ${\cal Z}$-stable $C^*$-algebras. Moreover, it contains all unital simple separable amenable $C^*$-alegbras which satisfy the UCT and have finite rational tracial rank.

연구 동기 및 목표

• 유니탈, 단순, 분리 가능, 애매한, Z-안정인 C*-대수의 광범위한 클래스를 에일리오프 불변량을 사용하여 분류하기.
• 일반적인 애매한 설정에서 에일리오프 불변량을 통한 분류를 위해 Z-안정성이 필수 조건임을 수립하기.
• 유한한 유리수 흔적 랭크 또는 유한한 분해 랭크를 가진 대수로 분류 결과를 확장하기.
• 점근적 유니터리 동치를 사용하여 인덕티브 리미트 구조를 가정하지 않은 C*-대수의 분류 프레임워크 제공하기.

제안 방법

• A ⊗ Z 를 A ⊗ Q 안의 경로 대수의 정적 인덕티브 리미트로 보는 워터의 프레임워크를 사용한다.
• C*-대수 간 맵에 대한 존재성 및 유일성 정리들을 점근적 유니터리 동치에 맞게 조정하여 적용한다.
• KK 이론과 전체 K-이론을 사용하여 K-이론 데이터를 C*-대수 맵으로 옮긴다.
• 연속적인 유니터리 경로를 구성하여 맵 간의 강한 점근적 유니터리 동치를 실현한다.
• Z-안정 대수의 맥락에서 상호 연결 논증을 적용하여 불변량의 동형을 원래 대수의 동형으로 옮긴다.
• UHF 대수와의 텐서곱에서 K1 및 K0 가 유사분할 가능하므로 점근적 유니터리 릿지의 존재를 보장한다.

실험 결과

연구 질문

• RQ1 에일리오프 불변량은 유니탈, 단순, 분리 가능, 애매한, Z-안정 C*-대수의 분류를 가능하게 하는가?
• RQ2 애매한 설정에서 에일리오프 불변량을 통한 분류를 위해 Z-안정성이 필수 조건인가?
• RQ3 분류 결과는 유한한 유리수 흔적 랭크 또는 유한한 분해 랭크를 가진 대수로 확장될 수 있는가?
• RQ4 구성 요소 간 맵의 점근적 유니터리 동치가 원래 C*-대수의 동형을 암시하는가?
• RQ5 인덕티브 리미트 형태가 아닌 대수로 분류 결과를 확장할 수 있는가?

주요 결과

• 유한한 유리수 흔적 랭크를 가진 모든 유니탈, 단순, 분리 가능, 애매한, Z-안정 C*-대수들은 에일리오프 불변량에 의해 분류된다.
• 연구된 대수의 클래스는 유니탈 스테이블리 유한한 단순 분리 가능 애매한 Z-안정 C*-대수의 모든 가능한 에일리오프 불변량 값을 고갈한다.
• N0 클래스에 속하는 A와 B에 대해, A ⊗ Z ≅ B ⊗ Z 이다. (필요 및 충분 조건: Ell(A ⊗ Z) ≅ Ell(B ⊗ Z)).
• A와 B가 N0에 속하고 에일리오프 불변량이 동형인 경우, A ⊗ Z ≅ B ⊗ Z 이다.
• 이 결과는 유한한 분해 랭크를 가지며 UCT 를 만족하는 모든 유니탈, 분리 가능, 단순 C*-대수들이 에일리오프 불변량에 의해 분류됨을 암시한다.
• 증명 과정에서 맵의 강한 점근적 유니터리 동치가 스펜디드 유니터리 경로를 통해 원래 대수의 동형으로 옮겨진다.