[论文解读] Homomorphisms from AH-algebras

Huaxin Lin|arXiv (Cornell University)|Feb 22, 2011

Advanced Operator Algebra Research参考文献 16被引用 19

一句话总结

本文建立了从一般单位化AH代数到具有迹秩至多为一的单位化简单C*-代数的单位化单同态的完整分类准则。证明了两个此类同态若且唯若在KL-理论中一致、在迹状态空间上诱导相同的连续仿射映射，并且在K₁上诱导相同的同态（模去K₀在迹状态空间上的仿射函数上的像的闭包），则它们是渐近单位等价的。

ABSTRACT

Let $C$ be a general unital AH-algebra and let $A$ be a unital simple $C^*$-algebra with tracial rank at most one. Suppose that $ϕ, ψ: C o A$ are two unital monomorphisms. We show that $ϕ$ and $ψ$ are approximately unitarily equivalent if and only if \beq[ϕ]&=&[ψ] { m in} KL(C,A), ϕ_{\sharp}&=&ψ_{\sharp} and ϕ^†&=&ψ^†, \eneq where $ϕ_{\sharp}$ and $ψ_{\sharp}$ are continuous affine maps from tracial state space $T(A)$ of $A$ to faithful tracial state space $T_{ m f}(C)$ of $C$ induced by $ϕ$ and $ψ,$ respectively, and $ϕ^‡$ and $ψ^‡$ are induced homomorphisms from $K_1(C)$ into $\Aff(T(A))/\bar{ρ_A(K_0(A))},$ where $\Aff(T(A))$ is the space of all real affine continuous functions on $T(A)$ and $\bar{ρ_A(K_0(A))}$ is the closure of the image of $K_0(A)$ in the affine space $\Aff(T(A)).$ In particular, the above holds for $C=C(X),$ the algebra of continuous functions on a compact metric space. An approximate version of this is also obtained. We also show that, given a triple of compatible elements $κ\in KL_e(C,A)^{++},$ an affine map $γ: T(C) o T_{ m f}(C)$ and a \hm $\af: K_1(C) o \Aff(T(A))/\bar{ρ_A(K_0(A))},$ there exists a unital monomorphism $ϕ: C o A$ such that $[h]=κ,$ $h_{\sharp}=γ$ and $ϕ^†=\af.$

研究动机与目标

• 为从一般单位化AH代数到迹秩至多为一的单位化简单C*-代数的单位化单同态提供一组完整的不变量。
• 将先前受限于C(X)或特殊AH代数的分类结果推广至任意单位化AH代数，且无需要求缓慢维数增长。
• 建立一个实现定理：给定KL-理论、迹状态映射和K₁同态中兼容的数据，存在一个实现这些不变量的单位化单同态。
• 通过将龚的分解定理推广至几乎乘法映射，解决了在无维数增长条件下分类局部AH代数时长期存在的技术障碍。
• 为证明迹秩至多为一的单位化简单局部AH代数由Elliott不变量分类奠定基础。

提出的方法

• 利用AH代数的归纳极限结构 $C = \lim_{\to} (B_n, \psi_n)$，其中每个 $B_n$ 是某个紧致有限CW复形上连续函数的矩阵代数的遗传子代数。
• 在有限阶段 $C_n \subset C$ 上构造一列单位化单同态 $\varphi_n: C_n \to A$，利用 $\kappa_n = \kappa \circ [\imath_{n,\infty}]$、$\gamma_n = \gamma \circ (\imath_{n,\infty})_\sharp$ 和 $\alpha_n = \alpha \circ \imath_{n,\infty}^\ddagger$ 的相容性。
• 应用一个扰动结果（引理6.10），生成酉算子 $u_n$，使得共轭映射 $\mathrm{Ad}\,u_n \circ \varphi_n$ 在递增的紧致集 $\mathcal{F}_n$ 上一致接近。
• 定义极限同态 $h(f) = \lim_{n\to\infty} \mathrm{Ad}\,u_n \circ \varphi_{n+1} \circ \imath_n(f)$，确保 $h$ 是一个具有所需不变量的单位化单同态。
• 利用 $\kappa$、$\gamma$ 和 $\alpha$ 的相容性，确保在归纳极限中的一致性，并验证所得 $h$ 满足 $[h] = \kappa$、$h_\sharp = \gamma$ 和 $h^{\ddagger} = \alpha$。
• 利用 $\mathrm{Aff}(T(A))/\overline{\rho_A(K_0(A))}$ 的结构以及从 $T(A)$ 到 $T_f(C)$ 的连续仿射映射，控制迹和K-理论数据。

实验结果

研究问题

• RQ1 当两个单位化单同态 $\varphi, \psi: C \to A$ 从单位化AH代数 $C$ 到迹秩至多为一的单位化简单C*-代数 $A$ 时，它们在何时是渐近单位等价的？
• RQ2 除了KL-理论之外，分类此类同态的完整不变量集是什么？
• RQ3 能否构造一个单位化单同态，使其在 $KL(C,A)^{++}$、迹状态映射和 $K_1$-同态中实现给定的兼容数据？
• RQ4 如何将龚的分解定理推广至几乎乘法映射，从而实现无维数增长的局部AH代数的分类？
• RQ5 迹状态映射和 $K_1$-数据在多大程度上细化了KL-理论在C*-代数同态分类中的作用？

主要发现

• 两个单位化单同态 $\varphi, \psi: C \to A$ 是渐近单位等价的，当且仅当在 $KL(C,A)$ 中有 $[\varphi] = [\psi]$，$\varphi_\sharp = \psi_\sharp$，且 $\varphi_\rho = \psi_\rho$，其中 $\varphi_\sharp$ 将 $T(A)$ 映射到 $T_f(C)$，而 $\varphi_\rho$ 将 $K_1(C)$ 映射到 $\mathrm{Aff}(T(A))/\overline{\rho_A(K_0(A))}$。
• 该结果适用于所有单位化AH代数，而不仅限于交换代数或缓慢维数增长的代数，从而消除了先前工作中一个关键的技术限制。
• 证明了一个实现定理：给定兼容的 $\kappa \in KL_e(C,A)^{++}$，一个仿射映射 $\gamma: T(A) \to T_f(C)$，以及一个同态 $\alpha: K_1(C) \to \mathrm{Aff}(T(A))/\overline{\rho_A(K_0(A))}$，存在一个单位化单同态 $h: C \to A$，使得 $[h] = \kappa$，$h_\sharp = \gamma$，且 $h^{\ddagger} = \alpha$。
• 该构造使用归纳极限方法，并通过酉共轭确保在稠密子集上的一致收敛，从而得到一个良定义的极限同态。
• 关键技术进展是将龚的分解定理推广至几乎乘法映射，使得无维数增长的单位化简单局部AH代数得以分类。
• 这些结果为证明迹秩至多为一的单位化简单局部AH代数由Elliott不变量分类提供了基础步骤。