nLab
simplicial skeleton

This entry is about the notion of (co)skeleta of simplicial sets. For the notion of skeleton of a category see skeleton.

Contents

Definition

For Δ\Delta the simplex category write Δ n\Delta_{\leq n} for its full subcategory on the objects [0],[1],,[n][0], [1], \cdots, [n]. The inclusion Δ| nΔ\Delta|_{\leq n} \hookrightarrow \Delta induces a truncation functor

tr n:sSet=[Δ op,Set][Δ n op,Set] tr_n : sSet = [\Delta^{op}, Set] \to [\Delta_{\leq n}^{op},Set]

that takes a simplicial set and restricts it to its degrees n\leq n.

This functor has a left adjoint, given by left Kan extension

sk n:[Δ n,Set]SSet sk_n : [\Delta_{\leq n},Set] \to SSet

called the nn-skeleton

and a right adjoint, given by right Kan extension

cosk n:[Δ n,Set]SSet cosk_n : [\Delta_{\leq n},Set] \to SSet

called the nn-coskeleton.

(sk ntr ncosk n):sSet ncosk ntr nsk nsSet. ( sk_n \dashv tr_n \dashv cosk_n) \;\; : \;\; sSet_{\leq n} \stackrel{\overset{sk_n}{\longrightarrow}}{\stackrel{\overset{tr_n}{\longleftarrow}}{\underset{cosk_n}{\longrightarrow}}} sSet \,.

The nn-skeleton produces a simplicial set that is freely filled with degenerate simplices above degree nn.

Write

sk n:=sk ntr n:sSetsSet \mathbf{sk}_n := sk_n \circ tr_n: sSet \to sSet

and

cosk n:=cosk ntr n:sSetsSet \mathbf{cosk}_n := cosk_n \circ tr_n: sSet \to sSet

for the composite functors. Often by slight abuse of notation we suppress the boldface and just write sk n:sSetsSetsk_n : sSet \to sSet and cosk n:sSetsSetcosk_n : sSet \to sSet.

these in turn form an adjunction

(sk ncosk n):sSetsSet. ( \mathbf{sk}_n \dashv \mathbf{cosk}_n) \;\; : \;\; sSet \stackrel{\leftarrow}{\to} sSet \,.

So the kk-coskeleton of a simplicial set XX is given by the formula

cosk kX:[n]Hom sSet(sk kΔ[n],X). \mathbf{cosk}_k X : [n] \mapsto Hom_{sSet}(\mathbf{sk}_k \Delta[n], X) \,.

Simplicial sets isomorphic to objects in the image of cosk ncosk_n are called nn-coskeletal simplicial sets.

Properties

General

Proposition

For XX \in sSet, the following are equivalent:

  • XX is nn-coskeletal;

  • on XX the unit Xcosk n(X)X \to \mathbf{cosk}_n(X) of the adjunction is an isomorphism;

  • the map

    X k=Hom(Δ[k],X)tr nHom(tr n(Δ[k]),tr n(X)) X_k = Hom(\Delta[k], X) \stackrel{tr_n}{\to} Hom(tr_n(\Delta[k]), tr_n(X))

    is a bijection for all k>nk \gt n

  • for k>nk \gt n and every morphism Δ[k]X\partial\Delta[k] \to X from the boundary of the kk-simplex there exists a unique filler Δ[k]X\Delta[k] \to X

    Δ[k] X Δ[k] \array{ \partial \Delta[k] &\to& X \\ \downarrow & \nearrow \\ \Delta[k] }
Remark

So in particular if XX is an nn-coskeletal Kan complex, all its simplicial homotopy groups above degree (n1)(n-1) are trivial.

Truncation and Postnikov towers

Proposition

For each nn \in \mathbb{N}, the unit of the adjunction

Xcosk n(X) X \to \mathbf{cosk}_n(X)

induces an isomorphism on all simplicial homotopy groups in degree <n\lt n.

It follows from the above that for XX a Kan complex, the sequence

X=limcosk nXcosk n+1Xcosk nX* X = \underset{\leftarrow}{\lim}\, cosk_n X \to \cdots \to cosk_{n+1} X \to cosk_{n} X \to \cdots \to *

is a Postnikov tower for XX.

See also the discussion on p. 140, 141 of DwKan1984.

For the interpretation of this in terms of (n,1)-toposes inside the (∞,1)-topos ∞Grpd see n-truncated object in an (∞,1)-category, example In ∞Grpd and Top.

Examples

References

Standard textbook references are

A classical article that amplifies the connection of the coskeleton operation to Postnikov towers is

The level of a topos-structure of simplicial (co-)skeleta is discussed in

  • C. Kennett, E. Riehl, M. Roy, M. Zaks, Levels in the toposes of simplicial sets and cubical sets , JPAA 215 no.5 (2011) pp.949-961. (arXiv:1003.5944)

Revised on November 25, 2014 00:48:59 by Urs Schreiber (82.224.164.72)