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.

• Convention: Throughout the article, I denotes the unit interval, Sⁿ the n-sphere and Dⁿ the n-disk. Also, throughout the article, spaces are assumed to be reasonable; this can be taken to mean for example, a space is a CW complex or compactly generated weakly Hausdorff space. Similarly, no attempt is made to be definitive about the definition of a spectrum. A simplicial set is not thought of as a space; i.e., we generally distinguish between simplicial sets and their geometric realizations.
• Inclusion criterion: As there is no glossary of homological algebra in Wikipedia right now, this glossary also includes a few concepts in homological algebra (e.g., chain homotopy); some concepts in geometric topology and differential topology are also fair game. On the other hand, the items that appear in glossary of topology are generally omitted. Abstract homotopy theory and motivic homotopy theory are also outside the scope. Glossary of category theory covers (or will cover) concepts in theory of model categories. See the glossary of symplectic geometry for the topics in symplectic topology such as quantization.

!$@

*

The base point of a based space.

${\displaystyle X_{+))$

For an unbased space X, X₊ is the based space obtained by adjoining a disjoint base point.

A

absolute neighborhood retract

abstract

1.  Abstract homotopy theory

Adams

1.  John Frank Adams.

2.  The Adams spectral sequence.

3.  The Adams conjecture.

4.  The Adams e-invariant.

5.  The Adams operations.

Alexander duality

Alexander duality

Alexander trick

The Alexander trick produces a section of the restriction map ${\displaystyle \operatorname {Top} (D^{n+1})\to \operatorname {Top} (S^{n})}$, Top denoting a homeomorphism group; namely, the section is given by sending a homeomorphism ${\displaystyle f:S^{n}\to S^{n))$ to the homeomorphism

${\displaystyle {\widetilde {f)):D^{n+1}\to D^{n+1},\,0\mapsto 0,0\neq x\mapsto |x|f(x/|x|)}$.

This section is in fact a homotopy inverse.^[1]

Analysis Situs

approximate fibration

1.  An approximate fibration, a generalization of a fibration and a projection in a locally trivial bundle.

2.  A manifold approximate fibration is a proper approximate fibration between manifolds.

aspherical space

Aspherical space

assembly map

Atiyah

1.  Michael Atiyah.

2.  Atiyah duality.

3.  The Atiyah–Hirzebruch spectral sequence.

B

bar construction

based space

A pair (X, x₀) consisting of a space X and a point x₀ in X.

Betti number

Bing–Borsuk conjecture

See Bing–Borsuk conjecture.

Bockstein homomorphism

Borel

Borel conjecture.

Borel–Moore homology

Borsuk's theorem

Bott

1.  Raoul Bott.

2.  The Bott periodicity theorem for unitary groups say: ${\displaystyle \pi _{q}U=\pi _{q+2}U,q\geq 0}$.

3.  The Bott periodicity theorem for orthogonal groups say: ${\displaystyle \pi _{q}O=\pi _{q+8}O,q\geq 0}$.

Brouwer fixed-point theorem

The Brouwer fixed-point theorem says that any map ${\displaystyle f:D^{n}\to D^{n))$ has a fixed point.

C

cap product

Casson

Casson invariant.

Čech cohomology

cellular

1.  A map ƒ:X→Y between CW complexes is cellular if ${\displaystyle f(X^{n})\subset Y^{n))$ for all n.

2.  The cellular approximation theorem says that every map between CW complexes is homotopic to a cellular map between them.

3.  The cellular homology is the (canonical) homology of a CW complex. Note it applies to CW complexes and not to spaces in general. A cellular homology is highly computable; it is especially useful for spaces with natural cell decompositions like projective spaces or Grassmannian.

chain homotopy

Given chain maps ${\displaystyle f,g:(C,d_{C})\to (D,d_{D})}$ between chain complexes of modules, a chain homotopy s from f to g is a sequence of module homomorphisms ${\displaystyle s_{i}:C_{i}\to D_{i+1))$ satisfying ${\displaystyle f_{i}-g_{i}=d_{D}\circ s_{i}+s_{i-1}\circ d_{C))$. It is also called a homotopy operator.

chain map

