03.12.42 · modern-geometry / homotopy

Combinatorial simplicial homotopy groups and the Kan-fibration long exact sequence

shipped3 tiersLean: none

Anchor (Master): May 1967 *Simplicial Objects in Algebraic Topology* §3-§7 and §16 (originator construction and the comparison theorem); Goerss-Jardine 2009 *Simplicial Homotopy Theory* §I.7-§I.11 (canonical modern treatment); Kan 1958 *On homotopy theory and c.s.s. groups* (Ann. of Math. 68, 38-53); Curtis 1971 *Simplicial homotopy theory* (Adv. Math. 6) §1-§3

Intuition Beginner

Homotopy groups usually start with spheres made of rubber, sitting inside a space, and we ask which ones can be shrunk away. Simplicial sets let us replay this entire story with pure combinatorics. A simplicial set is bookkeeping data: a set of points, a set of edges, a set of triangles, and gluing rules saying how they fit. From this data alone, with no rubber and no spaces, we build groups that count holes.

The trick is to use simplices that already look like balloons. Fix a basepoint, a single chosen vertex. An $n$ -simplex whose whole boundary has collapsed onto that basepoint behaves like a sphere with a pinched edge. Two such simplices count as the same when one can be slid to the other along a recorded path, keeping the boundary pinned. The classes of these pinched simplices are the simplicial homotopy group $π_{n}$ .

For this to work the simplicial set must be a Kan complex: every partial simplex, a horn missing one face, must extend to a full one. That filling rule is what lets us add two classes and undo one. Without it the sliding relation might not even be symmetric.

Visual Beginner

Picture the standard triangle with vertices $0$ , $1$ , $2$ , but now imagine all three corners pulled together onto one basepoint. The three edges become loops at that point, and the filled triangle becomes a class in $π_{2}$ . To add two such classes, draw a tetrahedron-style horn: a shape made of three faces with the fourth missing. Two of the faces are the simplices you want to add, one face is a collapsed basepoint, and the Kan filling rule supplies the missing face. That recovered face is the sum.

The same picture, one dimension up each time, defines addition in every $π_{n}$ . The filler is not unique, but every choice lands in the same class, so the sum is well defined.

Worked example Beginner

Compute $π_{1}$ of a small Kan complex and watch the horn-filling addition concretely.

Step 1. Take the simplicial circle, then replace it by a Kan complex $K$ so that horns can be filled. Fix the basepoint vertex $v$ . A based $1$ -simplex is an edge $x$ whose two endpoints both sit at $v$ — a loop at the basepoint.

Step 2. List two loops. Call them $a$ and $b$ . Each is an edge from $v$ to $v$ . We want to define the class $a + b$ .

Step 3. Build the horn. We want a triangle with edges labelled so that one outer edge is $a$ , the other outer edge is $b$ , and the missing inner edge will be the sum. We supply two of the three faces of the triangle: the face that should be $a$ and the face that should be $b$ . The third face is missing. This is a horn.

Step 4. Fill it. The Kan condition gives a full triangle whose two supplied edges are $a$ and $b$ . Read off the remaining edge $c$ . By definition $a + b = c$ , the class of that edge.

Step 5. Check the basepoint. The class $0$ is the loop that is the collapsed basepoint, written $s_{0} v$ , the degenerate edge sitting at $v$ . Filling the horn with $a$ and the collapsed edge returns $a$ again, so adding $0$ changes nothing.

What this tells us: addition of loops is recorded as a gluing of triangles, and the answer is whatever edge completes the picture. The group operation is a filling rule, not a formula. Every choice of filler gives the same class, so the rule is honest. The same recipe, with tetrahedra and higher horns, runs in every dimension.

Check your understanding Beginner

Exercise (easy, multiple choice).

In a Kan complex $K$ with basepoint $v$ , which simplices represent elements of $π_{n} (K, v)$ ?

A. All $n$ -simplices of $K$ . B. The $n$ -simplices whose every face is the collapsed basepoint. C. The non-degenerate $n$ -simplices only. D. The $n$ -simplices fixed by every degeneracy map.

Hint

The representatives should behave like spheres: a sphere is a disk with its whole boundary crushed to one point.

Answer

B. The $n$ -simplices whose every face is the collapsed basepoint. An element of $π_{n} (K, v)$ is represented by an $n$ -simplex $x$ with $d_{i} x$ equal to the degenerate simplex at $v$ for every face index $i$ . Pinning the whole boundary to the basepoint is the combinatorial version of a based sphere. Two such simplices represent the same class when a recorded simplicial homotopy slides one to the other while keeping the boundary at the basepoint.

Exercise (easy, multiple choice).

What does the comparison theorem say about the combinatorial $π_{n} (K, v)$ and the topological homotopy groups of the realisation $∣ K ∣$ ?

A. They agree only when $n = 1$ . B. They are isomorphic for every $n$ . C. The combinatorial group is always larger. D. They agree only for finite simplicial sets.

Hint

The whole point of the combinatorial construction is that it loses no information against the topological one.

Answer

B. They are isomorphic for every $n$ . For a Kan complex $K$ the combinatorial group $π_{n} (K, v)$ is isomorphic to the ordinary topological homotopy group $π_{n} (∣ K ∣, ∣ v ∣)$ of the geometric realisation, in every dimension $n \geq 0$ . The combinatorial side is just an equivalent, purely finite-data way to compute the same invariant. This is the comparison theorem (May 1967, §16).

Formal definition Intermediate+

