Homotopy theory

From HandWiki
Short description: Branch of mathematics

In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is learned as an independent discipline. Besides algebraic topology, the theory has also been used in other areas of mathematics such as algebraic geometry (e.g., A1 homotopy theory) and category theory (specifically the study of higher categories).

Concepts

Spaces and maps

In homotopy theory and algebraic topology, the word "space" denotes a topological space. In order to avoid pathologies, one rarely works with arbitrary spaces; instead, one requires spaces to meet extra constraints, such as being compactly generated, or Hausdorff, or a CW complex.

In the same vein as above, a "map" is a continuous function, possibly with some extra constraints.

Often, one works with a pointed space—that is, a space with a "distinguished point", called a basepoint. A pointed map is then a map which preserves basepoints; that is, it sends the basepoint of the domain to that of the codomain. In contrast, a free map is one which needn't preserve basepoints.

Homotopy

Main page: Homotopy

Let I denote the unit interval. A family of maps indexed by I, [math]\displaystyle{ h_t : X \to Y }[/math] is called a homotopy from [math]\displaystyle{ h_0 }[/math] to [math]\displaystyle{ h_1 }[/math] if [math]\displaystyle{ h : I \times X \to Y, (t, x) \mapsto h_t(x) }[/math] is a map (e.g., it must be a continuous function). When X, Y are pointed spaces, the [math]\displaystyle{ h_t }[/math] are required to preserve the basepoints. A homotopy can be shown to be an equivalence relation. Given a pointed space X and an integer [math]\displaystyle{ n \ge 1 }[/math], let [math]\displaystyle{ \pi_n(X) = [S^n, X]_* }[/math] be the homotopy classes of based maps [math]\displaystyle{ S^n \to X }[/math] from a (pointed) n-sphere [math]\displaystyle{ S^n }[/math] to X. As it turns out, [math]\displaystyle{ \pi_n(X) }[/math] are groups; in particular, [math]\displaystyle{ \pi_1(X) }[/math] is called the fundamental group of X.

If one prefers to work with a space instead of a pointed space, there is the notion of a fundamental groupoid (and higher variants): by definition, the fundamental groupoid of a space X is the category where the objects are the points of X and the morphisms are paths.

Cofibration and fibration

A map [math]\displaystyle{ f: A \to X }[/math] is called a cofibration if given (1) a map [math]\displaystyle{ h_0 : X \to Z }[/math] and (2) a homotopy [math]\displaystyle{ g_t : A \to Z }[/math], there exists a homotopy [math]\displaystyle{ h_t : X \to Z }[/math] that extends [math]\displaystyle{ h_0 }[/math] and such that [math]\displaystyle{ h_t \circ f = g_t }[/math]. In some loose sense, it is an analog of the defining diagram of an injective module in abstract algebra. The most basic example is a CW pair [math]\displaystyle{ (X, A) }[/math]; since many work only with CW complexes, the notion of a cofibration is often implicit.

A fibration in the sense of Serre is the dual notion of a cofibration: that is, a map [math]\displaystyle{ p : X \to B }[/math] is a fibration if given (1) a map [math]\displaystyle{ Z \to X }[/math] and (2) a homotopy [math]\displaystyle{ g_t : Z \to B }[/math], there exists a homotopy [math]\displaystyle{ h_t: Z \to X }[/math] such that [math]\displaystyle{ h_0 }[/math] is the given one and [math]\displaystyle{ p \circ h_t = g_t }[/math]. A basic example is a covering map (in fact, a fibration is a generalization of a covering map). If [math]\displaystyle{ E }[/math] is a principal G-bundle, that is, a space with a free and transitive (topological) group action of a (topological) group, then the projection map [math]\displaystyle{ p: E \to X }[/math] is an example of a fibration.

Classifying spaces and homotopy operations

Given a topological group G, the classifying space for principal G-bundles ("the" up to equivalence) is a space [math]\displaystyle{ BG }[/math] such that, for each space X,

[math]\displaystyle{ [X, BG] = }[/math] {principal G-bundle on X} / ~ [math]\displaystyle{ , \,\, [f] \mapsto f^* EG }[/math]

where

  • the left-hand side is the set of homotopy classes of maps [math]\displaystyle{ X \to BG }[/math],
  • ~ refers isomorphism of bundles, and
  • = is given by pulling-back the distinguished bundle [math]\displaystyle{ EG }[/math] on [math]\displaystyle{ BG }[/math] (called universal bundle) along a map [math]\displaystyle{ X \to BG }[/math].

Brown's representability theorem guarantees the existence of classifying spaces.

Spectrum and generalized cohomology

The idea that a classifying space classifies principal bundles can be pushed further. For example, one might try to classify cohomology classes: given an abelian group A (such as [math]\displaystyle{ \mathbb{Z} }[/math]),

[math]\displaystyle{ [X, K(A, n)] = \operatorname{H}^n(X; A) }[/math]

where [math]\displaystyle{ K(A, n) }[/math] is the Eilenberg–MacLane space. The above equation leads to the notion of a generalized cohomology theory; i.e., a contravariant functor from the category of spaces to the category of abelian groups that satisfies the axioms generalizing ordinary cohomology theory. As it turns out, such a functor may not be representable by a space but it can always be represented by a sequence of (pointed) spaces with structure maps called a spectrum. In other words, to give a generalized cohomology theory is to give a spectrum.

A basic example of a spectrum is a sphere spectrum: [math]\displaystyle{ S^0 \to S^1 \to S^2 \to \cdots }[/math]

Key theorems

Obstruction theory and characteristic class

See also: Characteristic class, Postnikov tower, Whitehead torsion

Localization and completion of a space

Main page: Localization of a topological space

Specific theories

There are several specific theories

Homotopy hypothesis

Main page: Homotopy hypothesis

One of the basic questions in the foundations of homotopy theory is the nature of a space. The homotopy hypothesis asks whether a space is something fundamentally algebraic.

Abstract homotopy theory

Concepts

  • fiber sequence
  • cofiber sequence

Model categories

Main page: Model category

Simplicial homotopy theory

See also

References

Further reading

External links