nLab
topological K-theory

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Topology

topology (point-set topology)

see also algebraic topology, functional analysis and homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Basic homotopy theory

Contents

Idea

What is called topological K-theory is a collection of generalized (Eilenberg-Steenrod) cohomology theories whose cocycles in degree 0 on a topological space XX may be represented by pairs of vector bundles, real or complex ones, on XX modulo a certain equivalence relation.

The following is the quick idea. For a detailed introduction see Introduction to Topological K-Theory.

First, recall that for kk a field then a kk-vector bundle over a topological space XX is a map VXV \to X whose fibers are vector spaces which vary over XX in a controlled way. Explicitly this means that there exits an open cover {U iX}\{U_i \to X\} of XX, a natural number nn \in \mathbb{N} (the rank of the vector bundle) and a homeomorphism U i×k nV| U iU_i \times k^n \to V|_{U_i} over U iU_i which is fiberwise a kk-linear map.

Vector bundles are of central interest in large parts of mathematics and physics, for instance in Chern-Weil theory and cobordism theory. But the collection Vect(X) /Vect(X)_{/\sim} of isomorphism classes of vector bundles over a given space is in general hard to analyze. One reason for this is that these are classified in degree-1 nonabelian cohomology with coefficients in the (nonabelian) general linear group GL(n,k)GL(n,k). K-theory may roughly be thought of as the result of forcing vector bundles to be classified by an abelian cohomology theory.

To that end, observe that all natural operations on vector spaces generalize to vector bundles by applying them fiber-wise. Notably there is the fiberwise direct sum of vector bundles, also called the Whitney sum operation. This operation gives the set Vect(X) /Vect(X)_{/\sim} of isomorphism classes of vector bundles the structure of an semi-group (monoid) (Vect(X) /,)(Vect(X)_{/\sim},\oplus).

Now as cunder direct sum, the dimension of vector spaces adds, similarly under direct sum of vector bundles their rank adds. Hence in analogy to how one passes from the additive semi-group (monoid) of natural numbers to the addtitive group of integers by adjoining formal additive inverses, so one may adjoin formal additive inverses to (Vect(X) /,)(Vect(X)_{/\sim},\oplus). By a general prescription (“Grothendieck group of a commutative monoid”) this is achieved by first passing to the larger class of pairs (V +,V )(V_+,V_-) of vector bundles (“virtual vector bundles”), and then quotienting out the equivalence relation given by

(V +,V )(V +W,V W) (V_+, V_-) \sim (V_+ \oplus W , V_- \oplus W)

for all WVect(X) /W \in Vect(X)_{/\sim}. The resulting set of equivalence classes is an abelian group with group operation given on representatives by

[V +,V ][V +,V ](V +V +,V V ) [V_+, V_-] \oplus [V'_+, V'_-] \coloneqq (V_+ \oplus V'_+, V_- \oplus V'_-)

and with the inverse of [V +,V ][V_+,V_-] given by

[V +,V ]=[V ,V +]. -[V_+, V_-] = [V_-, V_+] \,.

This abelian group obtained from (Vect(X) /,)(Vect(X)_{/\sim}, \oplus) is denoted K(X)K(X) and often called the K-theory of the space XX. Here the letter “K” (due to Alexander Grothendieck) originates as a shorthand for the German word Klasse, referring to the above process of forming equivalence classes of (isomorphism classes) of vector bundles.

This simple construction turns out to yield remarkably useful groups of homotopy invariants. A variety of deep facts in algebraic topology have fairly elementary proofs in terms of topolgical K-theory, for instance the Hopf invariant one problem (Adams-Atiyah 66).

One defines the “higher” K-groups of a topological space to be those of its higher suspensions

K n(X)=K(Σ nX). K^{-n}(X) = K(\Sigma^n X) \,.

The assignment XK (X)X \mapsto K^\bullet(X) turns out to share many properties of the assignment of ordinary cohomology groups XH n(X,)X \mapsto H^n(X,\mathbb{Z}). One says that topological K-theory is a generalized (Eilenberg-Steenrod) cohomology theory. As such it is represented by a spectrum. For k=k = \mathbb{C} this is called KU, for k=k = \mathbb{R} this is called KO. (There is also the unification of both in KR-theory.)

One of the basic facts about topological K-theory, rather unexpected from the definition, is that these higher K-groups repeat periodically in the degree nn. For k=k = \mathbb{R} the periodicity is 8, for k=k = \mathbb{C} it is 2. This is called Bott periodicity.

It turns out that an important source of virtual vector bundles representing classes in K-theory are index bundles?: Given a Riemannian spin manifold BB, then there is a vector bundle SBS \to B called the spin bundle of BB, which carries a differential operator, called the Dirac operator DD. The index of a Dirac operator is the formal difference of its kernel by its cokernel [kerD,cokerD][ker D, coker D]. Now given a continuous family D xD_x of Dirac operators/Fredholm operators, parameterized by some topological space XX, then these indices combine to a class in K(X)K(X).

It is via this construction that topological K-theory connects to spin geometry (see e.g. Karoubi K-theory) and index theory.

As the terminology indicates, both spin geometry and Dirac operator originate in physics. Accordingly, K-theory plays a central role in various areas of mathematical physics, for instance in the theory of geometric quantization (“spin^c quantization”) in the theory of D-branes (where it models D-brane charge and RR-fields) and in the theory of Kaluza-Klein compactification via spectral triples (see below).