A chain map ${\displaystyle f:(C,d_{C})\to (D,d_{D})}$ between chain complexes of modules is a sequence of module homomorphisms ${\displaystyle f_{i}:C_{i}\to D_{i))$ that commutes with the differentials; i.e., ${\displaystyle d_{D}\circ f_{i}=f_{i-1}\circ d_{C))$.

chain homotopy equivalence

A chain map that is an isomorphism up to chain homotopy; that is, if ƒ:C→D is a chain map, then it is a chain homotopy equivalence if there is a chain map g:D→C such that gƒ and ƒg are chain homotopic to the identity homomorphisms on C and D, respectively.

change of fiber

The change of fiber of a fibration p is a homotopy equivalence, up to homotopy, between the fibers of p induced by a path in the base.

character variety

The character variety^[2] of a group π and an algebraic group G (e.g., a reductive complex Lie group) is the geometric invariant theory quotient by G:

${\displaystyle {\mathcal {X))(\pi ,G)=\operatorname {Hom} (\pi ,G)/\!/G}$.

Let Vect(X) be the set of isomorphism classes of vector bundles on X. We can view ${\displaystyle X\mapsto \operatorname {Vect} (X)}$ as a contravariant functor from Top to Set by sending a map ƒ:X → Y to the pullback ƒ^* along it. Then a characteristic class is a natural transformation from Vect to the cohomology functor H^*. Explicitly, to each vector bundle E we assign a cohomology class, say, c(E). The assignment is natural in the sense that ƒ^*c(E) = c(ƒ^*E).

Loosely speaking, a classifying space is a space representing some contravariant functor defined on the category of spaces; for example, ${\displaystyle BU}$ is the classifying space in the sense ${\displaystyle [-,BU]}$ is the functor ${\displaystyle X\mapsto \operatorname {Vect} ^{\mathbb {R} }(X)}$ that sends a space to the set of isomorphism classes of real vector bundles on the space.

If E is a ring spectrum, then the coefficient ring of it is the ring ${\displaystyle \pi _{*}E}$.

A cofiber sequence is any sequence that is equivalent to the sequence ${\displaystyle X{\overset {f}{\to ))Y\to C_{f))$ for some ƒ where ${\displaystyle C_{f))$ is the reduced mapping cone of ƒ (called the cofiber of ƒ).

A map ${\displaystyle i:A\to B}$ is a cofibration if it satisfies the property: given ${\displaystyle h_{0}:B\to X}$ and homotopy ${\displaystyle g_{t}:A\to X}$ such that ${\displaystyle g_{0}=h_{0}\circ i}$, there is a homotopy ${\displaystyle h_{t}:B\to X}$ such that ${\displaystyle h_{t}\circ i=g_{t))$.^[3] A cofibration is injective and is a homeomorphism onto its image.

For a based space X, the set of homotopy classes ${\displaystyle [X,S^{n}]}$ is called the n-th cohomotopy group of X.

The cone over a space X is ${\displaystyle CX=X\times I/X\times \{0\))$. The reduced cone is obtained from the reduced cylinder ${\displaystyle X\wedge I_{+))$ by collapsing the top.

A spectrum E is connective if ${\displaystyle \pi _{q}E=0}$ for all negative integers q.

A constant sheaf on a space X is a sheaf ${\displaystyle {\mathcal {F))}$ on X such that for some set A and some map ${\displaystyle A\to {\mathcal {F))(X)}$, the natural map ${\displaystyle A\to {\mathcal {F))(X)\to {\mathcal {F))_{x))$ is bijective for any x in X.

D

deck transformation

Another term for an automorphism of a covering.

deformation retract

A subspace ${\displaystyle A\subset X}$ is called a deformation retract of X if there is a homotopy ${\displaystyle h_{t}:X\to X}$ such that ${\displaystyle h_{0))$ is the identity, ${\displaystyle h_{1}(X)\subset A}$ and ${\displaystyle {h_{1))|_{A))$ is the identity (i.e., ${\displaystyle h_{1))$ is a retract of ${\displaystyle A\hookrightarrow X}$ in the sense in category theory). It is called a strong deformation retract if, in addition, ${\displaystyle h_{t))$ satisfies the requirement that ${\displaystyle {h_{t))|_{A))$ is the identity. For example, a homotopy ${\displaystyle h_{t}:B\to B,\,x\mapsto (1-t)x}$ exhibits that the origin is a strong deformation retract of an open ball B centered at the origin.

