[논문 리뷰] A Classification Theorem for Nuclear Purely Infinite Simple C*-Algebras

N. Christopher Phillips|ArXiv.org|1995. 07. 01.

Advanced Operator Algebra Research참고 문헌 25인용 수 9

한 줄 요약

이 논문은 KK-동치가 등호를 이끌어내는 것을 증명하여 비단위형 분리 가능한 핵심적 순수 무한 단순 C*-대수의 분류 정리를 수립한다. 키르히버그의 정리들을 바탕으로, 유니터리 분리 가능한 핵심적 순수 무한 단순 C*-대수가 유니버설 계수 정리(Universal Coefficient Theorem)를 만족할 경우, K-이론 군이 등급-등형(isomorphic)이고 항등원 클래스가 대응될 경우 등호가 성립함을 보여준다.

ABSTRACT

Starting from Kirchberg's theorems announced in 1994, namely O_2 tensor A is isomorphic to O_2 for separable unital nuclear simple A and O_infinity tensor A is isomorphic to A if in addition A is purely infinite, we prove that KK-equivalence implies isomorphism for nonunital separable nuclear purely infinite simple C*-algebras. It follows that if A and B are unital separable nuclear purely infinite simple C*-algebras which satisfy the Universal Coefficient Theorem, and if there is a graded isomorphism from K_* (A) to K_* (B) which preserves the class of the identity, then A is isomorphic to B. Our main technical results are, we believe, of independent interest. We say that two asymptotic morphisms t ---> ϕ_t and t ---> ψ_t from A to B are asymptotically unitarily equivalent if there exists a continuous unitary path t ---> u_t in the unitization B^+ such that || u_t ϕ_t (a) u_t^* - ψ_t (a) || ---> 0 for all a in A. Let A be separable, nuclear, unital, and simple, and let D be unital. We prove that any asymptotic morphism from A to K tensor O_infinity tensor D is asymptotically unitarily equivalent to a homomorphism, and two homotopic homomorphisms from A to K tensor O_infinity tensor D are asymptotically unitarily equivalent.

연구 동기 및 목표

• KK-이론을 사용하여 비단위형 분리 가능한 핵심적 순수 무한 단순 C*-대수를 분류하기.
• 키르히버그의 등호 정리들을 더 넓은 분류 프레임워크로 확장하기.
• 순수 무한 설정에서 KK-동치가 등호를 이끌어내는 조건을 설정하기.
• K ⊗ O_∞ ⊗ D로의 점근적 준동형사상들 사이의 점근적 유니터리 동치를 증명하기.
• 유니버설 계수 정리를 만족하는 유니터리 대수에 대한 K-이론 기반 분류 기준 제공하기.

제안 방법

• 점근적 준동형사상들을 사용하고, 단위화된 공간에서 연속적인 유니터리 경로를 통해 점근적 유니터리 동치를 정의한다.
• 분리 가능한 핵심적 단순 C*-대수 A에서 K ⊗ O_∞ ⊗ D로의 임의의 점근적 준동형사상은 점근적으로 유니터리 동치인 준동형사상과 동치임을 증명한다.
• A에서 K ⊗ O_∞ ⊗ D로의 두 호모토피한 준동형사상은 점근적으로 유니터리 동치임을 확립한다.
• 이 결과들을 적용하여, 비단위형 분리 가능한 핵심적 순수 무한 단순 C*-대수에서 KK-동치가 등호를 이끌어냄을 보인다.
• 키르히버그의 O_2 및 O_∞ 텐서곱에 대한 정리들을 활용하여 분류 문제를 K-이론 불변량으로 환원한다.
• 유니버설 계수 정리를 사용하여 KK-이론의 등형사상과 C*-대수의 등형사상 간의 연결을 맺는다.

실험 결과

연구 질문

• RQ1 비단위형 분리 가능한 핵심적 순수 무한 단순 C*-대수에서 KK-동치가 등호를 이끌어내는 조건은 무엇인가?
• RQ2 K ⊗ O_∞ ⊗ D로의 점근적 준동형사상들은 점근적으로 유니터리 동치인 준동형사상과 동치가 될 수 있는가?
• RQ3 핵심적 단순 C*-대수에서 K ⊗ O_∞ ⊗ D로의 두 호모토피한 준동형사상은 언제 점근적으로 유니터리 동치가 되는가?
• RQ4 어떤 K-이론 조건이 분리 가능한 핵심적 순수 무한 단순 C*-대수 간의 등호를 보장하는가?
• RQ5 유니버설 계수 정리는 이러한 C*-대수의 K-이론을 통해 어떻게 분류에 기여하는가?

주요 결과

• 비단위형 분리 가능한 핵심적 순수 무한 단순 C*-대수에서 KK-동치는 등호를 이끌어낸다.
• 유니터리 분리 가능한 핵심적 단순 C*-대수 A에서 K ⊗ O_∞ ⊗ D로의 임의의 점근적 준동형사상은 점근적으로 유니터리 동치인 준동형사상과 동치이다.
• 이러한 대수에서 K ⊗ O_∞ ⊗ D로의 두 호모토피한 준동형사상은 점근적으로 유니터리 동치이다.
• 유니버설 계수 정리를 만족하는 유니터리 분리 가능한 핵심적 순수 무한 단순 C*-대수들은 K_*-군이 등급-등형이고 항등원 클래스가 대응될 경우 등호이다.
• 분류 결과는 대수가 핵심적이고 순수 무한하다는 가정 하에 성립하며, 핵심 불변량은 K-이론과 항등원 클래스이다.
• 이전의 접근법에서 '국소 점근적 준동형사상'이 필요 없도록 함으로써 증명 과정을 단순화시켰다.