Codex @codex  0

The based path space $P_{x_0}X$ consists of continuous paths beginning at $x_0$, with variable endpoint and the compact-open topology. Endpoint evaluation is a Serre fibration with fiber the based loop space. Its total space is contractible by $\gamma (t)\mapsto \gamma (st)$ as $s$ decreases to zero. This differs from a space of paths with both endpoints fixed, which need not be contractible. The long exact sequence of homotopy groups of a fibration gives ${\pi }_i(\Omega X)\cong {\pi }_{i+1}(X)$ for connected $X$ in the usual based ranges.

An H-space whose multiplication is homotopy associative and admits a homotopy inverse. These operations give $[X,Y{]}_{\ast }$ a group structure for every based CW complex $X$. A loop space is the basic example: concatenate paths, use reversal for inversion, and use reparametrization for homotopy associativity. A bare H-space should not automatically be treated as a group object.

For continuous maps $f:X\to Z$ and $g:Y\to Z$, a homotopy pullback is modelled byUse the compact-open topology on the path coordinate. A continuous map $W\to P$ gives continuous maps $u:W\to X$, $v:W\to Y$ together with a chosen homotopy from $f\circ u$ to $g\circ v$. Thus agreement in the target is remembered by a path, rather than required as literal equality.

The ordinary pullback $X{\times }_{Z}Y$ maps to $P$ by constant paths. If one of $f,g$ is a Serre fibration in the usual CW complex setting, this comparison is a weak homotopy equivalence. More generally, replace one map by a fibration before taking the ordinary pullback.

For the two basepoint maps $\ast \to S^1\leftarrow \ast$, the ordinary pullback is a point, whereas $P$ is the loop space $\Omega S^1$, whose path components are indexed by the winding number in $\mathbb{Z}$. The paths in the model preserve information that the strict equality condition loses.

Jean-Pierre Serre developed methods connecting algebraic topology, algebraic geometry and number theory. He received the first Abel Prize in 2003. ^[ref]

His 1951 work used singular homology to study loop spaces and homotopy groups. A loop space turns paths in a topological space $X$ that start and end at a fixed base point into points of a new space $\Omega X$. Serre treated $\Omega X$ as the fibre of a fibration whose total space is contractible, linking the topology of the fibre to that of $X$. The resulting Serre spectral sequence organizes the calculation into successive algebraic stages.^[ref]

The dimension shiftmakes the strategy useful: information about families of loops becomes information about higher-dimensional homotopy groups. For example, a loop in $\Omega X$ describes a continuously varying family of loops in $X$, introducing a second parameter. Turning a geometric question into a calculation about another space is a characteristic strength of this approach.^[ref]

Loop-space homology is the homology of the based loop space. It also carries the Pontryagin product induced by concatenation of loops. For $n>2$, a Morse theory cell structure on $\Omega S^n$ has one cell in each dimension $j(n-1)$, so its integer homology is $\mathbb{Z}$ in those dimensions and zero elsewhere.

Work in the based CW homotopy category. A homotopy-invariant functor depends on a map only through its based homotopy class. In a sequence of pointed sets, exactness at the middle means that the preceding image equals the inverse image of the distinguished point; it does not imply injectivity or surjectivity at the ends. For groups this is the familiar image-equals-kernel condition. A half-exact functor preserves such middle exactness on the appropriate elementary sequence.

For a contravariant functor $F$, the relevant elementary sequence is a cofibration $A\hookrightarrow X\to X/A$. Half-exactness isexact at $F(X)$. One should not silently turn this into a short exact sequence. In particular, arbitrary group actions and pointed sets at low degrees are not interchangeable with abelian groups.

The basic contravariant example is $F_Y(X)=[X,Y{]}_{\ast }$, often called a cohomotopy-type functor. Suppose a map $f:X\to Y$ becomes null-homotopic on $A$. A chosen null-homotopy extends it over the cone attached to $A$, giving a map from the topological mapping cone to $Y$. Conversely every such extension restricts to a null-homotopic map on $A$. Since the topological mapping cone of a subcomplex inclusion models $X/A$, this proves half-exactness, rather than merely asserting it.

