nLab
simplicial skeleton

Context

Homotopy theory

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

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.

Compatibility with Kan conditions

Proposition

The coskeleton operations cosk n\mathbf{cosk}_n preserve Kan complexes.

cosk n\mathbf{cosk}_n preserves those Kan fibrations between Kan complexes whose codomains have trivial homotopy group π n\pi_n.

(Math.SE discussion)

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 May 14, 2015 11:46:22 by Urs Schreiber (195.113.30.252)