[논문 리뷰] On the classification of nuclear C*-algebras

Marius Dădărlat, Søren Eilers|ArXiv.org|1998. 09. 16.

Advanced Operator Algebra Research인용 수 58

한 줄 요약

이 논문은 $K'K$-이론과 준대각선성(Quasidiagonality)을 사용하여 단위를 가진 핵심적 $C^*$-대수 간의 $*$-호모모르피즘에 대한 일반적인 존재성 및 유일성 정리를 수립함으로써, 인덕티브 극한이 아닌 국소 근사로 정의된 광범위한 준대각선성 $C^*$-대수의 분류를 가능하게 한다. 핵심 기여는 보편 계수 정리 없이도 준대각선 표현에 의한 흡수 조건 하에서의 안정적 유일성 결과이며, 완전히 양성적인 수축에 관련된 부분 $K'K$-원소를 연결하는 프레임워크를 제공한다.

ABSTRACT

The mid-seventies' works on C*-algebras of Brown-Douglas-Fillmore and Elliott both contained uniqueness and existence results in a now standard sense. These papers served as keystones for two separate theories -- KK-theory and the classification program -- which for many years parted ways with only moderate interaction. But recent years have seen a fruitful interaction which has been one of the main engines behind rapid progress in the classification program. In the present paper we take this interaction even further. We prove general existence and uniqueness results using KK-theory and a concept of quasidiagonality for representations. These results are employed to obtain new classification results for certain classes of quasidiagonal C*-algebras introduced by H. Lin. An important novel feature of these classes is that they are defined by a certain local approximation property, rather than by an inductive limit construction. Our existence and uniqueness results are in the spirit of classical Ext-theory. The main complication overcome in the paper is to control the stabilization which is necessary when one works with finite C*-algebras. In the infinite case, where programs of this type have already been successfully carried out, stabilization is unnecessary. Yet, our methods are sufficiently versatile to allow us to reprove, from a handful of basic results, the classification of purely infinite nuclear C*-algebras of Kirchberg and Phillips. Indeed, it is our hope that this can be the starting point of a unified approach to classification of nuclear C*-algebras.

연구 동기 및 목표

• 기존의 $AF$ 또는 순수하게 무한한 경우를 초월하여 단위를 가진 핵심적 $C^*$-대수 간의 $*$-호모모르피즘에 대한 일반적인 존재성 및 유일성 결과를 개발하는 것.
• 유한차원 이미지가 포함된 분류에서 안정화 복잡도를 제어하기 위한 과제를 해결하기 위해 소스 대수에 준대각선성 흡수 조건을 도입하는 것.
• $K'K$-이론과 완전히 양성적인 수축에 관련된 부분 $K'K$-원소에 대한 새로운 프레임워크를 사용하여 분류 기법을 통합하는 것.
• 보편 계수 정리에 의존하지 않고 기르크버그와 페리스의 순수하게 무한한 핵심적 $C^*$-대수의 분류를 더 일반적이고 개념적인 방법으로 재증명하는 것.
• 인덕티브 극한이 아닌 국소 근사를 통해 정의된 준대각선성 $C^*$-대수에 적용 가능한 통합 분류 프로그램의 기초를 마련하는 것.

제안 방법

• 완전히 양성적인 수축에 대해 부분 $K'K$-원소를 정의하기 위해 $K'K$-이론과 보편 다중계수 정리(UMTT)를 사용하며, 이는 $*$-호모모르피즘의 $K'K$-클래스를 일반화한다.
• 안정화를 제어하기 위해 $\gamma: A \to M(\mathcal{K}(H) \otimes B)$ 형태의 준대각선성 흡수 표현을 도입한다.
• $\delta$-multiplicative 완전히 양성적인 수축과 $K$-삼중체($K_0$, $K_1$, $K_*$)를 사용하여 외란 하에서 $K$-이론적 자료를 근사한다.
• $\underline{\mathbf{K}}$-삼중체 프레임워크를 적용하여 스펙트럼 프로젝션과 유니터리에 대한 함수해석학적 계산을 통해 $K$-이론적 불변량을 맵핑에 연결한다.
• 회전 행렬을 통한 $K_0(A)$에서 $K_1(SA)$로의 표준 사상으로 $K_*$-삼중체 구성에서 $K_0$ 및 $K_1$ 불변량을 연결한다.
• 작은 삼중체에서의 $K$-이론적 일치가 외란 및 합성 하에서 더 큰 집합으로의 일치로 이어진다는 레미마를 통해 안정성 및 근사 성질을 확립한다.

실험 결과

연구 질문

• RQ1 기존의 $AF$나 순수하게 무한한 대수를 초월하여 $K'K$-이론을 사용해 $*$-호모모르피즘에 대한 존재성 및 유일성 정리를 일반화할 수 있는가?
• RQ2 유한차원 이미지가 포함된 분류 정리에서 안정화 복잡도는 어떻게 제어할 수 있는가?
• RQ3 인덕티브 극한이 아닌 국소 근사를 통해 정의된 준대각선성 $C^*$-대수를 분류하기 위한 통합 프레임워크를 개발할 수 있는가?
• RQ4 완전히 양성적인 수축이 $*$-호모모르피즘이 아닌 경우에도 $K'K$-유사 불변량을 부여할 수 있는가?
• RQ5 보편 계수 정리에 의존하지 않고 더 일반적이고 개념적인 방법으로 순수하게 무한한 핵심적 $C^*$-대수의 분류를 재증명할 수 있는가?

주요 결과

• 정리 3.4.1에 의해, 두 $*$-호모모르피즘 $\varphi, \psi: A \to B$가 동일한 $K'K$-클래스를 유도할 경우, $A$가 $M(\mathcal{K}(H) \otimes B)$로의 준대각선성 흡수 표현을 가진다면, 이들은 안정적으로 근사적으로 유니터리 동치임을 보여주는 유일성 결과가 수립된다.
• 완전히 양성적인 수축에 대해 부분 $K'K$-원소를 $K$-삼중체와 함수해석학적 계산을 통해 연결함으로써, 정리 4.1.4에서 완전히 양성적인 수축에 대한 유일성 결과를 증명한다.
• $K$-삼중체의 구성은 $K$-이론적 불변량이 $\delta$-multiplicative 맵 하에서도 보존되며, 유한한 수의 프로젝션과 유니터리 집합으로 근사 가능하다는 것을 보장한다.
• 레미마 A.2.7는 유한한 수의 프로젝션 집합에서의 $K$-이론적 일치가, 맵핑이 유한한 생성자 집합에서 충분히 가까운 노름을 가질 경우 전체 삼중체에서의 일치로 이어진다는 것을 보여준다.
• 이 프레임워크를 통해 보편 계수 정리에 의존하지 않고 순수하게 무한한 핵심적 $C^*$-대수의 분류를 재증명할 수 있으며, 오직 기본적인 $K'K$-이론적 도구만을 사용한다.
• 이 결과들은 모든 준대각선성 $C^*$-대수를 포함할 수 있을 정도로 일반적이며, 이전의 분류 정리에서 사용된 전통적인 빌딩 블록 클래스를 초월한다.