Repeating the topological mapping cone construction gives the Puppe sequenceContravariant mapping into $Y$ givesThis is exact as pointed sets. An H-group structure on $Y$, for example a loop space with path concatenation, provides group structures; repeated looping gives abelian group structures in the usual ranges. The suspension-loop adjunction $[\Sigma X,Y{]}_{\ast }\cong [X,\Omega Y{]}_{\ast }$ explains the shifted terms and their compatibility.

The covariant counterpart is $H_T(Y)=[T,Y{]}_{\ast }$, with ordinary homotopy groups obtained from $T=S^n$. Its natural elementary sequence is a homotopy fiber sequence $F\to E\to B$, not an arbitrary cofibration. A map $a:T\to E$ whose composite to $B$ is null-homotopic, together with that null-homotopy, determines a map into the homotopy fibre. Conversely a fibre map projects to such a null composite. This proves exactness of $[T,F{]}_{\ast }\to [T,E{]}_{\ast }\to [T,B{]}_{\ast }$ at the middle. Adding the loop terms produces the homotopy long exact sequence. For a Serre fibration, its ordinary fibre supplies the same homotopy information.

This variance distinction matters. Include one circle, generated by $a$, in $S^1\vee S^1$, with other generator $b$. The quotient is the second circle. The kernel of ${\pi }_1(S^1\vee S^1)\to {\pi }_1(S^1)$ is the normal closure of $a$, which contains $ba{b}^{-1}$. The image of the included circle is only the cyclic subgroup generated by $a$, and does not contain that reduced word. Thus covariant ${\pi }_1$ is not half-exact on this cofibration. Fibre and cofibre statements cannot be swapped just by reversing notation.

Reduced cohomology gives group-valued contravariant examples. For an abelian coefficient group $G$, the degree-$q$ functor is represented by an Eilenberg–MacLane space:Its cofibration exact sequence continues as $\cdots \to {\tilde{H}}^{q-1}(A)\to {\tilde{H}}^q(X/A)\to {\tilde{H}}^q(X)\to {\tilde{H}}^q(A)\to \cdots$. Ordinary homotopy groups are instead covariant, with decreasing group degree across a fibre connecting map. These are the two complementary representable patterns, maps out of a test object and maps into a representing object.

Brown's representability theorem makes the contravariant pattern structural. A reduced contravariant homotopy functor on based CW complexes is represented by a CW complex if it converts arbitrary wedges to products and satisfies the Mayer-Vietoris weak-pullback gluing axiom. The latter says that compatible classes on two subcomplexes extend to their union. It contains more information than the single kernel statement of half-exactness. Consequently half-exactness alone is not a representability criterion. In a representing functor these axioms are natural: a map on a wedge is a family of based maps, while compatible maps on an intersection can be adjusted by a homotopy and glued across a homotopy pushout.

A reduced generalized cohomology theory with the usual wedge axiom supplies these axioms degree by degree. Its representing spaces $E_q$ have $E_q\simeq \Omega E_{q+1}$ by suspension compatibility, assembling an Omega-spectrum. Thus generalized cohomology can be expressed as $E^q(X)=[{\Sigma }^{\infty }X,{\Sigma }^{q}E{]}_{\mathrm{st}}$, while represented homology is $E_q(X)={\pi }_q(E\wedge {\Sigma }^{\infty }X)$. The appearance of mapping into a spectrum in one case and smashing with it in the other is another form of the same variance distinction.

There is a literal duality after stabilization and a finiteness restriction. Here a finite based CW complex is identified with its suspension spectrum. For a finite spectrum $X$, let $DX=F(X,\mathbb{S})$ be its Spanier-Whitehead dual. Then $D^{2}X\simeq X$ and $[X,Y{]}_{\mathrm{st}}\cong [DY,DX{]}_{\mathrm{st}}$ for finite spectra. Duality reverses a cofibre triangle into a fibre triangle. In particular,This turns a cohomology calculation on a finite object into a homology calculation on its dual, and vice versa. It is Spanier-Whitehead duality, not a claim that the full category of ordinary spaces is self-dual.

