[논문 리뷰] The stable and the real rank of Z-absorbing C*-algebras

Mikael Rørdam|arXiv (Cornell University)|2004. 08. 02.

Advanced Operator Algebra Research참고 문헌 14인용 수 97

한 줄 요약

이 논문은 제논-흡수 C*-대수, 즉 제논 대수 Z와의 텐서곱과 동형인 대수들에 대한 기초적인 구조적 성질을 수립한다. 이 대수들의 쿤츠 준군이 거의 무성질임을 증명하고, 단순하고 단위원을 가지며 Z-흡수인 C*-대수들에 대해 안정적 차수 1은 유한성과 동치이며, 실수 차수 0은 K₀의 약한 나누어떨어짐과 추적의 분리성에 의해 특징지어진다.

ABSTRACT

Suppose that A is a C*-algebra for which A is isomorphic to A tensor Z, where Z is the Jiang-Su algebra: a unital, simple, stably finite, separable, nuclear, infinite dimensional C*-algebra with the same Elliott invariant as the complex numbers. We show that: (i) The Cuntz semigroup W(A) of equivalence classes of positive elements in matrix algebras over A is weakly unperforated. (ii) If A is exact, then A is purely infinite if and only if A is traceless. (iii) If A is separable and nuclear, then A is isomorphic to A tensor O_infty if and only if A is traceless. (iv) If A is simple and unital, then the stable rank of A is one if and only if A is finite. We also characterise when A is of real rank zero.

연구 동기 및 목표

• 제논 대수 Z를 흡수하는 C*-대수의 안정적 및 실수 차수를 특징짓는 것.
• Z-흡수가 K-이론, 추적, 쿤츠 준군에 미치는 구조적 영향을 명확히 하는 것.
• Z-흡수 C*-대수가 안정적 차수 1 또는 실수 차수 0을 갖는 조건을 결정하는 것.
• K₀군의 구조와 추적의 분리성에 기반한 실수 차수 0에 대한 내재 조건을 제공하는 것.

제안 방법

• 행렬 대수에서 A의 양성원들의 쿤츠 준군 W(A)를 분석하여, 이가 거의 무성질임을 보이는 것.
• A ≅ A ⊗ Z라는 사실을 이용해 V(A)와 K₀(A)의 성질, 특히 약한 무성질성의 성질을 도출하는 것.
• 논문 [22]과 [3]의 결과를 적용하여, ρ(K₀(A))가 Aff(T(A))에서 균일하게 조밀함이 실수 차수 0과 관련됨을 보이는 것.
• ρ: K₀(A) → Aff(T(A))의 표준적 사상, ρ(g)(τ) = K₀(τ)(g)를 정의하여 K₀와 추적을 연결하는 것.
• 정리 6.7에서 얻은 안정적 차수 1 결과를 활용하며, σₙ에 의한 근사적 상향과 A 내의 가역성에 의존하는 것.
• 정확성과 거의 무성질성 조건 하에서 실수 차수 0과 ρ(K₀(A))의 Aff(T(A))에서의 균일 조밀성 간의 동치성을 적용하는 것.

실험 결과

연구 질문

• RQ1 Z-흡수 C*-대수가 언제 안정적 차수 1을 갖는가?
• RQ2 Z-흡수 C*-대수에서 실수 차수 0을 특징짓는 K₀와 추적의 조건은 무엇인가?
• RQ3 Z-흡수가 쿤츠 준군과 그의 무성질성 성질에 어떻게 영향을 미치는가?
• RQ4 Z-흡수 C*-대수가 언제 추적을 분리하는 프로젝션을 갖는가?
• RQ5 단순하고 단위원을 가지며 Z-흡수인 C*-대수에서 안정적 차수 1은 유한성과 동치인가?

주요 결과

• Z-흡수 C*-대수 A의 쿤츠 준군 W(A)는 거의 무성질이다.
• 단순하고 단위원을 가지며 정확하고, 유한하며 Z-흡수인 C*-대수 A에 대해, 안정적 차수 1이 되는 것은 A가 유한할 때이고, 그 때에만 성립한다.
• 단순하고 단위원을 가지며 정확하고, 유한하며 Z-흡수인 C*-대수의 실수 차수 0은 ρ(K₀(A))가 Aff(T(A))에서 균일하게 조밀할 때이고, 그 때에만 성립한다.
• 이러한 대수들에 대해 실수 차수 0은 K₀(A)가 약하게 나누어지며, 프로젝션으로서 추적을 분리할 수 있을 때와 동치이다.
• 유일한 추적이 존재하는 경우, 실수 차수 0은 K₀(τ)(K₀(A))가 ℝ에 조밀할 때이고, 그 때에만 성립한다.
• 제논 대수 Z 자체는 실수 차수 0에 대한 추적 분리 조건의 역이 성립하지 않는 반례이다.