In homotopy theory, a branch of algebraic topology, a Postnikov system (or Postnikov tower) is a way of decomposing a topological space's homotopy groups using an inverse system of topological spaces whose homotopy type at degree agrees with the truncated homotopy type of the original space . Postnikov systems were introduced by, and are named after, Mikhail Postnikov.
A Postnikov system of a path-connected space is an inverse system of spaces
with a sequence of maps compatible with the inverse system such that
The first two conditions imply that is also a -space. More generally, if is -connected, then is a -space and all for are contractible. Note the third condition is only included optionally by some authors.
Postnikov systems exist on connected CW complexes, [1] : 354 and there is a weak homotopy-equivalence between and its inverse limit, so
showing that is a CW approximation of its inverse limit. They can be constructed on a CW complex by iteratively killing off homotopy groups. If we have a map representing a homotopy class , we can take the pushout along the boundary map , killing off the homotopy class. For this process can be repeated for all , giving a space which has vanishing homotopy groups . Using the fact that can be constructed from by killing off all homotopy maps , we obtain a map .
One of the main properties of the Postnikov tower, which makes it so powerful to study while computing cohomology, is the fact the spaces are homotopic to a CW complex which differs from only by cells of dimension .
The sequence of fibrations [2] have homotopically defined invariants, meaning the homotopy classes of maps , give a well defined homotopy type . The homotopy class of comes from looking at the homotopy class of the classifying map for the fiber . The associated classifying map is
hence the homotopy class is classified by a homotopy class
called the nth Postnikov invariant of , since the homotopy classes of maps to Eilenberg-Maclane spaces gives cohomology with coefficients in the associated abelian group.
One of the special cases of the homotopy classification is the homotopy class of spaces such that there exists a fibration
giving a homotopy type with two non-trivial homotopy groups, , and . Then, from the previous discussion, the fibration map gives a cohomology class in
which can also be interpreted as a group cohomology class. This space can be considered a higher local system.
One of the conceptually simplest cases of a Postnikov tower is that of the Eilenberg–Maclane space . This gives a tower with
The Postnikov tower for the sphere is a special case whose first few terms can be understood explicitly. Since we have the first few homotopy groups from the simply connectedness of , degree theory of spheres, and the Hopf fibration, giving for , hence
Then, , and comes from a pullback sequence
which is an element in
If this was trivial it would imply . But, this is not the case! In fact, this is responsible for why strict infinity groupoids don't model homotopy types. [3] Computing this invariant requires more work, but can be explicitly found. [4] This is the quadratic form on coming from the Hopf fibration . Note that each element in gives a different homotopy 3-type.
One application of the Postnikov tower is the computation of homotopy groups of spheres. [5] For an -dimensional sphere we can use the Hurewicz theorem to show each is contractible for , since the theorem implies that the lower homotopy groups are trivial. Recall there is a spectral sequence for any Serre fibration, such as the fibration
We can then form a homological spectral sequence with -terms
And the first non-trivial map to ,
equivalently written as
If it's easy to compute and , then we can get information about what this map looks like. In particular, if it's an isomorphism, we obtain a computation of . For the case , this can be computed explicitly using the path fibration for , the main property of the Postnikov tower for (giving , and the universal coefficient theorem giving . Moreover, because of the Freudenthal suspension theorem this actually gives the stable homotopy group since is stable for .
Note that similar techniques can be applied using the Whitehead tower (below) for computing and , giving the first two non-trivial stable homotopy groups of spheres.
In addition to the classical Postnikov tower, there is a notion of Postnikov towers in stable homotopy theory constructed on spectra [6] pg 85-86.
For a spectrum a postnikov tower of is a diagram in the homotopy category of spectra, , given by
with maps
commuting with the maps. Then, this tower is a Postnikov tower if the following two conditions are satisfied:
where are stable homotopy groups of a spectrum. It turns out every spectrum has a Postnikov tower and this tower can be constructed using a similar kind of inductive procedure as the one given above.
Given a CW complex , there is a dual construction to the Postnikov tower called the Whitehead tower. Instead of killing off all higher homotopy groups, the Whitehead tower iteratively kills off lower homotopy groups. This is given by a tower of CW complexes,
where
Notice is the universal cover of since it is a covering space with a simply connected cover. Furthermore, each is the universal -connected cover of .
The spaces in the Whitehead tower are constructed inductively. If we construct a by killing off the higher homotopy groups in , [7] we get an embedding . If we let
for some fixed basepoint , then the induced map is a fiber bundle with fiber homeomorphic to
and so we have a Serre fibration
Using the long exact sequence in homotopy theory, we have that for , for , and finally, there is an exact sequence
where if the middle morphism is an isomorphism, the other two groups are zero. This can be checked by looking at the inclusion and noting that the Eilenberg–Maclane space has a cellular decomposition
giving the desired result.
Another way to view the components in the Whitehead tower is as a homotopy fiber. If we take
from the Postnikov tower, we get a space which has
The dual notion of the Whitehead tower can be defined in a similar manner using homotopy fibers in the category of spectra. If we let
then this can be organized in a tower giving connected covers of a spectrum. This is a widely used construction [8] [9] [10] in bordism theory because the coverings of the unoriented cobordism spectrum gives other bordism theories [10]
such as string bordism.
In Spin geometry the group is constructed as the universal cover of the Special orthogonal group , so is a fibration, giving the first term in the Whitehead tower. There are physically relevant interpretations for the higher parts in this tower, which can be read as
where is the -connected cover of called the string group, and is the -connected cover called the fivebrane group. [11] [12]
In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent have isomorphic fundamental groups. The fundamental group of a topological space is denoted by .
In mathematics, the special unitary group of degree n, denoted SU(n), is the Lie group of n × n unitary matrices with determinant 1.
In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic if one can be "continuously deformed" into the other, such a deformation being called a homotopy between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology.
In topology, a covering or covering projection is a map between topological spaces that, intuitively, locally acts like a projection of multiple copies of a space onto itself. In particular, coverings are special types of local homeomorphisms. If is a covering, is said to be a covering space or cover of , and is said to be the base of the covering, or simply the base. By abuse of terminology, and may sometimes be called covering spaces as well. Since coverings are local homeomorphisms, a covering space is a special kind of étale space.
In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, denoted which records information about loops in a space. Intuitively, homotopy groups record information about the basic shape, or holes, of a topological space.
The notion of a fibration generalizes the notion of a fiber bundle and plays an important role in algebraic topology, a branch of mathematics.
In mathematics, the Bott periodicity theorem describes a periodicity in the homotopy groups of classical groups, discovered by Raoul Bott, which proved to be of foundational significance for much further research, in particular in K-theory of stable complex vector bundles, as well as the stable homotopy groups of spheres. Bott periodicity can be formulated in numerous ways, with the periodicity in question always appearing as a period-2 phenomenon, with respect to dimension, for the theory associated to the unitary group. See for example topological K-theory.
In algebraic topology, a branch of mathematics, a spectrum is an object representing a generalized cohomology theory. Every such cohomology theory is representable, as follows from Brown's representability theorem. This means that, given a cohomology theory
,
In mathematics, specifically algebraic topology, an Eilenberg–MacLane space is a topological space with a single nontrivial homotopy group.
In mathematics, quaternionic projective space is an extension of the ideas of real projective space and complex projective space, to the case where coordinates lie in the ring of quaternions Quaternionic projective space of dimension n is usually denoted by
In mathematics, the classifying space for the unitary group U(n) is a space BU(n) together with a universal bundle EU(n) such that any hermitian bundle on a paracompact space X is the pull-back of EU(n) by a map X → BU(n) unique up to homotopy.
In the mathematical field of topology, a regular homotopy refers to a special kind of homotopy between immersions of one manifold in another. The homotopy must be a 1-parameter family of immersions.
In mathematics, especially homotopy theory, the homotopy fiber is part of a construction that associates a fibration to an arbitrary continuous function of topological spaces . It acts as a homotopy theoretic kernel of a mapping of topological spaces due to the fact it yields a long exact sequence of homotopy groups
In mathematics, an n-group, or n-dimensional higher group, is a special kind of n-category that generalises the concept of group to higher-dimensional algebra. Here, may be any natural number or infinity. The thesis of Alexander Grothendieck's student Hoàng Xuân Sính was an in-depth study of 2-groups under the moniker 'gr-category'.
In topology, a branch of mathematics, a string group is an infinite-dimensional group introduced by Stolz (1996) as a -connected cover of a spin group. A string manifold is a manifold with a lifting of its frame bundle to a string group bundle. This means that in addition to being able to define holonomy along paths, one can also define holonomies for surfaces going between strings. There is a short exact sequence of topological groups
In homotopy theory, a branch of mathematics, the Barratt–Priddy theorem expresses a connection between the homology of the symmetric groups and mapping spaces of spheres. The theorem is also often stated as a relation between the sphere spectrum and the classifying spaces of the symmetric groups via Quillen's plus construction.
In mathematics, more specifically in homotopy theory, a simplicial presheaf is a presheaf on a site taking values in simplicial sets. Equivalently, a simplicial presheaf is a simplicial object in the category of presheaves on a site. The notion was introduced by A. Joyal in the 1970s. Similarly, a simplicial sheaf on a site is a simplicial object in the category of sheaves on the site.
In algebra, Quillen's Q-construction associates to an exact category an algebraic K-theory. More precisely, given an exact category C, the construction creates a topological space so that is the Grothendieck group of C and, when C is the category of finitely generated projective modules over a ring R, for , is the i-th K-group of R in the classical sense. One puts
This is a glossary of properties and concepts in algebraic topology in 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).