[논문 리뷰] Flat dimension growth for C*-algebras

Andrew S. Toms|ArXiv.org|2005. 10. 19.

Advanced Operator Algebra Research참고 문헌 19인용 수 7

한 줄 요약

이 논문은 단일화된 AH C*-대수에 대한 차원-랭크 비율(drr)과 단일화된 안정적으로 유한한 C*-대수에 대한 비교 반경(rc)이라는 두 가지 새로운 불변량을 도입하여 단순하고 핵심적인 C*-대수에서의 비-\mathcal{Z}-안정성 정도를 측정한다. drr가 순서 정렬 K-이론과 연결되어 있음을 보이며, drr의 범위가 단순한 대수에 의해 완전히 소진됨을 증명함으로써 비-\mathcal{Z}-안정적인 대수가 비가чёт 수만큼 존재함을 보이며, rc가 drr를 일반화함을 보이고, drr = 2r를 만족하는 대수들에 대해 rc ≥ r임을 보여준다.

ABSTRACT

We introduce two nonnegative real-valued invariants for unital and stably finite C*-algebras whose minimal instances coincide with the notion of classifiability via the Elliott invariant. The first of these is defined for AH algebras, and may be thought of as a generalisation of slow dimension growth. The second invariant is defined for any unital and stably finite algebra, and may be thought of as an abstract version of the first invariant. We establish connections between both invariants and ordered K-theory, and prove that the range of the first invariant is exhausted by simple unital AH algebras. Consequently, the class of simple, unital, and non-Z-stable AH algebras is uncountable.

연구 동기 및 목표

• 비-\mathcal{Z}-안정적이고 단순하며 핵심적인 C*-대수들 사이의 구조적 차이를 감지할 수 있는 불변량의 부족을 해결하기 위해.
• 블랙더의 이른바 중간 차원 성장에 대한 추측을 확장하여, AH 대수에 대한 평탄한 차원 성장 이론을 개발하기 위해.
• 단일화된 AH 대수에서 최소 차원 성장 정도를 측정하는 불변량으로서 차원-랭크 비율(drr)을 정의하고 연구하기 위해.
• 더 넓은 범위의 단일화된 안정적으로 유한한 C*-대수들에 대해 drr를 일반화하는 비교 반경(rc)을 정의하고 연구하기 위해.
• rc와 drr가 비-\mathcal{Z}-안정성을 탐지하고 순서 정렬 K-이론과 연결되어 있음을 보여주기 위해.

제안 방법

• 유도 극한 분해에서 dim(X_{i,l}) / rank(p_{i,l})의 limsup를 통해 단일화된 AH 대수에 대한 평탄한 차원 성장을 정의한다.
• 평탄한 차원 성장에서의 limsup의 하한으로서 차원-랭크 비율(drr)을 정의하여 최소 차원 성장을 측정한다.
• drr = 0이면 오직 그 대수가 느린 차원 성장을 가질 때에만 성립하며, drr > 0이면 비-느린 성장을 나타낸다.
• Cuntz 준군에서 양의 원소 간 비교를 기반으로 하여 단일화된 안정적으로 유한한 C*-대수를 위한 비교 반경(rc)을 불변량으로 정의한다.
• 단순한 단일화된 AH 대수에서 실수 랭크가 0이고 안정 랭크가 1인 경우, rc가 drr/2와 일치함을 증명한다.
• K-이론 기법과 K₀ 위의 상태 함수를 사용하여 rc를 프로젝션의 구조와 Cuntz 준군 내 비교에 연결한다.

실험 결과

연구 질문

• RQ1 AH 대수에 대해 느린 차원 성장 초월하여 평탄한 차원 성장 이론을 의미 있게 개발할 수 있는가?
• RQ2 차원-랭크 비율(drr)은 단순한 단일화된 AH 대수에서 비-\mathcal{Z}-안정성을 탐지할 수 있는 강력한 불변량인가?
• RQ3 비교 반경(rc)은 drr를 일반화하고 안정적으로 유한한 C*-대수들에서 비-\mathcal{Z}-안정성의 보편적 측정 기준이 될 수 있는가?
• RQ4 drr의 범위가 단순하고 핵심적이며 비-\mathcal{Z}-안정적인 C*-대수들에 의해 완전히 실현될 수 있는가? 이는 이러한 대수가 비가산 수만큼 존재함을 의미한다.
• RQ5 모든 단일화된 AH 대수에 대해 rc(A) ≤ K·drr(A)를 만족하는 보편적인 상수 K가 존재하는가? 이는 rc가 drr의 추상적 형태임을 확인하는 데 기여한다.

주요 결과

• 모든 단일화된 AH 대수에 대해 차원-랭크 비율(drr)은 잘 정의되어 있으며 유한하며, drr = 0이 되는 것은 오직 그 대수가 느린 차원 성장을 가질 때에만 성립한다.
• 모든 r > 0에 대해 drr = 2r이고 rc ≥ r를 만족하는 단순한 단일화된 AH 대수가 존재함을 보이며, 이는 drr의 범위가 단순한 대수들에 의해 완전히 소진됨을 증명한다.
• drr의 최소값은 0이며, 실수 랭크가 0이고 안정 랭크가 1인 단순한 단일화된 AH 대수들 사이에서 오직 그 대수가 흔한 AF 대수일 때에만 달성된다.
• 실수 랭크가 0이고 안정 랭크가 1인 단순한 단일화된 AH 대수들에 대해 비교 반경(rc)은 drr/2와 일치하며, 이는 rc가 drr를 일반화함을 보여준다.
• drr = 2r를 만족하는 대수들에 대해 rc ≥ r임을 보였으며, rc ≤ K·drr를 만족하는 어떤 보편적 K > 0가 존재할 것이라 추측한다. 이 경우 rc가 drr의 자연스러운 추상화임을 확인할 수 있다.
• 질문 6.9(양의 원소에 대한 C(X)에서의 랭크와 차원의 상한에 관한 것)에 대한 긍정적 답변은 A ≇ M_n(A) 이지만 (V(A),[1_A]) ≅ (Q⁺,1)인 단순하고 핵심적인 C*-대수 A의 존재를 암시하며, 엘리엇의 분류 추측에 대해 강력한 반례를 제공한다.