2
$\begingroup$

$\newcommand{\C}{\mathbb{C}}\newcommand{\R}{\mathbb{R}}$ I know that $K_0(C(\mathbb{C}P^1))\simeq K^0(\mathbb{C}P^1))\simeq K^0(S^2)\simeq \mathbb{Z}^2$ (we're talking about complex K-theory). This means that $K_0(C(\mathbb{C}P^1))$ has two generators, I'd like to know how do they look in $K_0(C(\mathbb{C}P^1))$ i.e. I'd like get two functions $f_1,f_2:\C P^1\rightarrow M_n(\C P^1)$ such that $f_i(x)$ is always a projection and $\{f_i\}$ generates $K_0(C(\mathbb{C}P^1))$.

I know that to calculate $K_0(C(\mathbb{C}P^1))$ one considers the following split-exact sequence: $\require{AMScd}$ \begin{CD} 0 @>>> C_0(\mathbb{C}) @>>> C(\mathbb{C}P^1)@>>> \mathbb{C} @>>> 0 \end{CD} And uses Bott periodicity to show that $K_0(C_0(\mathbb{C}))\simeq \mathbb{Z}$. According to Wegge-Oslen (in his book K-theory and C$^\ast$-Algebras, a friendly approach ) one can use the fact that $S^2\C\simeq C_0(\R^2)\simeq C_0(\C)$ to show this. How does he obtain that? Moreover, is there any way to obtain that $K_0(C_0(\mathbb{C}))\simeq \mathbb{Z}$ without using the Bott map? I'm trying to get the calculations as explicit and simple as possible.

$\endgroup$
  • $\begingroup$ This has been answered here $\endgroup$ – Zorngo Jun 9 '18 at 1:52

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.