homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
Simplicial homotopy groups are the basic invariants of simplicial sets/Kan complexes in simplicial homotopy theory.
Given that a Kan complex is a special simplicial set that behaves like a combinatorial model for a topological space, the simplicial homotopy groups of a Kan complex are accordingly the combinatorial analog of the homotopy groups of topological spaces: instead of being maps from topological spheres modulo maps from topological disks, they are maps from the boundary of a simplex modulo those from the simplex itself.
Accordingly, the definition of the discussion of simplicial homotopy groups is essentially literally the same as that of homotopy groups of topological spaces. One technical difference is for instance that the definition of the group structure is slightly more non-immediate for simplicial homotopy groups than for topological homotopy groups (see below).
Recall the classical model structure on simplicial sets. Let $X$ be a fibrant simplicial set, i.e. a Kan complex.
For $X$ a Kan complex, then its 0th homotopy group (or set of connected components) is the set of equivalence classes of vertices modulo the equivalence relation $X_1 \stackrel{(d_1,d_0)}{\longrightarrow} X_0 \times X_0$
For $x \in X_0$ a vertex and for $n \in \mathbb{N}$, $n \geq 1$, then the underlying set of the $n$th homotopy group of $X$ at $x$ – denoted $\pi_n(X,x)$ – is, the set of equivalence classes $[\alpha]$ of morphisms
from the simplicial $n$-simplex $\Delta^n$ to $X$, such that these take the boundary of the simplex to $x$, i.e. such that they fit into a commuting diagram in sSet of the form
where two such maps $\alpha, \alpha'$ are taken to be equivalent is they are related by a simplicial homotopy $\eta$
that fixes the boundary in that it fits into a commuting diagram in sSet of the form
These sets are taken to be equipped with the following group structure.
For $X$ a Kan complex, for $x\in X_0$, for $n \geq 1$ and for $f,g \colon \Delta[n] \to X$ two representatives of $\pi_n(X,x)$ as in def. , consider the following $n$-simplices in $X_n$:
This corresponds to a morphism $\Lambda^{n+1}[n] \to X$ from a horn of the $(n+1)$-simplex into $X$. By the Kan complex property of $X$ this morphism has an extension $\theta$ through the $(n+1)$-simplex $\Delta[n]$
From the simplicial identities one finds that the boundary of the $n$-simplex arising as the $n$th boundary piece $d_n \theta$ of $\theta$ is constant on $x$
So $d_n \theta$ represents an element in $\pi_n(X,x)$ and we define a product operation on $\pi_n(X,x)$ by
(e.g. Goerss-Jardine 96, p. 26)
All the degenerate $n$-simplices $v_{0 \leq i \leq n-2}$ in def. are just there so that the gluing of the two $n$-cells $f$ and $g$ to each other can be regarded as forming the boundary of an $(n+1)$-simplex except for one face. By the Kan extension property that missing face exists, namely $d_n \theta$. This is a choice of gluing composite of $f$ with $g$.
The product on homotopy group elements in def. is well defined, in that it is independent of the choice of representatives $f$, $g$ and of the extension $\theta$.
e.g. (Goerss-Jardine 96, lemma 7.1)
The product operation in def. yields a group structure on $\pi_n(X,x)$, which is abelian for $n \geq 2$.
e.g. (Goerss-Jardine 96, theorem 7.2)
Finally:
The simplicial homotopy groups of any simplicial set, not necessarily Kan, are those of any of its Kan fibrant replacements according to def. .
The first homotopy group, $\pi_1(X,x)$, is also called the fundamental group of $X$.
The simplicial homotopy groups of a Kan complex coincide with the homotopy groups of its geometric realization, see e.g. (Goerss-Jardine 96, page 60).
A morphism of simplicial sets which induces an isomorphism on all simplicial homotopy groups is called a weak homotopy equivalence. If it goes between Kan complexes then it is actually a homotopy equivalence.
Another way to get the group structure on the homotopy groups of a Kan complex, $X$, is via its Dwyer-Kan loop groupoid and the Moore complex. This gives a simplicially enriched groupoid $G(X)$, or if we restricted to the pointed case, and just look at the loops at the base vertex, a simplicial group. (We will assume for the sake of simplicity that $X$ is reduced, that is to say, $X_0$ is a singleton, and thus that $G(X)$ is a simplicial group.)
The construction of $G(X)$ is then given by the free group functor on the various levels, shifted by 1, and with a twist in the zeroth face map (see Dwyer-Kan loop groupoid and simplify to the reduced case.)
There is an isomorphism between $\pi_n(X)$ as defined above and $H_{n-1}(N G(X))$, the $(n-1)$th homology group of the Moore complex of the simplicial group, $G(X)$.
For $f \colon X \longrightarrow Y$ a Kan fibration, for $x\in X_0$ any vertex, for $y \coloneqq f(x) \in Y$ its image and $F_x \coloneqq f^{-1}(y)$ the fiber at that point, then the induced homomorphism of simplicial homotopy groups form a long exact sequence of homotopy groups
i.e. a long exact sequence of groups ending in a long exact sequence of pointed sets.
(e.g. Goerss-Jardine 96, lemma 7.3)
Let $C$ be a groupoid and $\mathcal{N}(C)$ its nerve.
Then
$\pi_0 \mathcal{N}(C,c)$ is the set of isomorphism classes of $C$ with the class of $c$ as base point
$\pi_1 \mathcal{N}(C,c)$ is the automorphism group $Aut_C(c)$ of $c$
$\pi_{n \geq 2} \mathcal{N}(C,c)$ is trivial
In particular a functor $f : C \to D$ of groupoids is a equivalence of categories if under the nerve it induces a weak equivalence $\mathcal{N}(f) : \mathcal{N}(C) \to \mathcal{N}(D)$ of Kan complexes:
Textbook accounts include
Originally homotopy groups of simplicial sets had been defined in terms of the ordinary homotopy groups of the topological spaces realizing them. Apparently the first or one of the first discussions of the purely combinatorial definition is
Last revised on January 16, 2019 at 02:54:57. See the history of this page for a list of all contributions to it.