Skip to main content
1 of 6
m07kl
  • 1.7k
  • 13
  • 20

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 $A_1^\thilde\rightarrow A_2^~\cdots$, then by universal property we get a unique morphism $\lambda: X\rightarrow A^~$. 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^*$-algebras, tensor product of $C^*$-algebras, cross product of $C^*$-algebras and so on?

Q3: Do we know some functors which is not continuous?

m07kl
  • 1.7k
  • 13
  • 20