Deligne–Beilinson cohomology

Deligne–Beilinson cohomology

delooping

degeneracy cycle

degree

Dold

The Dold–Thom theorem.

E

Eckmann–Hilton argument

The Eckmann–Hilton argument.

Eckmann–Hilton duality

Eilenberg–MacLane spaces

Given an abelian group π, the Eilenberg–MacLane spaces ${\displaystyle K(\pi ,n)}$ are characterized by

${\displaystyle \pi _{q}K(\pi ,n)={\begin{cases}\pi &{\text{if ))q=n\\0&{\text{otherwise))\end{cases))}$.

A sequence of pointed sets ${\displaystyle X{\overset {f}{\to ))Y{\overset {g}{\to ))Z}$ is exact if the image of f coincides with the pre-image of the chosen point of Z.

The excision axiom for homology says: if ${\displaystyle U\subset X}$ and ${\displaystyle {\overline {U))\subset \operatorname {int} (A)}$, then for each q,

${\displaystyle \operatorname {H} _{q}(X-U,A-U)\to \operatorname {H} _{q}(X,A)}$

is an isomorphism.

F

factorization homology

fiber-homotopy equivalence

Given D→B, E→B, a map ƒ:D→E over B is a fiber-homotopy equivalence if it is invertible up to homotopy over B. The basic fact is that if D→B, E→B are fibrations, then a homotopy equivalence from D to E is a fiber-homotopy equivalence.

fiber sequence

The fiber sequence of a map ${\displaystyle f:X\to Y}$ is the sequence ${\displaystyle F_{f}{\overset {p}{\to ))X{\overset {f}{\to ))Y}$ where ${\displaystyle F_{f}{\overset {p}{\to ))X}$ is the homotopy fiber of f; i.e., the pullback of the path space fibration ${\displaystyle PY\to Y}$ along f.

fiber square

fiber square

fibration

A map p:E → B is a fibration if for any given homotopy ${\displaystyle g_{t}:X\to B}$ and a map ${\displaystyle h_{0}:X\to E}$ such that ${\displaystyle p\circ h_{0}=g_{0))$, there exists a homotopy ${\displaystyle h_{t}:X\to E}$ such that ${\displaystyle p\circ h_{t}=g_{t))$. (The above property is called the homotopy lifting property.) A covering map is a basic example of a fibration.

fibration sequence

One says ${\displaystyle F\to X{\overset {p}{\to ))B}$ is a fibration sequence to mean that p is a fibration and that F is homotopy equivalent to the homotopy fiber of p, with some understanding of base points.

finitely dominated

fundamental class

fundamental group

The fundamental group of a space X with base point x₀ is the group of homotopy classes of loops at x₀. It is precisely the first homotopy group of (X, x₀) and is thus denoted by ${\displaystyle \pi _{1}(X,x_{0})}$.

fundamental groupoid

The fundamental groupoid of a space X is the category whose objects are the points of X and whose morphisms x → y are the homotopy classes of paths from x to y; thus, the set of all morphisms from an object x₀ to itself is, by definition, the fundament group ${\displaystyle \pi _{1}(X,x_{0})}$.

framed

A framed manifold is a manifold with a framing.

free

Synonymous with unbased. For example, the free path space of a space X refers to the space of all maps from I to X; i.e., ${\displaystyle X^{I))$ while the path space of a based space X consists of such map that preserve the base point (i.e., 0 goes to the base point of X).

Freudenthal suspension theorem

For a nondegenerately based space X, the Freudenthal suspension theorem says: if X is (n-1)-connected, then the suspension homomorphism

${\displaystyle \pi _{q}X\to \pi _{q+1}\Sigma X}$

is bijective for q < 2n - 1 and is surjective if q = 2n - 1.

Fulton–MacPherson compactification

The Fulton–MacPherson compactification of the configuration space of n distinct labeled points in a compact complex manifold is a natural smooth compactification introduced by Fulton and MacPherson.

G

G-fibration

A G-fibration with some topological monoid G. An example is Moore's path space fibration.

G-space

A G-space is a space together with an action of a group G (usually satisfying some conditions).

Γ-space