All these geometric constructions have an operator algebraic incarnation: by the topological Serre-Swan theorem then vector bundles of finite rank are equivalently modules over the C*-algebra of continuous functions on the base space. Using this relation one may express K-theory classes entirely operator algebraically, this is called operator K-theory. Now Dirac operators are generalized to Fredholm operators.

There are more C*-algebras than arising as algebras of functions of topological space, namely non-commutative C-algebras. One may think of these as defining non-commutative geometry, but the definition of operator K-theory immediately generalizes to this situation (see also at KK-theory).

While the C*-algebra of a Riemannian spin manifold remembers only the underlying topological space, one may algebraically encode the smooth structure and Riemannian structure by passing from Fredholm modules to “spectral triples”. This may for instance be used to algebraically encode the spin physics underlying the standard model of particle physics and operator K-theory plays a crucial role in this.

Definition

under construction

Throughout, let kk be either the field of real numbers \mathbb{R} or of complex numbers \mathbb{C} .

We take

  1. vector space to mean finite dimensional vector space over kk.

  2. vector bundle to mean topological vector bundle over kk of finite rank.

For the most part below we will assume that the base topological space XX is a compact Hausdorff space. Because then the following statement holds, which is crucial in some places:

Lemma

(over compact Hausdorff space every topological vector bundle is direct summand of a trivial vector bundle)

For every topological vector bundle EXE \to X over the compact Hausdorff space XX there exists a topological vector bundle E˜X\tilde E \to X such that the direct sum of vector bundles

E XE˜X× n E \oplus_X \tilde E \simeq X \times \mathbb{R}^{n}

is a trivial vector bundle.

For proof see this prop. at topological vector bundle.

The K-group

The starting point is the simple observation that the operation of direct sum of vector bundles yields a monoid structure (semi-group with unit) on isomorphism classes of topological vector bundles, which however is lacking inverse elements and hence is not an actual group.

Definition

(semi-group of isomorphism classes of topological vector bundles on XX)

For XX a topological space, write Vect(X) /Vect(X)_{/\sim} for the set of isomorphism classes of topological vector bundles over XX. The operation of direct sum of vector bundles

() X():Vect(X)×Vect(X)Vect(X) (-)\oplus_X (-) \;\colon\; Vect(X) \times Vect(X) \longrightarrow Vect(X)

descends to this quotient by isomorphism

[E 1]+[E 2][E 1 XE 2] [E_1] + [E_2] \;\coloneqq\; [E_1 \oplus_X E_2]

to yield the structure of a monoid (semi-group with unit)

(Vect(X) /,+). \left( Vect(X)_{/\sim}, + \right) \,.
Remark

The operation of direct sum of vector bundles on isomorphism classes in def. 1 is indeed not a group:

Let xXx \in X be a chosen point of xx and write

rk x:Vect(X) / rk_x \;\colon\; Vect(X)_{/\sim} \longrightarrow \mathbb{N}

for the function which takes a topological vector bundle to the rank over the connected component of the point xx.

Then under direct sum of vector bundles the rank is additive

rk x(E 1 XE 2)=rk x(E 1)+rk x(E 1). rk_x(E_1 \oplus_X E_2) \,=\, rk_x(E_1) + rk_x(E_1) \,.

Now since the natural numbers under addition are just a monoid (semi-group with unit), with no element except zeor having an inverse element under the additive operation, it follows immediately that a necessary condition for the isomorphism class of a topological vector bundle to be invertible under direct sum of vector bundles is that its rank of a vector bundle be zero. But there is only one such class of vector bundles, in fact there is only one such vector bundle, namely the unique rnk-zro bundle X×k 0X \times k^0, necessarily a trivial bundle.

Now for the monoid of natural numbers (,+)(\mathbb{N},+) it is a time honored fact that it is interesting and useful to rectify its failure of being a group by universally forcing it to become one. This is a process called group completion and the group completion of the natural numbers is the additive group of integers (,+)(\mathbb{Z},+).

The idea is hence to apply group completion also to the monoid (Vect(X) /,+)(Vect(X)_{/\sim}, +), and so that the rank operation above becomes a homomorphism of abelian groups.

An explicit construction of group completion of a commutative monoid is called the Grothendieck group of a commutative monoid.

Definition

(K-group as the Grothendieck group of isomorphism classes of topological vector bundles)

For XX a topological space, write

K(X)K(Vect(X) /,+) K(X) \;\coloneqq\; K(Vect(X)_{/\sim}, +)

for the Grothendieck group of the commutative monoid (abelian semi-group with unit) of isomorphism classes of topological vector bundles on XX from def. 1.

This means that K(X)K(X) is the group whose elements are equivalence classes of pairs

([E +],[E ])Vect(X) /×Vect(X) / ([E_+], [E_-]) \; \in Vect(X)_{/\sim} \times Vect(X)_{/\sim}

of isomorphism classes of topological vector bundles on XX, with respect to the equivalence relation