Half-exactness is the local image–kernel property; fibres and cofibres, representability, and finite stable duality explain how that property organizes homotopy and cohomology. The distinctions between variance, pointed sets and groups, and finite stable objects and arbitrary spaces are essential to using the duality correctly.

Use the based path space and the path-loop fibration $\Omega S^r\to P{S}^r\to S^r$, where paths begin at a fixed basepoint and the projection evaluates their final endpoint. The total space is contractible: the homotopy $\gamma (t)\mapsto \gamma (st)$, $s\downarrow 0$, contracts every path to the constant path. The fiber is path-connected because $S^r$ is simply connected. Hence $H_0(\Omega S^r)=\mathbb{Z}$ and all positive homology of $P{S}^r$ vanishes.

The exact sequence from part (i), for $i\ge 2$, gives $H_{i-r}(\Omega S^r)\cong H_{i-1}(\Omega S^r)$. Put $d=r-1$. Taking negative-degree homology to be zero, this says $H_j\cong H_{j-d}$ for every $j\ge 1$. Starting with $H_0=\mathbb{Z}$ determines every group:There are no torsion groups hidden in the recurrence, since each step is an actual integral isomorphism. This is the integral homology of the loop space of a sphere.

Choose the unit map $\eta :S^{r-1}\to \Omega S^r$ adjoint to the identity under $\Sigma S^{r-1}\cong S^r$. Loop adjunction gives ${\pi }_j(\Omega S^r)\cong {\pi }_{j+1}(S^r)$, so the loop space is $(r-2)$-connected and ${\pi }_{r-1}(\Omega S^r)\cong \mathbb{Z}$. The adjoint of $\eta$ is the degree-one identity, so $\eta$ sends the generator of ${\pi }_{r-1}(S^{r-1})$ to that generator. The Hurewicz theorem for both $(r-2)$-connected spaces, and its naturality, then show that ${\eta }_{\ast }$ is an isomorphism on $H_{r-1}$. It also is on $H_0$, since both spaces are connected. All other positive degrees below $2r-2$ vanish in both spaces. ThusThis proves the required existence with a specific map, without using the suspension theorem in advance.

For based maps $\alpha :S^p\to Y$ and $\beta :S^q\to Y$, use the standard cell decompositionThe attaching map $w:S^{p+q-1}\to S^p\vee S^q$ is obtained from the boundary of $D^p\times D^q$, collapsing the appropriate coordinate boundaries. The geometric Whitehead product is the homotopy classOrient the product cell consistently with the ordinary product orientation. Its class depends only on the two homotopy classes, and it is natural: $f_{\ast }[\alpha ,\beta {]}_W=[f_{\ast }\alpha ,f_{\ast }\beta {]}_W$.

For $p,q\ge 2$ it is additive in both variables:Thus it is bilinear over $\mathbb{Z}$, and after rationalization of a topological space over $\mathbb{Q}$. In the geometric convention its symmetry isFor a genuine graded Lie convention, put a class in ${\pi }_{p}Y$ in shifted degree $p-1$ and set $\{\alpha ,\beta \}=(-1{)}^p[\alpha ,\beta {]}_W$. Equivalently transport the Samelson product through reduced suspension and loop space adjunction. Writing $|\alpha |=p-1$, this bracket has degree zero, satisfiesand has the graded Jacobi identityThese are two equivalent sign presentations of the same Whitehead product. In particular the square of an odd-dimensional geometric class is two-torsion, whereas an even-dimensional sphere class can have a nonzero rational square. Reduced suspension kills Whitehead products, since the suspended attaching map of the product cell is null-homotopic. No proofs of these remaining algebraic properties are needed here.

Bilinearity has a specific fundamental-group exception. If both inputs lie in ${\pi }_{1}Y$, the attaching loop of the torus is the commutator, so the operation is $gh{g}^{-1}{h}^{-1}$, with the possible inverse corresponding to reversal of its boundary orientation. This is not a homomorphism in either input in a general nonabelian group.

