[论文解读] Homomorphisms into a simple Z-stable C*-Algebras

Huaxin Lin, Zhuang Niu|arXiv (Cornell University)|Mar 9, 2010

Advanced Operator Algebra Research参考文献 30被引用 5

一句话总结

该论文为具有有理迹秩至多为一的Z-稳定且单位化、分离、简单、可近似为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*-代数之间的单位化*-单同态在何时是渐近单位等价的。
• 将唯一性定理从有限迹秩代数扩展至包括有理迹秩≤1的Z-稳定代数。
• 通过KL-理论、迹状态空间映射和单位群商映射中的兼容数据，建立单位化同态的分类。
• 证明在K₁(A)自由的条件下，任何兼容的三元组数据（κ ∈ KL(A,B)，λ: Aff(T(A)) → Aff(T(B))，γ: U(A)/CU(A) → U(B)/CU(B)）均可由一个单位化同态φ: A → B实现。

提出的方法

• 利用Elliott程序中的分类工具，特别是[18]、[16]和[32]中的技术，分析Z-稳定C*-代数之间的同态。
• 应用KL-理论不变量来比较同态，要求[φ] = [ψ]在KL(A,B)中成立作为必要条件。
• 分析诱导映射φ♯: Aff(T(A)) → Aff(T(B))和φ‡: U(A)/CU(A) → U(B)/CU(B)，以捕捉迹和单位群数据。
• 利用Jiang-Su代数𝒵及其张量吸收性质，从兼容数据(κ, λ, γ)构造同态φ: A → B。
• 使用单位群路径和行列式计算来验证单位群商映射条件，特别利用Det(Z(t,s)) ∈ ρ_A(K₀(A))来控制在U/ CU中的像。
• 依赖于当TR(A) ≤ 1时，商ℝρ_A(K₀(A))/ρ_A(K₀(A))为平凡的事实，从而简化单位群数据条件。

实验结果

研究问题

• RQ1 对于有理迹秩≤1的Z-稳定C*-代数A和B，何时两个单位化*-单同态φ, ψ: A → B是渐近单位等价的？
• RQ2 在该类C*-代数中，条件[φ] = [ψ]在KL(A,B)中，φ♯ = ψ♯，且φ‡ = ψ‡是否足以保证渐近单位等价？
• 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)中，φ♯ = ψ♯，且φ‡ = ψ‡时，是渐近单位等价的。
• 唯一性结果适用于满足UCT的单位化、分离、简单、可近似为C*-代数A和B，且它们为Z-稳定并具有有理迹秩≤1。
• 该结果可推广至A为有理迹秩AH-代数（不一定是单的）的情形。
• 对于任意严格正的单位保持κ ∈ KL(A,B)，连续仿射λ: Aff(T(A)) → Aff(T(B))，以及连续群同态γ: U(A)/CU(A) → U(B)/CU(B)，若三者兼容，则存在一个单位化同态φ: A → B，使得([φ], φ♯, φ‡) = (κ, λ, γ)，前提是K₁(A)为自由群。
• 证明表明，实现γ的障碍位于商ℝρ_A(K₀(A))/ρ_A(K₀(A))中，当TR(A) ≤ 1时该商为零，从而简化了单位群数据的匹配。
• 构造使用了一个同态Φ: A⊗𝒵_{p,q} → A⊗𝒵_{p,q}，通过单位群路径和与𝒵的嵌入张量化定义，最终通过id_A ⊗ j和id_A ⊗ ϑ复合，将ψ提升为具有所需不变量的同态φ。