(([E +],[E ])([F +,F ]))([G],[H]Vect(X) /(([E + XG],[E XG])=([F + XH],[F XH]))). \big( \left( [E_+], [E_-] \right) \;\sim\; \left( [F_+, F_-] \right) \big) \;\Leftrightarrow\; \left( \underset{[G],[H] \in Vect(X)_{/\sim}}{\exists} \left( \left([E_+ \oplus_X G] , [E_- \oplus_X G]\right) \,=\, \left([F_+ \oplus_X H] , [F_- \oplus_X H]\right) \right) \right) \,.

Here a pair ([E +],[E ])([E_+], [E_-]) is also called a virtual vector bundle, and its equivalence class under the above equivalence relation is also denoted

[E +][E ]K(X). [E_+] - [E_-] \;\;\in K(X) \,.

If XX is a pointed topological space, hence equipped with a choice of point xXx \in X

then difference of ranks rk x()rk_x(-) of the representing vector bundles over the connected component of xXx \in X

rk x(E +)rk x(E ) rk_x(E_+) - rk_x(E_-) \in \mathbb{Z}

is called the virtual rank of the virtual vector bundle.

Example

(K-group of the point is the integers)

Let X=*X = \ast be the point. Then a topological vector bundle on XX is just a vector space

Vect(*)Vect Vect(\ast) \simeq Vect

and an isomorphism of vector bundles is just a bijective linear map.

Since finite dimensional vector spaces are isomorphic precisely if they have the same dimension, the semi-group of isomorphism classes of vector bundles over the point (def. 1) is the natural numbers:

(Vect(*) /,+)(,+). \left( Vect(\ast)_{/\sim}, + \right) \;\simeq\; \left( \mathbb{N}, + \right) \,.

Accordingly the K-group of the point is the Grothendieck group of the natural numbers, which is the additive group of integers (this example):

K(*)(,+) K(\ast) \simeq (\mathbb{Z}, +)

and this identification is the assignment of virtual rank (def. 2).

Remark

(on compact Hausdorff spaces all virtual vector bundles are formal difference by a trivial vector bundle)

If XX is a compact Hausdorff space, then every virtual vector bundle on XX (def. 2) of the form

[E][X×k n] [E] - [X \times k^n]

(i.e. for the negatice component represented by a trivial vector bundle).

This is because for XX compact Hausdorff then lemma 1 implies that for every topological vector bundle E E_- there exists a topological vector bundle E˜ \tilde E_- with E XE˜ X×k nE_- \oplus_X \tilde E_- \simeq X \times k^n, and hence

[E +][E ]=[E +]+[E˜ ][E]([E ]+[E˜ ])[X×k n]=[E][X×k n]. [E_+] - [E_-] = \underset{[E]}{\underbrace{[E_+] + [\tilde E_-]}} - \underset{[X \times k^n]}{\underbrace{ \left( [E_-] + [\tilde E_-] \right) } } = [E] - [X \times k^n] \,.
Remark

(commutative ring structure on K(X)K(X) from tensor product of vector bundles)

Also the operation of tensor product of vector bundles over XX descends to isomorphism classes of vector bundles? and makes (Vect(X) ,,)(Vect(X)_{\sim}, \oplus, \oplus) a semi-ring? (rig).

(This is the shadow under passing to isomorphism classes of the fact that the category Vect(X)Vect(X) is a distributive monoidal category under tensor product of vector bundles).

This mulitlicative structure passes to the K-group (def. 2) by the formula

[E +,E ][F +,F ][(E + XF +) X(E XE ),(E + XF ) X(E XF +)]. [E_+, E_-] \cdot [F_+, F_-] \;\coloneqq\; [ (E_+ \otimes_X F_+) \oplus_X (E_- \otimes_X E_-) \,,\, (E_+ \otimes_X F_-) \oplus_X (E_- \otimes_X F_+) ] \,.

Accordingly the ring (K(X),+,)(K(X), +,\cdot) is also called the K-theory ring of XX.

Remark

(functoriality of the K-theory ring assignment)

Let f:XYf \colon X \longrightarrow Y be a continuous function between topological spaces. The operation of pullback of vector bundles

f *:Vect(Y)Vect(X) f^\ast \;\colon\; Vect(Y) \longrightarrow Vect(X)

is compatible with direct sum of vector bundles as well as with tensor prouct of vector bundles? and hence descends to a homomorphism of commutative rings

f *:K(Y)K(X) f^\ast \;\colon\; K(Y) \longrightarrow K(X)

between the K-theory rings from remark 3. Moreover, for

XfYgZ X \overset{f}{\longrightarrow} Y \overset{g}{\longrightarrow} Z

two consecutive continuous functions, then the consecutive pullback of the vector bundle is isomorphic to the pullback along the composite map, which means that on K-group pullback preserves composition

(gf) *=f *g *:K(Z)K(X). (g \circ f)^\ast = f^\ast \circ g^\ast \;\colon\; K(Z) \longrightarrow K(X) \,.

Finally, of course pullback along an identity function id XcolomXXid_X \colom X \to X is the identity group homomorphism.

In summary this says that the assignment of K-groups to topological spaces is a functor

K():TopCRing K(-) \;\colon\; Top \longrightarrow CRing

from the category Top of topological space to the category CRing of commutative rings.

We consider next the image of plain vector bundles in virtual vector bundles:

Definition

(stable equivalence of vector bundles)

