7
$\begingroup$

$\newcommand{\C}{\mathbb{C}}\newcommand{\Z}{\mathbb{Z}}$ I know from Bott-periodicity that $K_0(C_0(\mathbb{C}))\simeq \Z$, is there any easy way to compute an explicit generator of $K_0(C_0(\mathbb{C}))$? By this I mean a projection $q$ in $M_k(C_0(\mathbb{C})^+)$ such that $[q]-[p_n]$ generates $K_0(C_0(\mathbb{C}))$. Moreover given an element $x\in K_0(C_0(\mathbb{C}))$ is there an easy way to compute $m\in \Z$ such that $m([q]-[p_n])=x$ (this equates to finding the inverse to the isomorphism $\Z\stackrel{\sim}{\rightarrow}K_0(C_0(\mathbb{C}))$)?

I tried digging into the isomorphism $K_0(\C)\stackrel{\sim} {\rightarrow}K_0(C_0(\mathbb{C}))$ that one obtains from Bott-periodicity but things get pretty convoluted. In the end I got a generator that doesn't facilitate any further calculations I'd like to make (like calculating the inverse of the isomorphism).

I'm trying to compute this generator to make some calculations regarding a endomorphism in $K_0(C(\C P^1))\simeq K_0(C_0(\C))\oplus K_0(\C)\simeq \Z\oplus \Z$

$\endgroup$

1 Answer 1

11
$\begingroup$

The group $K_0(C_0(\mathbb{C}))$ is generated by by the class $[p_{Bott}] - [1]$ where $p_{Bott} \in M_2(C_0(\mathbb{C})^\sim)$ is the so-called "Bott projection" given by $$ p_{Bott}(z) = \frac{1}{1+|z|^2} \begin{pmatrix} |z|^2 & z \\ \overline{z} & 1 \end{pmatrix}. $$ This class comes from the tautological line bundle on $S^2 \simeq \mathbb{C}P^1$ after identifying the one-point compactification of $\mathbb{C}$ with the 2-sphere $S^2$ and performing some Serre-Swan-ification.

It turns out that this class is essentially what makes Bott periodicity run.

Edit: I should probably also mention that $[1]$ here is the class of the trivial line bundle on $S^2$. This appears since $p_{Bott}(\infty) = (\begin{smallmatrix} 1 & 0 \\ 0 & 0\end{smallmatrix})$.

$\endgroup$
1
  • $\begingroup$ That looks much cleaner than the generator I got! Thanks a bunch :) $\endgroup$ Commented Jun 7, 2018 at 12:59

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .