Approximate Homotopy of Homomorphisms from $C(X)$ into a Simple $C^{\ast }$-algebra

Abstract

Let $X$ be a finite CW complex and let $h_1,h_2:C(X)\to 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)\to 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 $\mathcal{F}\subset C(X),$ there exists $\dt>0$ and a finite subset $\mathcal{G}\subset C(X)$ satisfying the following: if $\|[h(f), u]\|<\dt$ and $\text{Bott}(h,u)=\{0\},$ then there exists a continuous rectifiable path $\{u_t:t\in [0,1]\}$ such that $$ \|[h(g),u_t]\|<\ep, \rforal g\in {\cal F},u_0=u\andeqn u_1=1_A. $$ Moreover, $$ \text{Length}(\{u_t\})\le 2π+\ep. $$ We show that if $\text{dim}X\le 1,$ or $A$ is purely infinite simple, then $\dt$ and $\mathcal{G}$ are universal (independent of $A$ or $h$). In the case that $\dim X=1,$ this provides an improvement of the so-called the Basic Homotopy Lemma of Bratteli, Elliott, Evans and Kishimoto for the case that $A$ is mentioned above. Moreover, we show that $\dt$ and $\mathcal{G}$ can not be universal whenever $\text{dim}X\ge 2.$ Nevertheless, we also found that $\dt$ can be chosen to be dependent on a measure distribution but independent of $A$ and $h.$

arXiv commentThis version replaces the preliminary report

References in corpus (1)

• Invariant means and finite representation theory of C*-algebras

Cited by in corpus (22)

• Classification of finite simple amenable $\mathcal{Z}$-stable $C^{\ast }$-algebras
• A classification of finite simple amenable Z-stable C*-algebras, II, --C*-algebras with rational generalized tracial rank one
• Homomorphisms from AH-algebras
• On classification of simple non-unital amenable C*-algebras, II
• The Rohlin property for automorphisms on simple C*-algebras
• The classification of Rokhlin flows on C*-algebras
• Semiprojectivity for Kirchberg algebras
• Closed Unitary and Similarity Orbits of Normal Operators in Purely Infinite C*-Algebras
• Classification of uniformly outer actions of Z^2 on UHF algebras
• Homomorphisms into a simple Z-stable C*-Algebras
• On Local AH algebras
• Local Matrix Homotopies and Soft Tori
• Approximate Unitary Equivalence in Simple C^*-algebras of Tracial Rank One
• A classification of finite simple amenable $\mathcal{Z}$-stable $C^{\ast }$-algebras, I: $C^{\ast }$-algebras with generalized tracial rank one
• Asymptotic unitary equivalence in $C^{\ast }$-algebras
• Classification of homomorphisms into simple Z-stable C^*-algebras
• Approximately diagonalizing matrices over C(Y)
• A short return to simple AH-algebras with real rank zero
• The corona algebra of stablized Jiang-Su algebra
• Approximated by finite-dimensional homomorphisms into Simple C*-Algebras with Tracial Rank One
• Kishimoto's Conjugacy Theorems in simple $C^{\ast }$-algebras of tracial rank one
• On the Classification of Certain Real Rank Zero ${\mathrm{C}}^{\ast }$-Algebras