Let XX be a topological space. Define an equivalence relation stable\sim_{stable} on topological vector bundles over XX by declaring two vector bundles E 1E 2Vect(X)E_1 E_2 \in Vect(X) to be equivalent if there exists a trivial vector bundle X×k nX \times k^n of some rank nn such that after tensor product of vector bundles with this trivial bundle, both bundles become isomorphic

(E 1 stableE 2)n(E 1 X(X×k n)E 2 X(X×k n)). \left( E_1 \sim_{stable} E_2 \right) \;\Leftrightarrow\; \underset{n \in \mathbb{N}}{\exists} \left( E_1 \otimes_X (X \times k^n) \;\simeq\; E_2 \otimes_X (X \times k^n) \right) \,.

If E 1 stableE 2E_1 \sim_{stable} E_2 we say that E 1E_1 and E 2E_2 are stably equivalent vector bundles.

Proposition

(image of plain vector bundles in virtual vector bundles)

Let XX be a topological space. There is a homomorphism of semigroups

Vect(X) / K(X) [E 1] AAA ([E 1],[X×k 0]) \array{ Vect(X)_{/\sim} & \longrightarrow & K(X) \\ [E_1] &\overset{\phantom{AAA}}{\mapsto}& \left( [E_1], [X \times k^0] \right) }

from the isomorphism classes of topological vector bundles (def. 1) to the K-group of XX (def. 2 ).

If XX is a compact Hausdorff space, then the image of this function is the stable equivalence classes of vector bundles (def. 1), hence this function factors as an epimorphism onto Vect(X) / stableVect(X)_{/\sim_{stable}} followed by an injection

Vect(X) /Vect(X) / stableK(X). Vect(X)_{/\sim} \longrightarrow Vect(X)_{/\sim_{stable}} \hookrightarrow K(X) \,.
Proof

The homomorphism of commutative monoids Vect(X) /K(X)Vect(X)_{/\sim} \to K(X) is the one given by the universal property of the Grothendieck group construction (this prop.).

By definition of the Grothendieck group (this def.), two elements of the form

([E 1],[X×k 0])AAandAA([E 2],[X×k 0]) \left( [E_1], [X \times k^0] \right) \phantom{AA} \text{and} \phantom{AA} \left( [E_2], [X \times k^0] \right)

are equivalent precisely if there exist vector bundles F 1F_1 and F 2F_2 such that

([E 1 XF 1],[F 1])=([E 2 XF 2],[F 2]). \left( [ E_1 \oplus_X F_1 ], [ F_1] \right) \;=\; \left( [E_2 \oplus_X F_2], [F_2] \right) \,.

First of all this means that F 1F 2F_1 \simeq F_2, hence is equivalent to the existence of a vector bundle FF such that

[E 1F]=[E 2F]. [E_1 \oplus F] \;=\; [E_2 \oplus F] \,.

Now, by the assumption that XX is compact Hausdorff, lemma 1 implies that there exists a vector bundle F˜\tilde F such that

F XF˜X×k n F \oplus_X \tilde F \simeq X \times k^n

is the trivial vector bundle of some rank n \in \mathbbN}. This means that the above is equivalent already to the existence of an nn \in \mathbbN}n \in \mathbb{N} such that

[E 1(X×k n)]=[E 2(X×k n)]. [E_1 \oplus (X \times k^n)] \;=\; [E_2 \oplus (X \times k^n)] \,.

This is the definition of stable equivalence from def. 1.

The reduced K-group

Definition

(reduced K-theory)

Let XX be a pointed topological space, hence a topological space equipped with a choice of point xXx \in X, hence with a continuous function const x:*Xconst_x \colon \ast \to X from the point space.

By the functoriality of the K-groups (remark 4) this induces a group homomorphism

const x *:K(X)K(*). const_x^\ast \;\colon\; K(X) \longrightarrow K(\ast) \,.

The kernel of this map is called the reduced K-theory group of (X,x)(X,x), denoted

K˜(X)ker(const x *). \tilde K(X) \;\coloneqq\; ker(const_x^\ast) \,.
Remark

(restriction in K-theory to the point computes virtual rank)

By example 1 we have that

  1. K(*)K(\ast) \simeq \mathbb{Z};

  2. under this identification the function const x *const_x^\ast is the assignment of virtual rank

    K(X) const x * K(*) [E][F] AAA [E x][F x] rk x(E)rk x(F) \array{ K(X) &\overset{const_x^\ast}{\longrightarrow}& K(\ast) &\overset{\simeq}{\to}& \mathbb{Z} \\ [E]- [F] &\overset{\phantom{AAA}}{\mapsto}& [E_x] - [F_x] &\mapsto& rk_x(E) - rk_x(F) }
Proposition

(over compact Hausdorff spaces K˜(X)\tilde K(X) is a direct summand of K(X)K(X))

If (X,x)(X,x) is a pointed compact Hausdorff space then the defining short exact sequence of reduced K-theory group (def. 3)

0K˜(X)K(X)const x *K(*) 0 \to \tilde K(X) \hookrightarrow K(X) \overset{const_x^\ast}{\longrightarrow} K(\ast) \simeq \mathbb{Z}

splits and thus yields an isomorphism, which is given by

K(X) AA K˜(X) [E][X×k n] AAA ([E],rk x(E)n). \array{ K(X) &\overset{\phantom{A}\simeq \phantom{A}}{\longrightarrow}& \tilde K(X) \oplus \mathbb{Z} \\ [E] - [X \times k^n] &\overset{\phantom{AAA}}{\mapsto}& ([E], rk_x(E) - n) } \,.

