nLab
Introduction to Topological K-Theory

Contents

\,

These notes give an introduction to topological K-theory, of the basic definitions and results, for readers with a basic knowledge of (point-set) topology. The material covered is largely that also found in Hatcher or Wirthmuller 12.

under construction

Contents

Idea

To recall, the subject of topology studies spaces with continuous functions between them: topological spaces, a fundamental concept in all of mathematics. For many applications one cares about the choice of continuous functions only up to continuous deformations, called homotopies. The study of topological spaces with continuous functions up to homotopy is called homotopy theory. Interestingly, this plays an even more fundamental role in mathematics. For some introductory exposition see at Higher Structures in Mathematics and Physics.

In order to study topological spaces up to homotopy – then called homotopy types – a useful strategy is to assign algebraic data to them which may be transferred along continuous functions but is invariant under homotopy: homotopy invariants. This approach to homotopy theory is called algebraic topology.

A basic example of such a homotopy invariant of topological spaces is singular homology and singular cohomology. These are sequences of abelian groups which classify formal formal linear combinations of “singular chains” in a topological space, essentially a simple algebraic way to detect which kind of “holes” there are in a topological space.

But there are more interesting and richer homotopy invariants of topological spaces. In a sense the next example after the “ordinarysingular cohomology is the “generalized cohomology theory” called topological K-theory.

In topological K-theory one detects properties of topological spaces by regarding vector bundles over them. A vector bundle over a topological space XX is an assignment of a vector space V xV_x (the “fiber” over xx) to each of its points xXx \in X, such that these glue together to one big space VV over XX as the point xx varies in XX. Hence vector bundles are to be thought of as “continuously varying families of vector spaces”, combining topology with linear algebra.

graphics grabbed from Hatcher

For example if XX is differentiable, then at each of its points there is a vector space of tangent vectors called the tangent space at that point. The collection of these tangent spaces forms a vector bundle called the tangent bundle. The graphics on the right shows one tangent space to the 2-sphere.

Just as two vector spaces may be combined in their direct sum, so two vector bundles may be combined by point-wise direct sum of their fibers. This makes the isomorphism classes of vector bundles over a fixed topological space form a semi-group (in fact a monoid). The key idea of topological K-theory is to turn this semi-group of vector bundles into an actual (abelian) group by adjoining inverses, a general procudure known as the Grothendieck group construction, after its inventor. Applied to the semi-group of isomorphism classes of vector bundles, this yields the abelian group that is called the topological K-theory group of the underlying topological space. Here the “K” refers to the passage to (isomorphism) classes (German: Klassen).

\,

We now say some of this again, at a slightly more technical level.

\,

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 under 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”) 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

These proofs make use of the Adams operations on K-theory, which are reflections of the fact that with every vector bundle there is also the exterior tensor powers.

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. This closely connects to similar periodicities encountered elsewhere in mathematics, notably the periodicity, up to Morita equivalence, of Clifford algebras.

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.

Ordinary cohomology

Idea

We are concerned with assigning abelian groups to topological spaces that tell us something about the nature of these spaces, about their “homotopy type”. Before we come to K-theory, the simplest such assignment is called ordinary homology and ordinary cohomology. In its realization as singular chain homology it uses a basic tool of homological algebra to compute these group: chain complexes.

Consider an interval in a topological space XX, namely a continuous map σ:[0,1]X\sigma \colon [0,1] \to X. Its boundary is the two endpoints σ(0):*X\sigma(0) \colon \ast \to X and σ(1):*toX\sigma(1) \colon \ast to X. In order to remember that the first is the “incoming boundary” while the second is the “outgoing boundary” we form their formal difference and call this the oriented boundary

σσ(1)σ(0). \partial \sigma \;\coloneqq\; \sigma(1) - \sigma(0) \,.

