Skip to main content
5 of 6
corrected some typos
Andreas Thom
  • 25.5k
  • 4
  • 82
  • 142

Continuity of functors under inductive sequence of $C^*$-algebras.

We know the fact that $K_0(-)$ and $K_1(-)$ are continuous under inductive sequence of $C^*$-algebras (in fact inductive system), i.e. $K_0(\lim_{\rightarrow} A_n)=\lim_{\rightarrow} K_0(A_n)$ similar for $K_1(-)$. In fact it is also true that $M_k(\lim_{\rightarrow} A_n)=\lim_{\rightarrow} M_k(A_n)$ for $k\in \mathbb N$.

Q1: $\widetilde{(\lim_{\rightarrow} A_n)}=\lim_{\rightarrow}\tilde{(A_n)}$? In fact this is a claim in someones' book, but without a proof. If we let $(X,\lambda_n)$ be the inductive limit of $\tilde{A_1}\rightarrow \tilde{A_2}^~\cdots$, then by universal property we get a unique morphism $\lambda: X\rightarrow \widetilde{\lim_{\rightarrow} A_n}$. How can we show $\lambda$ is injective? NB morphisms need not be unital, even though $C^*$-algebras are unital.

Q2: Can we find any other continuous functors? What about the universal group $C^{\star}$-algebras, tensor product of $C^{\star}$-algebras, cross product of $C^{\star}$-algebras and so on?

Q3: Do we know any functor which is not continuous?

m07kl
  • 1.7k
  • 13
  • 20