[논문 리뷰] Full extensions and approximate unitary equivalences

Huaxin Lin|ArXiv.org|2004. 01. 19.

Advanced Operator Algebra Research참고 문헌 18인용 수 4

한 줄 요약

이 논문은 단위를 가진 분리 가능하고 약한 C*-대수 A와 특정한 무한성 성질을 가진 C*-대수 C에 대해, A에서 C로의 두 전형적 단사형 사상이 근사적으로 유니터리 동치일 조건을 밝혀낸다. 이는 KL 그룹 KL(A,C)에서 같은 원소를 나타낼 때이고, 이는 A가 단위를 가지며 분리 가능하고 약한 조건을 만족할 때 성립한다. 비단위적 σ-단위 C*-대수 B에 대해, M(B)/B 가 특정 조건을 만족할 경우, A에 대한 전형적 본질적 확장들이 근사적으로 유니터리 동치일 조건은 KL(A,M(B)/B)에서 같은 KL 클래스를 유도할 때이다. 이 경우 이러한 클래스들의 집합은 A가 유니버설 계수 정리(UCT)를 만족할 경우 KL(A,M(B)/B)와 동형인 군을 이룬다.

ABSTRACT

Let $A$ be a unital separable amenable \CA and $C$ be a unital \CA with certain infinite property. We show that two full monomorphisms $h_1, h_2: A o C$ are approximately unitarily equivalent if and only if $[h_1]=[h_2]$ in $KL(A,C).$ Let $B$ be a non-unital but $σ$-unital \CA for which $M(B)/B$ has the certain infinite property. We prove that two full essential extensions are approximately unitarily equivalent if and only if they induce the same element in $KL(A, M(B)/B).$ The set of approximately unitarily equivalence classes of full essential extensions forms a group. If $A$ satisfies the Universal Coefficient Theorem, it is can be identified with $KL(A, M(B)/B).$

연구 동기 및 목표

• 단위를 가진 분리 가능하고 약한 C*-대수 A와 비단위적 C*-대수 C에 대해, 전형적 단사형 사상과 본질적 확장을 근사적 유니터리 동치에 따라 분류하는 것.
• A가 단위를 가지며 분리 가능하고 약한 C*-대수일 때, 비단위적 σ-단위 C*-대수 B에 대한 A의 전형적 본질적 확장들이 근사적 유니터리 동치일 조건을 KL 그룹 KL(A,M(B)/B)가 분류하는지 규명하는 것.
• 유니버설 계수 정리(UCT)를 만족할 경우, 전형적 본질적 확장의 근사적 유니터리 동치 클래스 군이 KL(A,M(B)/B)와 동형임을 보이는 것.
• KK1 이론이 유니터리 동치를 감지하지 못하는 안정적인 C*-대수를 초월한 분류 결과를 확장하는 것.

제안 방법

• 본질적 확장을 단사형 사상 τ: A → M(B)/B 로 표현하기 위해 버스비 불변량(_busby invariant_)을 사용하는 것.
• K-이론과 확장 클래스 사이의 관계를 유도하기 위해 유니버설 계수 정리(UCT)를 적용하는 것.
• M(B)/B 에서의 성질 (P1), (P2), (P3) 을 활용하여 전형적 단사형 사상의 존재성과 근사적 유니터리 동치를 보장하는 것.
• 유니터리 동치를 특성화하기 위해 '순수하게 큰'(purely large) 확장과 '근사적으로 흡수하는'(approximate absorbing) 확장을 활용하는 것.
• 코로나 대수에서의 초수(ultrapower) 기법과 여집합 분석을 활용하여 근사적 유니터리 동치를 제어하는 것.
• A를 O2에 통합하고 M(B)/B 내에서 안정적 동치를 이용하여 주어진 KL 클래스를 갖는 전형적 단사형 사상을 구성하는 구조적 증명

실험 결과

연구 질문

• RQ1 단위를 가진 분리 가능하고 약한 C*-대수 A와 특정한 무한성 성질을 가진 비단위 C*-대수 C에 대해, 두 전형적 단사형 사상 h1, h2: A → C 가 근사적으로 유니터리 동치일 조건은 무엇인가?
• RQ2 비단위적 σ-단위 C*-대수 B에 대해, A에 대한 전형적 본질적 확장의 근사적 유니터리 동치 클래스 군이 KL(A,M(B)/B)와 동형이 되기 위한 조건은 무엇인가?
• RQ3 B가 안정적이지 않고 σ-단위일 때, KK1(A,B)가 이를 분류하지 못하더라도 KL 그룹 KL(A,M(B)/B)이 전형적 본질적 확장을 분류할 수 있는가?
• RQ4 모든 전형적 본질적 확장이 근사적으로 흡수 가능한가? 그리고 이는 언제 근사적 유니터리 동치를 유도하는가?
• RQ5 M(B)/B 에서의 성질 (P1), (P2), (P3) 이 전형적 확장들이 같은 KL 클래스를 유도할 경우 근사적으로 유니터리 동치임을 보장하는 데 얼마나 중요한가?

주요 결과

• A가 단위를 가지며 분리 가능하고 약한 조건을 만족할 경우, 두 전형적 단사형 사상 h1, h2: A → C 가 근사적으로 유니터리 동치일 필요충분조건은 KL(A,C)에서 [h1] = [h2] 일 때이다.
• M(B)/B 가 (P1), (P2), (P3) 를 만족하는 비단위적 σ-단위 C*-대수 B에 대해, 두 전형적 본질적 확장이 근사적으로 유니터리 동치일 필요충분조건은 KL(A,M(B)/B)에서 같은 원소를 유도할 때이다.
• 전형적 본질적 확장의 근사적 유니터리 동치 클래스 집합은 군을 이루며, A가 유니버설 계수 정리를 만족할 경우 KL(A,M(B)/B)와 동형이다.
• B가 안정적일 경우, KK1(A,B) 는 전형적 본질적 확장의 유니터리 동치 클래스를 분류하지만, 일반적으로 비안정적 B에 대해서는 성립하지 않는다.
• M(B)/B 가 (P1), (P2), (P3) 를 만족하는 비안정적이고 비단위적 σ-단위 C*-대수 B 가 존재하여, 동일한 KL 이론을 통해 분류가 가능하다.
• 전형적 확장이 순수하게 큰 것은 아니지만 근사적으로 흡수될 수 있으며, 이는 순수성의 개념(에일리엇과 쿠체르스키의 의미에서)보다 근사적 흡수가 더 약한 조건임을 보여준다.