generalized cohomology theory

A generalized cohomology theory is a contravariant functor from the category of pairs of spaces to the category of abelian groups that satisfies all of the Eilenberg–Steenrod axioms except the dimension axiom.

geometrization conjecture

geometrization conjecture

genus

germ

germ

group completion

grouplike

An H-space X is said to be group-like or grouplike if ${\displaystyle \pi _{0}X}$ is a group; i.e., X satisfies the group axioms up to homotopy.

Gysin sequence

H

Hauptvermutung

1.  Hauptvermutung, a German for main conjecture, is short for die Hauptvermutung der kombinatorischen Topologie (the main conjecture of combinatorial topology). It asks whether two simplicial complexes are isomorphic if homeomorphic. It was disproved by Milnor in 1961.

2.  There are some variants; for example, one can ask whether two PL manifolds are PL-isomorphic if homeomorphic (which is also false).

h-cobordism

h-cobordism.

Hilton–Milnor theorem

The Hilton–Milnor theorem.

Hirzebruch

Hirzebruch signature theorem.

H-space

An H-space is a based space that is a unital magma up to homotopy.

homologus

Two cycles are homologus if they belong to the same homology class.

homology sphere

A homology sphere is a manifold having the homology type of a sphere.

homotopy category

Let C be a subcategory of the category of all spaces. Then the homotopy category of C is the category whose class of objects is the same as the class of objects of C but the set of morphisms from an object x to an object y is the set of the homotopy classes of morphisms from x to y in C. For example, a map is a homotopy equivalence if and only if it is an isomorphism in the homotopy category.

homotopy colimit

A homotopy colimit is a homotopically-correct version of colimit.

homotopy over a space B

A homotopy h_t such that for each fixed t, h_t is a map over B.

homotopy equivalence

1.  A map ƒ:X→Y is a homotopy equivalence if it is invertible up to homotopy; that is, there exists a map g: Y→X such that g ∘ ƒ is homotopic to th identity map on X and ƒ ∘ g is homotopic to the identity map on Y.

2.  Two spaces are said to be homotopy equivalent if there is a homotopy equivalence between the two. For example, by definition, a space is contractible if it is homotopy equivalent to a point space.

homotopy excision theorem

The homotopy excision theorem is a substitute for the failure of excision for homotopy groups.

homotopy fiber

The homotopy fiber of a based map ƒ:X→Y, denoted by Fƒ, is the pullback of ${\displaystyle PY\to Y,\,\chi \mapsto \chi (1)}$ along f.

homotopy fiber product

A fiber product is a particular kind of a limit. Replacing this limit lim with a homotopy limit holim yields a homotopy fiber product.

homotopy group

1.  For a based space X, let ${\displaystyle \pi _{n}X=[S^{n},X]}$, the set of homotopy classes of based maps. Then ${\displaystyle \pi _{0}X}$ is the set of path-connected components of X, ${\displaystyle \pi _{1}X}$ is the fundamental group of X and ${\displaystyle \pi _{n}X,\,n\geq 2}$ are the (higher) n-th homotopy groups of X.

2.  For based spaces ${\displaystyle A\subset X}$, the relative homotopy group ${\displaystyle \pi _{n}(X,A)}$ is defined as ${\displaystyle \pi _{n-1))$ of the space of paths that all start at the base point of X and end somewhere in A. Equivalently, it is the ${\displaystyle \pi _{n-1))$ of the homotopy fiber of ${\displaystyle A\hookrightarrow X}$.

3.  If E is a spectrum, then ${\displaystyle \pi _{k}E=\varinjlim _{n}\pi _{k+n}E_{n}.}$

4.  If X is a based space, then the stable k-th homotopy group of X is ${\displaystyle \pi _{k}^{s}X=\varinjlim _{n}\pi _{k+n}\Sigma ^{n}X}$. In other words, it is the k-th homotopy group of the suspension spectrum of X.

homotopy pullback

A homotopy pullback is a special case of a homotopy limit that is a homotopically-correct pullback.

homotopy quotient

If G is a Lie group acting on a manifold X, then the quotient space ${\displaystyle (EG\times X)/G}$ is called the homotopy quotient (or Borel construction) of X by G, where EG is the universal bundle of G.

homotopy spectral sequence

