This is a glossary of properties and concepts in algebraic topology in mathematics.
See also: glossary of topology, list of algebraic topology topics, glossary of category theory, glossary of differential geometry and topology, Timeline of manifolds.
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 .
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence.
In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.
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 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.
A CW complex is a kind of a topological space that is particularly important in algebraic topology. It was introduced by J. H. C. Whitehead to meet the needs of homotopy theory. This class of spaces is broader and has some better categorical properties than simplicial complexes, but still retains a combinatorial nature that allows for computation. The C stands for "closure-finite", and the W for "weak" topology.
In mathematics, specifically in homotopy theory, a classifying spaceBG of a topological group G is the quotient of a weakly contractible space EG by a proper free action of G. It has the property that any G principal bundle over a paracompact manifold is isomorphic to a pullback of the principal bundle . As explained later, this means that classifying spaces represent a set-valued functor on the homotopy category of topological spaces. The term classifying space can also be used for spaces that represent a set-valued functor on the category of topological spaces, such as Sierpiński space. This notion is generalized by the notion of classifying topos. However, the rest of this article discusses the more commonly used notion of classifying space up to homotopy.
In mathematics, specifically algebraic topology, an Eilenberg–MacLane space is a topological space with a single nontrivial homotopy group.
In mathematics, triangulation describes the replacement of topological spaces by piecewise linear spaces, i.e. the choice of a homeomorphism in a suitable simplicial complex. Spaces being homeomorphic to a simplicial complex are called triangulable. Triangulation has various uses in different branches of mathematics, for instance in algebraic topology, in complex analysis or in modeling.
In mathematics, specifically in geometric topology, surgery theory is a collection of techniques used to produce one finite-dimensional manifold from another in a 'controlled' way, introduced by John Milnor. Milnor called this technique surgery, while Andrew Wallace called it spherical modification. The "surgery" on a differentiable manifold M of dimension , could be described as removing an imbedded sphere of dimension p from M. Originally developed for differentiable manifolds, surgery techniques also apply to piecewise linear (PL-) and topological manifolds.
In mathematics and specifically in topology, rational homotopy theory is a simplified version of homotopy theory for topological spaces, in which all torsion in the homotopy groups is ignored. It was founded by Dennis Sullivan and Daniel Quillen. This simplification of homotopy theory makes certain calculations much easier.
In mathematics, especially in algebraic topology, an induced homomorphism is a homomorphism derived in a canonical way from another map. For example, a continuous map from a topological space X to a topological space Y induces a group homomorphism from the fundamental group of X to the fundamental group of Y.
In mathematics, a normal map is a concept in geometric topology due to William Browder which is of fundamental importance in surgery theory. Given a Poincaré complex X, a normal map on X endows the space, roughly speaking, with some of the homotopy-theoretic global structure of a closed manifold. In particular, X has a good candidate for a stable normal bundle and a Thom collapse map, which is equivalent to there being a map from a manifold M to X matching the fundamental classes and preserving normal bundle information. If the dimension of X is 5 there is then only the algebraic topology surgery obstruction due to C. T. C. Wall to X actually being homotopy equivalent to a closed manifold. Normal maps also apply to the study of the uniqueness of manifold structures within a homotopy type, which was pioneered by Sergei Novikov.
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 algebraic topology, the Dold-Thom theorem states that the homotopy groups of the infinite symmetric product of a connected CW complex are the same as its reduced homology groups. The most common version of its proof consists of showing that the composition of the homotopy group functors with the infinite symmetric product defines a reduced homology theory. One of the main tools used in doing so are quasifibrations. The theorem has been generalised in various ways, for example by the Almgren isomorphism theorem.
In mathematics, a weak equivalence is a notion from homotopy theory that in some sense identifies objects that have the same "shape". This notion is formalized in the axiomatic definition of a model category.
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 category theory, a branch of mathematics, a (left) Bousfield localization of a model category replaces the model structure with another model structure with the same cofibrations but with more weak equivalences.
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).