Here on the left we are using remark 2 to represent any element of the K-group as a virtual difference of a vector bundle EE by a trivial bundle, and rk x(E)rk_x(E) \in \mathbb{N} denotes the rank of this vector bundl over the connected component of xXx \in X.

Equivalently this means that every element of K(X)K(X) decomposes as follows into a piece that has vanishing virtual rank over the connected component of xx and a virtual trivial bundle.

[E][X×k n]=([E][X×k rk x(E)])K˜(X)K(X)[X×k nrk x(E)]K(X). [E]- [X \times k^n] = \underset{\in \tilde K(X) \subset K(X)}{\underbrace{\left( [E] - [X \times k^{rk_x(E)}] \right)}} - \underset{\in \mathbb{Z} \subset K(X) }{\underbrace{[X \times k^{n-rk_x(E)}]}} \,.
Proof

By remark 5 the kernel of const x *const_x^\ast is identified with the virtual vector bundles of vanishing virtual rank. By remark 2 this kernel is identified with the elements of the form

[E][X×k rk x(E)]. [E] - [X \times k^{rk_x(E)}] \,.

In order to describe K˜(X)\tilde K(X) itself as an equivalence class, we consider the followign refinement of stable equivalence of vector bundles (def. 1):

Definition

(equivalence relation for reduced K-theory on compact Hausdorff spaces)

For XX a topological space, define an equivalence relation on the set of topological vector bundles EXE \to X over XX by declaring that E 1E 2E_1 \sim E_2 if there exists k 1,k 2k_1, k_2 \in \mathbb{N} such that there is an isomorphism of topological vector bundles between the direct sum of vector bundles of E 1E_1 with the trivial vector bundle X× k 1X \times \mathbb{R}^{k_1} and of E 2E_2 with X× k 2X \times \mathbb{R}^{k_2}