homotopy sphere

A homotopy sphere is a manifold having the homotopy type of a sphere.

Hopf

1.  Heinz Hopf.

2.  Hopf invariant.

3.  The Hopf index theorem.

4.  Hopf construction.

Hurewicz

The Hurewicz theorem establishes a relationship between homotopy groups and homology groups.

I

infinite loop space

infinite loop space machine

Infinite loop space machine.

infinite mapping telescope

intersection

intersection pairing.

intersection homology, a substitute for an ordinary (singular) homology for a singular space.

intersection cohomology

integration along the fiber

See integration along the fiber.

invariance of domain

invariance of domain.

isotopy

J

J-homomorphism

See J-homomorphism.

join

The join of based spaces X, Y is ${\displaystyle X\star Y=\Sigma (X\wedge Y).}$

K

k-invariant

Kan complex

See Kan complex.

Kirby–Siebenmann

Kirby–Siebenmann classification.

Kervaire invariant

The Kervaire invariant.

Koszul duality

Koszul duality.

Kuiper

Kuiper's theorem says that the general linear group of an infinite-dimensional Hilbert space is contractible.

Künneth formula

L

Lazard ring

The Lazard ring L is the (huge) commutative ring together with the formal group law ƒ that is universal among all the formal group laws in the sense that any formal group law g over a commutative ring R is obtained via a ring homomorphism L → R mapping ƒ to g. According to Quillen's theorem, it is also the coefficient ring of the complex bordism MU. The Spec of L is called the moduli space of formal group laws.

Lefschetz

1.  Solomon Lefschetz

2.  The Lefschetz fixed-point theorem says: given a finite simplicial complex K and its geometric realization X, if a map ${\displaystyle f:X\to X}$ has no fixed point, then the Lefschetz number of f; that is,

${\displaystyle \sum _{0}^{\infty }(-1)^{q}\operatorname {tr} (f_{*}:\operatorname {H} _{q}(X)\to \operatorname {H} _{q}(X))}$

is zero. For example, it implies the Brouwer fixed-point theorem since the Lefschetz number of ${\displaystyle f:D^{n}\to D^{n))$ is, as higher homologies vanish, one.

3.  The Lefschetz hyperplane theorem.

lens space

The lens space is the quotient space ${\displaystyle \{z\in \mathbb {C} ^{n}||z|=1\}/\mu _{p))$ where ${\displaystyle \mu _{p))$ is the group of p-th roots of unity acting on the unit sphere by ${\displaystyle \zeta \cdot (z_{1},\dots ,z_{n})=(\zeta z_{1},\dots ,\zeta z_{n})}$.

Leray spectral sequence

L²

The L²-cohomology of a Riemannian or Kähler manifold is the cohomology of the complexes of differential forms with square-integrable coefficients (coefficients for forms not cohomology).

local coefficient

1.  A module over the group ring ${\displaystyle \mathbb {Z} [\pi _{1}B]}$ for some based space B; in other words, an abelian group together with a homomorphism ${\displaystyle \pi _{1}B\to \operatorname {Aut} (A)}$.

2.  The local coefficient system over a based space B with an abelian group A is a fiber bundle over B with discrete fiber A. If B admits a universal covering ${\displaystyle {\widetilde {B))}$, then this meaning coincides with that of 1. in the sense: every local coefficient system over B can be given as the associated bundle ${\displaystyle {\widetilde {B))\times _{\pi _{1}B}A}$.

local invariant

Local invariant cycle theorem.

local sphere

The localization of a sphere at some prime number

local system

local system.

localization

locally constant sheaf

A locally constant sheaf on a space X is a sheaf such that each point of X has an open neighborhood on which the sheaf is constant.

loop space

The loop space ${\displaystyle \Omega X}$ of a based space X is the space of all loops starting and ending at the base point of X.

M

Madsen–Weiss theorem

mapping

1.  

The mapping cone (or cofiber) of a map ƒ:X→Y is ${\displaystyle C_{f}=Y\cup _{f}CX}$.

2.  The mapping cylinder of a map ƒ:X→Y is ${\displaystyle M_{f}=Y\cup _{f}(X\times I)}$. Note: ${\displaystyle C_{f}=M_{f}/(X\times \{0\})}$.

