Extension (simplicial Set)

In higher category theory in mathematics, the extension of simplicial sets (extension functor or Ex functor) is an endofunctor on the category of simplicial sets. Due to many remarkable properties, the extension functor has plenty and strong applications in homotopical algebra. Among the most well-known is its application in the construction of Kan complexes from arbitrary simplicial sets, which often enables without loss of generality to take the former for proofs about the latter. It is furthermore very well compatible with the Kan–Quillen model structure and can for example be used to explicitly state its factorizations or to search for weak homotopy equivalences.

Definition

Using the subdivision of simplicial sets, the extension of simplicial sets is defined as:Guillou, Definition 6

: $\operatorname\colon \mathbf\rightarrow\mathbf, \operatorname(Y)_n :=\operatorname(\operatorname(\Delta^n),Y).$

Due to the Yoneda lemma, one also has $\operatorname(Y)_n \cong\operatorname(\Delta^n,\operatorname(Y))$. All connecting maps of the sets are given by precomposition with the application of the subdivision functor to all canonical inclusions $\Delta^\hookrightarrow\Delta^n$. Since the subdivision functor by definition commutes with all colimits, and for every simplicial set $X$ there is an isomorphism:

: $X\cong\varinjlim_\Delta^n,$

it is in fact left adjoint to the extension functor, denoted $\operatorname\dashv\operatorname$. For simplicial sets $X$ and $Y$, one has:

: $\begin \operatorname(\operatorname(X),Y) &\cong\operatorname(\operatorname(\varinjlim_\Delta^n),Y) \cong\operatorname(\varinjlim_\operatorname(\Delta^n),Y) \cong\varprojlim_\operatorname(\operatorname(\Delta^n),Y) \\ &\cong\varprojlim_\operatorname(\Delta^n,\operatorname(Y)) \cong\operatorname(\varinjlim_\Delta^n,\operatorname(Y)) \cong\operatorname(X,\operatorname(Y)). \end$

It is therefore possible to also simply define the extension functor as the right adjoint to the subdivision functor. Both of their construction as extension by colimits and definition is similar to that of the adjunction between geometric realization and the singular functor, with an important difference being that there is no isomorphism:

: $X\cong\varinjlim_, \Delta^n,$

for every topological space $X$. This is because the colimit is always a CW complex, for which the isomorphism does indeed hold.

The natural transformation $a\colon\operatorname\Rightarrow\operatorname$ induces a natural transformation $b\colon \operatorname\Rightarrow\operatorname$ under the adjunction $\operatorname\dashv\operatorname$. In particular there is a canonical morphism $b_X\colon X\rightarrow\operatorname(X)$ for every simplicial set $X$.

Ex∞ functor

For a simplicial set $X$, the canonical morphism $b_X\colon X\rightarrow\operatorname(X)$ indudes an $\mathbb$-shaped cone $X\rightarrow\operatorname(X)\rightarrow\operatorname^2(X)\rightarrow\operatorname^3(X)\rightarrow\ldots$, whose limit is denoted:

: $\operatorname^\infty(X) :=\varinjlim_\operatorname^n(X).$

Since limit and colimit are switched, there is no adjunction $\operatorname^\infty\dashv\operatorname^\infty$ with the Sd∞ functor. But for the study of simplices, this is of no concern as any $m$-simplex $\Delta^m\rightarrow\operatorname^\infty(X)$ due to the compactness of the standard $m$-simplex $\Delta^m$ factors over a morphism $\Delta^m\rightarrow\operatorname^n(X)$ for a $n\in\mathbb$, for which the adjunction $\operatorname^n\dashv\operatorname^n$ can then be applied to get a morphism $\operatorname^n(\Delta^m)\rightarrow X$.

The natural transformation $b\colon \operatorname\Rightarrow\operatorname$ induces a natural transformation $\beta\colon \operatorname\Rightarrow\operatorname^\infty$. In particular there is a canonical morphism $\beta_X\colon X\rightarrow\operatorname^\infty(X)$ for every simplicial set $X$.

Properties

* For every simplicial set $X$, the canonical morphism $b_X\colon X\rightarrow\operatorname(X)$ is a weak homotopy equivalence.
* The extension functor $\operatorname$ preserves weak homotopy equivalences (which follows directly from the preceding property and their 2-of-3 property) and Kan fibrations, hence fibrations and trivial fibrations of the Kan–Quillen model structure. This makes the adjunction $\operatorname\dashv\operatorname$ even into a Quillen adjunction $\operatorname\colon \mathbf_\mathrm\rightleftarrows\mathbf_\mathrm\colon \operatorname$.
* For every horn inclusion $\Lambda_k^n\hookrightarrow\operatorname(X)$ with a simplicial set $X$ there exists an extension $\Delta^n\hookrightarrow\operatorname^2(X)$.
* For every simplicial set $X$, the simplicial set $\operatorname^\infty(X)$ is a Kan complex, hence a fibrant object of the Kan–Quillen model structure.Goerss & Jardine 1999, Theorem 4.8. on p. 188Guillou, Properties of Ex∞ This follows directly from the preceding property. Furthermore the canonical morphism $\beta_X\colon X\hookrightarrow\operatorname^\infty(X)$ is a monomorphism and a weak homotopy equivalence, hence a trivial cofibration of the Kan–Quillen model structure. $\operatorname^\infty(X)$ is therefore the ''fibrant replacement'' of $X$ in the Kan–Quillen model structure, hence the factorization of the terminal morphism $X\rightarrow\Delta^0$ in a trivial cofibration followed by a fibration. Furthermore, there is a restriction $\operatorname^\infty\colon \mathbf\rightarrow\mathbf$ with the subcategory $\mathbf\hookrightarrow\mathbf$ of Kan complexes.
* The infinite extension functor $\operatorname^\infty$ preserves all three classes of the Kan–Quillen model structure, hence Kan fibrations, monomorphisms and weak homotopy equivalences (which again follows directly from the preceding property and their 2-of-3 property).
* The extension functor $\operatorname$ and the infinite extension functor $\operatorname^\infty$ both preserve the set of $0$-simplices, which follows directly from $\operatorname(\Delta^0) \cong\Delta^0$. For a simplicial set $X$, one has:Cisinski 2019, 3.8.6.
*:$\operatorname(X)_0 =X_0,$
*: $\operatorname^\infty(X)_0 =X_0.$
* The extension functor fixes the singular functor. For a topological space $X$, one has:

:: $\operatorname\operatorname(X) \cong\operatorname(X).$
: This follows from $, \operatorname(X), \cong, X,$ for every simplicial set $X$ by using the adjunctions $, -, \dashv\operatorname$ and $\operatorname\dashv\operatorname$. In particular, for a topological space $X$, one has:
:: $\operatorname^\infty\operatorname(X) \cong\operatorname(X),$
: which fits the fact that the singular functor already produces a Kan complex, which can be its own fibrant replacement.

Literature

*
*
* {{cite web , last=Guillou , first=Bertrand , title=Kan's Ex∞ functor , url=https://cisinski.app.uni-regensburg.de/CatLR.pdf , language=en

References

External links

* Kan fibrant replacement at the ''n''Lab

The Ex∞ Functor
at Kerodon

Why is Kan's Ex∞ functor useful?
on MathOverflow

Higher category theory