nLab
homotopy hypothesis

Idea

The homotopy hypothesis is the assertion that

• ∞-groupoids are equivalent to topological spaces (considered modulo weak homotopy equivalence)

or rather the stronger statement that

• n-groupoids are equivalent to homotopy n-types for all $n\in \mathbb{N}$

and moreover

• this equivalence is induced by the fundamental ∞-groupoid construction.

What this actually means in detail depends on which definition of ∞Grpd is being used and to which precise incarnation of Top it is being compared to.

There are some definitions of ∞-groupoids for which the homotopy hypothesis is a proven theorem . Depending on where in the spectrum between geometric definitions of higher categories and algebraic definitions of higher categories a given definition of $\mathrm{\infty }$-groupoids is located, the statement may be more or less obvious.

For instance there is some justification for defining an $\mathrm{\infty }$-groupoid to be equivalently a topological space (considered modulo weak homotopy equivalence). For this definition the homotopy hypothesis is of course a tautology.

A definition of $\mathrm{\infty }$-groupoid that is still very geometrical but much more combinatorial is that given by Kan complexes. For these the homotopy hypothesis has a (non-trivial but fairly tractable) proof. The equivalence between Kan complexes and CW-complexes obtained this way is at the heart of all traditional homotopy theory.

A genuine algebraic definition of $\mathrm{\infty }$-groupoids for which the homotopy theory has a (non-trivial but tractable) proof is given by algebraic Kan complexes.

However for other algebraic definitions of $\mathrm{\infty }$-groupoids not much indication for how to prove the homotopy hypothsis is known. The definition of Trimble ω-category stands out as an algebraic definition that has the notion of fundamental ∞-groupoid built right into it, but also here it seems unclear at the moment how to make progress with proving the homotopy hypothesis.

In fact, generally the homotopy hypothesis is regarded as a consistency condition for definitions in higher category theory:

• Any definition of (n,r)-category should be such that there is a fundamental n-groupoid-construction with values in the corresponding (n,0)-categories which makes these equivalent to homotopy n-types.

One way to justify this condition is by recourse to the proven cases of the homotopy hypothesis: experience shows that the collections of all three models – topological spaces, Kan complexes, algebraic Kan complexes – provide a model for ∞Grpd that supports the general abstract higher category theory – specifically (∞,1)-category theory – that one expects in analogy to how Set supports ordinary category theory. Any other definition of $\mathrm{\infty }$-groupoids is hoped/required to reproduce this, and hence is hoped/required to satisfy the homotopy hypothesis.

Apart from having different models of $\mathrm{\infty }$-groupoids that lend themselves more or less to a comparison with topological spaces, there is also the issue as to how to conceive of the notion of equivalence between $\mathrm{\infty }$-groupoids.

The usual, unstated, implication is that the notion of equivalence of n-groupoids used to model homotopy n-types is the appropriate n-category-theoretic notion of equivalence. It is in this way that, for instance, it is known that 1-groupoids model homotopy 1-types (see below).

The reason this is important to specify is that there are other notions of equivalence on categorical structures which model homotopy types in other ways. For example, if we declare a functor between categories to be a weak equivalence iff its nerve is a weak equivalence of simplicial sets, then all homotopy types can be modeled by 1-categories in this way; see the Thomason model structure for 1-categories.

Finally, in analogy to the homotopy hypothesis, there are also attempts to relate general (∞,n)-categories (not necessarily groupoidal) to directed topological spaces by a fundamental (∞,n)-catgeory-construction. There have been claims that a directed homotopy hypothesis can be proven, but at the moment there does not seem to be a published statement.

Abstract statement

The following general abstract statement of the homotopy hypothesis is often useful to make explicit.

Theorem

There is an equivalence of (∞,1)-categories

$(\Pi ⊣\mid -\mid ):$ Top $\simeq$ ∞Grpd.

Proof

This statement can be formulated, holds true and is proven below at least for the standard definitions of these two (∞,1)-categories (see section on Kan complexes, section on algebraic Kan complexes).

Realizations

We discuss various different definitions of n-groupoids and ∞-groupoids and the formulation and proof of the homotopy hypothesis for them, to the extent that it is available.

For groupoids

Proposition

