[논문 리뷰] Tensor Products of Classifiable C*-algebras

Huaxin Lin, Wei Sun|arXiv (Cornell University)|2012. 03. 16.

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

한 줄 요약

이 논문은 단위를 가진 분리 가능한 단순 C*-대수 A가 합리적 추적 랭크가 1 이하인 것으로 특징지어지는 클래스 𝒜₁에 속하기 위한 필요충분조건을 규명한다. 즉, A가 어떤 단위를 가진 무한차원 단순 AF-대수 또는 차원 성장이 없는 무한차원 단순 AH-대수와 텐서곱을 이루었을 때도 여전히 추적 랭크가 1 이하이면, A는 𝒜₁에 속한다. 주요 기여는 특정 C*-대수와의 텐서곱을 통한 𝒜₁의 특성화로, 이는 이 클래스에 속하는지의 여부를 검증하는 데를 단순화하고, 엘리엇 불변량 프레임워크 하에서의 분류 결과를 뒷받침한다.

ABSTRACT

Let ${\cal A}_1$ be the class of all unital separable simple $C^*$-algebras $A$ such that $A\otimes U$ has tracial rank at most one for all UHF-algebras of infinite type. It has been shown that amenable ${\cal Z}$-stable $C^*$-algebras in ${\cal A}_1$ which satisfy the Universal Coefficient Theorem can be classified up to isomorphism by the Elliott invariant. We show that $A\in {\cal A}_1$ if and only if $A\otimes B$ has tracial rank at most one for one of unital simple infinite dimensional AF-algebra $B.$ In fact, we show that $A\in {\cal A}_1$ if and only if $A\otimes B\in {\cal A}_1$ for some unital simple AH-algebra $B.$ Other results regarding the tensor products of $C^*$-algebras in ${\cal A}_1$ are also obtained

연구 동기 및 목표

• 단위를 가진 분리 가능한 단순 C*-대수 A가 합리적 추적 랭크 ≤1로 정의된 클래스 𝒜₁에 속하는지의 조건을 규명하는 것.
• 특정 C*-대수와의 텐서곱을 이용한 충분조건을 규명하여 𝒜₁에 속하는지의 여부를 단순화하는 것.
• 𝒜₁ ∩ 𝒩에 대한 텐서곱에 대한 닫힘 성질을 확립하는 것. 여기서 𝒩은 UCT를 만족하는 애매한 C*-대수의 집합을 의미한다.
• 𝒜₁ ∩ 𝒩 내의 C*-대수들을 텐서곱과 K-이론적 불변량을 이용해 분류하는 프레임워크를 제공하는 것.

제안 방법

• UHF-대수의 무한형과의 텐서곱을 통해 정의된 추적 랭크 및 합리적 추적 랭크의 개념을 사용한다.
• 특히 AF 및 AH 대수를 사용한 가족 𝒞 내의 C*-부분대수에 의한 추적 근사 개념을 적용한다.
• 엘리엇 불변량과 K-이론 도구를 사용하며, K₀군 내의 엄밀한 비교, 약한 무퍼포레이션, 리스 보간을 포함한다.
• 근사적 나눗셈성과 유니버설 계수 정리(UCT)를 활용하여 텐서곱과 그 K-이론을 분석한다.
• 결론적으로 [25] 및 [39]의 분류 결과를 적용하여, 텐서곱과 차원 성장이 없는 단순 무한차원 AH-대수 사이의 동형을 도출한다.
• A ∈ 𝒜₁ ∩ 𝒩 이면 A ⊗ Q 는 단위를 가진 단순 AH-대수이며 차원 성장이 없음을 이용하고, 추적 공간에서 상태 공간으로의 표준 맵에 관한 결과를 적용한다.

실험 결과

연구 질문

• RQ1 만약 어떤 단위를 가진 무한차원 단순 AF-대수 B에 대해 A ⊗ B 의 추적 랭크가 ≤1 이라면, A ∈ 𝒜₁ 인가?
• RQ2 𝒜₁ ∩ 𝒩 내의 두 C*-대수의 텐서곱도 𝒜₁ ∩ 𝒩 에 속하는가?
• RQ3 A ∈ 𝒜₁ ∩ 𝒩 이고 B가 차원 성장이 없는 단위를 가진 단순 무한차원 AH-대수이면, A ⊗ B 의 추적 랭크가 1 이하로 유계가 되는가?
• RQ4 A ∈ 𝒜₁ 이라는 것은 어떤 또는 모든 𝒜₁ ∩ 𝒩 내의 단위를 가진 무한차원 단순 C*-대수 B에 대해 A ⊗ B 가 𝒜₁ 에 속한다는 것과 동치인가?
• RQ5 𝒜₁ ∩ 𝒩 에 속하는 A에 대해, AF-대수, AH-대수, Q 와의 텐서곱 조건들이 모두 동치인가?

주요 결과

• A ∈ 𝒜₁ 이다 ⇔ 어떤 단위를 가진 무한차원 단순 AF-대수 B에 대해 A ⊗ B 의 추적 랭크 ≤1 이다.
• A ∈ 𝒜₁ 이다 ⇔ 어떤 차원 성장이 없는 단위를 가진 무한차원 단순 AH-대수 B에 대해 A ⊗ B ∈ 𝒜₁ 이다.
• A ∈ 𝒜₁ ∩ 𝒩 이고 B가 차원 성장이 없는 단위를 가진 무한차원 단순 AH-대수이면, A ⊗ B 는 단위를 가진 단순 AH-대수이며 차원 성장이 없다.
• A, B ∈ 𝒜₁ ∩ 𝒩 이면 A ⊗ B 는 항상 𝒜₁ ∩ 𝒩 에 속한다.
• A ∈ 𝒩 이면, A ∈ 𝒜₁, TR(A ⊗ Q) ≤ 1, 그리고 다양한 B에 대해 TR(A ⊗ B) ≤ 1 이라는 조건들이 모두 동치이다.
• K₀의 상태 공간에서 추적 상태 공간으로의 표준 맵은 극점에서 극점으로 사상하며, 이는 AH-대수의 구조를 통한 분류를 뒷받침한다.