3.  The reduced versions of the above are obtained by using reduced cone and reduced cylinder.

4.  The mapping path space P_p of a map p:E→B is the pullback of ${\displaystyle B^{I}\to B}$ along p. If p is fibration, then the natural map E→P_p is a fiber-homotopy equivalence; thus, one can replace E by the mapping path space without changing the homotopy type of the fiber. A mapping path space is also called a mapping cocylinder.

5.  As a set, the mapping space from a space X to a space Y is the set of all continuous maps from X to Y. It is topologized in such a way the mapping space is a space; tha is, an object in the category of spaces used in algebraic topology; e.g., the category of compactly generated weak Hausdorff spaces. This topology may or may not be compact-open topology.

Mayer–Vietoris sequence

microbundle

microbundle

model category

A presentation of an ∞-category.^[4] See also model category.

Moore

1.  Moore space

2.  Moore path space.

multiplicative

A generalized cohomology theory E is multiplicative if E^*(X) is a graded ring. For example, the ordinary cohomology theory and the complex K-theory are multiplicative (in fact, cohomology theories defined by E_∞-rings are multiplicative.)

N

n-cell

Another term for an n-disk.

n-connected

A based space X is n-connected if ${\displaystyle \pi _{q}X=0}$ for all integers q ≤ n. For example, "1-connected" is the same thing as "simply connected".

n-equivalent

NDR-pair

A pair of spaces ${\displaystyle A\subset X}$ is said to be an NDR-pair (=neighborhood deformation retract pair) if there is a map ${\displaystyle u:X\to I}$ and a homotopy ${\displaystyle h_{t}:X\to X}$ such that ${\displaystyle A=u^{-1}(0)}$, ${\displaystyle h_{0}=\operatorname {id} _{X))$, ${\displaystyle h_{t}|_{A}=\operatorname {id} _{A))$ and ${\displaystyle h_{1}(\{x|u(x)<1\})\subset A}$.
If A is a closed subspace of X, then the pair ${\displaystyle A\subset X}$ is an NDR-pair if and only if ${\displaystyle A\hookrightarrow X}$ is a cofibration.

nilpotent

1.  nilpotent space; for example, a simply connected space is nilpotent.

2.  The nilpotent theorem.

nonabelian

1.  nonabelian cohomology

2.  nonabelian algebraic topology

normalized

Given a simplicial group G, the normalized chain complex NG of G is given by ${\displaystyle (NG)_{n}=\cap _{1}^{\infty }\operatorname {ker} d_{i}^{n))$ with the n-th differential given by ${\displaystyle d_{0}^{n))$; intuitively, one throws out degenerate chains.^[5] It is also called the Moore complex.

O

obstruction cocycle

obstruction theory

Obstruction theory is the collection of constructions and calculations indicating when some map on a submanifold (subcomplex) can or cannot be extended to the full manifold. These typically involve the Postnikov tower, killing homotopy groups, obstruction cocycles, etc.

of finite type

A CW complex is of finite type if there are only finitely many cells in each dimension.

operad

The portmanteau of “operations” and “monad”. See operad.

orbibundle

orbibundle.

orbit category

orientation

1.  The orientation covering (or orientation double cover) of a manifold is a two-sheeted covering so that each fiber over x corresponds to two different ways of orienting a neighborhood of x.

2.  An orientation of a manifold is a section of an orientation covering; i.e., a consistent choice of a point in each fiber.