Throughout, $K$ is a Kan complex: a simplicial set in which every horn $Λ_{k}^{n} \to K$ ( $0 \leq k \leq n$ , $n \geq 1$ ) extends along $Λ_{k}^{n} ↪ Δ^{n}$ to a simplex $Δ^{n} \to K$ 03.12.33. Fix a basepoint $* \in K_{0}$ and write $*$ also for its iterated degeneracies $s_{0}^{n} * \in K_{n}$ .

Definition (based simplices). For $n \geq 1$ set $$ Z_n(K, *) = {x \in K_n : d_i x = s_0^{n-1} * \text{ for all } 0 \leq i \leq n}, $$ the set of $n$ -simplices whose entire boundary is the degenerate basepoint. For $n = 0$ set $Z_{0} (K, *) = K_{0}$ .

Definition (simplicial homotopy rel boundary). For $x, x^{'} \in Z_{n} (K, *)$ , a homotopy $x \sim x^{'}$ is a simplex $H \in K_{n + 1}$ with $$ d_n H = x, \qquad d_{n+1} H = x', \qquad d_i H = s_{n-1}^{} , d_i x = s_0^{n} * \quad (0 \leq i \leq n-1). $$ Equivalently, $H$ is a filler of the prism $Δ^{n} \times Δ^{1}$ that is constant at $*$ on $\partial Δ^{n} \times Δ^{1}$ and restricts to $x$ , $x^{'}$ on the two ends. The relation $x \sim x^{'}$ uses only the Kan condition to be reflexive (take $H = s_{n} x$ ), symmetric, and transitive; the symmetry and transitivity arguments fill horns whose faces are the given homotopies together with degenerate simplices.

Definition (combinatorial homotopy group). The simplicial homotopy group is the quotient set $$ \pi_n(K, *) = Z_n(K, ) / \sim, \qquad n \geq 0. $$ For $n = 0$ this is the set of path-components, $K_{0}$ modulo the relation generated by $1$ -simplices, pointed by $[]$.

Definition (group operation). For $n \geq 1$ and $[x], [y] \in π_{n} (K, *)$ , choose the horn $Λ_{n}^{n + 1} \to K$ whose faces are $$ d_i = s_0^{n} * \ (i < n-1), \qquad d_{n-1} = x, \qquad d_{n+1} = y, $$ with the face $d_{n}$ omitted. A Kan filler $w \in K_{n + 1}$ exists; set $[x] \cdot [y] = [d_{n} w]$ . The face $d_{n} w$ lies in $Z_{n} (K, *)$ and its class is independent of the chosen filler. The identity is $[s_{0}^{n} *]$ , and inverses come from filling the complementary horn.

Definition (Kan fibration). A morphism $p : E \to B$ of simplicial sets is a Kan fibration if every commutative square with a horn inclusion $Λ_{k}^{n} ↪ Δ^{n}$ on the left and $p$ on the right admits a diagonal lift 03.12.33. The fibre over a vertex $b \in B_{0}$ is $F = p^{- 1} (b)$ , the pullback of $p$ along $b : Δ^{0} \to B$ ; if $E$ is a Kan complex then $F$ is a Kan complex.

Counterexamples to common slips

The basepoint condition is on every face. A representative of $π_{n}$ has all $n + 1$ faces equal to the degenerate basepoint, not merely one distinguished face. Dropping faces gives the relative groups of 03.12.52, a different object.
The homotopy relation needs the Kan condition for symmetry. On a general simplicial set, $x \sim x^{'}$ via some $H$ does not produce a reverse homotopy $x^{'} \sim x$ ; reversal requires filling a horn, which only Kan complexes guarantee. So $π_{n}$ of a non-Kan simplicial set is not defined by this construction — one passes to a fibrant replacement first.
The group operation reads off the omitted face. The product is the class of $d_{n} w$ , the face that was missing in the horn, not one of the supplied faces. Confusing the recovered face with a supplied one inverts or scrambles the operation.
Outer versus inner horns. The operation above uses the outer horn $Λ_{n}^{n + 1}$ ; the full Kan condition (all horns fill, inner and outer) is what makes the construction symmetric in $x$ and $y$ up to homotopy and supplies inverses. Inner-horn-only filling (quasi-categories) gives a monoid, not a group.

Key theorem with proof Intermediate+

Theorem (group structure and abelianness). Let $K$ be a Kan complex with basepoint $ $. F or e v er y$ n \geq 1 $t h eo p er a t i o n$ [x] \cdot [y] = [d_n w] $i s w e l l d e f in e d an d mak es$ \pi_n(K, ) $a g r o u p . F or$ n \geq 2$ the group is abelian.

Proof. Well-definedness. Suppose $x \sim x_{1}$ and $y \sim y_{1}$ with homotopies $H, H^{'}$ . Assemble an $(n + 2)$ -dimensional horn whose faces are the two product-fillers $w$ (for $x, y$ ) and $w_{1}$ (for $x_{1}, y_{1}$ ) on two slots, the homotopies $H, H^{'}$ on the slots matching the supplied faces, and degenerate basepoint simplices elsewhere; the face-compatibility relations $d_{i} d_{j} = d_{j - 1} d_{i}$ ( $i < j$ ) make this a valid horn. A Kan filler restricts on its omitted-face boundary to a homotopy $d_{n} w \sim d_{n} w_{1}$ . Hence the class $[d_{n} w]$ depends only on $[x]$ and $[y]$ .

Identity. With $y = s_{0}^{n} *$ the horn $Λ_{n}^{n + 1}$ has $d_{n - 1} = x$ , $d_{n + 1} = s_{0}^{n} *$ , and degenerate basepoint faces elsewhere; the simplex $w = s_{n - 1} x$ is a filler with $d_{n} w = x$ . So $[x] \cdot [*] = [x]$ , and symmetrically $[*] \cdot [x] = [x]$ .

Inverses. Given $[x]$ , fill the horn $Λ_{n - 1}^{n + 1}$ with $d_{n} = x$ and degenerate basepoint faces in the remaining supplied slots; the recovered face $d_{n - 1}$ of the filler is a representative $\overset{x}{ˉ}$ with $[x] \cdot [\overset{x}{ˉ}] = [*]$ .

Associativity. Given $[x], [y], [z]$ , build an $(n + 2)$ -simplex whose relevant boundary faces are the three pairwise product-fillers and whose omitted face reads off both $([x] \cdot [y]) \cdot [z]$ and $[x] \cdot ([y] \cdot [z])$ as homotopic representatives. The Kan filler of the assembling horn provides the homotopy. This is the simplicial Stasheff-associahedron argument in its first nontrivial instance.

Abelianness for $n \geq 2$ . Here the Eckmann-Hilton argument applies. For $n \geq 2$ there are two independent ways to compose based $n$ -simplices — using the horn in the $n$ -direction and the horn in the $(n - 1)$ -direction — and both define the same operation up to homotopy with the same identity. Two unital binary operations on a set that share a unit and satisfy the interchange law agree and are commutative. The interchange law is supplied by filling a single higher horn that exhibits both compositions simultaneously. Hence $π_{n} (K, *)$ is abelian for $n \geq 2$ . $□$

Bridge. This construction builds toward the long exact sequence of a Kan fibration proved in the Advanced results, and the comparison theorem $π_{n}^{simp} (K) ≅ π_{n} (∣ K ∣)$ that appears again in 03.12.25 as the statement quoted there as established. The foundational reason the operation exists is the Kan extension condition: every algebraic move — addition, the unit, inversion, associativity, the interchange forcing commutativity — is the same horn-filling lifting property, instantiated in different dimensions and horn positions. This is exactly the combinatorial counterpart of path concatenation on the topological side: the central insight is that the group laws are not imposed but recovered, each as the omitted face of a filled horn. The Eckmann-Hilton collapse generalises the classical fact that $π_{n}$ is abelian for $n \geq 2$ , and the bridge is that the simplicial homotopy relation rel boundary is precisely the realisation of the topological based-homotopy relation. Putting these together, the combinatorial $π_{n}$ is a faithful finite-data model of the topological homotopy group, and the fibration sequence below is dual to the topological pair sequence of 03.12.52.

Exercises Intermediate+

Exercise 3 (medium, symbolic).

Write down explicitly a homotopy exhibiting $[x] \cdot [s_{0}^{n} *] = [x]$ for a based $n$ -simplex $x$ , and verify its faces.

Hint

Use a degeneracy of $x$ as the filler of the product horn.

Answer

The product horn $Λ_{n}^{n + 1}$ has $d_{n - 1} = x$ , $d_{n + 1} = s_{0}^{n} *$ , and $d_{i} = s_{0}^{n} *$ for $i < n - 1$ , with $d_{n}$ omitted. Take the filler $w = s_{n - 1} x \in K_{n + 1}$ . The simplicial identities give $d_{n - 1} s_{n - 1} = id$ , so $d_{n - 1} w = x$ ; $d_{n + 1} s_{n - 1} = s_{n - 1} d_{n}$ , and since every face of $x$ is the degenerate basepoint, $d_{n + 1} w = s_{0}^{n} *$ ; for $i < n - 1$ , $d_{i} s_{n - 1} = s_{n - 2} d_{i}$ gives the degenerate basepoint. Finally $d_{n} s_{n - 1} = id$ yields $d_{n} w = x$ . So $w$ fills the horn and the product is $[d_{n} w] = [x]$ . Rubric: full credit for the filler $s_{n - 1} x$ and the simplicial-identity verification of all faces.

Exercise 4 (medium, short-answer).

Prove that the boundary map $\partial : π_{n} (B, *) \to π_{n - 1} (F, *)$ of a Kan fibration $p : E \to B$ with fibre $F$ is well defined.

Hint

Lift a based simplex of $B$ to a horn in $E$ , fill it, and restrict the recovered face to the fibre.

Answer

Let $b \in Z_{n} (B, *)$ represent a class in $π_{n} (B, *)$ . Build a horn $Λ_{n}^{n} \to E$ that maps to the degenerate basepoint in $E$ on its supplied faces, and whose composite with $p$ is the degenerate boundary of $b$ ; lift $b$ itself across $p$ to a simplex $e \in E_{n}$ with $p (e) = b$ and all faces except the $n$ -th equal to the basepoint. The remaining face $d_{n} e$ satisfies $p (d_{n} e) = d_{n} b = *$ , so $d_{n} e \in F_{n - 1}$ , and its faces are degenerate basepoints, so $d_{n} e \in Z_{n - 1} (F, *)$ . Set $\partial [b] = [d_{n} e]$ . Independence of the lift $e$ and of the representative $b$ follows by filling one further horn assembled from two competing lifts and a homotopy in $B$ : the Kan condition in $E$ supplies a homotopy in $F$ between the two recovered faces. Hence $\partial$ is well defined. Rubric: full credit for the lift construction, the fibre membership, and the independence argument.

Exercise 6 (medium, short-answer).

Show that the map $p_{*} : π_{n} (E, *) \to π_{n} (B, *)$ induced by a Kan fibration is a group homomorphism.

Hint

The product is read off a filled horn, and $p$ sends fillers to fillers.

Answer

A representative $e \in Z_{n} (E, *)$ maps to $p (e) \in Z_{n} (B, *)$ , and a homotopy in $E$ maps to a homotopy in $B$ , so $p_{*}$ is well defined on classes. For the product of $[e_{1}], [e_{2}] \in π_{n} (E)$ , let $w \in E_{n + 1}$ fill the defining horn, so $[e_{1}] \cdot [e_{2}] = [d_{n} w]$ . Then $p (w) \in B_{n + 1}$ fills the horn in $B$ whose supplied faces are $p (e_{1}), p (e_{2})$ and degenerate basepoints, because $p$ is a simplicial map and commutes with all faces. Hence $p_{*} ([e_{1}] \cdot [e_{2}]) = [d_{n} p (w)] = [p (d_{n} w)] = p_{*} [e_{1}] \cdot p_{*} [e_{2}]$ . Rubric: full credit for the well-definedness and the filler-image computation.

Exercise 7 (hard, short-answer).

Prove exactness of the fibration sequence at $π_{n} (E, *)$ : the image of $π_{n} (F) \to π_{n} (E)$ equals the kernel of $π_{n} (E) \to π_{n} (B)$ .

Hint

A class in the kernel has $p$ -image null-homotopic; lift that homotopy.

Answer

Image $\subseteq$ kernel. If $[e] = i_{*} [f]$ for $f \in Z_{n} (F)$ , then $p (e)$ lies in the basepoint component because $p$ collapses $F$ to $*$ ; so $p_{*} [e] = 0$ .

Kernel $\subseteq$ image. Let $[e] \in π_{n} (E)$ with $p_{*} [e] = 0$ , witnessed by a homotopy $G \in B_{n + 1}$ from $p (e)$ to the degenerate basepoint, rel boundary. Form the horn $Λ_{n + 1}^{n + 1} \to E$ with $d_{n} = e$ , the supplied faces degenerate basepoints, and the $p$ -image prescribed to be $G$ ; concretely, lift $G$ across $p$ starting from $e$ . The Kan condition in $E$ (a fibration lift, since the lifting problem is against $p$ ) provides a filler $\tilde{G} \in E_{n + 1}$ with $p (\tilde{G}) = G$ , $d_{n} \tilde{G} = e$ , and $d_{n + 1} \tilde{G} =: e^{'}$ satisfying $p (e^{'}) = *$ , so $e^{'} \in Z_{n} (F)$ . The filler is a homotopy in $E$ from $e$ to $e^{'}$ , giving $[e] = i_{*} [e^{'}]$ in $π_{n} (E)$ . Hence $[e]$ is in the image of $i_{*}$ . Rubric: full credit for both inclusions, with the relative-lift construction made explicit.

Exercise 8 (hard, short-answer).

State and sketch the comparison theorem $π_{n}^{simp} (K, v) ≅ π_{n} (∣ K ∣, ∣ v ∣)$ for a Kan complex $K$ , and explain where the Kan condition enters.

Hint

Realisation sends based simplices to based spheres; simplicial approximation goes back.

Answer

Statement. For a Kan complex $K$ and vertex $v$ , geometric realisation induces an isomorphism of groups $π_{n} (K, v) ≅ π_{n} (∣ K ∣, ∣ v ∣)$ for all $n \geq 0$ (May 1967, §16).

Sketch. A based $n$ -simplex $x$ with degenerate-basepoint boundary realises to a map $∣ Δ^{n} ∣ \to ∣ K ∣$ sending $∣ \partial Δ^{n} ∣ = S^{n - 1}$ to $∣ v ∣$ , i.e. a based sphere class. This gives a well-defined map $π_{n}^{simp} \to π_{n}^{top}$ , a homomorphism because the horn-filling product realises to path/sphere concatenation. Surjectivity uses simplicial approximation: every continuous based sphere in the CW complex $∣ K ∣$ is homotopic to a simplicial one. Injectivity uses that a topological based homotopy between simplicial representatives can be approximated by, and lifted to, a simplicial homotopy rel boundary — and here the Kan condition is essential, because the simplicial homotopy is built by filling horns, which only exists when $K$ is Kan. Realisation of a Kan fibration is a Serre fibration (Milnor 1957), so the simplicial LES realises to the topological LES, matching the two constructions. Rubric: full credit for the statement, the two maps, and locating the Kan condition in the injectivity/lifting step.

Advanced results Master

The homotopy relation and the group structure

Theorem 1 (May 1967 §3, the homotopy relation). Let $K$ be a Kan complex with basepoint $ $. T h er e l a t i o n$ x \sim x' $o n$ Z_n(K, *) $— e x i s t e n ceo f$ H \in K_{n+1} $w i t h$ d_n H = x $,$ d_{n+1} H = x' $, an d t h er e mainin g f a ces t h e d e g e n er a t e ba se p o in t — i s an e q u i v a l e n cer e l a t i o n, an d t h e q u o t i e n t$ \pi_n(K, *) = Z_n(K, )/\sim$ is a pointed set.

Reflexivity is the degeneracy $s_{n} x$ . Symmetry fills the horn $Λ_{n + 1}^{n + 2}$ whose faces are $H$ , the degeneracy $s_{n} x$ , and degenerate basepoints; the recovered face reverses $H$ . Transitivity fills the horn assembled from two homotopies $H : x \sim x^{'}$ and $H^{'} : x^{'} \sim x^{''}$ ; the omitted face is a homotopy $x \sim x^{''}$ . Each step is a single application of the extension condition. On a simplicial set without the Kan property these fillers can fail to exist, so the construction is intrinsic to Kan complexes.

Theorem 2 (May 1967 §4; Kan 1958, the group structure). *For $n \geq 1$ , the operation $[x] \cdot [y] = [d_{n} w]$ , where $w$ fills the horn $Λ_{n}^{n + 1}$ with $d_{n - 1} = x$ , $d_{n + 1} = y$ and remaining supplied faces degenerate, makes $π_{n} (K, *)$ a group, natural in pointed Kan complexes. For $n \geq 2$ the group is abelian.*

The group axioms are the Key theorem above. Naturality holds because a pointed simplicial map sends based simplices to based simplices, homotopies to homotopies, and fillers to fillers, so it induces a group homomorphism on $π_{n}$ . Abelianness for $n \geq 2$ is the Eckmann-Hilton collapse: the two distinct horn-compositions available when $n \geq 2$ share a unit and interchange, forcing agreement and commutativity.

Theorem 3 (independence of horn position). For $n \geq 1$ the product defined by filling $Λ_{k}^{n + 1}$ for any single omitted position $k$ agrees, on homotopy classes, with the product defined by $Λ_{n}^{n + 1}$ . The class of the recovered face does not depend on which face is treated as the output.

This is the combinatorial source of both well-definedness and, for $n \geq 2$ , the two-operation Eckmann-Hilton input. The proof fills a higher horn whose faces are the competing products and exhibits a homotopy between the two recovered faces.

The long exact sequence of a Kan fibration

Theorem 4 (May 1967 §7; Kan 1958, the fibration LES). Let $p : E \to B$ be a Kan fibration of Kan complexes with $E, B$ based and fibre $F = p^{-1}()$ over the basepoint. There is a long exact sequence of pointed sets, groups, and abelian groups,* $$ \cdots \to \pi_n(F) \xrightarrow{i_*} \pi_n(E) \xrightarrow{p_*} \pi_n(B) \xrightarrow{\partial} \pi_{n-1}(F) \to \cdots \to \pi_0(F) \to \pi_0(E) \to \pi_0(B), $$ with $i : F ↪ E$ the inclusion, $p_ $in d u ce d b y$ p $, an d$ \partial $t h e h or n - l i f t in g co nn ec t in g ma p . E x a c t n ess h o l d s a t e v er y t er m; t h ese q u e n ce i so n eo f g r o u p s f or$ n \geq 1 $an d ab e l ian g r o u p s f or$ n \geq 2$.*

The connecting map $\partial [b] = [d_{n} e]$ lifts $b$ to $e \in E_{n}$ with all but one face degenerate, recovering a class in $π_{n - 1} (F)$ (Exercise 4). The three exactness statements are proved by horn-lifting against $p$ : at $π_{n} (E)$ a kernel class lifts a null-homotopy of its image (Exercise 7); at $π_{n} (B)$ a class with $\partial = 0$ is shown to be a $p$ -image by filling the homotopy that trivialises $\partial$ ; at $π_{n - 1} (F)$ a class in $ker i_{*}$ bounds via a lift. Every step is the Kan extension condition applied to $p$ .

Theorem 5 (May 1967 §16; comparison with topology). For a Kan complex $K$ and vertex $v$ , geometric realisation induces isomorphisms $π_{n} (K, v) ≅ π_{n} (∣ K ∣, ∣ v ∣)$ for all $n \geq 0$ . For a Kan fibration $p : E \to B$ , the realisation $∣ p ∣$ is a Serre fibration (Milnor 1957), and the simplicial long exact sequence is carried isomorphically onto the topological long exact sequence of $∣ p ∣$ .

The comparison upgrades the combinatorial groups to genuine homotopy invariants. The simplicial LES is therefore not a separate gadget but the realisation of the topological fibration sequence; for $Sing (X)$ it recovers the homotopy groups of $X$ itself, and for an arbitrary simplicial set one first replaces fibrantly.

Theorem 6 (action of $π_{1}$ and the fibre sequence). *The fundamental group $π_{1} (B, *)$ acts on the fibre groups $π_{n} (F, *)$ , and the long exact sequence is equivariant; when $B$ is connected the action of $π_{1} (E)$ on $π_{n} (F)$ via $p$ measures the failure of the sequence to split. For a simplicial group $G$ acting principally, $G \to E \to \overline{W} G$ realises the universal example.*

The $π_{1}$ -action is the combinatorial counterpart of the topological monodromy action 03.12.52. It is recorded by re-tracing the basepoint along a $1$ -simplex of $B$ and lifting, exactly as in the topological pair sequence.

Synthesis. The combinatorial homotopy groups are the foundational reason simplicial sets carry homotopy theory at all: every group law and every exactness statement is the Kan extension condition instantiated as a horn-filling, and this is exactly the lifting property that defines fibrations in 03.12.33. Putting these together, $π_{n} (K, *)$ is built with no recourse to topology — pure gluing of simplices under a filling rule — yet the comparison theorem shows it generalises nothing and loses nothing: it is dual to the topological based-homotopy construction and the simplicial fibration sequence is dual to the topological pair sequence of 03.12.52. The central insight is that the connecting map $\partial$ is a lift, the product is a recovered face, and the Eckmann-Hilton abelianness for $n \geq 2$ is a single interchange horn; the bridge is the realisation functor, under which the entire combinatorial apparatus maps isomorphically to the Serre-fibration long exact sequence. This is the keystone of May's monograph and the structural origin of the Kan-Quillen weak equivalences of 03.12.33, which are by definition the maps inducing isomorphisms on these very groups.

Full proof set Master

Proposition 1 (symmetry and transitivity of $\sim$ ). *On a Kan complex $K$ , the boundary-fixing homotopy relation on $Z_{n} (K, *)$ is symmetric and transitive.*

Proof. Symmetry. Let $H \in K_{n + 1}$ realise $x \sim x^{'}$ , so $d_{n} H = x$ , $d_{n + 1} H = x^{'}$ , and the lower faces are the degenerate basepoint. Consider the horn $Λ_{n}^{n + 2}$ with supplied faces $d_{n + 1} = H$ , $d_{n + 2} = s_{n} x$ , and degenerate basepoint faces in positions $< n$ , the face $d_{n}$ omitted. The compatibility relations $d_{i} d_{j} = d_{j - 1} d_{i}$ ( $i < j$ ) hold on the supplied faces because $H$ and $s_{n} x$ share the boundary data of $x$ . A Kan filler $W$ exists; its omitted face $d_{n} W$ has $d_{n} (d_{n} W) = x^{'}$ and $d_{n + 1} (d_{n} W) = x$ (after using $d_{n} d_{n + 2} = d_{n + 1} d_{n}$ and $d_{n} d_{n + 1} = d_{n} d_{n}$ ), exhibiting $x^{'} \sim x$ .

Transitivity. Given $H : x \sim x^{'}$ and $H^{'} : x^{'} \sim x^{''}$ , form $Λ_{n + 1}^{n + 2}$ with $d_{n} = H^{'}$ , $d_{n + 2} = H$ , and degenerate faces elsewhere, omitting $d_{n + 1}$ . The faces agree on overlaps because both $H, H^{'}$ restrict to $x^{'}$ on the shared face and to the degenerate basepoint on the rest. The filler's omitted face $d_{n + 1} W$ satisfies $d_{n} (d_{n + 1} W) = x$ and $d_{n + 1} (d_{n + 1} W) = x^{''}$ , giving $x \sim x^{''}$ . $□$

Proposition 2 (well-definedness of the product). The product $[x] \cdot [y] = [d_{n} w]$ does not depend on the chosen filler $w$ or on the chosen representatives $x, y$ .

Proof. Independence of the filler: two fillers $w, w^{'}$ of the same horn $Λ_{n}^{n + 1}$ differ by a simplex assembled into a horn $Λ_{?}^{n + 2}$ whose supplied faces are $w$ , $w^{'}$ , and degeneracies; the Kan filler restricts to a homotopy $d_{n} w \sim d_{n} w^{'}$ . Independence of representatives: given $x \sim x_{1}$ , $y \sim y_{1}$ via $H, H^{'}$ , build the $(n + 2)$ -horn whose faces are the two product fillers, the homotopies $H, H^{'}$ on the matching slots, and degenerate basepoint faces elsewhere; the simplicial identities verify the horn is consistent, and the filler restricts to $d_{n} w \sim d_{n} w_{1}$ . Hence the class is well defined on $π_{n} \times π_{n}$ . $□$

Proposition 3 (the connecting map is a homomorphism). *For $n \geq 2$ , the boundary $\partial : π_{n} (B, *) \to π_{n - 1} (F, *)$ of a Kan fibration is a group homomorphism.*

Proof. Let $[b_{1}], [b_{2}] \in π_{n} (B)$ with product filled by $w \in B_{n + 1}$ , so $[b_{1}] \cdot [b_{2}] = [d_{n} w]$ . Lift the whole configuration: choose lifts $e_{1}, e_{2} \in E_{n}$ of $b_{1}, b_{2}$ with all-but-one face degenerate, and lift $w$ to $\tilde{w} \in E_{n + 1}$ across $p$ using the Kan-fibration property, with prescribed faces the chosen lifts. The recovered fibre faces satisfy $\partial [d_{n} w] = [d_{?} \tilde{w} ∣_{F}]$ , and reading the boundary of $\tilde{w}$ in $F$ exhibits $\partial ([b_{1}] \cdot [b_{2}]) = \partial [b_{1}] \cdot \partial [b_{2}]$ because the fibre faces compose by the same horn rule in $F$ . For $n \geq 2$ both sides lie in abelian groups and the equality is of group elements. $□$

Proposition 4 (exactness at $π_{n} (B)$ ). In the fibration sequence, $\mathrm{im}(p_ : \pi_n E \to \pi_n B) = \ker(\partial : \pi_n B \to \pi_{n-1} F)$.*

Proof. Image $\subseteq$ kernel. If $[b] = p_{*} [e]$ , lift using $e$ itself: the recovered fibre face is the degenerate basepoint because $e$ has degenerate boundary, so $\partial [b] = 0$ .

Kernel $\subseteq$ image. Suppose $\partial [b] = 0$ , witnessed by a homotopy in $F$ from the recovered face $d_{n} e$ to the degenerate basepoint. Assemble this fibre homotopy together with the lift $e$ into a horn in $E$ over the degenerate-extended $b$ ; the Kan-fibration lift produces $e^{'} \in Z_{n} (E)$ with $p (e^{'}) \sim b$ rel boundary in $B$ , hence $p_{*} [e^{'}] = [b]$ . So $[b] \in im p_{*}$ . $□$

Proposition 5 (exactness at $π_{n - 1} (F)$ ). In the fibration sequence, $\mathrm{im}(\partial : \pi_n B \to \pi_{n-1} F) = \ker(i_ : \pi_{n-1} F \to \pi_{n-1} E)$.*

Proof. Image $\subseteq$ kernel. If $[f] = \partial [b]$ then $f = d_{n} e$ for a lift $e$ of $b$ ; inside $E$ the simplex $e$ exhibits $i (f) = d_{n} e$ as a face of $e$ whose complementary faces are degenerate, so $i_{*} [f] = 0$ via the homotopy $e$ .

Kernel $\subseteq$ image. If $i_{*} [f] = 0$ , a homotopy $H \in E_{n}$ contracts $i (f)$ to the basepoint rel boundary. Then $p (H) \in B_{n}$ is a based simplex with $\partial [p (H)] = [f]$ by construction of $\partial$ (the lift of $p (H)$ may be taken to be $H$ , whose recovered fibre face is $f$ ). So $[f] \in im \partial$ . $□$

Proposition 6 (the comparison map is a homomorphism). The realisation map $ρ : π_{n} (K, v) \to π_{n} (∣ K ∣, ∣ v ∣)$ is a well-defined group homomorphism for $n \geq 1$ .

Proof. A based $n$ -simplex $x$ realises to $∣ x ∣ : ∣ Δ^{n} ∣ \to ∣ K ∣$ collapsing $S^{n - 1} = ∣ \partial Δ^{n} ∣$ to $∣ v ∣$ , hence a based sphere; a simplicial homotopy rel boundary realises to a topological based homotopy, so $ρ$ is well defined on classes. For the product, the filler $w$ of $Λ_{n}^{n + 1}$ realises to a topological filler whose boundary exhibits $∣ d_{n} w ∣$ as the concatenation $∣ x ∣ * ∣ y ∣$ in $π_{n} (∣ K ∣)$ ; thus $ρ ([x] \cdot [y]) = ρ [x] \cdot ρ [y]$ . Bijectivity is Theorem 5 (simplicial approximation in both directions, the inverse direction using the Kan condition to lift topological homotopies to simplicial ones). $□$

Connections Master

Kan-Quillen model structure on sSet 03.12.33. The weak equivalences of the Kan-Quillen structure are, by definition, the maps inducing isomorphisms on the simplicial homotopy groups constructed here after fibrant replacement. That unit states the groups as established and quotes their well-definedness; the present unit supplies the construction from the relation $\sim$ on $K_{n}$ and the horn-filling group law, closing the black box the model structure rests on. The fibrant objects of that structure are exactly the Kan complexes for which the present construction is valid.
Simplicial sets and geometric realization 03.12.25. The comparison isomorphism $π_{n}^{simp} (K) ≅ π_{n} (∣ K ∣)$ is quoted in that unit as May 16.1 and used to justify that simplicial homotopy groups are honest invariants; the present unit constructs the simplicial side and proves the comparison via simplicial approximation and the Serre-fibration realisation of a Kan fibration. The realisation adjunction is the bridge under which the combinatorial long exact sequence becomes the topological one.
Relative homotopy group 03.12.52. The simplicial long exact sequence of a Kan fibration is the combinatorial analogue of the topological long exact sequence of a pair and of a fibration developed there. The connecting map $\partial$ — a horn-lift recovering a fibre face — plays the role of the topological boundary $\partial : π_{n} (X, A) \to π_{n - 1} (A)$ , and the $π_{1}$ -action on the fibre matches the monodromy action of that unit. The two sequences are isomorphic under realisation.
Puppe sequence and fibration LES 03.12.28. The topological fibration long exact sequence arises there from the Puppe construction on the homotopy-fibre tower. The simplicial sequence of the present unit is its combinatorial source: every Kan fibration realises to a Serre fibration, so the simplicial sequence maps isomorphically onto the Puppe-derived topological sequence. This lateral connection shows the two derivations — horn-lifting versus mapping-cone iteration — compute the same exact sequence.
Simplicial group and the $\overline{W}$ classifying functor 03.12.39. Every simplicial group is a Kan complex, so its combinatorial homotopy groups are defined directly, and $π_{n} (G) = H_{n} (N G)$ via the Moore complex. The universal principal fibration $G \to W G \to \overline{W} G$ is a Kan fibration whose long exact sequence, being the present sequence, computes $π_{n} (\overline{W} G) ≅ π_{n - 1} (G)$ — the simplicial origin of the classifying-space shift.

Historical & philosophical context Master

Daniel Kan introduced the extension condition in 1957 in On c.s.s. complexes (Amer. J. Math. 79, 449-476) and, in the companion 1958 paper On homotopy theory and c.s.s. groups (Ann. of Math. 68, 38-53) ^[Kan1958], used it to define the homotopy groups of a complete semi-simplicial complex satisfying the extension condition and to establish the fibre sequence. Kan's construction made the homotopy groups of a space accessible by pure combinatorics: the group law is the horn-filling rule, and no point-set topology enters until the comparison with the realisation.

The systematic treatment is J. Peter May's 1967 monograph Simplicial Objects in Algebraic Topology (University of Chicago Press) ^[May1967], whose §3-§4 prove that the homotopy relation is an equivalence relation on a Kan complex and that horn-filling endows $π_{n}$ with its group structure, with §7 establishing the long exact sequence of a Kan fibration and §16 the comparison theorem $π_{n}^{simp} (K) ≅ π_{n} (∣ K ∣)$ . May's organisation, building everything from the single extension condition, is the standard reference and the one followed here.

The realisation half of the comparison rests on John Milnor's 1957 theorem (Ann. of Math. 65, 357-362) ^[Milnor1957] that geometric realisation of a semi-simplicial complex is a CW complex and that realisation carries Kan fibrations to Serre fibrations, which is what identifies the two long exact sequences. The modern canonical account is Goerss-Jardine 2009 Simplicial Homotopy Theory ^{[GoerssJardine2009]} §I.7-§I.11, and the survey of Edward Curtis 1971 Simplicial homotopy theory (Adv. Math. 6, 107-209) ^[Curtis1971] collected the combinatorial homotopy groups, the fibration sequence, and the lower-central-series refinements in one place.

Bibliography Master

@article{Kan1958,
  author    = {Kan, Daniel M.},
  title     = {On homotopy theory and c.s.s. groups},
  journal   = {Annals of Mathematics},
  volume    = {68},
  year      = {1958},
  pages     = {38--53}
}

@book{May1967,
  author    = {May, J. Peter},
  title     = {Simplicial Objects in Algebraic Topology},
  publisher = {University of Chicago Press},
  year      = {1967},
  note      = {Reprint 1992}
}

@article{Milnor1957,
  author    = {Milnor, John W.},
  title     = {The geometric realization of a semi-simplicial complex},
  journal   = {Annals of Mathematics},
  volume    = {65},
  year      = {1957},
  pages     = {357--362}
}

@book{GoerssJardine2009,
  author    = {Goerss, Paul G. and Jardine, John F.},
  title     = {Simplicial Homotopy Theory},
  series    = {Modern Birkh{\"a}user Classics},
  publisher = {Birkh{\"a}user},
  year      = {2009},
  note      = {Reprint of the 1999 edition}
}

@article{Curtis1971,
  author    = {Curtis, Edward B.},
  title     = {Simplicial homotopy theory},
  journal   = {Advances in Mathematics},
  volume    = {6},
  year      = {1971},
  pages     = {107--209}
}

@article{Kan1957,
  author    = {Kan, Daniel M.},
  title     = {On c.s.s. complexes},
  journal   = {American Journal of Mathematics},
  volume    = {79},
  year      = {1957},
  pages     = {449--476}
}

Prerequisites

03.12.25
03.12.33
03.12.52

Tier anchors

beginner: May 1967 *Simplicial Objects in Algebraic Topology* §3-§4 informal opening on the extension condition and homotopy of simplices; Friedman 2008 arXiv:0809.4221 §5 for the horn-filling pictures of composition
intermediate: May 1967 *Simplicial Objects in Algebraic Topology* §3-§7 (the homotopy relation, the group structure, the fibration LES); Goerss-Jardine 2009 *Simplicial Homotopy Theory* §I.7-§I.11; Kan 1958 *On homotopy theory and c.s.s. groups* (Ann. of Math. 68)
master: May 1967 *Simplicial Objects in Algebraic Topology* §3-§7 and §16 (originator construction and the comparison theorem); Goerss-Jardine 2009 *Simplicial Homotopy Theory* §I.7-§I.11 (canonical modern treatment); Kan 1958 *On homotopy theory and c.s.s. groups* (Ann. of Math. 68, 38-53); Curtis 1971 *Simplicial homotopy theory* (Adv. Math. 6) §1-§3

References

May — Simplicial Objects in Algebraic Topology · University of Chicago Press 1967 (reprint 1992); §3 the extension condition and the homotopy relation on simplices, Lemma 3.2 (the relation is an equivalence relation for Kan complexes); §4 the group structure on $\pi_n$ via horn-filling, Theorem 4.2 (group axioms), abelianness for $n \geq 2$; §7 the long exact sequence of a Kan fibration, Theorem 7.6; §16 the comparison $\pi_n^{\mathrm{simp}}(K) \cong \pi_n(|K|)$
Kan — On homotopy theory and c.s.s. groups · Annals of Mathematics 68 (1958) 38-53; the homotopy groups of a Kan complex (c.s.s. complex satisfying the extension condition) and the fibre sequence; companion to Kan 1957 *On c.s.s. complexes* (Amer. J. Math. 79, 449-476) which introduces the extension condition
Goerss-Jardine — Simplicial Homotopy Theory · Birkhäuser Progress in Mathematics 174 (1999, repr. Modern Birkhäuser Classics 2009); §I.7 the homotopy relation and simplicial homotopy groups; §I.8 the combinatorial group structure; §I.11 Kan fibrations and the long exact sequence; Theorem I.7.6 (group structure), Lemma I.11.x (fibration LES)
Curtis — Simplicial homotopy theory · Advances in Mathematics 6 (1971) 107-209; §1-§3 survey of the combinatorial homotopy groups, the Kan extension condition, and the fibration sequence with the lower central series filtration
Milnor — The geometric realization of a semi-simplicial complex · Annals of Mathematics 65 (1957) 357-362; realisation is a CW complex and the realisation of a Kan fibration is a Serre fibration, underlying the comparison of the simplicial and topological long exact sequences

Estimated time

beginner: 20m
intermediate: 46m
master: 84m