[논문 리뷰] On classification of non-unital simple amenable C*-algebras, I

Guihua Gong, Huaxin Lin|arXiv (Cornell University)|2016. 11. 14.

Advanced Operator Algebra Research인용 수 9

한 줄 요약

이 논문은 일반화된 트라실 랭크가 1 이하인 비단위, 안정적으로 프로젝션 없는, 분리 가능한 단순 앰비언트 C*-대수에 대해 안정적인 유일성 정리를 수립한다. 두 such C*-대수 사이에 동형사상이 존재함과 동시에 그들의 스케일이 있는 트라실 콘의 동형사상이 존재함은 필요이고 충분한 조건이며, 이는 수정된 불변량과 KK-이론의 0 조건을 사용하여 엘리엇 분류 프로그램을 비단위 설정으로 확장한다.

ABSTRACT

We present a stable uniqueness theorem for non-unital C*-algebras. Generalized tracial rank one is defined for stably projectionless simple C*-algebras. Let $A$ and $B$ be two stably projectionless separable simple amenable C*-algebras with $gTR(A)\le 1$and $gTR(B)\le 1.$ Suppose also that $KK(A, D)=KK(B,D)=\{0\}$ for all C*-algebras $D.$ Then $A\cong B$ if and only if they have the same tracial cones with scales. We also show that every separable simple C*-algebra, $A$ with finite nuclear dimension which satisfies the UCT with non-zero traces must have $gTR(A)\le 1$ if $K_0(A)$ is torsion. In the next part of this research, we show similar results without the restriction on $K$-theory.

연구 동기 및 목표

• 비단위, 안정적으로 프로젝션 없는, 분리 가능한 단순 앰비언트 C*-대수로의 엘리엇 분류 프로그램을 확장하기.
• 유니티제이션 또는 포화 조건에 의존하지 않는 비단위 C*-대수의 안정적인 유일성 정리를 수립하기.
• 1차원 비가환 유한 컴팩트를 모델로 사용하여 안정적으로 프로젝션 없는 C*-대수의 일반화된 트라실 랭크 1(gTR ≤ 1)을 정의하고 연구하기.
• KK-이론의 0 조건과 유한 핵심 차원 조건 하에서 두 such 대수 사이에 동형사상이 존재함과 동시에 그들의 스케일이 있는 트라실 콘 사이에 동형사상이 존재함은 필요이고 충분한 조건임을 증명하기.
• 자기 동치 K-이론이 자명하고 비영 트라실이 존재하는 유한 핵심 차원 C*-대수에서 K₀가 토르션일 경우 gTR ≤ 1 임을 보여주기.

제안 방법

• 유니티제이션에 의존하지 않으며, 사상이 포화일 필요가 없는 비단위 C*-대수의 새로운 안정적인 유일성 정리를 도입한다.
• 안정적으로 프로젝션 없는 1차원 비가환 유한 컴팩트를 모델로 사용하여 일반화된 트라실 랭크 1(gTR ≤ 1)을 정의한다.
• 엄격한 비교, 근사적 나눗셈 가능성, 안정적 차원 1을 갖는 C*-대수의 클래스 D₀를 도입하여 gTR ≤ 1를 특성화한다.
• 비단위 경우의 엘리엇 불변량을 대체하기 위해 트라실 상태 공간과 하부연속 트라실 콘에 스케일을 포함한 불변량을 사용한다.
• 동일한 트라실 맵을 갖는 준동형사상 사이의 점근적 유니터리 동치를 연속적인 유니터리 경로로 실현한다.
• A ∈ D₀ 이면 A ⊗ ℤ ≅ A 임을 이용하고, 유니터리 코너제이션을 통한 근사 준동형사상을 구성함으로써 트라실 근사 나눗셈 가능성을 증명한다.

실험 결과

연구 질문

• RQ1 유니티제이션 또는 포화 조건에 의존하지 않고 비단위 C*-대수의 안정적인 유일성 정리를 수립할 수 있는가?
• RQ2 안정적으로 프로젝션 없는 C*-대수의 경우 트라실 랭크의 적절한 일반화는 무엇인가?
• RQ3 gTR ≤ 1 인 비단위, 안정적으로 프로젝션 없는, 분리 가능한 단순 앰비언트 C*-대수 두 개가 동형일 조건은 무엇인가?
• RQ4 자기 동치 K-이론과 유한 핵심 차원을 갖는 비단위 C*-대수를 분류하기 위해 엘리엇 불변량은 어떻게 수정되어야 하는가?
• RQ5 UCT 클래스에 속하는 모든 D에 대해 KK(A, D) = 0 이면 비단위 C*-대수 분류에서 이 조건이 어떤 역할을 하는가?

주요 결과

• gTR(A) ≤ 1 이고 gTR(B) ≤ 1 인 두 비단위 분리 가능한 단순 앰비언트 C*-대수 A와 B는 스케일이 있는 트라실 콘 사이에 동형사상이 존재할 때이고 그때에만 서로 동형이다.
• 유한 핵심 차원을 갖는 분리 가능한 단순 C*-대수 A가 UCT를 만족하고 K-이론이 자명하며 K₀가 토르션일 경우 gTR(A) ≤ 1 이다.
• 이러한 대수들에 대해, 동형 유형은 T̃(A)가 하부연속 트라실 콘이고 Σ_A가 스케일일 때 그 쌍 (T̃(A), Σ_A)의 동형류에 의해 완전히 결정된다.
• 논문은 A가 유한하고 비단위이며, 분리 가능하고 단순하며, 유한 핵심 차원을 갖고, 모든 분리 가능한 D ∈ UCT 클래스에 대해 KK(A, D) = 0 이면 A ∈ D₀ 이라고 증명한다.
• 안정적인 유일성 정리는 두 준동형사상 φ₁, φ₂: A → B 가 동일한 트라실 맵을 유도할 경우, 연속적인 유니터리 경로를 통해 점근적으로 유니터리 동치임을 보장한다.
• 이러한 대수들에 대해 A ⊗ ℤ 가 트라실적으로 근사적으로 나누어 떨어짐을 보였으며, 이는 A가 연속적인 스케일을 갖는 경우 gTR(A) ≤ 1 이라는 것을 의미한다.