The 2-category Grpd of groupoids, functors, and natural transformations is equivalent to the 2-category of homotopy 1-types, continuous maps, and homotopy classes of homotopies.

For 2-groupoids

(…) 2-groupoids model all homotopy 2-types (…)

strict 2-groupoids suffice (…) (but note that strict 2-functors are not sufficient to model all maps between 2-types)

For Gray-groupoids

(…) Gray-groupoids model all homotopy 3-types (…)

It is known that not all homotopy 3-types can be modeled by strict 3-groupoids, but that Gray-categories (semi-strict 3-categories) suffice; the obstruction is the Whitehead product which arises from a nontrivial interchanger.

(…)

For Kan complexes

We write ${\mathrm{sSet}}_{\mathrm{Quillen}}$ for sSet equipped with the standard model structure on simplicial sets. The cofibrant-fibrant objects in ${\mathrm{sSet}}_{\mathrm{Quillen}}$ are precisely the Kan complexes.

Also we write ${\mathrm{Top}}_{\mathrm{Quillen}}$ for Top equipped with the standard model structure on topological spaces.

Theorem

There is a Quillen equivalence

$$(\mid -\mid ⊣\mathrm{Sing}):\mathrm{Top}\stackrel{\stackrel{\mid -\mid }{\leftarrow }}{\underset{\mathrm{Sing}}{\to }}{\mathrm{sSet}}_{\mathrm{Quillen}},$$(|-| \dashv Sing) : Top \stackrel{\overset{|-|}{\leftarrow}}{\underset{Sing}{\to}} sSet_{Quillen} \,,

where the left adjoint $\mid -\mid$ is geometric realization and the right adjoint $\mathrm{Sing}(-)$ is forming the singular simplicial complex $\mathrm{Sing}(-)$.

This induces an equivalence of (∞,1)-categories of the corresponding presented (∞,1)-categories

• Top $\simeq$ ∞Grpd

For algebraic Kan complexes

An algebraic Kan complex is an algebraic definition of higher groupoids obtained by taking the ordinary definition of Kan complex and equipping these with choices of horn-fillers. These choice encode specified composition operations, specified associators for these, specified pentagonators and so on.

Algebraic Kan complexes constitute a genuine algebraic model in that they are precisely the algebras over a monad on sSet.

Theorem

The transferred model structure on algebraic Kan complexes is Quillen equivalent to the standard model structure on simplicial sets

$$(F⊣U):\mathrm{Alg}\mathrm{Kan}\stackrel{\stackrel{F}{\leftarrow }}{\underset{U}{\to }}{\mathrm{sSet}}_{\mathrm{Quillen}}.$$(F \dashv U) : Alg Kan \stackrel{\overset{F}{\leftarrow}}{\underset{U}{\to}} sSet_{Quillen} \,.

Proof

The proof is spelled out at model structure on algebraic fibrant objects.

Remark

With the above homotopy hypothesis-theorem for Kan complexes this gives a zig-zag of Quillen equivalences between $\mathrm{Alg}\mathrm{Kan}$ and $\mathrm{Top}$

$$\mathrm{Alg}\mathrm{Kan}\stackrel{\stackrel{F}{\leftarrow }}{\underset{U}{\to }}{\mathrm{sSet}}_{\mathrm{Quillen}}\stackrel{\stackrel{\mid -\mid }{\to }}{\underset{\mathrm{Sing}}{\leftarrow }}\mathrm{Top}.$$Alg Kan \stackrel{\overset{F}{\leftarrow}}{\underset{U}{\to}} sSet_{Quillen} \stackrel{\overset{|-|}{\to}}{\underset{Sing}{\leftarrow}} Top \,.

This already yields the homotopy hypothesis for algebraic Kan complexes at the level of the corresponding presented (∞,1)-categories (as discussed there)

$$\mathrm{Alg}{C}^{\circ }\simeq {\mathrm{Top}}^{\circ }.$$Alg C^\circ \simeq Top^\circ \,.

But there is also a direct Quillen equivalence:

Definition

Write ${\Delta }^n$ and ${\Lambda }_k^n$ for the topological $n$-simplex and its $k$-horn.

Fix any choice of retracts

$$R(n,k):{\Delta }^n\to {\Lambda }_k^n$$R(n,k) : \Delta^n \to \Lambda^n_k