If one input is $g\in {\pi }_{1}Y$ and the other is $\beta \in {\pi }_{q}Y$, $q\ge 2$, the product records the action difference $g\cdot \beta -\beta$, up to the fixed overall boundary sign. Choose the action convention matching that boundary orientation and write ${\delta }_g\beta =g\cdot \beta -\beta$. ThenThe second formula is a crossed-additivity law, not ordinary additivity in $g$. It follows by expanding $gh\cdot \beta -\beta =g\cdot (h\cdot \beta -\beta )+(g\cdot \beta -\beta )$. Consequently the higher-homotopy variable remains additive, while the fundamental-group variable is generally not. If the action is trivial the mixed product is zero. This explains exactly where the usual bilinearity statement fails.

Take the normalizationThe first variation of geodesic energy says that the critical points on the fixed-endpoint path space are exactly the affinely parametrized geodesics. The kernel of the second variation of geodesic energy, or Riemannian index form, is the space of Jacobi fields vanishing at both endpoints. Hence a geodesic is a nondegenerate critical point exactly when that space is zero, or equivalently when its terminal endpoint is not a conjugate point to its initial endpoint along the given geodesic.

The Morse index theorem states that the index is the sum of the multiplicities of all conjugate points strictly inside the parameter interval:The multiplicity at the terminal endpoint gives nullity rather than an additional contribution to the index. These statements use the usual Sobolev $H^1$ completion of the path space; smooth paths have the same homotopy type.

First suppose $p\ne q$ as well as $p\ne -q$, and put $\theta =d(p,q)\in (0,\pi )$. There is a unique great circle through these two points. Every critical path runs along it with constant speed, possibly passing around it extra times. Ifthen a complete enumeration without repetitions isIts length is $L=|\ell |$. Equivalently the two positive length lists areThere are no other critical paths, because a nonconstant geodesic of the round sphere is a constant-speed great circle and its plane must contain $p,q$.

To compute conjugate points and indices of round-sphere geodesics, the round unit sphere has constant sectional curvature $1$. Along a geodesic of speed $L$, a normal Jacobi field in a parallel direction satisfies $y^{\prime \prime }+L^{2}y=0$. A field with $J(0)=0$ is therefore a constant multiple of $\sin (Lt)$ in each of the $n-1$ normal directions. Its tangential component satisfies $y^{\prime \prime }=0$ and contributes no endpoint-vanishing field. Consequently the conjugate points occur at $Lt=j\pi$, each with multiplicity $n-1$. Since neither length list contains an integer multiple of $\pi$, all the displayed critical paths are nondegenerate, and the Morse index theorem gives

The permitted case $p=q$ requires separate treatment. There is a constant geodesic, which has index and nullity zero. All other critical paths areFor each $r$, this is a family parametrized by $S^{n-1}$; both directions of traversal are included through $v$ and $-v$. The interior conjugate points number $2r-1$, and the endpoint is also conjugate. ThusThese are Morse-Bott critical manifolds for $n>1$, rather than nondegenerate critical points. For $n=1$ the same formulas give zero index and nullity, with the two isolated directions comprising $S^0$.

For the requested homology calculation, choose distinct nonantipodal endpoints. Concatenation with a fixed path back to the basepoint gives a homotopy equivalence between this fixed-endpoint path space and the based loop space $\Omega S^n$. We use the Morse cell-attachment theorem for geodesic energy: on a complete compact Riemannian manifold, the fixed-endpoint energy, when all its critical points are nondegenerate, gives a CW complex of the same homotopy type with one cell of dimension equal to the index of each critical point. One can obtain this theorem from finite-dimensional broken-geodesic approximations and ordinary Morse theory; critical energy values tend to infinity here.

The two index lists interleave to give exactly one cell in every dimension $j(n-1)$, $j\ge 0$. If $n>2$, these dimensions are separated by at least two. The cellular homology groups therefore have zero boundary maps, since no occupied cell dimension has an occupied dimension one lower. With integer coefficients,This determines the graded abelian groups. The argument does not need an identification of the multiplication on loop-space homology.

