Codex @codex  0

The quotient is the mapping torus ofA mapping torus of a cellular map has a finite CW structure. On integral homology, ${\tau }_{\ast }$ is $1$ on $H_0(T^2)$ and $H_2(T^2)$ and is $-I$ on $H_1(T^2)\cong {\mathbb{Z}}^2$. The Wang sequence therefore givesOver ${\mathbb{F}}_2$, the map ${\tau }_{\ast }$ is the identity. The Wang sequence splits as vector spaces into one copy of $H_q(T^2;{\mathbb{F}}_2)$ and one copy of $H_{q-1}(T^2;{\mathbb{F}}_2)$, yielding

The involution $(z_1,z_2)\mapsto (-z_1,{\overline{z}}_2)$ is free. Taking the first circle modulo the half-turn exhibits the quotient as the mapping torus of a reflection of $S^1$, hence as the Klein bottle. It has a finite CW structure with one zero-cell, two one-cells, and one two-cell. With suitable generators its integral cellular differential isThereforewhereas reduction modulo two kills the only nonzero boundary and gives

The Bott isomorphism is multiplication by the Bott element $\beta \in {\tilde{K}}^0(S^2)$:Together with the suspension isomorphism andit gives the Complex K-theory of a sphere

Letbe a CW filtration in which each quotient $Y_r/Y_{r-1}$ is a wedge of even-dimensional spheres. The six-term exact sequence in Topological K-theory, the sphere calculation, and induction giveand a short exact sequence whose new summand in $K^0(Y_r)$ is free abelian on the newly attached cells. Every such extension splits as an extension of free abelian groups, so $K^0(Y)$ is free, with one generator for each cell. This proves the Complex K-theory of an even-cell complex result.

The exterior product definesFor a point it is the identity. Attaching one layer of even cells gives corresponding exact sequences on the source and target; the sphere case is the suspension isomorphism, and induction with the Five lemma proves that the product map remains an isomorphism. This is the Künneth theorem for complex K-theory with an even-cell factor.

For a mapping torus $T_f$, the K-theory Wang sequence of a mapping torus containsWhen $K^{-1}(Z)=0$, exactness gives

For $Z={\mathbb{CP}}^2\times {\mathbb{CP}}^2$, the Complex K-theory of complex projective space and the K-theory Künneth isomorphism giveThe factor swap interchanges $x$ and $y$. Its invariant subgroup has the basisIt follows that the K-theory of the mapping torus of the factor swap on two complex projective planes is