[논문 리뷰] A classification theorem for direct limits of extensions of circle algebras by purely infinite C*-algebras

Efren Ruiz|ArXiv.org|2005. 08. 14.

Advanced Operator Algebra Research참고 문헌 27인용 수 3

한 줄 요약

이 논문은 $τ\mathcal{A}\mathcal{E}_{0}$-대수라 불리는 일련의 단위를 가진 C*-대수의 분류 정리를 수립한다. 이는 순수하게 무한한 C*-대수의 부트스트랩 클래스에 속한 $M_k(C(S^1))$의 단위 본질적 확장의 모서리들의 유한한 직합의 직접 극한이다. 분류는 $V_*$(연결 사상이 있는 프로젝션과 하이포노르말 부분 등장사상)와 총 $K$-이론을 통해 이루어지며, 이는 이 클래스에서 $V_*$-동형과 $K$-이론 동형이 $*$-동형을 유도함을 증명한다.

ABSTRACT

We give a classification theorem for a class of C*-algebras which are direct limits of extensions of circle algebras by purely infinite C*-algebras. The invariant consists of the following: (1) the set of Murray-von Neumann equivalence classes of projections; (2) the set of homotopy classes of hyponormal partial isometries; (3) a map d; and (4) total K-theory.

연구 동기 및 목표

• 실수 계수가 0인 비단순, 비-AF C*-대수로 엘리엇의 분류 프로그램을 확장하기 위해.
• 원환면 대수의 확장에 의해 만들어진 새로운 단위를 가진 분리 가능하고 약한 아벨 C*-대수의 클래스를 분류하기 위해.
• 항상 $V_*$-이론(프로젝션, 하이포노르말 부분 등장사상, 연결 사상 $d$ 포함)과 총 $K$-이론이 이 클래스에 대해 완전한 불변량임을 보여주기 위해.
• 기존의 클래스, 예를 들어 A$Τ$-대수와 린의 대수들이 이 클래스의 특수한 경우임을 밝혀내기 위해.

제안 방법

• 단위 본질적 확장의 모서리들의 유한한 직합의 직접 극한으로서 $τ\mathcal{A}\mathcal{E}_{0}$-대수를 정의하며, 이는 순수하게 무한한 단순 C*-대수 $I \in \mathcal{P}$에 의해 만들어진다.
• 다음 요소들로 구성된 불변량 $V_*$를 도입한다: (1) 프로젝션의 머피–폰 노이만 동치류 $V(A)$, (2) 하이포노르말 부분 등장사상의 호모토피류 $k_+(A)$, (3) 사상 $d: k_+(A) \to V(A)$, (4) 총 $K$-이론 $\widetilde{K}(A)$.
• 모든 $K$-이론을 유지하는 $V_*$-동형이 약한 내부 자동형으로 유도됨을 보여주는 유일성 정리 증명.
• 이 클래스의 대수들 사이의 $V_*$-동형이 약한 상호연결을 통해 $*$-동형으로 올라감을 보여주는 존재성 정리 증명.
• 편향 레미마를 사용하여 도형이 약간의 비틀림을 가진다 하더라도 단위 연산자 공액을 통해 도형을 약간의 오차로 가까이 만드는 방법을 제시하며, 이를 통해 동형을 구성한다.

실험 결과

연구 질문

• RQ1 이전에 실수 계수가 0인 대수에 대해 사용된 불변량 $V_*$는 원환면 대수의 확장에 의해 만들어진 대수를 분류하는 데까지 확장될 수 있는가?
• RQ2 $V_*$와 총 $K$-이론이 실수 계수가 0인 단위를 가진 $τ\mathcal{A}\mathcal{E}_{0}$-대수에 대해 완전한 불변량인가?
• RQ3 실수 계수가 0인 A$Τ$-대수와 린의 대수들은 $τ\mathcal{A}\mathcal{E}_{0}$-대수의 클래스에 포함되는가?
• RQ4 대수들이 단순하지 않기 때문에 $V_*$만으로는 부족하고 더 강력한 불변량이 필요한가, 아니면 $K$-이론과 함께 $V_*$만으로도 충분한가?

주요 결과

• 실수 계수가 0인 단위를 가진 $τ\mathcal{A}\mathcal{E}_{0}$-대수의 클래스는 불변량 $V_*$와 총 $K$-이론으로 분류된다.
• 실수 계수가 0인 모든 단위 A$Τ$-대수는 $τ\mathcal{A}\mathcal{E}_{0}$-대수이다.
• 부트스트랩 클래스에 속하고 $K_1$가 토퍼션 프리인 모든 단위를 가진 분리 가능하고 약한 아벨 순수하게 무한한 단순 C*-대수들은 $τ\mathcal{A}\mathcal{E}_{0}$-대수이다.
• 유일성 정리와 존재성 정리를 통해 $V_*$가 총 $K$-이론과 함께 결합될 경우 분류에 충분함을 보였다.
• 순수하게 무한한 아이디얼 $I$에 대해 $K_1(I) = 0$이면, $V_*$-동형 조건 자체가 이미 $*$-동형을 유도하므로 $K$-이론은 자명하다.
• 단위 연산자 공액을 통해 도형이 약간의 비틀림을 가진다 하더라도 도형을 약간의 오차로 가까이 만드는 약한 상호연결의 방법을 사용하여 분류가 달성된다.