for all topological horn inclusions ${\Lambda }_i^n\hookrightarrow {\Delta }^n$.

For $X$ any topological space equip the singular simplicial complex $\mathrm{Sing}X$ with the stucture of an algebraic Kan complex by taking the filler of ${\Lambda }_k[n]\to \mathrm{Sing}X$ to be given by the $(\mid -\mid ⊣\mathrm{Sing})$-adjunct of ${\Delta }^n\stackrel{R(n,k)}{\to }{\Lambda }_k^n\to X$. Write ${\Pi }_{\mathrm{\infty }}(X)\in \mathrm{Alg}\mathrm{Kan}$ for the resulting algebraic Kan complex.

This construction constitutes a functor

$${\Pi }_{\mathrm{\infty }}(-):\mathrm{Top}\to \mathrm{Alg}C,$$\Pi_\infty(-) : Top \to Alg C \,,

with $U{\Pi }_{\mathrm{\infty }}=\mathrm{Sing}$.

Remark

The choices of fillers in ${\Pi }_{\mathrm{\infty }}(X)$ may be thought of as explicit choice of reparameterizations of paths in $X$. These choices are arbitrary, but by the general statement at model structure on algebraic fibrant objects, any two chocies yield equivalent objects.

Definition

Given choices $R(-,-)$ of horn retracts as above, define a functor

$$\mid -{\mid }_r:\mathrm{Alg}\mathrm{Kan}\to \mathrm{Top}$$|-|_r : Alg Kan \to Top

called reduced geometric realization by taking it on an object $A\in \mathrm{Alg}\mathrm{Kan}$ to be given by the coequalizer

$$\mid A{\mid }_r:=\underrightarrow{\lim }(\coprod _{\Lambda [n{]}_k\to A}{\Delta }^n\overrightarrow{\to }\mid UA\mid ),$$|A|_r := \lim_{\to}(\coprod_{\Lambda[n]_k \to A} \Delta^n \stackrel{\to}{\to} |U A|) \,,

where $\mid UA\mid$ is the ordinary geometric realization of the underlying simplicial set of $A$ and where the two maps are

1. the image under $\mid -\mid$ of the distinguished fillers $\Delta [n]\to UA$ of $A$;

2. the composite ${\Delta }^n\stackrel{R(n,k)}{\to }{\Lambda }_k^n\to \mid UX\mid$ .

Proposition

The functor $\mid -{\mid }_r$ is left adjoint to ${\Pi }_{\mathrm{\infty }}$.

$$(\mid -{\mid }_r⊣{\Pi }_{\mathrm{\infty }}).$$(|-|_r \dashv \Pi_\infty) \,.

This is (Nikolaus, prop. 3.4).

Proof

We check the hom-isomorphism. A morphism $f:\mid A{\mid }_r\to X$ is by definition of the coequalizer the same as a map $\tilde{f}:\mid A\mid \to X$ such that for each horn $h:\Lambda [n{]}_k\to A$ with distinguished filler $\hat{h}:\Delta [n]\to A$ the composites

$${\Delta }^n\stackrel{R(n,k)}{\to }{\Lambda }_k^n\stackrel{\mid h\mid }{\to }\mid UA\mid \stackrel{\tilde{f}}{\to }X$$\Delta^n \stackrel{R(n,k)}{\to} \Lambda^n_k \stackrel{|h|}{\to} |U A| \stackrel{\tilde f}{\to} X

and

$${\Delta }^n\stackrel{\mid \hat{h}\mid }{\to }\mid UA\mid \stackrel{\tilde{f}}{\to }X$$\Delta^n \stackrel{|\hat h|}{\to} |U A| \stackrel{\tilde f}{\to} X

are equal. This means equivalently that the $(\mid -\mid ⊣\mathrm{Sing})$-adjunct $\tilde{\tilde{f}}:UA\to \mathrm{Sing}X$ sends distinguished fillers in $A$ to distinguished fillers in ${\Pi }_{\mathrm{\infty }}(X)$ and is hence a morphism in $\mathrm{Alg}\mathrm{Kan}$.

the constructon shows that the map $(f:\mid A{\mid }_r\to X)\mapsto (\tilde{\tilde{f}}:A\to {\Pi }_{\mathrm{\infty }}(X))$ thus obtained is a bijection.