3.  An orientation character (also called the first Stiefel–Whitney class) is a group homomorphism ${\displaystyle \pi _{1}(X,x_{0})\to \{\pm 1\))$ that corresponds to an orientation covering of a manifold X (cf. #covering.)

4.  See also orientation of a vector bundle as well as orientation sheaf.

P

pair

1.  A pair ${\displaystyle (X,A)}$ of spaces is a space X together with a subspace ${\displaystyle A\subset X}$.

2.  A map of pairs ${\displaystyle (X,A)\to (Y,B)}$ is a map ${\displaystyle X\to Y}$ such that ${\displaystyle f(A)\subset B}$.

p-adic homotopy theory

The p-adic homotopy theory.

parallelizable

path class

An equivalence class of paths (two paths are equivalent if they are homotopic to each other).

path lifting

A path lifting function for a map p: E → B is a section of ${\displaystyle E^{I}\to P_{p))$ where ${\displaystyle P_{p))$ is the mapping path space of p. For example, a covering is a fibration with a unique path lifting function. By formal consideration, a map is a fibration if and only if there is a path lifting function for it.

path space

The path space of a based space X is ${\displaystyle PX=\operatorname {Map} (I,X)}$, the space of based maps, where the base point of I is 0. Put in another way, it is the (set-theoretic) fiber of ${\displaystyle X^{I}\to X,\,\chi \mapsto \chi (0)}$ over the base point of X. The projection ${\displaystyle PX\to X,\,\chi \mapsto \chi (1)}$ is called the path space fibration, whose fiber over the base point of X is the loop space ${\displaystyle \Omega X}$. See also mapping path space.

perverse

A perverse sheaf.

phantom map

phantom map

piecewise algebraic space

piecewise algebraic space, the notion introduced by Kontsevich and Soibelman.

PL

1.  PL short for piecewise linear.

2.  A PL manifold is a topological manifold with a maximal PL atlas where a PL atlas is an atlas in which the transition maps are PL.

3.  A PL space is a space with a locally finite simplicial triangulation.

Poincaré

1.  Henri Poincaré.

2.  The Poincaré duality theorem says: given a manifold M of dimension n and an abelian group A, there is a natural isomorphism

${\displaystyle \operatorname {H} _{c}^{*}(M;A)\simeq \operatorname {H} _{n-*}(M;A)}$.

Given a map p:E→B, the pullback of p along ƒ:X→B is the space ${\displaystyle f^{*}E=\{(e,x)\in E\times X|p(e)=f(x)\))$ (succinctly it is the equalizer of p and f). It is a space over X through a projection.

Given ${\displaystyle A\subset B}$ and a map ${\displaystyle f:A\to X}$, the pushout of X and B along f is

${\displaystyle X\cup _{f}B=X\sqcup B/(a\sim f(a))}$;

that is X and B are glued together along A through f. The map f is usually called the attaching map.

An important example is when B = Dⁿ, A = S^n-1; in that case, forming such a pushout is called attaching an n-cell (meaning an n-disk) to X.

Q

quasi-fibration

A quasi-fibration is a map such that the fibers are homotopy equivalent to each other.

Quillen

1.  Daniel Quillen

2.  Quillen’s theorem says that ${\displaystyle \pi _{*}MU}$ is the Lazard ring.

R

rational

1.  The rational homotopy theory.

2.  The rationalization of a space X is, roughly, the localization of X at zero. More precisely, X₀ together with j: X → X₀ is a rationalization of X if the map ${\displaystyle \pi _{*}X\otimes \mathbb {Q} \to \pi _{*}X_{0}\otimes \mathbb {Q} }$ induced by j is an isomorphism of vector spaces and ${\displaystyle \pi _{*}X_{0}\otimes \mathbb {Q} \simeq \pi _{*}X_{0))$.

3.  The rational homotopy type of X is the weak homotopy type of X₀.

regulator

1.  Borel regulator.

2.  Beilinson regulator.

Reidemeister

Reidemeister torsion.

reduced

The reduced suspension of a based space X is the smash product ${\displaystyle \Sigma X=X\wedge S^{1))$. It is related to the loop functor by ${\displaystyle \operatorname {Map} (\Sigma X,Y)=\operatorname {Map} (X,\Omega Y)}$ where ${\displaystyle \Omega Y=\operatorname {Map} (S^{1},Y)}$ is the loop space.

retract

1.  A retract of a map f is a map r such that ${\displaystyle r\circ f}$ is the identity (in other words, f is a section of r).

2.  A subspace ${\displaystyle A\subset X}$ is called a retract if the inclusion map ${\displaystyle A\hookrightarrow X}$ admits a retract (see #deformation retract).

ring spectrum

A ring spectrum is a spectrum satisfying the ring axioms, either on nose or up to homotopy. For example, a complex K-theory is a ring spectrum.

Rokhlin

Rokhlin invariant.

S

Samelson product

Serre

1.  Jean-Pierre Serre.

2.  Serre class.

3.  Serre spectral sequence.

simple

simple-homotopy equivalence

A map ƒ:X→Y between finite simplicial complexes (e.g., manifolds) is a simple-homotopy equivalence if it is homotopic to a composition of finitely many elementary expansions and elementary collapses. A homotopy equivalence is a simple-homotopy equivalence if and only if its Whitehead torsion vanishes.

simplicial approximation

See simplicial approximation theorem.

simplicial complex

See simplicial complex; the basic example is a triangulation of a manifold.

simplicial homology

A simplicial homology is the (canonical) homology of a simplicial complex. Note it applies to simplicial complexes and not to spaces; cf. #singular homology.

signature invariant

singular

1.  Given a space X and an abelian group π, the singular homology group of X with coefficients in π is

${\displaystyle \operatorname {H} _{*}(X;\pi )=\operatorname {H} _{*}(C_{*}(X)\otimes \pi )}$

where ${\displaystyle C_{*}(X)}$ is the singular chain complex of X; i.e., the n-th degree piece is the free abelian group generated by all the maps ${\displaystyle \triangle ^{n}\to X}$ from the standard n-simplex to X. A singular homology is a special case of a simplicial homology; indeed, for each space X, there is the singular simplicial complex of X ^[6] whose homology is the singular homology of X.

2.  The singular simplices functor is the functor ${\displaystyle \mathbf {Top} \to s\mathbf {Set} }$ from the category of all spaces to the category of simplicial sets, that is the right adjoint to the geometric realization functor.

3.  The singular simplicial complex of a space X is the normalized chain complex of the singular simplex of X.

slant product

small object argument

smash product

The smash product of based spaces X, Y is ${\displaystyle X\wedge Y=X\times Y/X\vee Y}$. It is characterized by the adjoint relation

${\displaystyle \operatorname {Map} (X\wedge Y,Z)=\operatorname {Map} (X,\operatorname {Map} (Y,Z))}$.

The sphere spectrum is a spectrum consisting of a sequence of spheres ${\displaystyle S^{0},S^{1},S^{2},S^{3},\dots }$ together with the maps between the spheres given by suspensions. In short, it is the suspension spectrum of ${\displaystyle S^{0))$.

The suspension spectrum of a based space X is the spectrum given by ${\displaystyle X_{n}=\Sigma ^{n}X}$.

T

telescope

Thom

1.  René Thom.

2.  If E is a vector bundle on a paracompact space X, then the Thom space ${\displaystyle {\text{Th))(E)}$ of E is obtained by first replacing each fiber by its compactification and then collapsing the base X.

3.  The Thom isomorphism says: for each orientable vector bundle E of rank n on a manifold X, a choice of an orientation (the Thom class of E) induces an isomorphism

${\displaystyle {\widetilde {\operatorname {H} ))^{*+n}({\text{Th))(E);\mathbb {Z} )\simeq \operatorname {H} ^{*}(X;\mathbb {Z} )}$.

U

universal coefficient

The universal coefficient theorem.

up to homotopy

A statement holds in the homotopy category as opposed to the category of spaces.

V

V-manifold

An old term for an orbifold.

van Kampen

The van Kampen theorem says: if a space X is path-connected and if x₀ is a point in X, then

${\displaystyle \pi _{1}(X,x_{0})=\varinjlim \pi _{1}(U,x_{0})}$

where the colimit runs over some open cover of X consisting of path-connected open subsets containing x₀ such that the cover is closed under finite intersections.

Verdier

Verdier duality.

W

Waldhausen S-construction

Waldhausen S-construction.

Wall's finiteness obstruction

weak equivalence

A map ƒ:X→Y of based spaces is a weak equivalence if for each q, the induced map ${\displaystyle f_{*}:\pi _{q}X\to \pi _{q}Y}$ is bijective.

wedge

For based spaces X, Y, the wedge product ${\displaystyle X\wedge Y}$ of X and Y is the coproduct of X and Y; concretely, it is obtained by taking their disjoint union and then identifying the respective base points.

well pointed

A based space is well pointed (or non-degenerately based) if the inclusion of the base point is a cofibration.

Whitehead

1.  J. H. C. Whitehead.

2.  Whitehead's theorem says that for CW complexes, the homotopy equivalence is the same thing as the weak equivalence.

3.  Whitehead group.

4.  Whitehead product.

winding number

1.  winding number.