[논문 리뷰] Localizing the Elliott conjecture at strongly self-absorbing C*-algebras

Wilhelm Winter|ArXiv.org|2007. 08. 02.

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

한 줄 요약

이 논문은 강하게 자기흡수적인 C*-대수, 특히 Jiang–Su 대수 𝒁에서의 Elliott 추측의 국소화 개념을 체계화하고, 분해 계수가 국소적으로 유한하며 UCT를 만족하고 추적을 분리하는 프로젝션을 갖는 분리 가능하고 단위원을 갖는 단순 C*-대수들이 𝒁에서 국소화된 추측을 만족함을 증명한다. 핵심 결과는 실수 계수가 0인 모든 알려진 단위원을 갖는 분리 가능하고 단순한 초유한 C*-대수(코homology에서 토파스가 유한 생성인 경우)와 프로젝션 없는 Jiang–Su 대수를 포함하는 분류 정리이며, 이는 인덕티브 극한 구조나 프로젝션 존재성에 의존하지 않는다.

ABSTRACT

We formally introduce the concept of localizing the Elliott conjecture at a given strongly self-absorbing C*-algebra $D$; we also explain how the known classification theorems for nuclear C*-algebras fit into this concept. As a new result in this direction, we employ recent results of Lin to show that (under a mild K-theoretic condition) the class of separable, unital, simple C*-algebras with locally finite decomposition rank and UCT, and for which projections separate traces, satisfies the Elliott conjecture localized at the Jiang-Su algebra Z. Our main result is formulated in a more general way; this allows us to outline a strategy to possibly remove the trace space condition as well as the K-theory restriction entirely. When regarding both our result and the recent classification theorem of Elliott, Gong and Li as generalizations of the real rank zero case, the two approaches are perpendicular in a certain sense. The strategy to attack the general case aims at combining these two approaches. Our classification theorem covers simple ASH algebras for which projections separate traces (and the K-groups of which have finitely generated torsion part); it does, however, not at all depend on an inductive limit structure. Also, in the monotracial case it does not rely on the existence or absence of projections in any way. In fact, it is the first such result which, in a natural way, covers all known unital, separable, simple, nuclear and stably finite C*-algebras of real rank zero (the K-groups of which have finitely generated torsion part) as well as the (projectionless) Jiang-Su algebra itself.

연구 동기 및 목표

• 강하게 자기흡수적인 C*-대수 𝒟, 특히 𝒁에서의 Elliott 추측의 국소화 개념을 체계화하는 것.
• 풍부한 프로젝션에 의존하지 않도록 실수 계수 0이 아닌 경우로 분류 결과를 확장하는 것.
• 초유한 C*-대수의 분류에서 K-이론 제약 조건과 추적 공간 조건을 제거하기 위한 전략을 제공하는 것.
• 실수 계수 0 분류와 Elliott–Gong–Li의 AH 대수 분류를 상보적인 두 접근 방식을 통합하는 것.
• 인덕티브 극한 구조에 의존하지 않는, 프로젝션 없는 대수(예: 𝒁)와 실수 계수 0 대수를 모두 포함하는 분류 결과를 확립하는 것.

제안 방법

• 강하게 자기흡수적인 C*-대수 𝒟, 특히 𝒁에서의 Elliott 추측의 국소화 개념을 도입한다.
• Lin의 최근 결과, 즉 추적 근사와 TAI(연속 함수의 C*-대수에서의 추적적으로 근사 가능한)를 활용하여 분류 기법을 확장한다.
• 분해 계수가 국소적으로 유한하고 UCT를 만족하며 프로젝션으로 추적을 분리하는 조건 하에서, [40]과 [60]의 분류 기계를 응용한다.
• 실수 계수 0 가정을 대체하기 위해 추적 계수 1 또는 TAI 조건을 활용하여 실수 계수 0을 초월하는 일반화를 시도한다.
• 실수 계수 0인 경우 𝒁-안정 대수에서 추적 상태 공간이 분류 불변량에 포함되어야 할 필요가 없음을 활용하여 불변량을 단순화한다.
• 결과를 [34]와 [40]의 결과를 더 넓은 범위의 AH 대수로 확장함으로써 K-이론 제약 조건을 제거할 수 있는 일반적 프레임워크를 제안한다.

실험 결과

연구 질문

• RQ1 Elliott 추측은 Jiang–Su 대수 𝒁에서 의미적으로 국소화될 수 있는가? 그리고 기존의 분류 정리들을 어떻게 일반화하는가?
• RQ2 𝒁-안정성 하에서 분류 결과를 유지하면서 실수 계수 0 제약 조건을 얼마나 제거할 수 있는가?
• RQ3 𝒁에서의 분류에 있어 프로젝션으로 추적을 분리하는 조건이 필수적인가, 아니면 수정된 불변량이나 구조적 가정을 통해 제거할 수 있는가?
• RQ4 현재의 분류 정리에서 K-이론 제약 조건을 [34]와 [40]의 결과를 더 일반적인 AH 대수로 확장함으로써 제거할 수 있는가?
• RQ5 실수 계수 0 분류와 Elliott–Gong–Li 분류 접근 방식을 𝒁-안정성의 맥락에서 그들의 강점을 융합하여 통합할 수 있는가?

주요 결과

• 분해 계수가 국소적으로 유한하고 UCT를 만족하며 프로젝션으로 추적을 분리하는 분리 가능하고 단위원을 갖는 단순 C*-대수의 클래스는 Jiang–Su 대수 𝒁에서 국소화된 Elliott 추측을 만족한다.
• 이 분류 결과는 실수 계수 0이면서 K-이론에서 유한 생성된 토파스를 갖는 모든 알려진 단위원을 갖는 분리 가능하고 단순한 초유한 C*-대수(예: 무리각 회전 대수와 UHF 대수 포함)에 대해 성립한다.
• 결과는 프로젝션 없는 Jiang–Su 대수 𝒁와 최소 미분구조를 갖는 일부 프로젝션 없는 와이즈드 곱 𝒞(S³) ⋊α ℤ를 포함한다.
• 분류 결과는 인덕티브 극한 구조에 의존하지 않으며, 국소적으로 유한한 분해 계수는 전역적 인덕티브 극한 분해가 필요로 하지 않는 국소적 조건이다.
• 단일 추적의 경우, 프로젝션의 존재 또는 부재에 관계없이 결과가 성립함으로써 그 일반성과 강력함을 입증한다.
• 실수 계수 0인 경우, UHF 대수와의 텐서 곱에 대한 불변성 덕분에 추적 상태 공간이 불변량에 포함되어야 할 필요가 없어져 분류 불변량이 단순화된다.