Topological K-theory

In mathematics, topological K-theory is a branch of algebraic topology. It was founded to study vector bundles on general topological spaces, by means of ideas now recognised as (general) K-theory that were introduced by Alexander Grothendieck. The early work on topological K-theory is due to Michael Atiyah and Friedrich Hirzebruch.

Definitions

Let X be a compact Hausdorff space and k=R, C. Then K_k(X) is the Grothendieck group of the commutative monoid whose elements are the isomorphism classes of finite dimensional k-vector bundles on X with the operation [E] ⊕ [F] = [E ⊕ F] for vector bundles E, F. Usually, K_k(X) is denoted KO(X) in real case and KU(X) in the complex case.

More explicitly, stable equivalence, the equivalence relation on bundles E and F on X of defining the same element in K(X), occurs when there is a trivial bundle G, so that E ⊕ G ≅ F ⊕ G. Under the tensor product of vector bundles K(X) then becomes a commutative ring.

The rank of a vector bundle carries over to the K-group. Define the homomorphism

$K(X)\to\check{H}^0(X,\mathbf{Z})$

where $\check{H}^0(X,\mathbf{Z})$ is the 0-group of Čech cohomology which is equal to the group of locally constant functions with values in Z.

If X has a distinguished basepoint x₀, then the reduced K-group (cf. reduced homology) satisfies

$K(X)\cong\tilde K(X)\oplus K(\{x_0\})$

and is defined as either the kernel of K(X) → K({x₀}) (where {x₀} → X is basepoint inclusion) or the cokernel of K({x₀}) → K(X) (where X → {x₀} is the constant map).

When X is a connected space, $\tilde K(X)\cong\operatorname{Ker}(K(X)\to\check{H}^0(X,\mathbf{Z})=\mathbf{Z})$.

The definition of the functor K extends to the category of pairs of compact spaces (in this category, an object is a pair (X,Y), where X is compact and Y ⊂ X is closed, a morphism between (X,Y) and (X',Y') is a continuous map $f:X\to X'$ such that $f(Y)\subset Y'$ )

$K(X,Y):=\tilde{K}(X/Y).$

The reduced K-group is given by x₀ = {Y}.

The definition

$K_{\mathbf{C}}^{n}(X,Y)=\tilde K_{\mathbf{C}}(S^{|n|}(X/Y))$

gives the sequence of K-groups for n ∈ Z, where S denotes the reduced suspension.

Properties

• Kⁿ is a contravariant functor.
• The classifying space of $\tilde{K}$ is BO_k (BO, in real case; BU in complex case), i.e. $\tilde{K}_k(X)\cong[X,BO_k].$
• The classifying space of K is Z × BO_k (Z with discrete topology), i.e. K_k(X) ≅ [X,Z × BO_k].
• There is a natural ring homomorphism $K^*(X)\to H^{2*}(X,\mathbf{Q})$, the Chern character, such that $K^*(X)\otimes\mathbf{Q}\to H^{2*}(X,\mathbf{Q})$ is an isomorphism.
• Topological K-theory can be generalized vastly to a functor on C*-algebras, see operator K-theory and KK-theory.

Bott periodicity

The phenomenon of periodicity named for Raoul Bott (see Bott periodicity theorem) can be formulated this way:

• K(X × S²)= K(X) ⊗ K(S²), and K(S²) = Z[H]/(H - 1)² where H is the class of the tautological bundle on the S² = CP¹, i.e. the Riemann sphere as complex projective line.
• $\tilde K^{n+2}(X)=\tilde K^n(X).$
• Ω²BU ≅ BU × Z.

In real K-theory there is a similar periodicity, but modulo 8.

See also

• KR-theory

References

• M. Karoubi, K-theory, an introduction, 1978 - Berlin; New York: Springer-Verlag
• M.F. Atiyah, D.W. Anderson K-Theory 1967 - New York, WA Benjamin
• A. Hatcher Vector Bundles & K-Theory