Remote access

How to Order

For AMS eBook frontlist subscriptions or backfile collection purchases:

   1a. To purchase any ebook backfile or to subscibe to the current year of Contemporary Mathematics, please download this required license agreement,

   1b. To subscribe to the current year of Memoirs of the AMS, please download this required license agreement.

   2. Complete and sign the license agreement.

   3. Email, fax, or send via postal mail to:

Customer Services
American Mathematical Society
201 Charles Street Providence, RI 02904-2294  USA
Phone: 1-800-321-4AMS (4267)
Fax: 1-401-455-4046

Visit the AMS Bookstore for individual volume purchases.

Browse the current eBook Collections price list

Powered by MathJax

Approximate homotopy of homomorphisms from $C(X)$ into a simple $C^*$-algebra

About this Title

Huaxin Lin, Department of Mathematics, East China Normal University, Shanghai, China

Publication: Memoirs of the American Mathematical Society
Publication Year: 2010; Volume 205, Number 963
ISBNs: 978-0-8218-5194-4 (print); 978-1-4704-0577-9 (online)
Published electronically: December 14, 2009
MathSciNet review: 2643313
MSC: Primary 46L05; Secondary 46L35, 46L80

View full volume PDF

View other years and numbers:

Table of Contents


  • Chapter 1. Prelude
  • Chapter 2. The Basic Homotopy Lemma for higher dimensional spaces
  • Chapter 3. Purely infinite simple $C^*$-algebras
  • Chapter 4. Approximate homotopy
  • Chapter 5. Super homotopy
  • Chapter 6. Postlude


In this paper we prove Generalized Homotopy Lemmas. These type of results play an important role in the classification theory of $*$-homomorphisms up to asymptotic unitary equivalence.

Let $X$ be a finite CW complex and let $h_1, h_2: C(X)\to A$ be two unital homomorphisms, 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 an upper 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 $\epsilon>0,$ and any compact subset ${\mathcal F}\subset C(X),$ there exist $\delta>0$ and a finite subset ${\mathcal G}\subset C(X)$ satisfying the following: if $\Vert[h(f), u]\Vert<\delta$ for all $f\in {\mathcal G}$ and Bott$(h,u)=0,$ then there exists a continuous rectifiable path $\{u_t: t\in [0,1]\}$ in $A$ such that

$\displaystyle u_0=u, u_1=1_A {\text{and}} \Vert[h(g),u_t]\Vert<\epsilon {\rm for all} g\in {\mathcal F} {\text{and}} t\in [0,1].$ (1)

$\displaystyle {\rm {Length}}(\{u_t\})\le 2\pi+\epsilon.$     (2)

We show that if dim$X\le 1,$ or $A$ is purely infinite simple, then $\delta$ and ${\mathcal G}$ are universal (independent of $A$ or $h$). In the case that ${\rm dim} X=1,$ this provides an improvement of the so-called Basic Homotopy Lemma of Bratteli, Elliott, Evans and Kishimoto for the case that $A$ is as mentioned above. Moreover, we show that $\delta$ and ${\mathcal G}$ cannot be universal whenever dim$X\ge 2.$ Nevertheless, we also found that $\delta$ can be chosen to be dependent on a measure distribution but independent of $A$ and $h.$ The above version of the so-called Basic Homotopy is also extended to the case that $C(X)$ is replaced by an AH-algebra.

We also present some general versions of the so-called Super Homotopy Lemma.

References [Enhancements On Off] (What's this?)