This suggests that we also allow for signed formal sums ia iσ i\underset{i}{\sum} a_i \sigma_i of intervals in the first place.{ If all these intervals σ i\sigma_i touch each other at their endpoints, then this looks like a chain of intervals, a 1-dimensional chain, and hence such a formal sum is called a 1-chain, for short. Similarly a formal sum of points is then called a 0-chain. It is natural to extend the boundary operation \partial linearly from intervals to 1-chains. The quotient group

H 0(X)0-chainsboundaries of 1-chains H_0(X) \coloneqq \frac{\text{0-chains}}{\text{boundaries of 1-chains}}

is called the ordinary homology or singular homology of XX in degree 0. Clearly, it is measure for the connected components of XX. Similarly there are nn-dimensional chains in XX, for any nn, and a boundary map \partial on all of these. It satisfies the fundamental identity that The boundary of a boundary vanishes,

=0. \partial \circ \partial = 0 \,.

One says that the chains equipped with this nilpotent boundary operation form a chain complex. In general then the quotient group

H n(X)n-chains that are cyclesboundaries ofn+1-chains H_n(X) \coloneqq \frac{n\text{-chains that are cycles}}{\text{boundaries of}\; n+1\text{-chains}}

is called the ordinary homology of XX in degree nn. This a measure for the “holes of dimension nn” that one may fund in XX.

The ordinary homólogy groups associated with a topological space are homotopy invariants that are useful for analyzing, recognizing and and distinguishing topological spaces.

Homotopy type of topological spaces

This section reviews some basic notions in topology and homotopy theory. These will all serve as blueprints for corresponding notions in homological algebra.

Definition

A topological space is a set XX equipped with a set of subsets UXU \subset X, called open sets, which are closed under

  1. finite intersections
  2. arbitrary unions.
Example

The Cartesian space n\mathbb{R}^n with its standard notion of open subsets given by unions of open balls D n nD^n \subset \mathbb{R}^n.

Definition

For YXY \hookrightarrow X an injection of sets and {U iX} iI\{U_i \subset X\}_{i \in I} a topology on XX, the subspace topology on YY is {U iYY} iI\{U_i \cap Y \subset Y\}_{i \in I}.

Definition

For nn \in \mathbb{N}, the topological n-simplex is, up to homeomorphism, the topological space whose underlying set is the subset

Δ n{x n+1| i=0 nx i=1andi.x i0} n+1 \Delta^n \coloneqq \{ \vec x \in \mathbb{R}^{n+1} | \sum_{i = 0 }^n x_i = 1 \; and \; \forall i . x_i \geq 0 \} \subset \mathbb{R}^{n+1}

of the Cartesian space n+1\mathbb{R}^{n+1}, and whose topology is the subspace topology induces from the canonical topology in n+1\mathbb{R}^{n+1}.

Example

For n=0n = 0 this is the point, Δ 0=*\Delta^0 = *.

For n=1n = 1 this is the standard interval object Δ 1=[0,1]\Delta^1 = [0,1].

For n=2n = 2 this is the filled triangle.

For n=3n = 3 this is the filled tetrahedron.

Definition

A homomorphisms between topological spaces f:XYf : X \to Y is a continuous function:

a function f:XYf:X\to Y of the underlying sets such that the preimage of every open set of YY is an open set of XX.

Topological spaces with continuous maps between them form the category Top.

Definition

For nn \in \mathbb{N}, n1\n \geq 1 and 0kn0 \leq k \leq n, the kkth (n1)(n-1)-face (inclusion) of the topological nn-simplex, def. , is the subspace inclusion

δ k:Δ n1Δ n \delta_k : \Delta^{n-1} \hookrightarrow \Delta^n

induced under the coordinate presentation of def. , by the inclusion

n n+1 \mathbb{R}^n \hookrightarrow \mathbb{R}^{n+1}

which “omits” the kkth canonical coordinate:

(x 0,,x n1)(x 0,,x k1,0,x k,,x n1). (x_0, \cdots , x_{n-1}) \mapsto (x_0, \cdots, x_{k-1} , 0 , x_{k}, \cdots, x_{n-1}) \,.
Example

The inclusion

δ 0:Δ 0Δ 1 \delta_0 : \Delta^0 \to \Delta^1

is the inclusion

{1}[0,1] \{1\} \hookrightarrow [0,1]

of the “right” end of the standard interval. The other inclusion

δ 1:Δ 0Δ 1 \delta_1 : \Delta^0 \to \Delta^1

is that of the “left” end {0}[0,1]\{0\} \hookrightarrow [0,1].

Definition

For nn \in \mathbb{N} and 0k<n0 \leq k \lt n the kkth degenerate (n)(n)-simplex (projection) is the surjective map

σ k:Δ nΔ n1 \sigma_k : \Delta^{n} \to \Delta^{n-1}

induced under the barycentric coordinates of def. under the surjection

n+1 n \mathbb{R}^{n+1} \to \mathbb{R}^n

which sends

(x 0,,x n)(x 0,,x k+x k+1,,x n). (x_0, \cdots, x_n) \mapsto (x_0, \cdots, x_{k} + x_{k+1}, \cdots, x_n) \,.
Definition

For XX \in Top and nn \in \mathbb{N}, a singular nn-simplex in XX is a continuous map

σ:Δ nX \sigma : \Delta^n \to X

from the topological nn-simplex, def. , to XX.

Write

(SingX) nHom Top(Δ n,X) (Sing X)_n \coloneqq Hom_{Top}(\Delta^n , X)

for the set of singular nn-simplices of XX.

As nn varies, this forms the singular simplicial complex of XX. This is the topic of the next section, see def. def. .

Definition

For f,g:XYf,g : X \to Y two continuous functions between topological spaces, a left homotopy η:fg\eta : f \Rightarrow g is a commuting diagram in Top of the form

X (id,δ 0) f X×Δ 1 η Y (id,δ 1) g X. \array{ X \\ {}^{\mathllap{(id,\delta_0)}}\downarrow & \searrow^{\mathrlap{f}} \\ X \times \Delta^1 &\stackrel{\eta}{\to}& Y \\ {}^{\mathllap{(id,\delta_1)}}\uparrow & \nearrow_{\mathrlap{g}} \\ X } \,.
Remark

In words this says that a homotopy between two continuous functions ff and gg is a continuous 1-parameter deformation of ff to gg. That deformation parameter is the canonical coordinate along the interval [0,1][0,1], hence along the “length” of the cylinder X×Δ 1X \times \Delta^1.

Proposition

Left homotopy is an equivalence relation on Hom Top(X,Y)Hom_{Top}(X,Y).

The fundamental invariants of a topological space in the context of homotopy theory are its homotopy groups. We first review the first homotopy group, called the fundamental group of XX:

Definition

For XX a topological space and x:*Xx : * \to X a point. A loop in XX based at xx is a continuous function

γ:Δ 1X \gamma : \Delta^1 \to X

from the topological 1-simplex, such that γ(0)=γ(1)=x\gamma(0) = \gamma(1) = x.

A based homotopy between two loops is a homotopy

Δ 1 (id,δ 0) f Δ 1×Δ 1 η X (id,δ 1) g Δ 1 \array{ \Delta^1 \\ \downarrow^{\mathrlap{(id,\delta_0)}} & \searrow^{\mathrlap{f}} \\ \Delta^1 \times \Delta^1 &\stackrel{\eta}{\to}& X \\ \uparrow^{\mathrlap{(id,\delta_1)}} & \nearrow_{\mathrlap{g}} \\ \Delta^1 }

such that η(0,)=η(1,)=x\eta(0,-) = \eta(1,-) = x.

Proposition

This notion of based homotopy is an equivalence relation.

Proof

This is directly checked. It is also a special case of the general discussion at homotopy.

Definition

Given two loops γ 1,γ 2:Δ 1X\gamma_1, \gamma_2 : \Delta^1 \to X, define their concatenation to be the loop

γ 2γ 1:t{γ 1(2t) (0t1/2) γ 2(2(t1/2)) (1/2t1). \gamma_2 \cdot \gamma_1 : t \mapsto \left\{ \array{ \gamma_1(2 t) & ( 0 \leq t \leq 1/2 ) \\ \gamma_2(2 (t-1/2)) & (1/2 \leq t \leq 1) } \right. \,.
Proposition

Concatenation of loops respects based homotopy classes where it becomes an associative, unital binary pairing with inverses, hence the product in a group.

Definition

For XX a topological space and xXx \in X a point, the set of based homotopy equivalence classes of based loops in XX equipped with the group structure from prop. is the fundamental group or first homotopy group of (X,x)(X,x), denoted

π 1(X,x)Grp. \pi_1(X,x) \in Grp \,.
Example

The fundamental group of the point is trivial: π 1(*)=*\pi_1(*) = *.

Example

The fundamental group of the circle is the group of integers π 1(S 1)\pi_1(S^1) \simeq \mathbb{Z}.

This construction has a fairly straightforward generalizations to “higher dimensional loops”.

Definition

Let XX be a topological space and x:*Xx : * \to X a point. For (1n)(1 \leq n) \in \mathbb{N}, the nnth homotopy group π n(X,x)\pi_n(X,x) of XX at xx is the group:

  • whose elements are left-homotopy equivalence classes of maps S n(X,x)S^n \to (X,x) in Top */Top^{*/};

  • composition is given by gluing at the base point (wedge sum) of representatives.

The 0th homotopy group is taken to be the set of connected components.

Example

For n=1n = 1 this reproduces the definition of the fundamental group of def. .

The homotopy theory of topological spaces is all controled by the following notion. The abelianization of this notion, the notion of quasi-isomorphism discussed in def. below is central to homological algebra.

Definition

For X,YX, Y \in Top two topological spaces, a continuous function f:XYf : X \to Y between them is called a weak homotopy equivalence if

  1. ff induces an isomorphism of connected components

    π 0(f):π 0(X)π 0(Y) \pi_0(f) \colon \pi_0(X) \stackrel{\simeq}{\to} \pi_0(Y)

    in Set;

  2. for all points xXx \in X and for all (1n)(1 \leq n) \in \mathbb{N} ff induces an isomorphism on homotopy groups

    π n(f,x):π n(X,x)π n(Y,f(x)) \pi_n(f,x) \colon \pi_n(X,x) \stackrel{\simeq}{\to} \pi_n(Y,f(x))

    in Grp.

What is called homotopy theory is effectively the study of topological spaces not up to isomorphism (here: homeomorphism), but up to weak homotopy equivalence. Similarly, we will see that homological algebra is effectively the study of chain complexes not up to isomorphism, but up to quasi-isomorphism. But this is slightly more subtle than it may seem, in parts due to the following:

Proposition

The existence of a weak homotopy equivalence from XX to YY is a reflexive and transitive relation on Top, but it is not a symmetric relation.

Proof

Reflexivity and transitivity are trivially checked. A counterexample to symmetry is the weak homotopy equivalence between the stanard circle and the pseudocircle.

But we can consider the genuine equivalence relation generated by weak homotopy equivalence:

Definition

We say two spaces XX and YY have the same (weak) homotopy type if they are equivalent under the equivalence relation generated by weak homotopy equivalence.

Remark

Equivalently this means that XX and YY have the same (weak) homotopy type if there exists a zigzag of weak homotopy equivalences

XY. X \leftarrow \to\leftarrow \dots \to Y \,.

One can understand the homotopy type of a topological space just in terms of its homotopy groups and how they act on each other. (This data is called a Postnikov tower of XX.) But computing and handling homotopy groups is in general hard, famously so already for the seemingly simple case of the homotopy groups of spheres. Therefore we now want to simplify the situation by passing to a “linear/abelian approximation”.

Simplicial and singular homology

This section discusses how the “abelianization” of a topological space by singular chains gives rise to the notion of chain complexes and their homology.

Above in def. we saw that to a topological space XX is associated a sequence of sets

(SingX) nHom Top(Δ n,X) (Sing X)_n \coloneqq Hom_{Top}(\Delta^n, X)

of singular simplices. Since the topological nn-simplices Δ n\Delta^n from def. sit inside each other by the face inclusions of def.

δ k:Δ n1Δ n \delta_k : \Delta^{n-1} \to \Delta^{n}

and project onto each other by the degeneracy maps, def.

σ k:Δ n+1Δ n \sigma_k : \Delta^{n+1} \to \Delta^n

we dually have functions

d kHom Top(δ k,X):(SingX) n(SingX) n1 d_k \coloneqq Hom_{Top}(\delta_k, X) : (Sing X)_n \to (Sing X)_{n-1}

that send each singular nn-simplex to its kk-face and functions

s kHom Top(σ k,X):(SingX) n(SingX) n+1 s_k \coloneqq Hom_{Top}(\sigma_k,X) : (Sing X)_{n} \to (Sing X)_{n+1}

that regard an nn-simplex as beign a degenerate (“thin”) (n+1)(n+1)-simplex. All these sets of simplices and face and degeneracy maps between them form the following structure.

Definition

A simplicial set SsSetS \in sSet is

  • for each nn \in \mathbb{N} a set S nSetS_n \in Set – the set of nn-simplices;

  • for each injective map δ i:n1¯n¯\delta_i : \overline{n-1} \to \overline{n} of totally ordered sets n¯{0<1<<n}\bar n \coloneqq \{ 0 \lt 1 \lt \cdots \lt n \}

    a function d i:S nS n1d_i : S_{n} \to S_{n-1} – the iith face map on nn-simplices;

  • for each surjective map σ i:n+1¯n¯\sigma_i : \overline{n+1} \to \bar n of totally ordered sets

    a function σ i:S nS n+1\sigma_i : S_{n} \to S_{n+1} – the iith degeneracy map on nn-simplices;

such that these functions satisfy the simplicial identities.

Definition

The simplicial identities satisfied by face and degeneracy maps as above are (whenever these maps are composable as indicated):

  1. d id j=d j1d i d_i \circ d_j = d_{j-1} \circ d_i if i<ji \lt j,

  2. s is j=s js i1s_i \circ s_j = s_j \circ s_{i-1} if i>ji \gt j.

  3. d is j={s j1d i ifi<j id ifi=jori=j+1 s jd i1 ifi>j+1d_i \circ s_j = \left\{ \array{ s_{j-1} \circ d_i & if \; i \lt j \\ id & if \; i = j \; or \; i = j+1 \\ s_j \circ d_{i-1} & if i \gt j+1 } \right.

It is straightforward to check by explicit inspection that the evident injection and restriction maps between the sets of singular simplices make (SingX) (Sing X)_\bullet into a simplicial set. We now briefly indicate a systematic way to see this using basic category theory, but the reader already satisfied with this statement should jump ahead to the abelianization of (SingX) n(Sing X)_n in prop. below.

Definition

The simplex category Δ\Delta is the full subcategory of Cat on the free categories of the form

[0] {0} [1] {01} [2] {012} . \begin{aligned} [0] & \coloneqq \{0\} \\ [1] & \coloneqq \{0 \to 1\} \\ [2] & \coloneqq \{0 \to 1 \to 2\} \\ \vdots \end{aligned} \,.
Remark

This is called the “simplex category” because we are to think of the object [n][n] as being the “spine” of the nn-simplex. For instance for n=2n = 2 we think of 0120 \to 1 \to 2 as the “spine” of the triangle. This becomes clear if we don’t just draw the morphisms that generate the category [n][n], but draw also all their composites. For instance for n=2n = 2 we have_

[2]={ 1 0 2}. [2] = \left\{ \array{ && 1 \\ & \nearrow && \searrow \\ 0 &&\to&& 2 } \right\} \,.
Proposition

A functor

S:Δ opSet S : \Delta^{op} \to Set

from the opposite category of the simplex category to the category Set of sets is canonically identified with a simplicial set, def. .

Proof

One checks by inspection that the simplicial identities characterize precisely the behaviour of the morphisms in Δ op([n],[n+1])\Delta^{op}([n],[n+1]) and Δ op([n],[n1])\Delta^{op}([n],[n-1]).

This makes the following evident:

Example

The topological simplices from def. arrange into a cosimplicial object in Top, namely a functor

Δ :ΔTop. \Delta^\bullet : \Delta \to Top \,.

With this now the structure of a simplicial set on the singular simplices (SingX) (Sing X)_\bullet, def. , is manifest: it is just the nerve of XX with respect to Δ \Delta^\bullet, namely:

Definition

For XX a topological space its simplicial set of singular simplicies (often called the singular simplicial complex)

(SingX) :Δ opSet (Sing X)_\bullet : \Delta^{op} \to Set

is given by composition of the functor from example with the hom functor of Top:

(SingX):[n]Hom Top(Δ n,X). (Sing X) : [n] \mapsto Hom_{Top}( \Delta^n , X ) \,.
Remark (aside)

It turns out that homotopy type of the topological space XX is entirely captured by its singular simplicial complex SingXSing X (this is the content of the homotopy hypothesis-theorem).

Now we abelianize the singular simplicial complex (SingX) (Sing X)_\bullet in order to make it simpler and hence more tractable.

Definition

A formal linear combination of elements of a set SS \in Set is a function

a:S a : S \to \mathbb{Z}

such that only finitely many of the values a sa_s \in \mathbb{Z} are non-zero.

Identifying an element sSs \in S with the function SS \to \mathbb{Z}, which sends ss to 11 \in \mathbb{Z} and all other elements to 0, this is written as

a= sSa ss. a = \sum_{s \in S} a_s \cdot s \,.

In this expression one calls a sa_s \in \mathbb{Z} the coefficient of ss in the formal linear combination.

Remark

For SS \in Set, the group of formal linear combinations [S]\mathbb{Z}[S] is the group whose underlying set is that of formal linear combinations, def. , and whose group operation is the pointwise addition in \mathbb{Z}:

( sSa ss)+( sSb ss)= sS(a s+b s)s. (\sum_{s \in S} a_s \cdot s) + (\sum_{s \in S} b_s \cdot s) = \sum_{s \in S} (a_s + b_s) \cdot s \,.

For the present purpose the following statement may be regarded as just introducing different terminology for the group of formal linear combinations:

Proposition

The group [S]\mathbb{Z}[S] is the free abelian group on SS.

Definition

For S S_\bullet a simplicial set, def. , the free abelian group [S n]\mathbb{Z}[S_n] is called the group of (simplicial) nn-chains on SS.

Definition

For XX a topological space, an nn-chain on the singular simplicial complex SingXSing X is called a singular nn-chain on XX.

This construction makes the sets of simplices into abelian groups. But this allows to formally add the different face maps in the simplicial set to one single boundary map:

Definition

For SS a simplicial set, its alternating face map differential in degree nn is the linear map

:[S n][S n1] \partial : \mathbb{Z}[S_n] \to \mathbb{Z}[S_{n-1}]

defined on basis elements σS n\sigma \in S_n to be the alternating sum of the simplicial face maps:

(1)σ k=0 n(1) kd kσ. \partial \sigma \coloneqq \sum_{k = 0}^n (-1)^k d_k \sigma \,.
Proposition

The simplicial identity, def. part (1), implies that the alternating sum boundary map of def. squares to 0:

=0. \partial \circ \partial = 0 \,.
Proof

By linearity, it is sufficient to check this on a basis element σS n\sigma \in S_n. There we compute as follows:

σ =( j=0 n(1) jd jσ) = j=0 n i=0 n1(1) i+jd id jσ = 0i<jn(1) i+jd id jσ+ 0ji<n(1) i+jd id jσ = 0i<jn(1) i+jd j1d iσ+ 0ji<n(1) i+jd id jσ = 0ij<n(1) i+jd jd iσ+ 0ji<n(1) i+jd id jσ =0. \begin{aligned} \partial \partial \sigma & = \partial \left( \sum_{j = 0}^n (-1)^j d_j \sigma \right) \\ & = \sum_{j=0}^n \sum_{i = 0}^{n-1} (-1)^{i+j} d_i d_j \sigma \\ & = \sum_{0 \leq i \lt j \leq n} (-1)^{i+j} d_i d_j \sigma + \sum_{0 \leq j \leq i \lt n} (-1)^{i + j} d_i d_j \sigma \\ & = \sum_{0 \leq i \lt j \leq n} (-1)^{i+j} d_{j-1} d_i \sigma + \sum_{0 \leq j \leq i \lt n} (-1)^{i + j} d_i d_j \sigma \\ & = - \sum_{0 \leq i \leq j \lt n} (-1)^{i+j} d_{j} d_i \sigma + \sum_{0 \leq j \leq i \lt n} (-1)^{i + j} d_i d_j \sigma \\ & = 0 \end{aligned} \,.

Here

  1. the first equality is (1);

  2. the second is (1) together with the linearity of dd;

  3. the third is obtained by decomposing the sum into two summands;

  4. the fourth finally uses the simplicial identity def. (1) in the first summand;

  5. the fifth relabels the summation index jj by j+1j +1;

  6. the last one observes that the resulting two summands are negatives of each other.

Example

Let XX be a topological space. Let σ 1:Δ 1X\sigma^1 : \Delta^1 \to X be a singular 1-simplex, regarded as a 1-chain

σ 1C 1(X). \sigma^1 \in C_1(X) \,.

Then its boundary σH 0(X)\partial \sigma \in H_0(X) is

σ 1=σ(0)σ(1) \partial \sigma^1 = \sigma(0) -\sigma(1)

or graphically (using notation as for orientals)

(σ(0)σσ(1))=(σ(0))(σ(1)). \partial \left( \sigma(0) \stackrel{\sigma}{\to} \sigma(1) \right) = (\sigma(0)) - (\sigma(1)) \,.

In particular σ\sigma is a 1-cycle precisely if σ(0)=σ(1)\sigma(0) = \sigma(1), hence precisely if σ\sigma is a loop.

Let σ 2:Δ 2X\sigma^2 : \Delta^2 \to X be a singular 2-chain. The boundary is

( σ(1) σ(0,1) σ σ 1,2 σ(0) σ(0,2) σ(2))=( σ(1) σ(0,1) σ(0))( σ(0) σ(0,2) σ(2))+( σ(1) σ 1,2 σ(2)). \partial \left( \array{ && \sigma(1) \\ & {}^{\mathllap{\sigma(0,1)}}\nearrow & \Downarrow^{\mathrlap{\sigma}}& \searrow^{\mathrlap{\sigma^{1,2}}} \\ \sigma(0) &&\underset{\sigma(0,2)}{\to}&& \sigma(2) } \right) = \left( \array{ && \sigma(1) \\ & {}^{\mathllap{\sigma(0,1)}}\nearrow & & \\ \sigma(0) } \right) - \left( \array{ && \\ & & & \\ \sigma(0) &\underset{\sigma(0,2)}{\to}& \sigma(2) } \right) + \left( \array{ && \sigma(1) \\ & & & \searrow^{\mathrlap{\sigma^{1,2}}} \\ && && \sigma(2) } \right) \,.

Hence the boundary of the boundary is:

σ =(( σ(1) σ(0,1) σ(0))( σ(0) σ(0,2) σ(2))+( σ(1) σ 1,2 σ(2))) =( σ(0))( σ(1) )( σ(0) )+( σ(2))+( σ(1) )( σ(2)) =0 \begin{aligned} \partial \partial \sigma &= \partial \left( \left( \array{ && \sigma(1) \\ & {}^{\mathllap{\sigma(0,1)}}\nearrow & & \\ \sigma(0) } \right) - \left( \array{ && \\ & & & \\ \sigma(0) &\underset{\sigma(0,2)}{\to}& \sigma(2) } \right) + \left( \array{ && \sigma(1) \\ & & & \searrow^{\mathrlap{\sigma^{1,2}}} \\ && && \sigma(2) } \right) \right) \\ & = \left( \array{ && \\ & & & \\ \sigma(0) } \right) - \left( \array{ && \sigma(1) \\ & & & \\ } \right) - \left( \array{ && \\ & & & \\ \sigma(0) && } \right) + \left( \array{ && \\ & & & \\ && \sigma(2) } \right) + \left( \array{ && \sigma(1) \\ & & & \\ && && } \right) - \left( \array{ && \\ & & & \\ && && \sigma(2) } \right) \\ & = 0 \end{aligned}
Definition

For SS a simplicial set, we call the collection

  1. of abelian groups of chains C n(S)[S n]C_n(S) \coloneqq \mathbb{Z}[S_n], prop. ;

  2. and boundary homomorphisms n:C n+1(S)C n(X)\partial_n : C_{n+1}(S) \to C_n(X), def.

(for all nn \in \mathbb{N}) the alternating face map chain complex of SS:

C (S)=[ 2[S 2] 1[S 1] 0[S 0]]. C_\bullet(S) = [ \cdots \stackrel{\partial_2}{\to} \mathbb{Z}[S_2] \stackrel{\partial_1}{\to} \mathbb{Z}[S_1] \stackrel{\partial_0}{\to} \mathbb{Z}[S_0] ] \,.

Specifically for S=SingXS = Sing X we call this the singular chain complex of XX.

This motivates the general definition:

Definition

A chain complex of abelian groups C C_\bullet is a collection {C nAb} n\{C_n \in Ab\}_{n} of abelian groups together with group homomorphisms { n:C n+1C n}\{\partial_n : C_{n+1} \to C_n\} such that =0\partial \circ \partial = 0.

We turn to this definition in more detail in the next section. The thrust of this construction lies in the fact that the chain complex C (SingX)C_\bullet(Sing X) remembers the abelianized fundamental group of XX, as well as aspects of the higher homotopy groups: in its chain homology.

Definition

For C (S)C_\bullet(S) a chain complex as in def. , and for nn \in \mathbb{N} we say

  • an nn-chain of the form σC(S) n\partial \sigma \in C(S)_n is an nn-boundary;

  • a chain σC n(S)\sigma \in C_n(S) is an nn-cycle if σ=0\partial \sigma = 0

    (every 0-chain is a 0-cycle).

By linearity of \partial the boundaries and cycles form abelian sub-groups of the group of chains, and we write

B nim( n)C n(S) B_n \coloneqq im(\partial_n) \subset C_n(S)

for the group of nn-boundaries, and

Z nker( n)C (S) Z_n \coloneqq ker(\partial_n) \subset C_(S)

for the group of nn-cycles.

Remark

This means that a singular chain is a cycle if the formal linear combination of the oriented boundaries of all its constituent singular simplices sums to 0.

Remark

More generally, for RR any unital ring one can form the degreewise free module R[SingX]R[Sing X] over RR. The corresponding homology is the singular homology with coefficients in RR, denoted H n(X,R)H_n(X,R). This generality we come to below in the next section.

Definition

For C (S)C_\bullet(S) a chain complex as in def. and for nn \in \mathbb{N}, the degree-nn chain homology group H n(C(S))AbH_n(C(S)) \in Ab is the quotient group

H n(C(S))ker( n1)im( n)=Z nB n H_n(C(S)) \coloneqq \frac{ker(\partial_{n-1})}{im(\partial_n)} = \frac{Z_n}{B_n}

of the nn-cycles by the nn-boundaries – where for n=0n = 0 we declare that 10\partial_{-1} \coloneqq 0 and hence Z 0C 0Z_0 \coloneqq C_0.

Specifically, the chain homology of C (SingX)C_\bullet(Sing X) is called the singular homology of the topological space XX.

One usually writes H n(X,)H_n(X, \mathbb{Z}) or just H n(X)H_n(X) for the singular homology of XX in degree nn.

Remark

So H 0(C (S))=C 0(S)/im( 0)H_0(C_\bullet(S)) = C_0(S)/im(\partial_0).

Example

For XX a topological space we have that the degree-0 singular homology

H 0(X)[π 0(X)] H_0(X) \simeq \mathbb{Z}[\pi_0(X)]

is the free abelian group on the set of connected components of XX.

Example

For XX a connected, orientable manifold of dimension nn we have

H n(X). H_n(X) \simeq \mathbb{Z} \,.

The precise choice of this isomorphism is a choice of orientation on XX. With a choice of orientation, the element 11 \in \mathbb{Z} under this identification is called the fundamental class

[X]H n(X) [X] \in H_n(X)

of the manifold XX.

Definition

Given a continuous map f:XYf : X \to Y between topological spaces, and given nn \in \mathbb{N}, every singular nn-simplex σ:Δ nX\sigma : \Delta^n \to X in XX is sent to a singular nn-simplex

f *σ:Δ nσXfY f_* \sigma : \Delta^n \stackrel{\sigma}{\to} X \stackrel{f}{\to} Y

in YY. This is called the push-forward of σ\sigma along ff. Accordingly there is a push-forward map on groups of singular chains

(f *) n:C n(X)C n(Y). (f_*)_n : C_n(X) \to C_n(Y) \,.
Proposition

These push-forward maps make all diagrams of the form

C n+1(X) (f *) n+1 C n+1(Y) n X n Y C n(X) (f *) n C n(Y) \array{ C_{n+1}(X) &\stackrel{(f_*)_{n+1}}{\to}& C_{n+1}(Y) \\ \downarrow^{\mathrlap{\partial^X_n}} && \downarrow^{\mathrlap{\partial^Y_n}} \\ C_n(X) &\stackrel{(f_*)_n}{\to}& C_n(Y) }

commute.

Proof

It is in fact evident that push-forward yields a functor of singular simplicial complexes

f *:SingXSingY. f_* : Sing X \to Sing Y \,.

From this the statement follows since []:sSetsAb\mathbb{Z}[-] : sSet \to sAb is a functor.

Therefore we have an “abelianized analog” of the notion of topological space:

Definition

For C ,D C_\bullet, D_\bullet two chain complexes, def. , a homomorphism between them – called a chain map f :C D f_\bullet : C_\bullet \to D_\bullet – is for each nn \in \mathbb{N} a homomorphism f n:C nD nf_n : C_n \to D_n of abelian groups, such that f n n C= n Df n+1f_n \circ \partial^C_n = \partial^D_n \circ f_{n+1}:

n+1 C n+1 D C n+1 f n+1 D n+1 n C n D C n f n D n n1 C n1 D . \array{ \vdots && \vdots \\ \downarrow^{\mathrlap{\partial^C_{n+1}}} && \downarrow^{\mathrlap{\partial^D_{n+1}}} \\ C_{n+1} &\stackrel{f_{n+1}}{\to}& D_{n+1} \\ \downarrow^{\mathrlap{\partial^C_n}} && \downarrow^{\mathrlap{\partial^D_n}} \\ C_{n} &\stackrel{f_{n}}{\to}& D_{n} \\ \downarrow^{\mathrlap{\partial^C_{n-1}}} && \downarrow^{\mathrlap{\partial^D_{n-1}}} \\ \vdots && \vdots } \,.

Composition of such chain maps is given by degreewise composition of their components. Clearly, chain complexes with chain maps between them hence form a category – the category of chain complexes in abelian groups, – which we write

Ch (Ab))Cat. Ch_\bullet(Ab)) \in Cat \,.

Accordingly we have:

Proposition

Sending a topological space to its singular chain complex C (X)C_\bullet(X), def. , and a continuous map to its push-forward chain map, prop. , constitutes a functor

C ():TopCh (Ab) C_\bullet(-) : Top \to Ch_\bullet(Ab)

from the category Top of topological spaces and continuous maps, to the category of chain complexes.

In particular for each nn \in \mathbb{N} singular homology extends to a functor

H n():TopAb. H_n(-) : Top \to Ab \,.

We close this section by stating the basic properties of singular homology, which make precise the sense in which it is an abelian approximation to the homotopy type of XX. The proof of these statements requires some of the tools of homological algebra that we develop in the later chapters, as well as some tools in algebraic topology.

Proposition

If f:XYf : X \to Y is a continuous map between topological spaces which is a weak homotopy equivalence, def, , then the induced morphism on singular homology groups

H n(f):H n(X)H n(Y) H_n(f) : H_n(X) \to H_n(Y)

is an isomorphism.

(A proof (via CW approximations) is spelled out for instance in (Hatcher, prop. 4.21)).

We therefore also have an “abelian analog” of weak homotopy equivalences:

Definition

For C ,D C_\bullet, D_\bullet two chain complexes, a chain map f :C D f_\bullet : C_\bullet \to D_\bullet is called a quasi-isomorphism if it induces isomorphisms on all homology groups:

f n:H n(C)H n(D). f_n : H_n(C) \stackrel{\simeq}{\to} H_n(D) \,.

In summary: chain homology sends weak homotopy equivalences to quasi-isomorphisms. Quasi-isomorphisms of chain complexes are the abelianized analog of weak homotopy equivalences of topological spaces.

In particular we have the analog of prop. :

Proposition

The relation “There exists a quasi-isomorphism from C C_\bullet to D D_\bullet.” is a reflexive and transitive relation, but it is not a symmetric relation.

Proof

Reflexivity and transitivity are evident. An explicit counter-example showing the non-symmetry is the chain map

0 2 0 0 0 /2 0 \array{ \cdots &\to& 0 &\to& \mathbb{Z} &\stackrel{\cdot 2}{\to}& \mathbb{Z} &\to& 0 &\to& \cdots \\ \cdots && \downarrow && \downarrow && \downarrow && \downarrow && \cdots \\ \cdots &\to& 0 &\to& 0 &\to& \mathbb{Z}/2\mathbb{Z} &\to& 0 &\to& \cdots }

from the chain complex concentrated on the morphism of multiplication by 2 on integers, to the chain complex concentrated on the cyclic group of order 2.

This clearly induces an isomorphism on all homology groups. But there is not even a non-zero chain map in the other direction, since there is no non-zero group homomorphism /2\mathbb{Z}/2\mathbb{Z} \to \mathbb{Z}.

Accordingly, as for homotopy types of topological spaces, in homological algebra one regards two chain complexes C C_\bullet, D D_\bullet as essentially equivalent – “of the same weak homology type” – if there is a zigzag of quasi-isomorphisms

C D C_\bullet \leftarrow \to \leftarrow \cdots \to D_\bullet

between them. This is made precise by the central notion of the derived category of chain complexes. We turn to this below in section Derived categories and derived functors.

But quasi-isomorphisms are a little coarser than weak homotopy equivalences. The singular chain functor C ()C_\bullet(-) forgets some of the information in the homotopy types of topological spaces. The following series of statements characterizes to some extent what exactly is lost when passing to singular homology, and which information is in fact retained.

First we need a comparison map:

Definition

(Hurewicz homomorphism)

For (X,x)(X,x) a pointed topological space, the Hurewicz homomorphism is the function

Φ:π k(X,x)H k(X) \Phi : \pi_k(X,x) \to H_k(X)

from the kkth homotopy group of (X,x)(X,x) to the kkth singular homology group defined by sending

Φ:(f:S kX) f *[S k] \Phi : (f : S^k \to X)_{\sim} \mapsto f_*[S_k]

a representative singular kk-sphere ff in XX to the push-forward along ff of the fundamental class [S k]H k(S k)[S_k] \in H_k(S^k), example .

Proposition

For XX a topological space the Hurewicz homomorphism in degree 0 exhibits an isomorphism between the free abelian group [π 0(X)]\mathbb{Z}[\pi_0(X)] on the set of path connected components of XX and the degree-0 singular homlogy:

[π 0(X)]H 0(X). \mathbb{Z}[\pi_0(X)] \simeq H_0(X) \,.

Since a homotopy group in positive degree depends on the homotopy type of the connected component of the base point, while the singular homology does not depend on a basepoint, it is interesting to compare these groups only for the case that XX is connected.

Proposition

For XX a path-connected topological space the Hurewicz homomorphism in degree 1

Φ:π 1(X,x)H 1(X) \Phi : \pi_1(X,x) \to H_1(X)

is surjective. Its kernel is the commutator subgroup of π 1(X,x)\pi_1(X,x). Therefore it induces an isomorphism from the abelianization π 1(X,x) abπ 1(X,x)/[π 1,π 1]\pi_1(X,x)^{ab} \coloneqq \pi_1(X,x)/[\pi_1,\pi_1]:

π 1(X,x) abH 1(X). \pi_1(X,x)^{ab} \stackrel{\simeq}{\to} H_1(X) \,.

For higher connected XX we have the

Theorem

If XX is (n-1)-connected for n2n \geq 2 then

Φ:π n(X,x)H n(X) \Phi : \pi_n(X,x) \to H_n(X)

is an isomorphism.

This is known as the Hurewicz theorem.

References

Vector bundles

Idea

For understanding some topological space XX, it is often useful to understand how another topological space FF may be “continuously distributed over” XX. For instance the two-element space {1,1}\{-1, 1\} may be continuously distributed over the circle S 1S^1 in two inequivalent ways: Either the two points come back to themselves as we move around the circle, or they switch position. This switch is a reflection of the fact that in the circle there are non-contractible loops, in constrast for instance to the 2-sphere, where every loop may be continuously shrunk to a constant loop. If we embed the two points {1,1}\{-1,1\} into the real line and repeat the construction, then as the line traces around the circle it sweeps out one of two different topological spaces over the circle: either the cylinder (if +1+1 comes back to itself) or the Möbius strip (if +1+1 and 1-1 change position as one goes around the circle).

The image of this situation looks like a “bundle” of “fibers” over the circle. Generally, for FF a topological space, then an FF-fiber bundle over XX is another space EE with a projection p:EXp \colon E \to X that shrinks the fibers away, which all look like FF in a controlled way.

For the purpose of topological K-theory we are interested in fibers FF which are vector spaces and such that their re-identification as we move around in XX is by linear maps. Then one speaks of vector bundles. The theory of vector bundles is much like “continuously parameterized linear algebra

Fiber bundles

The tensor category of vector bundles

category of vector bundles

Examples

Basic properties

metric structure

over compact topological spaces

References

Classifying spaces

Idea

Some vector bundles are “tautological”. For consider the topological space of all kk-dimensional linear subspaces of a fixed nn-dimensional vector space. Clearly this space carries a vector bundle, namely that whose fiber over the point that labels some subspace is that subspace. It is possible to take this construction and allow nn to go to infinity. The result is a classifying space for vector bundles which carries a universal vector bundle: every other vector bundle on a sufficiently well-behaved topological space is classified by a map into this classifying space, namely the map that, roughly, sends each point to the lable of the fiber above it.

classifying spaces for vector bundles.

We use the above fact (…) that

  1. every real vector bundle is isomorphic to the canonical associated bundle to an O(n)-principal bundle;

  2. every complex vector bundle is isomorphic to the canonical associated bundle to an U(n)-principal bundle.

Grassmannian spaces

In the following we take Top to denote compactly generated topological spaces. For these the Cartesian product X×()X \times (-) is a left adjoint and hence preserves colimits.

Definition

For n,kn, k \in \mathbb{N} and nkn \leq k, then the nnth real Stiefel manifold of k\mathbb{R}^k is the coset topological space.

V n( k)O(k)/O(kn), V_n(\mathbb{R}^k) \coloneqq O(k)/O(k-n) \,,

where the action of O(kn)O(k-n) is via its canonical embedding O(kn)O(k)O(k-n)\hookrightarrow O(k).

Similarly the nnth complex Stiefel manifold of k\mathbb{C}^k is

V n( k)U(k)/U(kn), V_n(\mathbb{C}^k) \coloneqq U(k)/U(k-n) \,,

here the action of U(kn)U(k-n) is via its canonical embedding U(kn)U(k)U(k-n)\hookrightarrow U(k).

Definition

For n,kn, k \in \mathbb{N} and nkn \leq k, then the nnth real Grassmannian of k\mathbb{R}^k is the coset topological space.

Gr n( k)O(k)/(O(n)×O(kn)), Gr_n(\mathbb{R}^k) \coloneqq O(k)/(O(n) \times O(k-n)) \,,

where the action of the product group is via its canonical embedding O(n)×O(kn)O(n)O(n)\times O(k-n) \hookrightarrow O(n) into the orthogonal group.

Similarly the nnth complex Grassmannian of k\mathbb{C}^k is the coset topological space.

Gr n( k)U(k)/(U(n)×U(kn)), Gr_n(\mathbb{C}^k) \coloneqq U(k)/(U(n) \times U(k-n)) \,,

where the action of the product group is via its canonical embedding U(n)×U(kn)U(n)U(n)\times U(k-n) \hookrightarrow U(n) into the unitary group.

Example
Proposition

For all nkn \leq k \in \mathbb{N}, the canonical projection from the real Stiefel manifold (def. ) to the Grassmannian is a O(n)O(n)-principal bundle

O(n) V n( k) Gr n( k) \array{ O(n) &\hookrightarrow& V_n(\mathbb{R}^k) \\ && \downarrow \\ && Gr_n(\mathbb{R}^k) }

and the projection from the complex Stiefel manifold to the Grassmannian us a U(n)U(n)-principal bundle:

U(n) V n( k) Gr n( k). \array{ U(n) &\hookrightarrow& V_n(\mathbb{C}^k) \\ && \downarrow \\ && Gr_n(\mathbb{C}^k) } \,.
Proof

By (this cor. and this prop.).

Definition

By def. there are canonical inclusions

Gr n( k)Gr n( k+1) Gr_n(\mathbb{R}^k) \hookrightarrow Gr_n(\mathbb{R}^{k+1})

and

Gr n( k)Gr n( k+1) Gr_n(\mathbb{C}^k) \hookrightarrow Gr_n(\mathbb{C}^{k+1})

for all kk \in \mathbb{N}. The colimit (in Top, see there) over these inclusions is denoted

BO(n)lim kGr n( k) B O(n) \coloneqq \underset{\longrightarrow}{\lim}_k Gr_n(\mathbb{R}^k)

and

BU(n)lim kGr n( k), B U(n) \coloneqq \underset{\longrightarrow}{\lim}_k Gr_n(\mathbb{C}^k) \,,

respectively.

Moreover, by def. there are canonical inclusions

V n( k)V n( k+1) V_n(\mathbb{R}^k) \hookrightarrow V_n(\mathbb{R}^{k+1})

and

V n( k)V n( k+1), V_n(\mathbb{C}^k) \hookrightarrow V_n(\mathbb{C}^{k+1}) \,,

respectively, that are compatible with the O(n)O(n)-action and the U(n)U(n)-action, respectively. The colimit (in Top, see there) over these inclusions, regarded as equipped with the induced action, is denoted

EO(n)lim kV n( k) E O(n) \coloneqq \underset{\longrightarrow}{\lim}_k V_n(\mathbb{R}^k)

and

EU(n)lim kV n( k), E U(n) \coloneqq \underset{\longrightarrow}{\lim}_k V_n(\mathbb{C}^k) \,,

respectively. The inclusions are in fact compatible with the bundle structure from prop. , so that there are induced projections

(EO(n) BO(n))lim k(V n( k) Gr n( k)) \left( \array{ E O(n) \\ \downarrow \\ B O(n) } \right) \;\; \simeq \;\; \underset{\longrightarrow}{\lim}_k \left( \array{ V_n(\mathbb{R}^k) \\ \downarrow \\ Gr_n(\mathbb{R}^k) } \right)

and

(EU(n) BU(n))lim k(V n( k) Gr n( k)), \left( \array{ E U(n) \\ \downarrow \\ B U(n) } \right) \;\; \simeq \;\; \underset{\longrightarrow}{\lim}_k \left( \array{ V_n(\mathbb{C}^k) \\ \downarrow \\ Gr_n(\mathbb{C}^k) } \right) \,,

respectively. These are the standard models for the universal principal bundles for OO and UU, respectively. The corresponding associated vector bundles

EO(n)×O(n) n E O(n) \underset{O(n)}{\times} \mathbb{R}^n

and

EU(n)×U(n) n E U(n) \underset{U(n)}{\times} \mathbb{C}^n

are the corresponding universal vector bundles.

Since the Cartesian product O(n)×()O(n)\times (-) in compactly generated topological spaces preserves colimits, it follows that the colimiting bundle is still an O(n)O(n)-principal bundle

(EO(n))/O(n) (lim kV n( k))/O(n) lim k(V n( k)/O(n)) lim kGr n( k) BO(n) \begin{aligned} (E O(n))/O(n) & \simeq (\underset{\longrightarrow}{\lim}_k V_{n}(\mathbb{R}^k))/O(n) \\ & \simeq \underset{\longrightarrow}{\lim}_k (V_n(\mathbb{R}^k)/O(n)) \\ & \simeq \underset{\longrightarrow}{\lim}_k Gr_n(\mathbb{R}^k) \\ & \simeq B O(n) \end{aligned}

and anlogously for EU(n)E U(n).

As such this is the standard presentation for the O(n)O(n)-universal principal bundle. Its base space BO(n)B O(n) is the corresponding classifying space.

Definition

There are canonical inclusions

Gr n( k)Gr n+1( k+1) Gr_n(\mathbb{R}^k) \hookrightarrow Gr_{n+1}(\mathbb{R}^{k+1})

and

Gr n( k)Gr n+1( k+1) Gr_n(\mathbb{C}^k) \hookrightarrow Gr_{n+1}(\mathbb{C}^{k+1})

given by adjoining one coordinate to the ambient space and to any subspace. Under the colimit of def. these induce maps of classifying spaces

BO(n)BO(n+1) B O(n) \longrightarrow B O(n+1)

and

BU(n)BU(n+1). B U(n) \longrightarrow B U(n+1) \,.
Definition

There are canonical maps

Gr n 1( k 1)×Gr n 2( k 2)Gr n 1+n 2( k 1+k 2) Gr_{n_1}(\mathbb{R}^{k_1}) \times Gr_{n_2}(\mathbb{R}^{k_2}) \longrightarrow Gr_{n_1 + n_2}(\mathbb{R}^{k_1 + k_2})

and

Gr n 1( k 1)×Gr n 2( k 2)Gr n 1+n 2( k 1+k 2) Gr_{n_1}(\mathbb{C}^{k_1}) \times Gr_{n_2}(\mathbb{C}^{k_2}) \longrightarrow Gr_{n_1 + n_2}(\mathbb{C}^{k_1 + k_2})

given by sending ambient spaces and subspaces to their direct sum.

Under the colimit of def. these induce maps of classifying spaces

BO(n 1)×BO(n 2)BO(n 1+n 2) B O(n_1) \times B O(n_2) \longrightarrow B O(n_1 + n_2)

and

BU(n 1)×BU(n 2)BU(n 1+n 2) B U(n_1) \times B U(n_2) \longrightarrow B U(n_1 + n_2)

Properties

Proposition

The real Grassmannians Gr n( k)Gr_n(\mathbb{R}^k) and the complex Grassmannians Gr n( k)Gr_n(\mathbb{C}^k) of def. admit the structure of CW-complexes. Moreover the canonical inclusions

Gr n( k)Gr n( k+1) Gr_n(\mathbb{R}^k) \hookrightarrow Gr_n(\mathbb{R}^{k+1})

and

Gr n( k)Gr n( k+1) Gr_n(\mathbb{C}^k) \hookrightarrow Gr_n(\mathbb{C}^{k+1})

are subcomplex incusions (hence relative cell complex inclusions).

Accordingly there is an induced CW-complex structure on the classifying spaces BO(n)B O(n) and BU(n)B U(n) (def. ).

A proof is spelled out in (Hatcher, section 1.2 (pages 31-34)).

Proposition

The Stiefel manifold V n( k)V_n(\mathbb{R}^k) from def. admits the structure of a CW-complex.

e.g. (James 59, p. 3, James 76, p. 5 with p. 21, Blaszczyk 07)

(And I suppose with that cell structure the inclusions V n( k)V n( k+1)V_n(\mathbb{R}^k) \hookrightarrow V_n(\mathbb{R}^{k+1}) are subcomplex inclusions.)

Proposition

The Stiefel manifold V n( k)V_n(\mathbb{R}^k) (def. ) is (k-n-1)-connected.

Proof

Consider the coset quotient projection

O(kn)O(k)O(k)/O(kn)=V n( k). O(k-n) \longrightarrow O(k) \longrightarrow O(k)/O(k-n) = V_n(\mathbb{R}^k) \,.

Since the orthogonal groups is compact (prop.) and by this corollary the projection O(k)O(k)/O(kn)O(k)\to O(k)/O(k-n) is a Serre fibration. Therefore there is induced the long exact sequence of homotopy groups of this fiber sequence, and by this prop. it has the following form in degrees bounded by nn:

π kn1(O(kn))epiπ kn1(O(k))0π kn1(V n( k))0π 1<kn1(O(k))π 1<kn1(O(kn)). \cdots \to \pi_{\bullet \leq k-n-1}(O(k-n)) \overset{epi}{\longrightarrow} \pi_{\bullet \leq k-n-1}(O(k)) \overset{0}{\longrightarrow} \pi_{\bullet \leq k-n-1}(V_n(\mathbb{R}^k)) \overset{0}{\longrightarrow} \pi_{\bullet-1 \lt k-n-1}(O(k)) \overset{\simeq}{\longrightarrow} \pi_{\bullet-1 \lt k-n-1}(O(k-n)) \to \cdots \,.

This implies the claim. (Exactness of the sequence says that every element in π n1(V n( k))\pi_{\bullet \leq n-1}(V_n(\mathbb{R}^k)) is in the kernel of zero, hence in the image of 0, hence is 0 itself.)

Similarly:

Proposition

The complex Stiefel manifold V n( k)V_n(\mathbb{C}^k) (def. ) is 2(k-n)-connected.

Proof

Consider the coset quotient projection

U(kn)U(k)U(k)/U(kn)=V n( k). U(k-n) \longrightarrow U(k) \longrightarrow U(k)/U(k-n) = V_n(\mathbb{C}^k) \,.

By prop. and by this corollary the projection U(k)U(k)/U(kn)U(k)\to U(k)/U(k-n) is a Serre fibration. Therefore there is induced the long exact sequence of homotopy groups of this fiber sequence, and by prop. it has the following form in degrees bounded by nn:

π 2(kn)(U(kn))epiπ 2(kn)(U(k))0π 2(kn)(V n( k))0π 1<2(kn)(U(k))π 1<2(kn)(U(kn)). \cdots \to \pi_{\bullet \leq 2(k-n)}(U(k-n)) \overset{epi}{\longrightarrow} \pi_{\bullet \leq 2(k-n)}(U(k)) \overset{0}{\longrightarrow} \pi_{\bullet \leq 2(k-n)}(V_n(\mathbb{C}^k)) \overset{0}{\longrightarrow} \pi_{\bullet-1 \lt 2(k-n)}(U(k)) \overset{\simeq}{\longrightarrow} \pi_{\bullet-1 \lt 2(k-n)}(U(k-n)) \to \cdots \,.

This implies the claim.

Corollary

The colimiting space EO(n)=lim kV n( k)E O(n) = \underset{\longrightarrow}{\lim}_k V_n(\mathbb{R}^k) from def. is weakly contractible.

The colimiting space EU(n)=lim kV n( k)E U(n) = \underset{\longrightarrow}{\lim}_k V_n(\mathbb{C}^k) from def. is weakly contractible.

Proposition

The homotopy groups of the classifying spaces BO(n)B O(n) and BU(n)B U(n) (def. ) are those of the orthogonal group O(n)O(n) and of the unitary group U(n)U(n), respectively, shifted up in degree: there are isomorphisms

π +1(BO(n))π O(n) \pi_{\bullet+1}(B O(n)) \simeq \pi_\bullet O(n)

and

π +1(BU(n))π U(n) \pi_{\bullet+1}(B U(n)) \simeq \pi_\bullet U(n)

(for homotopy groups based at the canonical basepoint).

Proof

Consider the sequence

O(n)EO(n)BO(n) O(n) \longrightarrow E O(n) \longrightarrow B O(n)

from def. , with O(n)O(n) the fiber. Since (by this prop.) the second map is a Serre fibration, this is a fiber sequence and so it induces a long exact sequence of homotopy groups of the form

π (O(n))π (EO(n))π (BO(n))π 1(O(n))π 1(EO(n)). \cdots \to \pi_\bullet(O(n)) \longrightarrow \pi_\bullet(E O(n)) \longrightarrow \pi_\bullet(B O(n)) \longrightarrow \pi_{\bullet-1}(O (n)) \longrightarrow \pi_{\bullet-1}(E O(n)) \to \cdots \,.

Since by cor. π (EO(n))=0\pi_\bullet(E O(n))= 0, exactness of the sequence implies that

π (BO(n))π 1(O(n)) \pi_\bullet(B O(n)) \overset{\simeq}{\longrightarrow} \pi_{\bullet-1}(O (n))

is an isomorphism.

The same kind of argument applies to the complex case.

Proposition

For nn \in \mathbb{N} there are homotopy fiber sequences

S nBO(n)BO(n+1) S^n \longrightarrow B O(n) \longrightarrow B O(n+1)

and

S 2n+1BU(n)BU(n+1), S^{2n+1} \longrightarrow B U(n) \longrightarrow B U(n+1) \,,

exhibiting the n-sphere ((2n+1)(2n+1)-sphere) as the homotopy fiber of the canonical maps from def. .

This means that there is a replacement of the canonical inclusion BO(n)BO(n+1)B O(n) \hookrightarrow B O(n+1) (induced via def. ) by a Serre fibration

BO(n) BO(n+1) weakhomotopyequivalence Serrefib. B˜O(n) \array{ B O(n) &\hookrightarrow& B O(n+1) \\ {}^{\mathllap{{weak \, homotopy} \atop equivalence}}\downarrow & \nearrow_{\mathrlap{Serre \, fib.}} \\ \tilde B O(n) }

such that S nS^n is the ordinary fiber of BO(n)B˜O(n+1)B O(n)\to \tilde B O(n+1), and analogously for the complex case.

Proof

Take B˜O(n)(EO(n+1))/O(n)\tilde B O(n) \coloneqq (E O(n+1))/O(n).

To see that the canonical map BO(n)(EO(n+1))/O(n)B O(n)\longrightarrow (E O(n+1))/O(n) is a weak homotopy equivalence consider the commuting diagram

O(n) id O(n) EO(n) EO(n+1) BO(n) (EO(n+1))/O(n). \array{ O(n) &\overset{id}{\longrightarrow}& O(n) \\ \downarrow && \downarrow \\ E O(n) &\longrightarrow& E O(n+1) \\ \downarrow && \downarrow \\ B O(n) &\longrightarrow& (E O(n+1))/O(n) } \,.

By this prop. both bottom vertical maps are Serre fibrations and so both vertical sequences are fiber sequences. By prop. part of the induced morphisms of long exact sequences of homotopy groups looks like this

π (BO(n)) π ((EO(n+1))/O(n)) π 1(O(n)) = π 1(O(n)), \array{ \pi_\bullet(B O(n)) &\overset{}{\longrightarrow}& \pi_\bullet( (E O(n+1))/O(n) ) \\ {}^{\mathllap{\simeq}}\downarrow && \downarrow^{\mathrlap{\simeq}} \\ \pi_{\bullet-1}(O(n)) &\overset{=}{\longrightarrow}& \pi_{\bullet-1}(O(n)) } \,,

where the vertical and the bottom morphism are isomorphisms. Hence also the to morphisms is an isomorphism.

That BO(n)B˜O(n+1)B O(n)\to \tilde B O(n+1) is indeed a Serre fibration follows again with this prop., which gives the fiber sequence

O(n+1)/O(n)(EO(n+1))/O(n)(EO(n+1))/O(n+1). O(n+1)/O(n) \longrightarrow (E O(n+1))/O(n) \longrightarrow (E O(n+1))/O(n+1) \,.

The claim in then follows since (this exmpl.)

O(n+1)/O(n)S n. O(n+1)/O(n) \simeq S^n \,.

The argument for the complex case is of the same form, concluding now with the identification (this exmpl.)

U(n+1)/U(n)S 2n+1. U(n+1)/U(n) \simeq S^{2n+1} \,.

The classification result

Proposition

For XX a paracompact topological space, the operation of pullback of the universal principal bundle EO(n)BO(n)E O(n) \to B O(n) from def. along continuous functions f:XBO(n)f \colon X \to B O(n) eastblishes a bijection

[X,BO(n)]isoff *EO(n)O(n)Bund/ [X, B O(n)] \underoverset{iso}{f \mapsto f^\ast E O(n)}{\longrightarrow} O(n) Bund/_\sim

between homotopy classes of functions from XX to BO(n)B O(n) and isomorphism classes of O(n)O(n)-principal bundles on XX.

A full proof is spelled out in (Hatcher, section 1.2, theorem 1.16)

References

The K-theory functor K ()K^\bullet(-)

Idea

The isomorphism classes of vector bundles over some topological space XX naturally form a semi-group (in fact a monoid) under forming direct sum of vector bundles. But as in ordinary cohomology, we rater want to assign an actual group to XX, instead of just a semi-group.

There is a universal way to turn a semi-group into an actual group by adjoining formal inverses to all elements. This is called the Grothendieck group construction. Applying this to the semi-group of vector bundles yields “virtual vector bundles”, which are formal differences [E][F][E] - [F] of isomorphism classes of actual vector bundles. These now form an abelian group called the topological K-theory group of XX, and denoted K(X)K(X).

Since for every continuous function f:XYf \;\colon\; X \to Y and every vector bundle over YY there is the corresponding pullback bundle over XX, this construction is a (contravariant) functor on the category of topological spaces, just as the ordinary cohomology groups are. In the next session we see that this analogy goes further, so we also call K(X)K(X) the K-cohomology group of XX.

In fact K(X)K(X) has more structure than just that of an abelian group. The tensor product of vector bundles makes it a ring. In the next session this will make us say that topological K-theory is a multiplicative cohomology theory.

References

Generalized cohomology

Idea

We may now make precise in which sense the topological K-theory functor K()K(-) is directly analogous to the ordinary cohomology functors H (,)H^\bullet(-,\mathbb{Z}). This involves noticing a list of useful properties satisfied by these functors. In particular one finds that given any continuous function, then it induces a sequence of further continuous functions called its mapping cones and suspensions, and the application of a cohomology functor to these sequences of topological spaces yields long exact sequences in cohomology. This is most useful for computing generalized cohomology groups.

\,

There are two versions of the statement of the axioms:

There are functors taking any reduced cohomology theory to an unreduced one, and vice versa. When some fine detail in the axioms is suitably set up, then this establishes an equivalence between reduced and unreduced generalized cohomology:

Mapping cones

Reduced cohomology

Throughout, write Top CW{}_{CW} for the category of topological spaces homeomorphic to CW-complexes. Write Top CW */Top^{\ast/}_{CW} for the corresponding category of pointed topological spaces.

Recall that colimits in Top */Top^{\ast/} are computed as colimits in TopTop after adjoining the base point and its inclusion maps to the given diagram

Example

The coproduct in pointed topological spaces is the wedge sum, denoted iIX i\vee_{i \in I} X_i.

Write

ΣS 1():Top CW */Top CW */ \Sigma \coloneqq S^1 \wedge (-) \;\colon\; Top^{\ast/}_{CW} \longrightarrow Top^{\ast/}_{CW}

for the reduced suspension functor.

Write Ab Ab^{\mathbb{Z}} for the category of integer-graded abelian groups.

Definition

A reduced cohomology theory is a functor

E˜ :(Top CW */) opAb \tilde E^\bullet \;\colon\; (Top^{\ast/}_{CW})^{op} \longrightarrow Ab^{\mathbb{Z}}

from the opposite of pointed topological spaces (CW-complexes) to \mathbb{Z}-graded abelian groups (“cohomology groups”), in components

E˜:(XfY)(E˜ (Y)f *E˜ (X)), \tilde E \;\colon\; (X \stackrel{f}{\longrightarrow} Y) \mapsto (\tilde E^\bullet(Y) \stackrel{f^\ast}{\longrightarrow} \tilde E^\bullet(X)) \,,

and equipped with a natural isomorphism of degree +1, to be called the suspension isomorphism, of the form

σ:E˜ +1(Σ)E˜ () \sigma \;\colon\; \tilde E^{\bullet +1}(\Sigma -) \overset{\simeq}{\longrightarrow} \tilde E^\bullet(-)

such that:

  1. (homotopy invariance) If f 1,f 2:XYf_1,f_2 \colon X \longrightarrow Y are two morphisms of pointed topological spaces such that there is a (base point preserving) homotopy f 1f 2f_1 \simeq f_2 between them, then the induced homomorphisms of abelian groups are equal

    f 1 *=f 2 *. f_1^\ast = f_2^\ast \,.
  2. (exactness) For i:AXi \colon A \hookrightarrow X an inclusion of pointed topological spaces, with j:XCone(i)j \colon X \longrightarrow Cone(i) the induced mapping cone, then this gives an exact sequence of graded abelian groups

    E˜ (Cone(i))j *E˜ (X)i *E˜ (A). \tilde E^\bullet(Cone(i)) \overset{j^\ast}{\longrightarrow} \tilde E^\bullet(X) \overset{i^\ast}{\longrightarrow} \tilde E^\bullet(A) \,.

We say E˜ \tilde E^\bullet is additive if in addition

  • (wedge axiom) For {X i} iI\{X_i\}_{i \in I} any set of pointed CW-complexes, then the canonical comparison morphism

    E˜ ( iIX i) iIE˜ (X i) \tilde E^\bullet(\vee_{i \in I} X_i) \longrightarrow \prod_{i \in I} \tilde E^\bullet(X_i)

    is an isomorphism, from the functor applied to their wedge sum, example , to the product of its values on the wedge summands, .

We say E˜ \tilde E^\bullet is ordinary if its value on the 0-sphere S 0S^0 is concentrated in degree 0:

  • (Dimension) E˜ 0(𝕊 0)0\tilde E^{\bullet\neq 0}(\mathbb{S}^0) \simeq 0.

A homomorphism of reduced cohomology theories

η:E˜ F˜ \eta \;\colon\; \tilde E^\bullet \longrightarrow \tilde F^\bullet

is a natural transformation between the underlying functors which is compatible with the suspension isomorphisms in that all the following squares commute

E˜ (X) η X F˜ (X) σ E σ F E˜ +1(ΣX) η ΣX F˜ +1(ΣX). \array{ \tilde E^\bullet(X) &\overset{\eta_X}{\longrightarrow}& \tilde F^\bullet(X) \\ {}^{\mathllap{\sigma_E}}\downarrow && \downarrow^{\mathrlap{\sigma_F}} \\ \tilde E^{\bullet + 1}(\Sigma X) &\overset{\eta_{\Sigma X}}{\longrightarrow}& \tilde F^{\bullet + 1}(\Sigma X) } \,.

(e.g. AGP 02, def. 12.1.4)

We may rephrase this more intrinsically and more generally:

Definition

Let 𝒞\mathcal{C} be an (∞,1)-category with (∞,1)-pushouts, and with a zero object 0𝒞0 \in \mathcal{C}. Write Σ:𝒞𝒞:X0X0\Sigma \colon \mathcal{C} \to \mathcal{C}\colon X\mapsto 0 \underset{X}{\sqcup} 0 for the corresponding suspension (∞,1)-functor.

A reduced generalized cohomology theory on 𝒞\mathcal{C} is

  1. a functor

    E :Ho(𝒞) opAb E^\bullet \;\colon \; Ho(\mathcal{C})^{op} \longrightarrow Ab^{\mathbb{Z}}

    (from the opposite of the homotopy category of 𝒞\mathcal{C} into \mathbb{Z}-graded abelian groups);

  2. a natural isomorphisms (“suspension isomorphisms”) of degree +1

    σ:H H +1Σ \sigma \; \colon \; H^\bullet \longrightarrow H^{\bullet+1} \circ \Sigma

such that H H^\bullet

  1. takes small coproducts to products;

  2. takes homotopy cofiber sequences to exact sequences.

Definition

Given a generalized cohomology theory (H ,σ)(H^\bullet,\sigma) on some 𝒞\mathcal{C} as in def. , and given a homotopy cofiber sequence in 𝒞\mathcal{C}

XfYgZcoker(g)ΣX, X \stackrel{f}{\longrightarrow} Y \stackrel{g}{\longrightarrow} Z \stackrel{coker(g)}{\longrightarrow} \Sigma X \,,

then the corresponding connecting homomorphism is the composite

:E (X)σE +1(ΣX)coker(g) *E +1(Z). \partial \;\colon\; E^\bullet(X) \stackrel{\sigma}{\longrightarrow} E^{\bullet+1}(\Sigma X) \stackrel{coker(g)^\ast}{\longrightarrow} E^{\bullet+1}(Z) \,.
Proposition

The connecting homomorphisms of def. are parts of long exact sequences

E (Z)E (Y)E (X)E +1(Z). \cdots \stackrel{\partial}{\longrightarrow} E^{\bullet}(Z) \longrightarrow E^\bullet(Y) \longrightarrow E^\bullet(X) \stackrel{\partial}{\longrightarrow} E^{\bullet+1}(Z) \to \cdots \,.
Proof

By the defining exactness of E E^\bullet, def. , and the way this appears in def. , using that σ\sigma is by definition an isomorphism.

Unreduced cohomology

In the following a pair (X,A)(X,A) refers to a subspace inclusion of topological spaces (CW-complexes) AXA \hookrightarrow X. Whenever only one space is mentioned, the subspace is assumed to be the empty set (X,)(X, \emptyset). Write Top CW Top_{CW}^{\hookrightarrow} for the category of such pairs (the full subcategory of the arrow category of Top CWTop_{CW} on the inclusions). We identify Top CWTop CW Top_{CW} \hookrightarrow Top_{CW}^{\hookrightarrow} by X(X,)X \mapsto (X,\emptyset).

Definition

A cohomology theory (unreduced, relative) is a functor

E :(Top CW ) opAb E^\bullet : (Top_{CW}^{\hookrightarrow})^{op} \to Ab^{\mathbb{Z}}

to the category of \mathbb{Z}-graded abelian groups, as well as a natural transformation of degree +1, to be called the connecting homomorphism, of the form

δ (X,A):E (A,)E +1(X,A). \delta_{(X,A)} \;\colon\; E^\bullet(A, \emptyset) \to E^{\bullet + 1}(X, A) \,.

such that:

  1. (homotopy invariance) For f:(X 1,A 1)(X 2,A 2)f \colon (X_1,A_1) \to (X_2,A_2) a homotopy equivalence of pairs, then

    E (f):E (X 2,A 2)E (X 1,A 1) E^\bullet(f) \;\colon\; E^\bullet(X_2,A_2) \stackrel{\simeq}{\longrightarrow} E^\bullet(X_1,A_1)

    is an isomorphism;

  2. (exactness) For AXA \hookrightarrow X the induced sequence

    E n(X,A)E n(X)E n(A)δE n+1(X,A) \cdots \to E^n(X, A) \longrightarrow E^n(X) \longrightarrow E^n(A) \stackrel{\delta}{\longrightarrow} E^{n+1}(X, A) \to \cdots

    is a long exact sequence of abelian groups.

  3. (excision) For UAXU \hookrightarrow A \hookrightarrow X such that U¯Int(A)\overline{U} \subset Int(A), then the natural inclusion of the pair i:(XU,AU)(X,A)i \colon (X-U, A-U) \hookrightarrow (X, A) induces an isomorphism

    E (i):E n(X,A)E n(XU,AU) E^\bullet(i) \;\colon\; E^n(X, A) \overset{\simeq}{\longrightarrow} E^n(X-U, A-U)

We say E E^\bullet is additive if it takes coproducts to products:

  • (additivity) If (X,A)= i(X i,A i)(X, A) = \coprod_i (X_i, A_i) is a coproduct, then the canonical comparison morphism

    E n(X,A) iE n(X i,A i) E^n(X, A) \overset{\simeq}{\longrightarrow} \prod_i E^n(X_i, A_i)

    is an isomorphism from the value on (X,A)(X,A) to the product of values on the summands.

We say E E^\bullet is ordinary if its value on the point is concentrated in degree 0

  • (Dimension): E 0(*,)=0E^{\bullet \neq 0}(\ast,\emptyset) = 0.

A homomorphism of unreduced cohomology theories

η:E F \eta \;\colon\; E^\bullet \longrightarrow F^\bullet

is a natural transformation of the underlying functors that is compatible with the connecting homomorphisms, hence such that all these squares commute:

E (A,) η (A,) F (A,) δ E δ F E +1(X,A) η (X,A) F +1(X,A). \array{ E^\bullet(A,\emptyset) &\overset{\eta_{(A,\emptyset)}}{\longrightarrow}& F^\bullet(A,\emptyset) \\ {}^{\mathllap{\delta_E}}\downarrow && \downarrow^{\mathrlap{\delta_F}} \\ E^{\bullet +1}(X,A) &\overset{\eta_{(X,A)}}{\longrightarrow}& F^{\bullet +1}(X,A) } \,.

e.g. (AGP 02, def. 12.1.1).

Lemma

The excision axiom in def. is equivalent to the following statement:

For all A,BXA,B \hookrightarrow X with X=Int(A)Int(B)X = Int(A) \cup Int(B), then the inclusion

i:(A,AB)(X,B) i \colon (A, A \cap B) \longrightarrow (X,B)

induces an isomorphism,

i *:E (X,B)E (A,AB) i^\ast \;\colon\; E^\bullet(X, B) \overset{\simeq}{\longrightarrow} E^\bullet(A, A \cap B)

(e.g Switzer 75, 7.2)

Proof

In one direction, suppose that E E^\bullet satisfies the original excision axiom. Given A,BA,B with X=Int(A)Int(B)X = \Int(A) \cup Int(B), set UXAU \coloneqq X-A and observe that

U¯ =XA¯ =XInt(A) Int(B) \begin{aligned} \overline{U} & = \overline{X-A} \\ & = X- Int(A) \\ & \subset Int(B) \end{aligned}

and that

(XU,BU)=(A,AB). (X-U, B-U) = (A, A \cap B) \,.

Hence the excision axiom implies E (X,B)E (A,AB) E^\bullet(X, B) \overset{\simeq}{\longrightarrow} E^\bullet(A, A \cap B).

Conversely, suppose E E^\bullet satisfies the alternative condition. Given UAXU \hookrightarrow A \hookrightarrow X with U¯Int(A)\overline{U} \subset Int(A), observe that we have a cover

Int(XU)Int(A) =(XU¯)Int(A) (XInt(A))Int(A) =X \begin{aligned} Int(X-U) \cup Int(A) & = (X - \overline{U}) \cap \Int(A) \\ & \supset (X - Int(A)) \cap Int(A) \\ & = X \end{aligned}

and that

(XU,(XU)A)=(XU,AU). (X-U, (X-U) \cap A) = (X-U, A - U) \,.

Hence

E (XU,AU)E (XU,(XU)A)E (X,A). E^\bullet(X-U,A-U) \simeq E^\bullet(X-U, (X-U)\cap A) \simeq E^\bullet(X,A) \,.

The following lemma shows that the dependence in pairs of spaces in a generalized cohomology theory is really a stand-in for evaluation on homotopy cofibers of inclusions.

Lemma

Let E E^\bullet be an cohomology theory, def. , and let AXA \hookrightarrow X. Then there is an isomorphism

E (X,A)E (XCone(A),*) E^\bullet(X,A) \stackrel{\simeq}{\longrightarrow} E^\bullet(X \cup Cone(A), \ast)

between the value of E E^\bullet on the pair (X,A)(X,A) and its value on the mapping cone of the inclusion, relative to a basepoint.

If moreover AXA \hookrightarrow X is (the retract of) a relative cell complex inclusion, then also the morphism in cohomology induced from the quotient map p:(X,A)(X/A,*)p \;\colon\; (X,A)\longrightarrow (X/A, \ast) is an isomorphism:

E (p):E (X/A,*)E (X,A). E^\bullet(p) \;\colon\; E^\bullet(X/A,\ast) \longrightarrow E^\bullet(X,A) \,.

(e.g AGP 02, corollary 12.1.10)

Proof

Consider U(Cone(A)A×{0})Cone(A)U \coloneqq (Cone(A)-A \times \{0\}) \hookrightarrow Cone(A), the cone on AA minus the base AA. We have

(XCone(A)U,Cone(A)U)(X,A) ( X\cup Cone(A)-U, Cone(A)-U) \simeq (X,A)

and hence the first isomorphism in the statement is given by the excision axiom followed by homotopy invariance (along the contraction of the cone to the point).

Next consider the quotient of the mapping cone of the inclusion:

(XCone(A),Cone(A))(X/A,*). ( X\cup Cone(A), Cone(A) ) \longrightarrow (X/A,\ast) \,.

If AXA \hookrightarrow X is a cofibration, then this is a homotopy equivalence since Cone(A)Cone(A) is contractible and since by the dual factorization lemma XCone(A)X/AX \cup Cone(A)\to X/A is a weak homotopy equivalence, hence a homotopy equivalence on CW-complexes.

Hence now we get a composite isomorphism

E (X/A,*)E (XCone(A),Cone(A))E (X,A). E^\bullet(X/A,\ast) \overset{\simeq}{\longrightarrow} E^\bullet( X\cup Cone(A), Cone(A) ) \overset{\simeq}{\longrightarrow} E^\bullet(X,A) \,.
Example

As an important special case of : Let (X,x)(X,x) be a pointed CW-complex. For p:(Cone(X),X)(ΣX,{x})p\colon (Cone(X), X) \to (\Sigma X,\{x\}) the quotient map from the reduced cone on XX to the reduced suspension, then

E (p):E (Cone(X),X)E (ΣX,{x}) E^\bullet(p) \;\colon\; E^\bullet(Cone(X),X) \overset{\simeq}{\longrightarrow} E^\bullet(\Sigma X, \{x\})

is an isomorphism.

Proposition

(exact sequence of a triple)

For E E^\bullet an unreduced generalized cohomology theory, def. , then every inclusion of two consecutive subspaces

ZYX Z \hookrightarrow Y \hookrightarrow X

induces a long exact sequence of cohomology groups of the form

E q1(Y,Z)δ¯E q(X,Y)E q(X,Z)E q(Y,Z) \cdots \to E^{q-1}(Y,Z) \stackrel{\bar \delta}{\longrightarrow} E^q(X,Y) \stackrel{}{\longrightarrow} E^q(X,Z) \stackrel{}{\longrightarrow} E^q(Y,Z) \to \cdots

where

δ¯:E q1(Y,Z)E q1(Y)δE q(X,Y). \bar \delta \;\colon \; E^{q-1}(Y,Z) \longrightarrow E^{q-1}(Y) \stackrel{\delta}{\longrightarrow} E^{q}(X,Y) \,.
Proof

Apply the braid lemma to the interlocking long exact sequences of the three pairs (X,Y)(X,Y), (X,Z)(X,Z), (Y,Z)(Y,Z). See here for details.

The dual braid diagram for generalized homology is this:

(graphics from this Maths.SE comment)

Remark

The exact sequence of a triple in prop. is what gives rise to the Cartan-Eilenberg spectral sequence for EE-cohomology of a CW-complex XX.

Example

For (X,x)(X,x) a pointed topological space and Cone(X)=(X(I +))/XCone(X) = (X \wedge (I_+))/X its reduced cone, the long exact sequence of the triple ({x},X,Cone(X))(\{x\}, X, Cone(X)), prop. ,

0E q(Cone(X),{x})E q(X,{x})δ¯E q+1(Cone(X),X)E q+1(Cone(X),{x})0 0 \simeq E^q(Cone(X), \{x\}) \longrightarrow E^q(X,\{x\}) \overset{\bar \delta}{\longrightarrow} E^{q+1}(Cone(X),X) \longrightarrow E^{q+1}(Cone(X), \{x\}) \simeq 0

exhibits the connecting homomorphism δ¯\bar \delta here as an isomorphism

δ¯:E q(X,{x})E q+1(Cone(X),X). \bar \delta \;\colon\; E^q(X,\{x\}) \overset{\simeq}{\longrightarrow} E^{q+1}(Cone(X),X) \,.

This is the suspension isomorphism extracted from the unreduced cohomology theory, see def. below.

Proposition

(Mayer-Vietoris sequence)

Given E E^\bullet an unreduced cohomology theory, def. . Given a topological space covered by the interior of two spaces as X=Int(A)Int(B)X = Int(A) \cup Int(B), then for each CABC \subset A \cap B there is a long exact sequence of cohomology groups of the form

E n1(AB,C)δ¯E n(X,C)E n(A,C)E n(B,C)E n(AB,C). \cdots \to E^{n-1}(A \cap B , C) \overset{\bar \delta}{\longrightarrow} E^n(X,C) \longrightarrow E^n(A,C) \oplus E^n(B,C) \longrightarrow E^n(A \cap B, C) \to \cdots \,.

e.g. (Switzer 75, theorem 7.19, Aguilar-Gitler-Prieto 02, theorem 12.1.22)

The relation

Definition

(unreduced to reduced cohomology)

Let E E^\bullet be an unreduced cohomology theory, def. . Define a reduced cohomology theory, def. (E˜ ,σ)(\tilde E^\bullet, \sigma) as follows.

For x:*Xx \colon \ast \to X a pointed topological space, set

E˜ (X,x)E (X,{x}). \tilde E^\bullet(X,x) \coloneqq E^\bullet(X,\{x\}) \,.

This is clearly functorial. Take the suspension isomorphism to be the composite

σ:E˜ +1(ΣX)=E +1(ΣX,{x})E (p)E +1(Cone(X),X)δ¯ 1E (X,{x})=E˜ (X) \sigma \;\colon\; \tilde E^{\bullet+1}(\Sigma X) = E^{\bullet+1}(\Sigma X, \{x\}) \overset{E^\bullet(p)}{\longrightarrow} E^{\bullet+1}(Cone(X),X) \overset{\bar \delta^{-1}}{\longrightarrow} E^\bullet(X,\{x\}) = \tilde E^{\bullet}(X)

of the isomorphism E (p)E^\bullet(p) from example and the inverse of the isomorphism δ¯\bar \delta from example .

Proposition

The construction in def. indeed gives a reduced cohomology theory.

(e.g. Switzer 75, 7.34)

Proof

We need to check the exactness axiom given any AXA\hookrightarrow X. By lemma we have an isomorphism

E˜ (XCone(A))=E (XCone(A),{*})E (X,A). \tilde E^\bullet(X \cup Cone(A)) = E^\bullet(X \cup Cone(A), \{\ast\}) \overset{\simeq}{\longrightarrow} E^\bullet(X,A) \,.

Unwinding the constructions shows that this makes the following diagram commute:

E˜ (XCone(A)) E (X,A) E˜ (X) = E (X,{x}) E˜ (A) = E (A,{a}), \array{ \tilde E^\bullet(X\cup Cone(A)) &\overset{\simeq}{\longrightarrow}& E^\bullet(X,A) \\ \downarrow && \downarrow \\ \tilde E^\bullet(X) &=& E^\bullet(X,\{x\}) \\ \downarrow && \downarrow \\ \tilde E^\bullet(A) &=& E^\bullet(A,\{a\}) } \,,

where the vertical sequence on the right is exact by prop. . Hence the left vertical sequence is exact.

Definition

(reduced to unreduced cohomology)

Let (E˜ ,σ)(\tilde E^\bullet, \sigma) be a reduced cohomology theory, def. . Define an unreduced cohomolog theory E E^\bullet, def. , by

E (X,A)E˜ (X +Cone(A +)) E^\bullet(X,A) \coloneqq \tilde E^\bullet( X_+ \cup Cone(A_+))

and let the connecting homomorphism be as in def. .

Proposition

The construction in def. indeed yields an unreduced cohomology theory.

e.g. (Switzer 75, 7.35)

Proof

Exactness holds by prop. . For excision, it is sufficient to consider the alternative formulation of lemma . For CW-inclusions, this follows immediately with lemma .

Theorem

The constructions of def. and def. constitute a pair of functors between then categories of reduced cohomology theories, def. and unreduced cohomology theories, def. which exhbit an equivalence of categories.

Proof

(…careful with checking the respect for suspension iso and connecting homomorphism..)

To see that there are natural isomorphisms relating the two composites of these two functors to the identity:

One composite is

E (E˜ :(X,x)E (X,{x})) ((E) :(X,A)E (X +Cone(A +)),*), \begin{aligned} E^\bullet & \mapsto (\tilde E^\bullet \colon (X,x) \mapsto E^\bullet(X,\{x\})) \\ & \mapsto ((E')^\bullet \colon (X,A) \mapsto E^\bullet( X_+ \cup Cone(A_+) ), \ast) \end{aligned} \,,

where on the right we have, from the construction, the reduced mapping cone of the original inclusion AXA \hookrightarrow X with a base point adjoined. That however is isomorphic to the unreduced mapping cone of the original inclusion. With this the natural isomorphism is given by lemma .

The other composite is

E˜ (E :(X,A)E˜ (X +Cone(A +))) ((E˜) :XE˜ (X +Cone(* +))) \begin{aligned} \tilde E^\bullet & \mapsto (E^\bullet \colon (X,A) \mapsto \tilde E^\bullet(X_+ \cup Cone(A_+))) \\ & \mapsto ((\tilde E')^\bullet \colon X \mapsto \tilde E^\bullet(X_+ \cup Cone(*_+))) \end{aligned}

where on the right we have the reduced mapping cone of the point inclusion with a point adoined. As before, this is isomorphic to the unreduced mapping cone of the point inclusion. That finally is clearly homotopy equivalent to XX, and so now the natural isomorphism follows with homotopy invariance.

Finally we record the following basic relation between reduced and unreduced cohomology:

Proposition

Let E E^\bullet be an unreduced cohomology theory, and E˜ \tilde E^\bullet its reduced cohomology theory from def. . For (X,*)(X,\ast) a pointed topological space, then there is an identification

E (X)E˜ (X)E (*) E^\bullet(X) \simeq \tilde E^\bullet(X) \oplus E^\bullet(\ast)

of the unreduced cohomology of XX with the direct sum of the reduced cohomology of XX and the unreduced cohomology of the base point.

Proof

The pair *X\ast \hookrightarrow X induces the sequence

E 1(*)δE˜ (X)E (X)E (*)δE˜ +1(X) \cdots \to E^{\bullet-1}(\ast) \stackrel{\delta}{\longrightarrow} \tilde E^\bullet(X) \stackrel{}{\longrightarrow} E^\bullet(X) \stackrel{}{\longrightarrow} E^\bullet(\ast) \stackrel{\delta}{\longrightarrow} \tilde E^{\bullet+1}(X) \to \cdots

which by the exactness clause in def. is exact.

Now since the composite *X*\ast \to X \to \ast is the identity, the morphism E (X)E (*)E^\bullet(X) \to E^\bullet(\ast) has a section and so is in particular an epimorphism. Therefore, by exactness, the connecting homomorphism vanishes, δ=0\delta = 0 and we have a short exact sequence

0E˜ (X)E (X)E (*)0 0 \to \tilde E^\bullet(X) \stackrel{}{\longrightarrow} E^\bullet(X) \stackrel{}{\longrightarrow} E^\bullet(\ast) \to 0

with the right map an epimorphism. Hence this is a split exact sequence and the statement follows.

Exmaple: Ordinary cohomology

(…)

References

  • Wirthmuller 12, section 9

  • Robert Switzer, chapter 7 (and 8-12) of Algebraic Topology - Homotopy and Homology, Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen, Vol. 212, Springer-Verlag, New York, N. Y., 1975.

Clutching construction and Product theorem

Idea

A quick way to construct vector bundles on n-spheres is to consider the trivial vector bundles on either hemisphere and then glue them by a bundle isomorphism on a small overlap of the two hemispheres. This is called the clutching construction. This construction may be paramneterized over some topological space XX to construct vector bundles on the product topological space of XX with an sphere. A close analysis of this parameterized clutching construction allows to prove what will be the first deep theorem about topological K-theory: the fundamental product theorem in K-theory, which characterizes the KK-theory ring of product topological spaces X×S 2X \times S^2 of some space XX with the 2-sphere as that of XX with one generator for the basic line bundle on the 2-sphere adjoined, subject to a relation. This is very useful for computations.

Below this theorem is used to prove the all-important Bott periodicity theorem of topological K-theory.

References

Splitting principle

Idea

The second deep fact about topological K-theory is the splitting principle which says roughly that as far as K-theory is concerned, all vector bundles essentially look like direct sums of vector bundles each of whose summands is just a line bundle. This has dramatic consequences, which we see when we discuss the Adams operations below. The proof of the splitting principle involves a careful analysis of flag spaces in vector bundles.

References

Wirthmuller 12, section 10

K-Cohomology theory

Idea

Finally we may put all the pieces together and show that the topological K-theory functor K()K(-) indeed constitutes a generalized (Eilenberg-Steenrod) cohomology theory. In fact its ring structure makes it a multiplicative cohomology theory. Moreover, we find that the fundamental product theorem in K-theory implies a certain 2-periodicity in K()K(-), called Bott periodicity. This makes KK an even periodic cohomology theory.

All these facts will be most useful for computing K(X)K(X) and for using it to learn about topological spaces which is what we turn to next.

References

Examples of K-groups

Idea

In the previous sessions we have accumulated some powerful tools for computing topological K-theory groups. Here we use these to consider examples, and compute K-theory groups for a range of interesting topological spaces. This will serve to see how topological K-theory is a finer invariant than ordinary cohomology.

References

  • Chris Blair, Some K-theory examples, 2009 (pdf)

Adams operations

Idea

So far we have used that there is the operation of direct sum of vector bundles and of tensor product of vector bundles in order to exhibit the KK-theory functor K()K(-) as taking values in commutative rings. But in fact there are yet more operations on vector bundles. Namely instead of just taking plain tensor products, we may also form skew-symmetrized tensor products exterior products. Since these are traditionally denoted n()\wedge^n(-), one says that K()K(-) inherits the structure of a Lambda-ring. A clever combination of such exterior powers makes them be an abelian group homomorphism, these are the Adams operations on topological K-theory. We observe their basic properties, which make them most useful for characterizing topological spaces. As a first example we see that they immediately allow to prove something as fundamental to topology as the topological invariance of dimension.

An even more interesting application of the Adams operations is that they allow to characterite the continuous functions of Hopf invariant one. This is the next topic.

References

Hopf invariant one

Idea

A crown jewel of the application of topological K-theory, is, via the Adams operations, a remarkably quick proof of a deep theorem whose original solution via another tool (the Adams spectral sequence) marks the beginning of modern homotopy theory: the Hopf invariant one problem.

A remarkable range of “exceptional” structures in mathematics is obtained by continuing the step from the real numbers to the complex numbers further to find the quaternions and then the octonions. Using the fact that all these algebras are real normed division algebras they induce fibrations between spheres: the Hopf fibrations.

These Hopf fibrations happen to take value +1 in a certain invariant, called the Hopf invariant. The Hopf invariant one theorem says that they there is in fact no other fibration with this property. In particular this implies, remarkably, that the real numbers, complex numbers, quaternions and octonions are the only real normed division algebras that exist.

References

Equivariant K-theory

Idea

We saw how topological K-theory arises from pairing topology with linear algebra. There are variaous further refinements of topological K-theory obtained by refining these ingredients. In particular, if instead of plain vector spaces we start by considering vector spaces equipped with linear group actions, hence considering linear representations, then the resulting topological K-theory is what is called equivariant K-theory. This now pairs topology with representation theory. For instance this may now be evaluated on topological spaces which are themselves acted on by groups, and the resulting equivariant K-theory groups encode interesting information for instance about the fixed point loci of these group actions.

References

()(\star) The K-theory spectrum

This section goes beyond an introduction, in that it requires more tools from algebraic topology. We include it for completeness and as outlook.

Idea

While we constructed classifying spaces originally for plain vector bundles, one finds that with just slight modification these also yield classifying space for virtual vector bundles, hence for topological K-theory. The fact that topological K-theory constitutes a generalized (Eilenberg-Steenrod) cohomology theory with long exact sequences in cohomology now implies that also these classifying spaces arrange in certain sequences. Suchsequences are called sequential spectra or just spectra, for short, and the spectrum that represents topoligcal K-theory of complex vector bundles is called KU.

The main point in its construction is the incarnation of Bott periodicity in terms of the classifying spaces. This yields an alternative proof of Bott periodicity, one that makes use of basics of the classical model structure on topological spaces.

The relevant background for this section is laid out in

The main point is that in terms of the classifying spaces (as above)

BU×B U \times \mathbb{Z} and UU for K 0K^0 and for K 1K^1

the phenomenon of Bott periodicity (as above) is represented by the existence of weak homotopy equivalences

(BU)× wheΩU (B U) \times \mathbb{Z} \overset{\simeq_{whe}}{\longrightarrow} \Omega U

and

U wheΩ((BU)×) U \overset{\simeq_{whe}}{\longrightarrow} \Omega((B U) \times \mathbb{Z})

The last one is immediate, but the first one requires work, see Aguilar-Gitler-Prieto 02.

Together these show that the sequence of spaces KU with

KU n{(BU)× |neven U |nodd KU_n \coloneqq \left\{ \array{ (B U) \times \mathbb{Z} & \vert n\;\text{even} \\ U & \vert n \; \text{odd} } \right.

and equipped with the above comparison maps forms a sequential spectrum which is in fact an Omega-spectrum.

Under the Brown representability theorem, this spectrum represents topological K-theory K ()K^\bullet(-) as a generalized (Eilenberg-Steenrod) cohomology theory, as above.

References

References

Last revised on February 10, 2017 at 11:21:40. See the history of this page for a list of all contributions to it.