(E 1 redE 2)(k 1,k 2((E 1 X(X× k 1)(E 2 X(X× k 2))). (E_1 \sim_{red} E_2) \Leftrightarrow \left( \underset{k_1,k_2 \in \mathbb{N}}{\exists} \left( (E_1 \oplus_X (X \times \mathbb{R}^{k_1}) \;\simeq\; (E_2 \oplus_X (X \times \mathbb{R}^{k_2}) \right) \right) \,.

The operation of direct sum of vector bundles descends to these quotients

[E 1]+[E 2][E 1 XE 2] [E_1] + [E_2] \;\coloneqq\; [ E_1 \oplus_X E_2 ]

to yield a commutative semi-group

(Vect(X) / red,+). \left(Vect(X)_{/\sim_{red}}, +\right) \,.
Proposition

For XX a compact Hausdorff space then the commutative semi-group (Vect(X) / red,+)(Vect(X)_{/\sim_{red}}, +) from def. 4 and an actual abelian group and is in fact naturally isomorphic to the reduced K-theory group K˜(X)\tilde K(X) (def. 3):

K˜(X)(Vect(X) / red,+). \tilde K(X) \simeq (Vect(X)_{/\sim_{red}}, +) \,.
Proof

By prop. 3 K˜(X)\tilde K(X) is the subgroup of the Grothendieck group K(X)K(X) on the elements of the form [E][X×k rk x(E)][E]- [X \times k^{rk_x(E)}], which are cleraly entirely determined by [E]Vect(X) /[E] \in Vect(X)_{/\sim}. Hence we need to check if the equivalence relation of the Gorthendieck goup coincides with red\sim_{red} on these representatives.

The relation in the Grothendieck group is given by

([E 1][E 2])([G],[H]Vect(X) /(([E 1]+[G],[X×k rk x(E 1)]+[G])=([E 2]+[H],[X×k rk x(E 2)]+[H]))) \left( [E_1] \sim [E_2] \right) \Leftrightarrow \left( \underset{[G], [H] \in Vect(X)_{/\sim}}{\exists} \left( ( [E_1]+ [G], [X \times k^{rk_x(E_1)}] + [G] ) \;=\; ( [E_2] + [H], [X \times k^{rk_x(E_2)}] + [H] ) \right) \right)

As before, in remark 2 we may assume without restriction that G=X×k n 1G = X \times k^{n_1} and H=X×k n 2H = X \times k^{n_2} are trivial vector bundles. Then the above equality on the first component

[E 1]+[X×k n 1]=[E 2]+[X×k n 2] [E_1] + [X \times k^{n_1}] = [E_2] + [X \times k^{n_2}]

is the one that defines red\sim_{red}, and since isomorphic vector bundles necessarily have the same rank, it implies the equality of the second component.

Remark

(non-unital commutative ring-structure on K˜(X)\tilde K(X))

In view of the commutative ring structure on the K-group K(X)K(X) from remark 3, the reduced K-group K˜(X)\tilde K(X) from def. 3, being the kernel of a ring homomorphism (remark 4) is an ideal in K(X)K(X), hence itself a non-unital commutative ring.

(The ring unit of K(X)K(X) is the class [X×k 1,X×k 0][X \times k^1, X \times k^0] of the trivial line bundle on XX, which has virtual rank 1, and hence is not in K˜(x)\tilde K(x).)

Examples

Example

(topological K-theory ring of the point space)

We have already see in example 1 that

K(*). K(\ast) \simeq \mathbb{Z} \,.
Example

(complex topological K-theory ring of the circle)

Since the complex general linear group GL(n,)GL(n,\mathbb{C}) is path-connected (this prop.) and hence the classifying space BGL(n,)B GL(n,\mathbb{C}) is simply-connected, hence its fundamental group is trivial π 1(BGL(n,))[S 1,BGL(n,)]=1\pi_1(B GL(n,\mathbb{C})) \simeq [S^1, B GL(n,\mathbb{C})] = 1. Accordingly, all complex vector bundles on S 1S^1 are isomorphic toa trivial vector bundle.

It follows that

K (S 1)AAandAAK˜ 0. K_{\mathbb{C}}(S^1) \simeq \mathbb{Z} \phantom{AA} \text{and} \phantom{AA} \tilde K_{ \mathbb{C} } \simeq 0 \,.
Example

(complex topological K-theory ring of the 2-sphere)

For X=*X = \ast the point space, the fundamental product theorem in topological K-theory 5 states that the homomorphism

[h]/((h1) 2) K (S 2) h h \array{ \mathbb{Z}[h]/((h-1)^2) &\longrightarrow& K_{\mathbb{C}}(S^2) \\ h &\mapsto& h }

is an isomorphism.

This means that the relation (h1) 2=0(h-1)^2 = 0 satisfied by the basic line bundle on the 2-sphere (this prop.) is the only relation is satisfies in topological K-theory.

Notice that the underlying abelian group of [h]/((h1) 2)\mathbb{Z}[h]/((h-1)^2) is two direct sum copies of the integers,

K (S 2)=1,h K_{\mathbb{C}}(S^2) \simeq \mathbb{Z} \oplus \mathbb{Z} = \langle 1, h\rangle

one copy spanned by the trivial complex line bundle on the 2-sphere, the other spanned by the basic complex line bundle on the 2-sphere. (In contrast, the underlying abelian group of the polynomial ring [h]\mathbb{R}[h] has infinitely many copies of \mathbb{Z}, one for each h nh^n, for nn \in \mathbb{N}).

It follows (by this prop.) that the reduced K-theory group of the 2-sphere is

K˜ (S 2). \tilde K_{\mathbb{C}}(S^2) \simeq \mathbb{Z} \,.

Properties

Fundamental product theorem

For S 2 3S^2 \subset \mathbb{R}^3 the 2-sphere with its Euclidean subspace topology, write hh for the basic line bundle on the 2-sphere. Its image in the topological K-theory ring K(S 2)K(S^2) satisfies the relation

2h=h 2+1(h1) 2=0 2 h = h^2 + 1 \;\;\Leftrightarrow\;\; (h-1)^2 = 0

(by this prop.).

(Notice that h1h-1 is the image of hh in the reduced K-theory K˜(X)\tilde K(X) of S 2S^2 under the splitting K(X)K˜(X)K(X) \simeq \tilde K(X) \oplus \mathbb{Z} (by prop. 3.)

It follows that there is a ring homomorphism of the form

[h]/((h1) 2) K(S 2) h AAA H \array{ \mathbb{Z}[h]/\left( (h-1)^2 \right) &\overset{}{\longrightarrow}& K(S^2) \\ h &\overset{\phantom{AAA}}{\mapsto}& H }

from the polynomial ring in one abstract generator, quotiented by this relation, to the topological K-theory ring.

More generally, for XX a topological space, then this induces the composite ring homomorphism

K(X)[h]/((h1) 2) K(X)×K(S 2) K(X×S 2) (E,h) AAA (E,H) AAA (π X *E)(π S 2 *H) \array{ K(X) \otimes \mathbb{Z}[h]/((h-1)^2) & \longrightarrow & K(X) \times K(S^2) & \longrightarrow & K(X \times S^2) \\ (E, h) &\overset{\phantom{AAA} }{\mapsto}& (E,H) &\overset{\phantom{AAA}}{\mapsto}& (\pi_{X}^\ast E) \cdot (\pi_{S^2}^\ast H) }

to the topological K-theory ring of the product topological space X \times S^^2, where the second map is the external tensor product of vector bundles.

Proposition

(fundamental product theorem in topological K-theory)

For XX \times S^^X a compact Hausdorff space, then this ring homomorphism is an isomorphism.

(e.g. Hatcher, theorem 2.2)

For X=*X = \ast the product theorem prop. 5 says in particular that the first of the two morphisms in the composite is an isomorphism (example 4 below) and hence by the two-out-of-three-property for isomorphisms it follows that

Corollary

(external product theorem)

For XX a compact Hausdorff space we have that the external tensor product of vector bundles

K(X)K(S 2)K(X×S 2) K(X) \otimes K(S^2) \overset{\simeq}{\longrightarrow} K(X \times S^2)

is an isomorphism in topological K-theory.

Bott periodicity

Classifying space

We discuss how the classifying space for K 0K^0 is the delooping of the stable unitary group.

Definition

For nn \in \mathbb{N} write U(n)U(n) for the unitary group in dimension nn and O(n)O(n) for the orthogonal group in dimension nn, both regarded as topological groups in the standard way. Write BU(n),BO(n)B U(n) , B O(n)\in Top $ for the corresponding classifying space.

Write

[X,BO(n)]:=π 0Top(X,BO(n)) [X, B O(n)] := \pi_0 Top(X, B O(n))

and

[X,BU(n)]:=π 0Top(X,BU(n)) [X, B U(n)] := \pi_0 Top(X, B U(n))

for the set of homotopy-classes of continuous functions XBU(n)X \to B U(n).

Proposition

This is equivalently the set of isomorphism classes of O(n)O(n)- or U(n)U(n)-principal bundles on XX as well as of rank-nn real or complex vector bundles on XX, respectively:

[X,BO(n)]O(n)Bund(X)Vect (X,n), [X, B O(n)] \simeq O(n) Bund(X) \simeq Vect_{\mathbb{R}}(X,n) \,,
[X,BU(n)]U(n)Bund(X)Vect (X,n). [X, B U(n)] \simeq U(n) Bund(X) \simeq Vect_{\mathbb{C}}(X,n) \,.
Definition

For each nn let

U(n)U(n+1) U(n) \to U(n+1)

be the inclusion of topological groups given by inclusion of n×nn \times n matrices into (n+1)×(n+1)(n+1) \times (n+1)-matrices given by the block-diagonal form

[g][1 [0] [0] [g]]. \left[g\right] \mapsto \left[ \array{ 1 & [0] \\ [0] & [g] } \right] \,.

This induces a corresponding sequence of morphisms of classifying spaces, def. 5, in Top

BU(0)BU(1)BU(2). B U(0) \hookrightarrow B U(1) \hookrightarrow B U(2) \hookrightarrow \cdots \,.

Write

BU:=lim nBU(n) B U := {\lim_{\to}}_{n \in \mathbb{N}} B U(n)

for the homotopy colimit (the “homotopy direct limit”) over this diagram (see at homotopy colimit the section Sequential homotopy colimits).

Remark

The topological space BUB U is not equivalent to BU()B U(\mathcal{H}) , where U()U(\mathcal{H}) is the unitary group on a separable infinite-dimensional Hilbert space \mathcal{H}. In fact the latter is contractible, hence has a weak homotopy equivalence to the point

BU()* B U(\mathcal{H}) \simeq *

while BUB U has nontrivial homotopy groups in arbitrary higher degree (by Kuiper's theorem).

But there is the group U() 𝒦U()U(\mathcal{H})_{\mathcal{K}} \subset U(\mathcal{H}) of unitary operators that differ from the identity by a compact operator. This is essentially U=ΩBUU = \Omega B U. See below.

Proposition

Write \mathbb{Z} for the set of integers regarded as a discrete topological space.

The product spaces

BO×,BU× B O \times \mathbb{Z}\,,\;\;\;\;\;B U \times \mathbb{Z}

are classifying spaces for real and complex KK-theory, respectively: for every compact Hausdorff topological space XX, we have an isomorphism of groups

K˜(X)[X,BU]. \tilde K(X) \simeq [X, B U ] \,.
K(X)[X,BU×]. K(X) \simeq [X, B U \times \mathbb{Z}] \,.

See for instance (Friedlander, prop. 3.2) or (Karoubi, prop. 1.32, theorem 1.33).

Proof

First consider the statement for reduced cohomology K˜(X)\tilde K(X):

Since a compact topological space is a compact object in Top (and using that the classifying spaces BU(n)B U(n) are (see there) paracompact topological spaces, hence normal, and since the inclusion morphisms are closed inclusions (…)) the hom-functor out of it commutes with the filtered colimit

Top(X,BU) =Top(X,lim nBU(n)) lim nTop(X,BU(n)). \begin{aligned} Top(X, B U) &= Top(X, {\lim_\to}_n B U(n)) \\ & \simeq {\lim_\to}_n Top(X, B U (n)) \end{aligned} \,.

Since [X,BU(n)]U(n)Bund(X)[X, B U(n)] \simeq U(n) Bund(X), in the last line the colimit is over vector bundles of all ranks and identifies two if they become isomorphic after adding a trivial bundle of some finite rank.

For the full statement use that by prop. \ref{missing} we have

K(X)H 0(X,)K˜(X). K(X) \simeq H^0(X, \mathbb{Z}) \oplus \tilde K(X) \,.

Because H 0(X,)[X,]H^0(X,\mathbb{Z}) \simeq [X, \mathbb{Z}] it follows that

H 0(X,)K˜(X)[X,]×[X,BU][X,BU×]. H^0(X, \mathbb{Z}) \oplus \tilde K(X) \simeq [X, \mathbb{Z}] \times [X, B U] \simeq [X, B U \times \mathbb{Z}] \,.

There is another variant on the classifying space

Definition

Let

U 𝒦={gU()|gid𝒦} U_{\mathcal{K}} = \left\{ g \in U(\mathcal{H}) | g - id \in \mathcal{K} \right\}

be the group of unitary operators on a separable Hilbert space \mathcal{H} which differ from the identity by a compact operator.

Palais showed that

Proposition

U 𝒦U_\mathcal{K} is a homotopy equivalent model for BUB U. It is in fact the norm closure? of the evident model of BUB U in U()U(\mathcal{H}).

Moreover U 𝒦U()U_{\mathcal{K}} \subset U(\mathcal{H}) is a Banach Lie? normal subgroup.

Since U()U(\mathcal{H}) is contractible, it follows that

BU 𝒦U()/U 𝒦 B U_{\mathcal{K}} \coloneqq U(\mathcal{H})/U_{\mathcal{K}}

is a model for the classifying space of reduced K-theory.

As a generalized cohomology theory

That topological K-theory satisfies the axioms of a generalized (Eilenberg-Steenrod) cohomology theory was shown (at least) in (Atiyah-Hirzebruch 61, 1.8](#AtiyahHirzebruch61))

Spectrum

Being a generalized (Eilenberg-Steenrod) cohomology theory, topological K-theory is represented by a spectrum: the K-theory spectrum.

The degree-0 part of this spectrum, i.e. the classifying space for degree 0 topological KK-theory is modeled in particular by the space FredFred of Fredholm operators.

Chromatic filtration

chromatic homotopy theory

chromatic levelcomplex oriented cohomology theoryE-∞ ring/A-∞ ringreal oriented cohomology theory
0ordinary cohomologyEilenberg-MacLane spectrum HH \mathbb{Z}HZR-theory
0th Morava K-theoryK(0)K(0)
1complex K-theorycomplex K-theory spectrum KUKUKR-theory
first Morava K-theoryK(1)K(1)
first Morava E-theoryE(1)E(1)
2elliptic cohomologyelliptic spectrum Ell EEll_E
second Morava K-theoryK(2)K(2)
second Morava E-theoryE(2)E(2)
algebraic K-theory of KUK(KU)K(KU)
3 …10K3 cohomologyK3 spectrum
nnnnth Morava K-theoryK(n)K(n)
nnth Morava E-theoryE(n)E(n)BPR-theory
n+1n+1algebraic K-theory applied to chrom. level nnK(E n)K(E_n) (red-shift conjecture)
\inftycomplex cobordism cohomologyMUMR-theory

As the shape of the smooth K-theory spectrum

See at differential cohomology diagram.

Relation to algebraic K-theory

The topological K-theory over a space XX is not identical with the algebraic K-theory of the ring of functions on XX, but the two are closely related. See for instance (Paluch, Rosenberg). See at comparison map between algebraic and topological K-theory.

chromatic levelgeneralized cohomology theory / E-∞ ringobstruction to orientation in generalized cohomologygeneralized orientation/polarizationquantizationincarnation as quantum anomaly in higher gauge theory
1complex K-theory KUKUthird integral SW class W 3W_3spin^c-structureK-theoretic geometric quantizationFreed-Witten anomaly
2EO(n)Stiefel-Whitney class w 4w_4
2integral Morava K-theory K˜(2)\tilde K(2)seventh integral SW class W 7W_7Diaconescu-Moore-Witten anomaly in Kriz-Sati interpretation

cohomology theories of string theory fields on orientifolds

string theoryB-fieldBB-field moduliRR-field
bosonic stringline 2-bundleordinary cohomology H 3H\mathbb{Z}^3
type II superstringsuper line 2-bundlePic(KU)// 2Pic(KU)//\mathbb{Z}_2KR-theory KR KR^\bullet
type IIA superstringsuper line 2-bundleBGL 1(KU)B GL_1(KU)KU-theory KU 1KU^1
type IIB superstringsuper line 2-bundleBGL 1(KU)B GL_1(KU)KU-theory KU 0KU^0
type I superstringsuper line 2-bundlePic(KU)// 2Pic(KU)//\mathbb{Z}_2KO-theory KOKO
type I˜\tilde I superstringsuper line 2-bundlePic(KU)// 2Pic(KU)//\mathbb{Z}_2KSC-theory KSCKSC

References

The “ring of complex vector bundles” K(X)K(X) was introduced in

  • M. F. Atiyah, F. Hirzebruch, Riemann-Roch theorems for differentiable manifolds, Bull. Amer. Math Soc. vol. 65 (1959) pp. 276-281.

and shown to give a generalized (Eilenberg-Steenrod) cohomology theory in

Early lecture notes on topological K-theory in a general context of stable homotopy theory and generalized cohomology theory includes

Textbook accounts on topological K-theory include

  • M. F. Atiyah, K-theory, Benjamin New-York (1967)

  • Max Karoubi, K-theory: an introduction, Grundlehren der Math. Wissen. 226 Springer 1978, Reprinted in Classics in Mathematics (2008)

  • Allen Hatcher, Vector bundles and K-theory, 2003/2009 (web)

Further introductions include

A textbook account of topological K-theory with an eye towards operator K-theory is section 1 of

A discussion of the topological K-theory of classifying spaces of Lie groups is in

  • Stefan Jackowski and Bob Oliver, Vector bundles over classifying spaces of compact Lie groups (pdf)

The comparison map between algebraic and topological K-theory is discussed for instance in

  • Michael Paluch, Algebraic KK-theory and topological spaces K-theory 0471 (web)

  • Jonathan Rosenberg, Comparison Between Algebraic and Topological K-Theory for Banach Algebras and C *C^*-Algebras, (pdf)

Discussion from the point of view of smooth stacks and differential K-theory is in

The proof of the Hopf invariant one theorem in terms of topological K-theory is due to

Revised on May 28, 2017 10:21:03 by Urs Schreiber (92.218.150.85)