Injectivity of the Connecting Maps in AH Inductive Limit Systems

http://dx.doi.org/10.4153/CMB-2005-005-9
Canad. Math. Bull. 48(2005), 50-68

  Published:2005-03-01
 Printed: Mar 2005

Let $A$ be the inductive limit of a system $$A_{1}\xrightarrow{\phi_{1,2}}A_{2} \xrightarrow{\phi_{2,3}} A_{3}\longrightarrow \cd $$ with $A_n = \bigoplus_{i=1}^{t_n} P_{n,i}M_{[n,i]}(C(X_{n,i}))P_{n,i}$, where $~X_{n,i}$ is a finite simplicial complex, and $P_{n,i}$ is a projection in $M_{[n,i]}(C(X_{n,i}))$. In this paper, we will prove that $A$ can be written as another inductive limit $$B_1\xrightarrow{\psi_{1,2}} B_2 \xrightarrow{\psi_{2,3}} B_3\longrightarrow \cd $$ with $B_n = \bigoplus_{i=1}^{s_n} Q_{n,i}M_{\{n,i\}}(C(Y_{n,i}))Q_{n,i}$, where $Y_{n,i}$ is a finite simplicial complex, and $Q_{n,i}$ is a projection in $M_{\{n,i\}}(C(Y_{n,i}))$, with the extra condition that all the maps $\psi_{n,n+1}$ are \emph{injective}. (The result is trivial if one allows the spaces $Y_{n,i}$ to be arbitrary compact metrizable spaces.) This result is important for the classification of simple AH algebras (see \cite{G5,G6,EGL}. The special case that the spaces $X_{n,i}$ are graphs is due to the third named author \cite{Li1}.