[论文解读] Homotopy of unitaries in simple C*-algebras with tracial rank one

Huaxin Lin|ArXiv.org|May 5, 2008

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

一句话总结

本论文为具有至多一阶迹秩的单幺正C*-代数建立了广义的基本同伦引理，证明了若一个与单位元同伦的幺正元在诱导Bott映射为零的条件下，可连续地形变为单位元，且在此过程中几乎与一个从具有迹秩一的单幺正分离C*-代数到A的幺正同态φ几乎交换。该结果将经典的基本同伦引理从实秩或迹秩零的代数推广至迹秩至多为一的代数。

ABSTRACT

Let $ε>0$ be a positive number. Is there a number $δ>0$ satisfying the following? Given any pair of unitaries $u$ and $v$ in a unital simple $C^*$-algebra $A$ with $[v]=0$ in $K_1(A)$ for which $$ \|uv-vu\|

研究动机与目标

• 将基本同伦引理由迹秩零的C*-代数推广至迹秩至多为一的代数。
• 解决在投影稀疏且K-理论更复杂时，构造与幺正同态φ几乎交换的幺正元连续路径的挑战。
• 为分类迹秩至多为一的单C*-代数中单同态模渐近幺正等价关系提供关键技术工具。
• 处理当K-理论数据与同态一致时，从C*-代数C([0,1], M_n)形式的代数到C*-代数的压缩完全正映射非同态性质的问题。

提出的方法

• 通过C([0,1], M_n)代数的直极限对具有迹秩一的C*-代数C进行有限维逼近。
• 应用统一系数定理（UCT）以确保K-理论相容性并分类同态。
• 采用扰动技术构造A中的一族连续幺正元{u(t)}，使得u(0) = u，u(1) = 1，且对所有t和c在有限集上，[φ(c), u(t)]的范数很小。
• 依赖于在有序K₀(C)群的有限子集上诱导Bott映射Bott(φ, u)的消失，以消除拓扑障碍。
• 通过连接两条路径构造路径：一条从u到一个与φ几乎交换的中间幺正元u₁，另一条从u₁到1。
• 使用分段光滑路径并借助范数不等式估计，以控制交换子中误差的累积。

实验结果

研究问题

• RQ1 在K₁(A)中[u] = 0且Bott不变量消失的条件下，若C*-代数A中迹秩TR(A) ≤ 1，是否存在一条连续的幺正元路径{u(t)}，使得u(0) = u，u(1) = 1，且对所有t ∈ [0,1]和c ∈ 𝒟，[φ(c), u(t)]的范数很小？
• RQ2 在何种条件下，与从迹秩至多为一的单分离C*-代数C到A的幺正同态φ几乎交换的幺正元u，可通过与φ几乎交换的幺正元路径同伦于单位元？
• RQ3 当缺乏投影且CP映射更复杂时，如何将基本同伦引理由实秩或迹秩零的C*-代数推广至迹秩为一的代数？
• RQ4 Bott映射的消失在消除迹秩为一的代数中此类同伦的拓扑障碍中起什么作用？
• RQ5 当φ不是同态而是压缩完全正映射时，如何控制路径上[φ(c), u(t)]的范数？

主要发现

• 对任意ε > 0和有限子集𝒟 ⊂ C，存在δ > 0，有限子集𝒢 ⊂ C，以及有限子集𝒫 ⊂ K₀(C)，使得若对所有c ∈ 𝒢有‖[φ(c), u]‖ < δ，且Bott(φ, u)|𝒫 = 0，则存在连续的幺正元路径{u(t)}，满足u(0) = u，u(1) = 1，且对所有t ∈ [0,1]和c ∈ 𝒟，有‖[φ(c), u(t)]‖ < ε。
• 该路径可选取为分段光滑，以确保在同伦论应用中的正则性。
• 在K₀(C)的有限子集上Bott映射的消失足以消除同伦的拓扑障碍。
• 该结果在假设C为单分离C*-代数、迹秩TR(C) ≤ 1且满足UCT的条件下成立。
• 证明通过两阶段构造路径：首先从u到一个与φ几乎交换的中间幺正元u₁，然后从u₁到1，使用扰动与逼近技术。
• 通过范数估计以及辅助幺正元和投影的使用，控制误差界，确保最终路径满足所需的交换子范数界。