[论文解读] Approximate Homotopy of Homomorphisms from $C(X)$ into a Simple $C^*$-algebra

Huaxin Lin|ArXiv.org|Dec 5, 2006

Advanced Operator Algebra Research参考文献 44被引用 49

一句话总结

本文建立了两个从 $C(X)$ 到具有零迹秩或纯无穷的单个 $C^*$-代数的单位元同态在近似同伦下的 $K$-理论必要且充分条件。它为同伦路径的长度提供了统一的上界，并将结果推广至近似乘法的压缩完全正线性映射，应用于基本同伦引理与超同伦引理。

ABSTRACT

Let $X$ be a finite CW complex and let $h_1, h_2: C(X) o A$ be two unital \hm s, where $A$ is a unital C*-algebra. We study the problem when $h_1$ and $h_2$ are approximately homotopic. We present a $K$-theoretical necessary and sufficient condition for them to be approximately homotopic under the assumption that $A$ is a unital separable simple C*-algebra of tracial rank zero, or $A$ is a unital purely infinite simple C*-algebra. When they are approximately homotopic, we also give a bound for the length of the homotopy. Suppose that $h: C(X) o A$ is a monomorphism and $u\in A$ is a unitary (with $[u]=\{0\}$ in $K_1(A)$). We prove that, for any $\ep>0,$ and any compact subset ${\cal F}\subset C(X),$ there exists $\dt>0$ and a finite subset ${\cal G}\subset C(X)$ satisfying the following: if $\|[h(f), u]\|

研究动机与目标

• 确定两个从 $C(X)$ 到单个 $C^*$-代数的单位元 $C^*$-同态在何时是近似同伦的。
• 建立近似同伦路径长度的统一上界。
• 将结果推广至近似乘法的压缩完全正线性映射。
• 研究同伦构造中常数 $\delta$ 与 $\mathcal{G}$ 的普遍性。
• 将基本同伦引理与超同伦引理推广至 AH-代数及高维 $X$。

提出的方法

• 使用 $K$-理论作为 $C(X)$-同态映射到迹秩为零或纯无穷类型的单个 $C^*$-代数的近似同伦的必要且充分条件。
• 构造 $A$ 中连接 $u$ 到 $1_A$ 的单位元的连续可求长路径 $\{u_t\}$，满足对所有 $g \in \mathcal{F}$ 与 $t \in [0,1]$，有 $\|[h(g), u_t]\| < \epsilon$。
• 引入有限子集 $\mathcal{G} \subset C(X)$ 与阈值 $\delta > 0$，使得若 $\|[h(f), u]\| < \delta$ 且 Bott 不变量 $\text{Bott}(h,u) = \{0\}$，则该路径存在。
• 证明当 $\dim X \leq 1$ 或 $A$ 为纯无穷时，$\delta$ 与 $\mathcal{G}$ 是普遍的（与 $A$ 和 $h$ 无关）。
• 利用迹秩为零的 $C^*$-代数的结构与单位元路径的分类，将同伦长度控制在 $2\pi + \epsilon$ 以内。
• 将结果推广至 $C(X)$ 被替换为 AH-代数的情形，从而推广基本同伦引理与超同伦引理。

实验结果

研究问题

• RQ1 何时两个从 $C(X)$ 到单个 $C^*$-代数的单位元 $C^*$-同态是近似同伦的？
• RQ2 此类同态之间近似同伦路径的最优长度界是什么？
• RQ3 当 $\dim X \leq 1$ 时，同伦构造中的常数 $\delta$ 与 $\mathcal{G}$ 是否可普遍选择，且与 $A$ 和 $h$ 无关？
• RQ4 在何种条件下 $\delta$ 可仅依赖于测度分布，而不依赖于 $A$ 或 $h$？
• RQ5 如何将基本同伦引理与超同伦引理推广至 AH-代数及高维 $X$？

主要发现

• 当 $A$ 为单位元可分单个 $C^*$-代数且迹秩为零或纯无穷时，两个单位元同态 $h_1, h_2: C(X) \to A$ 近似同伦的 $K$-理论条件是必要且充分的。
• 近似同伦路径的长度被控制在 $2\pi + \epsilon$ 以内，从而对同伦提供了定量控制。
• 当 $\dim X \leq 1$ 或 $A$ 为纯无穷单个时，常数 $\delta$ 与 $\mathcal{G}$ 是普遍的，与 $A$ 和 $h$ 无关，这强化了基本同伦引理。
• 当 $\dim X \geq 2$ 时，$\delta$ 与 $\mathcal{G}$ 不能是普遍的，但 $\delta$ 可仅依赖于测度分布而与 $A$ 或 $h$ 无关，这是一项重要改进。
• 结果可推广至近似乘法的压缩完全正线性映射，从而将框架推广至更广泛的映射类。
• 基本同伦引理得到改进并推广至 AH-代数，同时在这些设定下建立了超同伦引理的新版本。