Theorem

We have an identity

$$\begin{array}{ccc}& & \mathrm{Alg}\mathrm{Kan}\\ & {}^U\swarrow & {\Downarrow }^{=}& {\nwarrow }^{{\Pi }_{\mathrm{\infty }}}\\ \mathrm{sSet}& & \underset{\mathrm{Sing}}{\leftarrow }& & \mathrm{Top}\end{array}$$\array{ && Alg Kan \\ & {}^{\mathllap{U}}\swarrow & \Downarrow^{=}& \nwarrow^{\mathrlap{\Pi_\infty}} \\ sSet &&\underset{Sing}{\leftarrow}&& Top }

and a natural isomorphism

$$\begin{array}{ccc}& & \mathrm{Alg}\mathrm{Kan}\\ & {}^F\nearrow & {\Downarrow }^{\simeq }& {\searrow }^{\mid -{\mid }_r}\\ \mathrm{sSet}& & \underset{\mid -\mid }{\to }& & \mathrm{Top}\end{array}.$$\array{ && Alg Kan \\ & {}^{\mathllap{F}}\nearrow & \Downarrow^{\simeq}& \searrow^{\mathrlap{|-|_r}} \\ sSet &&\underset{|-|}{\to}&& Top } \,.

This is (Nikolaus, corollary 3.5)

Proof

The identity is evident by definition of ${\Pi }_{\mathrm{\infty }}$.

Using this, we have that

$$(\mid -{\mid }_r\circ F⊣U\circ {\Pi }_{\mathrm{\infty }}=\mathrm{Sing}).$$(|-|_r \circ F \dashv U \circ \Pi_\infty = Sing) \,.

So $\mid -{\mid }_r\circ F$ is another left adjoint to $\mathrm{Sing}$ and hence naturally isomorphism to $\mid -\mid$.

Corollary

The adjunction

$$(\mid -{\mid }_r⊣{\Pi }_{\mathrm{\infty }}):\mathrm{Alg}C\to \mathrm{Top}$$(|-|_r \dashv \Pi_\infty) : Alg C \to Top

constitutes a Quillen equivalence

This is Nikolaus, corollary 3.6

Proof

By the above theorem and the 2-out-of-3-property of Quillen equivalences.

For cubical sets

Also cubical sets may serve as a model for homotopy theory.

There is an evident simplicial set-valued functor

$$\square \to \mathrm{sSet}$$\Box \to sSet

from the cube category to sSet, which sends the cubical $n$-cube to the simplicial $n$-cube

$$1^n\mapsto (\Delta [1]{)}^{\times n}.$$\mathbf{1}^n \mapsto (\Delta[1])^{\times n} \,.

Similarly there is a canonical Top-valued functor

$$\square \to \mathrm{Top}$$\Box \to Top

$$1^n\mapsto ({\Delta }_{\mathrm{Top}}^1{)}^n.$$\mathbf{1}^n \mapsto (\Delta^1_{Top})^n \,.

The corresponding nerve and realization adjunction

$$(\mid -\mid ⊣{\mathrm{Sing}}_{\square }):\mathrm{Top}\stackrel{\stackrel{\mid -\mid }{\leftarrow }}{\underset{{\mathrm{Sing}}_{\square }}{\to }}{\mathrm{Set}}^{{\square }^{\mathrm{op}}}$$(|-| \dashv Sing_\Box) : Top \stackrel{\overset{|-|}{\leftarrow}}{\underset{Sing_\Box}{\to}} Set^{\Box^{op}}

is the cubical analogue of the simplicial nerve and realization discussed above.

Theorem

There is a model structure on cubical sets ${\mathrm{Set}}^{{\square }^{\mathrm{op}}}$ whose

• weak equivalences are the morphisms that become weak equivalences under geometric realization $\mid -\mid$;

• cofibrations are the monomorphisms.

This is Jardine, sections 3.

Theorem

The unit of the adjunction

$$A\to {\mathrm{Sing}}_{\square }(\mid A\mid )$$A \to Sing_\Box(|A|)

is a weak equivalence in ${\mathrm{Set}}^{\square }$ for every cubical set $A$.

The counit of the adjunction

$$\mid {\mathrm{Sing}}_{\square }X\mid \to X$$|Sing_\Box X| \to X

