[논문 리뷰] Nuclear dimension and Z-stability of pure C*-algebras

Wilhelm Winter|arXiv (Cornell University)|2010. 06. 14.

Advanced Operator Algebra Research참고 문헌 23인용 수 10

한 줄 요약

이 논문은 분리 가능하고 단순하며 비원소적이고 단위를 갖는 C*-대수에서 국소적으로 유한한 핵심 차원을 가지며, 트레이스적 (m, m̄)-순수성 조건을 만족하는 경우, 이러한 대수는 Z-안정성을 가짐을 확립한다 — 특히 강한 트레이스적 m-비교와 트레이스적 m̄-거의 나눗셈을 포함한다. 주요 결과는 이러한 대수가 제이슨–수 대수 Z를 텐서곱으로 흠뻑 흠뻑 흠뻑 흡수함을 증명하여, 톰스–윈터 추측의 주요 케이스를 해결하고, K-이론 불변량을 통한 AH 및 약간 부분호모지언 대수의 분류 결과를 완성한다.

ABSTRACT

In this article I study a number of topological and algebraic dimension type properties of simple C*-algebras and their interplay. In particular, a simple C*-algebra is defined to be (tracially) (m,\bar{m})-pure, if it has (strong tracial) m-comparison and is (tracially) \bar{m}-almost divisible. These notions are related to each other, and to nuclear dimension. The main result says that if a separable, simple, nonelementary, unital C*-algebra A with locally finite nuclear dimension is (m,\bar{m})-pure, then it absorbs the Jiang-Su algebra Z tensorially. It follows that A is Z-stable if and only if it has the Cuntz semigroup of a Z-stable C*-algebra. The result may be regarded as a version of Kirchberg's celebrated theorem that separable, simple, nuclear, purely infinite C*-algebras absorb the Cuntz algebra O_\infty tensorially. As a corollary we obtain that finite nuclear dimension implies Z-stability for separable, simple, nonelementary, unital C*-algebras; this settles an important case of a conjecture by Toms and the author. The main result also has a number of consequences for Elliott's program to classify nuclear C*-algebras by their K-theory data. In particular, it completes the classification of simple, unital, approximately homogeneous algebras with slow dimension growth by their Elliott invariants, a question left open in the Elliott-Gong-Li classification of simple AH algebras. Another consequence is that for simple, unital, approximately subhomogeneous algebras, slow dimension growth and Z-stability are equivalent. In the case where projections separate traces, this completes the classification of simple, unital, approximately subhomogeneous algebras with slow dimension growth by their ordered K-groups.

연구 동기 및 목표

• 단순하고 단위를 갖는 C*-대수에서 핵심 차원과 Z-안정성 간의 연결 고리를 확립한다.
• 강한 트레이스적 m-비교와 트레이스적 m̄-거의 나눗셈을 결합한 정규성 조건으로서의 트레이스적 (m, m̄)-순수성의 정의와 분석을 수행한다.
• 분리 가능하고 단순하며 비원소적이고 단위를 갖는 C*-대수에서 유한한 핵심 차원이 Z-안정성을 암시함을 보여, 톰스–윈터 추측의 주요 케이스를 해결한다.
• 유한한 차원 성장 속도를 갖는 단순하고 단위를 갖는 약간 부분호모지언 C*-대수의 분류를 그들의 순서된 K-이론을 통해 완성한다.

제안 방법

• 강한 트레이스적 m-비교와 트레이스적 m̄-거의 나눗셈을 결합한 (트레이스적으로) (m, m̄)-순수 C*-대수의 개념을 도입한다.
• 로버트의 결과(핵심 차원이 m-비교를 암시함)를 활용하여 이를 트레이스적 m-비교와 m̄-거의 나눗셈으로 확장한다.
• 키르히버그의 커버링 수 기법을 적용하여 핵심 차원과 나눗셈 성질 간의 관계를 규명한다.
• c.p.c. 순서 0 사상과 분해 가능 c.p. 근사화를 활용하여 필요한 ∗-호모모르피즘과 유니터리 원소를 구성한다.
• Cuntz 준군과 그 이sov미즘 불변량을 활용하여 Z-안정성을 특성화한다.
• 이러한 도구들을 종합하여, 국소적으로 유한한 핵심 차원 하에서 트레이스적 (m, m̄)-순수성이 Z-안정성을 암시함을 증명한다.

실험 결과

연구 질문

• RQ1 분리 가능하고 단순하며 비원소적이고 단위를 갖는 C*-대수에서 유한한 핵심 차원이 Z-안정성을 암시하는가?
• RQ2 국소적으로 유한한 핵심 차원을 갖는 C*-대수에서 트레이스적 (m, m̄)-순수성이 Z-안정성을 특성화하는 데 사용될 수 있는가?
• RQ3 약간 부분호모지언 C*-대수에서 Z-안정성은 느린 차원 성장과 동치인가?
• RQ4 핵심 차원이 유한할 경우 C*-대수의 Cuntz 준군이 그 Z-안정성을 결정하는가?
• RQ5 차원 성장 속도가 느린 단순하고 단위를 갖는 약간 호모지언 C*-대수의 경우, 그들의 엘리엇 불변량에 의해 완전히 분류되는가?

주요 결과

• 국소적으로 유한한 핵심 차원을 갖는 분리 가능하고 단순하며 비원소적이고 단위를 갖는 C*-대수는 어떤 m, m̄ ∈ ℕ 에 대해 트레이스적으로 (m, m̄)-순수할 경우 Z-안정성을 가진다.
• 유한한 핵심 차원은 트레이스적 (m, m̄)-순수성을 암시하며, 이는 Z-안정성을 이어받는다.
• Z-안정성은 이러한 대수에서 Cuntz 준군이 A ⊗ ℤ와 동형임과 동치이다.
• 약간 부분호모지언 C*-대수의 경우, Z-안정성과 느린 차원 성장은 서로 동치이다.
• 차원 성장 속도가 느리고, 추적을 분리하는 프로젝션을 갖는 단순하고 단위를 갖는 약간 부분호모지언 C*-대수의 클래스는 그들의 순서된 K-이론으로 분류된다.
• 약간 호모지언 C*-대수의 경우, 느린 차원 성장, Z-안정성, 유한한 분해 랭크는 상호 동치이며, 이는 그들의 엘리엇 불변량을 통한 분류를 완성한다.