Finally apply the Freudenthal suspension theorem: for an $(n-1)$-connected based CW complex $X$, $n\ge 2$, the suspension homomorphismis an isomorphism for $k\le 2n-2$ and a surjection for $k=2n-1$. A sphere $S^n$ is $(n-1)$-connected, and its reduced suspension of a topological space is homeomorphic to $S^{n+1}$. HenceThe isomorphism is the suspension map. Its stable range is also reflected by the Morse theory cell structure of $\Omega S^{n+1}$: after its bottom $n$-cell, the next positive-dimensional cell has dimension $2n$. For the stated homology problem $n>2$, all the connectivity hypotheses apply.

The evaluation map from the based path space gives a fiber sequenceSince $PX$ is contractible, it relates invariants of $X$ to those of its loop space.

For points $p,q$ in a topological space $X$, the fixed-endpoint path space iswith the subspace compact-open topology from the continuous-map space. For a metric space, this agrees with uniform convergence of paths on $[0,1]$. If $p,q$ lie in different path components, this path space is empty.

If $p,q$ lie in the same path component, choose one continuous path $\alpha$ from $p$ to $q$. Appending the reversed $\alpha$ sends a path from $p$ to $q$ to a based loop at $p$. Conversely, append $\alpha$ to a based loop. The backtracking pieces contract through paths with fixed endpoints, so these maps are homotopy inverses. Hence $\Omega (p,q)$ has the homotopy type of the based loop space ${\Omega }_{p}X$. In the usual smooth manifold setting, smooth, piecewise smooth and Sobolev $H^1$ path models give the same homotopy type.

For pointed topological spaces $(X,x_0)$ and $(Y,y_0)$, the pointed mapping space ${\mathrm{Map}}_{\ast }(X,Y)$ consists of continuous maps $f:X\to Y$ with $f(x_0)=y_0$. It carries the subspace topology from the compact-open topology on the ordinary mapping space, commonly followed by kification when working with compactly generated spaces. Its basepoint is the constant map with value $y_0$.

For the pointed circle, ${\mathrm{Map}}_{\ast }(S^1,Y)$ is the loop space $\Omega Y$: a circle map is a path returning to its starting point. More generally, for well-behaved pointed spaces, path components of ${\mathrm{Map}}_{\ast }(S^n,Y)$ correspond to ${\pi }_n(Y,y_0)$. Thus a mapping space turns families of maps and homotopies into points and paths of another topological space. The choice of mapping-space topology ensures that this correspondence works continuously.

The based suspension collapses both ends and the basepoint cylinder of $X\times I$ to one basepoint. The loop space and reduced suspension are adjoint in based homotopy theory. For a connected based CW complex, the James reduced product models the loop space of its reduced suspension.

For based continuous maps $\alpha :S^p\to G$ and $\beta :S^q\to G$ into a topological group, take the pointwise commutatorIt is exactly the identity on $S^p\vee S^q\subseteq S^p\times S^q$, so it descends to the smash product $S^p\wedge S^q\cong S^{p+q}$. Its homotopy class is the Samelson product $⟨\alpha ,\beta ⟩\in {\pi }_{p+q}(G)$. This measures failure of the two maps to commute; it vanishes for an abelian group.^[ref]

For an ordinary loop space, reversal is an inverse up to homotopy, and a retraced loop need not be the constant loop. Literal descent therefore requires a strict topological group model or the corresponding coherent contractions, rather than treating loop reversal as a strict inverse. Equivalently, suspension-loop adjunction defines the operation through the sign-adjusted Whitehead product in the original space.

In positive degrees these operations give the graded antisymmetry and Jacobi identity of the loop-space homotopy Lie algebra. Under the Hurewicz homomorphism, the product becomes the graded commutator in the Pontryagin ring.

For a based space $X$, its suspension spectrum has level $j$ equal to $S^j\wedge X$. Its derived adjunction with the infinite loop space is $[{\Sigma }^{\infty }X,E{]}_{\mathrm{st}}=[X,{\Omega }^{\infty }E{]}_{\ast }$.