is a weak equivalence in $\mathrm{Top}$ for every topological space $X$.

It follows that we have an equivalence of categories induced on the homotopy categories

$$\mathrm{Ho}(\mathrm{Top})\simeq \mathrm{Ho}({\mathrm{Set}}^{{\square }^{\mathrm{op}}}).$$Ho(Top) \simeq Ho(Set^{\Box^{op}}) \,.

This is Jardine, theorem 29, corollary 30.

For ${\mathrm{cat}}^n$ groups

Theorem

The homotopy category of cat-n-groups is equivalent to that of pointed connected homotopy n+1-types.

This is proven in (Loday). (There are some glitches in his proof and these were fixed by various authors (Steiner, Gilbert, ..) and then detailed proofs were given by Bullejos, Cegarra, Duskin and separately, using the equivalent formulation of crossed n-cubes, by Porter. Detailed references and some more commentary is at cat-n-group.)

For Segal-groupoids

Proposition

There is realization/singular complex adjunction

$$(\mid -\mid ⊣\mathrm{sSing}):\mathrm{Top}\to \mathrm{SegalGrpd}$$(|-| \dashv sSing) : Top \to SegalGrpd

for Segal groupoids,

Its unit is an equivalence of Segal categories and its counit a weak homotopy equivalence of topological spaces.

Proof

This is lemma 6.3.21 and corollary 6.3.24 in (Pellissier)

For strict $\omega$-categories with weak inverses

While strict omega-groupoids in the sense of strict omega-categories with strict inverses are far from modelling all homotopy types, strict $\omega$-categories with all weak inverses come closer. In (Kapranov-Voevodsky) it was argued that these are in fact sufficient, but a mistake in the argument is claimed in (Simpson, cor. 5.2).

References

An introductory survey is given in

• John Baez, The Homotopy Hypothesis (web, pdf)

The original form of the homotopy hypothesis for Kan complexes is due to Dan Quillen. See the references at model structure on simplicial sets.

The homotopy hypothesis for strict $omgea$-categories with weak inverses is discussed in

• Mikhail Kapranov, Vladimir Voevodsky, $\mathrm{\infty }$-groupoids and homotopy types, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 32 no. 1 (1991), p. 29-46

but a mistake in the argument is claimed in cor 5.2 of

• Carlos Simpson, Homotopy types of strict 3-groupoids (arXiv:math/9810059)

The homotopy hypothesis for algebraic Kan complexes is established and discussed in

• Thomas Nikolaus, Algebraic models for higher categories (arXiv)

The homotopy hypothesis for Segal groupoids is formulated in section 6.3.4 of

• Regis Pellissier, Weak enriched categories - Categories enrichies faibles PhD Thesis (2002) (arXiv:math/0308246)

Models of homotopy $n$-types by ${\mathrm{Cat}}^n$-groups are discussed in

• Jean-Louis Loday, Spaces with finitely many non-trivial homotopy groups, J. Pure Appl. Algebra 24 (1982), 179-202.

More literature on models of homotopy types by strict higher groupoids is at

• Ronnie Brown, Computing Homotopy Types Using Crossed $N$-Cubes of Groups (arXiv)

• Simona Paoli, Internal categorical structures in homotopical algebra, to appear in Towards Higher Categories, eds. John Baez and Peter May (pdf)

The first paper, as its title suggests, has an emphasis on using higher groupoids for computation of homotopical invariants, in fact by applying higher homotopy van Kampen Theorems. These theorems lead to algebraic colimit arguments in algebraic topology, implying results, often nonabelian, not obtainable by other methods. It is also remarkable that the precision of these results requires the use of strict structures, whereas the current emphasis in higher category theory is on non strict structures.

The homotopy theory of cubical sets is discussed in

• Jardine, Model structure on cubical sets (pdf)

• Maltsiniotis, G. La catégorie cubique avec connexions est une catégorie test stricte. Homology, Homotopy Appl. 11~(2) (2009) 309–326.

Cubical methods are also essential in

• R. Brown, P.J. Higgins, R. Sivera, Nonabelian algebraic topology: filtered spaces, crossed complexes, cubical homotopy groupoids, EMS Tracts in Mathematics Vol. 15, 703 pages. (August 2011).