[논문 리뷰] Homomorphisms into a simple Z-stable C*-Algebras

Huaxin Lin, Zhuang Niu|arXiv (Cornell University)|2010. 03. 09.

Advanced Operator Algebra Research참고 문헌 30인용 수 5

한 줄 요약

이 논문은 Z-안정적이고 유리수 추적 랭크가 1 이하인 단위 원소를 가진 분리 가능한 단순 애먼 C*-대수 사이의 단위 원소를 가진 *-단사형 사상에 대해 유일성 정리를 확립한다. 이 정리는 두 사상이 KL-이론, 추적 상태 공간(Aff(T)) 및 유니터리 군의 교환자 부분군에 대한 몫(U/ CU)에서 동일한 사상을 유도할 때이고, 뿐만 아니라 유니터리에 의해 근사적으로 동치일 때에만 성립함을 보여준다. 결과는 또한 유리수 AH-대수로 확장되며, K-이론적 데이터와 추적 데이터를 조화롭게 사용한 호모모피즘의 분류를 제공한다.

ABSTRACT

Let $A$ and $B$ be unital separable simple amenable \CA s which satisfy the Universal Coefficient Theorem. Suppose {that} $A$ and $B$ are $\mathcal Z$-stable and are of rationally tracial rank no more than one. We prove the following: Suppose that $ϕ, ψ: A o B$ are unital {monomorphisms}. There exists a sequence of unitaries $\{u_n\}\subset B$ such that $$ \lim_{n o\infty} u_n^*ϕ(a) u_n=ψ(a) foral a\in A, $$ if and only if $$ [ϕ]=[ψ]\,\,\, ext{in}\,\,\, KL(A,B), ϕ_{\sharp}=ψ_{\sharp}\andeqnϕ^‡=ψ^‡, $$ where $ϕ_{\sharp}, ψ_{\sharp}: \aff(T(A)) o \aff(T(B))$ and $ϕ^‡, ψ^‡: U(A)/CU(A) o U(B)/CU(B)$ are {the} induced maps and where $T(A)$ and $T(B)$ are tracial state spaces of $A$ and $B,$ and $CU(A)$ and $CU(B)$ are closure of {commutator} subgroups of unitary groups of $A$ and $B,$ respectively. We also show that this holds for some AH-algebras $A.$ {Moreover, if $κ\in KL(A,B)$ preserves the order and the identity, $λ: \aff( r(A)) o \aff( r(B))$ is a continuous affine map and $γ: U(A)/CU(A) o U(B)/CU(B)$ is a \hm\, which are compatible, we also show that there is a unital \hm\, $ϕ: A o B$ so that $([ϕ],ϕ_{\sharp},ϕ^‡)=(κ, λ, γ),$ at least in the case that $K_1(A)$ is a free group,

연구 동기 및 목표

• Z-안정적 C*-대수 사이의 두 단위 원소를 가진 *-단사형 사상이 언제 유니터리에 의해 근사적으로 동치일지 결정하는 것.
• 유한한 추적 랭크 대수를 넘어서 Z-안정적 대수 중 유리수 추적 랭크 ≤1인 경우로 유일성 정리를 확장하는 것.
• KL-이론, 추적 상태 공간 사상, 유니터리 몫 사상에서의 호환 가능한 데이터를 통한 단위 원소를 가진 호모모피즘의 분류를 수립하는 것.
• K₁(A)가 자유군일 조건 하에, 다음을 만족하는 단위 원소를 가진 호모모피즘 φ: A → B가 존재함을 증명하는 것: κ ∈ KL(A,B), λ: Aff(T(A)) → Aff(T(B)), 그리고 γ: U(A)/CU(A) → U(B)/CU(B)의 호환 가능한 삼중조합을 실현하는 것.

제안 방법

• Z-안정적 C*-대수 사이의 호모모피즘을 분석하기 위해 에일리엇 프로그램의 분류 기반 기법을 사용하며, 특히 [18], [16], [32]의 기법을 활용한다.
• 호모모피즘을 비교하기 위해 KL-이론 불변량을 적용하며, [φ] = [ψ] in KL(A,B)가 필수 조건임을 요구한다.
• 유도된 사상 φ♯: Aff(T(A)) → Aff(T(B)) 및 φ‡: U(A)/CU(A) → U(B)/CU(B)를 분석하여 추적 및 유니터리 데이터를 포착한다.
• 장강-수 대수 𝒵의 구조와 그 텐서 곱 흠숭 성질을 이용하여, 호환 가능한 데이터 (κ, λ, γ)로부터 호모모피즘 φ: A → B를 구성한다.
• 유니터리 경로와 행렬식 계산을 활용하여 유니터리 몫 사상 조건을 검증하며, 특히 Det(Z(t,s)) ∈ ρ_A(K₀(A))를 사용해 U/ CU 내의 이미지를 제어한다.
• TR(A) ≤ 1일 때, 몫 ℝρ_A(K₀(A))/ρ_A(K₀(A))가 자명하다는 사실에 의존하여, 유니터리 데이터 조건을 단순화한다.

실험 결과

연구 질문

• RQ1 Z-안정적 C*-대수 A와 B(유리수 추적 랭크 ≤1)에 대해 두 단위 원소를 가진 *-단사형 사상 φ, ψ: A → B가 언제 유니터리에 의해 근사적으로 동치일까?
• RQ2 KL(A,B)에서 [φ] = [ψ], φ♯ = ψ♯, φ‡ = ψ‡라는 조건이 이 클래스의 C*-대수에서 유니터리에 의해 근사적으로 동치일 수 있는 충분조건인가?
• RQ3 호환 가능한 삼중조합 (κ ∈ KL(A,B), λ: Aff(T(A)) → Aff(T(B)), γ: U(A)/CU(A) → U(B)/CU(B))이 임의로 존재하는 단위 원소를 가진 호모모피즘 φ: A → B에 의해 실현될 수 있는가?
• RQ4 이러한 유일성 결과는 소스 대수로 비단순적인 유리수 AH-대수로도 확장되는가?
• RQ5 K₁(A)의 자유성은 호환 가능한 데이터로부터 호모모피즘을 실현하는 데 어떤 역할을 하는가?

주요 결과

• 두 단위 원소를 가진 *-단사형 사상 φ, ψ: A → B는 KL(A,B)에서 [φ] = [ψ], φ♯ = ψ♯, φ‡ = ψ‡일 때이고, 뿐만 아니라 유니터리에 의해 근사적으로 동치일 때에만 근사적으로 동치이다.
• 이 유일성 결과는 Z-안정적이고 유리수 추적 랭크 ≤1이며, UCT를 만족하는 단위 원소를 가진 분리 가능한 단순 애먼 C*-대수 A와 B에 대해 성립한다.
• 결과는 A가 유리수 AH-대수일 경우에도 성립하며, 반드시 단순하지는 않다.
• 모든 엄밀히 양의 단위 원소를 가진 κ ∈ KL(A,B), 연속적인 애프린 함수 λ: Aff(T(A)) → Aff(T(B)), 그리고 연속적인 군 준동형사상 γ: U(A)/CU(A) → U(B)/CU(B)가 호환될 경우, K₁(A)가 자유군이면, ([φ], φ♯, φ‡) = (κ, λ, γ)를 만족하는 단위 원소를 가진 호모모피즘 φ: A → B가 존재한다.
• 증명은 γ를 실현하는 데 있어 장애 요소가 ℝρ_A(K₀(A))/ρ_A(K₀(A))의 몫에 있음을 보여주며, 이는 TR(A) ≤ 1일 때에만 자명해져서 유니터리 데이터 일치 조건을 단순화한다.
• 구성은 유니터리 경로와 𝒵의 임bedding을 텐서 곱으로 사용하는 방법을 통해 정의된 A⊗𝒵_{p,q} → A⊗𝒢_{p,q}의 호모모피즘 Φ를 사용하며, 최종적으로 id_A ⊗ j와 id_A ⊗ ϑ를 조합하여 ψ를 원하는 불변량을 가지는 호모모피즘 φ로 올리는 데 사용된다.