Homotopy of unitaries in simple C*-algebras with tracial rank one
arXiv:0805.0583
Abstract
Let be a positive number. Is there a number satisfying the following? Given any pair of unitaries and in a unital simple -algebra with in for which $$ \|uv-vu\|<\dt, $$ there is a continuous path of unitaries such that $$ v(0)=v, v(1)=1 \and \|uv(t)-v(t)u\|<ε\forall t\in [0,1]. $$ An answer is given to this question when is assumed to be a unital simple -algebra with tracial rank no more than one. Let be a unital separable amenable simple -algebra with tracial rank no more than one which also satisfies the UCT. Suppose that is a unital monomorphism and suppose that is a unitary with in such that almost commutes with It is shown that there is a continuous path of unitaries in with and such that the entire path almost commutes with provided that an induced Bott map vanishes. Other versions of the so-called Basic Homotopy Lemma are also presented.
50 pages