Simplicial set: Difference between revisions

In mathematics, a simplicial set is a construction in categorical homotopy theory that is a purely algebraic model of the notion of a "well-behaved" topological space. Historically, this model arose from earlier work in combinatorial topology and in particular from the notion of simplicial complexes. Simplicial sets are used to define quasi-categories, a basic notion of higher category theory.

Motivation

A simplicial set is a categorical (that is, purely algebraic) model capturing those topological spaces that can be built up (or faithfully represented up to homotopy) from simplices and their incidence relations. This is similar to the approach of CW complexes to modeling topological spaces, with the crucial difference that simplicial sets are purely algebraic and do not carry any actual topology (this will become clear in the formal definition).

To get back to actual topological spaces, there is a geometric realization functor available which turns simplicial sets into compactly generated Hausdorff spaces. Most classical results on CW complexes in homotopy theory have analogous versions for simplicial sets which generalize these results. While algebraic topologists largely continue to prefer CW complexes, there is a growing contingent of researchers interested in using simplicial sets for applications in algebraic geometry where CW complexes do not naturally exist.

A simplicial set X can be thought of as a collection of sets X_n, n=0,1,2,..., together with certain maps between these sets: the face maps d_n,i:X_n→X_n-1 (n=1,2,3,... and 0≤i≤n) and degeneracy maps s^n,i:X_n→Xⁿ⁺¹ (n=0,1,2,... and 0≤i≤n). We may think of the elements of X_n as n-dimensional ordered simplices, objects with n+1 ordered vertices. In this picture, the map d_n,i assigns to each such n-dimensional simplex its i-th face, the (n-1)-dimensional ordered simplex obtained from the given one by deleting the i-th vertex. The map s^n,i assigns to each n-dimensional simplex the degenerate (n+1)-dimensional simplex which arises from the given one by duplicating the i-th vertex. This description implicitly requires certain consistency relations between the maps d_n,i and s^n,i. Rather than requiring these simplicial identities explicitly as part of the definition, the short and elegant modern definition uses the language of category theory.

Formal definition

Using the language of category theory, a simplicial set X is a contravariant functor

X: Δ → Set

where Δ denotes the simplex category whose objects are finite non-empty sets of non-negative integers of the form

[n] = {0 < 1 < ... < n}

(or in other words non-empty totally ordered finite sets) and whose morphisms are order-preserving functions between them, and Set is the category of small sets.

It is common to define simplicial sets as a covariant functor from the opposite category, as

X: Δ^op → Set

That is, as presheafs. This definition is clearly equivalent to the one immediately above.

Alternatively, one can think of a simplicial set as a simplicial object (see below) in the category Set, but this is only different language for the definition just given. If we use a covariant functor X instead of a contravariant one, we arrive at the definition of a cosimplicial set.

Simplicial sets form a category, usually denoted sSet, whose objects are simplicial sets and whose morphisms are natural transformations between them. There is a corresponding category for cosimplicial sets as well, denoted by cSet.

These definitions arise from the relationship of the conditions imposed on the face maps and degeneracy maps to the category Δ.

Face and degeneracy maps

The simplex category Δ is generated by two particularly important families of morphisms (maps), whose images under a given simplicial set functor are called face maps and degeneracy maps of that simplicial set.

The face maps of a simplicial set are the images in that simplicial set of the morphisms $\delta ^{0},\dotsc ,\delta ^{n}\colon [n-1]\to [n]$, where $\delta ^{i}$ is the only injection $[n-1]\to [n]$ that "misses" $i$. Let us denote these face maps by $d_{0},\dotsc ,d_{n}$ respectively.

The degeneracy maps of a simplicial set are the images in that simplicial set of the morphisms $\sigma ^{0},\dotsc ,\sigma ^{n}\colon [n+1]\to [n]$, where $\sigma ^{i}$ is the only surjection $[n+1]\to [n]$ that "hits" $i$ twice. Let us denote these degeneracy maps by $s_{0},\dotsc ,s_{n}$ respectively.

The defined maps satisfy the following simplicial identities:

1. d_i d_j = d_j−1 d_i if i < j
2. d_i s_j = s_j−1 d_i if i < j
3. d_i s_j = id if i = j or i = j + 1
4. d_i s_j = s_j d_i−1 if i > j + 1
5. s_i s_j = s_j+1 s_i if i ≤ j.

Examples

Given a partially ordered set (S,≤), we can define a simplicial set NS, the nerve of S, as follows: for every object [n] of Δ we set NS([n]) = hom_po-set( [n] , S), the order-preserving maps from [n] to S. Every morphism φ:[n]→[m] in Δ is an order preserving map, and via composition induces a map NS(φ) : N([m]) → NS([n]). It is straightforward to check that NS is a contravariant functor from Δ to Set: a simplicial set.

Concretely, the n-simplices of the nerve NS, i.e. the elements of NS_n=NS([n]), can be thought of as ordered length-(n+1) sequences of elements from S: (a₀ ≤ a₁ ≤ ... ≤ a_n). The face map d_i drops the i-th element from such a list, and the degeneracy maps s_i duplicates the i-th element.

A similar construction can be performed for every category C, to obtain the nerve NC of C. Here, NS([n]) is the set of all functors from [n] to C, where we consider [n] as a category with objects 0,1,...,n and a single morphism from i to j whenever i≤j.

Concretely, the n-simplices of the nerve NC can be thought of as sequences of n composable morphisms in C: a₀→a₁→...→a_n. (In particular, the 0-simplices are just the objects of C and the 1-simplices are just the morphisms of C.) The face map d₀ drops the first morphism from such a list, the face maps d_n drops the last, and the face map d_i for 0<i<n composes the (i-1)st and ith morphisms. The degeneracy maps s_i lengthen the sequence by inserting an identity morphism at position i.

We can recover the poset S from the nerve NS and the category C from the nerve NC; in this sense simplicial sets generalize posets and categories.

Another important class of examples of simplicial sets is given by the singular set of a topological space, explained below.

The standard n-simplex and the category of simplices

The standard n-simplex, denoted Δⁿ, is a simplicial set defined as the functor hom_Δ(-, [n]) where [n] denotes the ordered set {0, 1, ... ,n} of the first (n + 1) nonnegative integers. In many texts, it is written instead as hom([n],-) where the homset is understood to be in the opposite category Δ^op.

The geometric realization |Δⁿ| is just defined to be the standard topological n-simplex in general position given by

$|\Delta ^{n}|=\{(x_{0},\dots ,x_{n})\in \mathbb {R} ^{n+1}:0\leq x_{i}\leq 1,\sum x_{i}=1\}.$

By the Yoneda lemma, the n-simplices of a simplicial set X are classified by natural transformations in hom(Δⁿ, X). (Specifically, consider $\Delta ^{n}=\Delta ^{\mathrm {op} }(\mathbf {n} ,-)$, then the Yoneda lemma gives $\mathrm {Nat} (\Delta ^{\mathrm {op} }(\mathbf {n} ,-),X)\cong X(\mathbf {n} )$) The n-simplices of X are then collectively denoted by X_n. Furthermore, there is a category of simplices, denoted by $\Delta \downarrow {X}$ whose objects are maps (i.e. natural transformations) Δⁿ → X and whose morphisms are natural transformations Δⁿ → Δ^m over X arising from maps [n] → [m] in Δ. That is, $\Delta \downarrow {X}$ is a slice category of Δ over X. The following isomorphism shows that a simplicial set X is a colimit of its simplices:

$X\cong \varinjlim _{\Delta ^{n}\to X}\Delta ^{n}$

where the colimit is taken over the category of simplices of X.

Geometric realization

There is a functor |•|: sSet → CGHaus called the geometric realization taking a simplicial set X to its corresponding realization in the category of compactly-generated Hausdorff topological spaces.

This larger category is used as the target of the functor because, in particular, a product of simplicial sets

$X\times Y$

is realized as a product

$|X|\times _{Ke}|Y|$

of the corresponding topological spaces, where $\times _{Ke}$ denotes the Kelley space product. This product is the right adjoint functor that takes X to X_C as described here, applied to the ordinary topological product |X| × |Y|.

To define the realization functor, we first define it on n-simplices Δⁿ as the corresponding topological n-simplex |Δⁿ|. The definition then naturally extends to any simplicial set X by setting

|X| = lim_{Δⁿ → X} |Δⁿ|

where the colimit is taken over the n-simplex category of X. The geometric realization is functorial on sSet.

Singular set for a space

The singular set of a topological space Y is the simplicial set S(Y) defined by

S(Y)([n]) = hom_Top(|Δⁿ|, Y) for each object [n] ∈ Δ,

with the obvious functoriality condition on the morphisms. This definition is analogous to a standard idea in singular homology of "probing" a target topological space with standard topological n-simplices. Furthermore, the singular functor S is right adjoint to the geometric realization functor described above, i.e.:

hom_Top(|X|, Y) ≅ hom_S(X, SY)

for any simplicial set X and any topological space Y.

Homotopy theory of simplicial sets

In the category of simplicial sets one can define fibrations to be Kan fibrations. A map of simplicial sets is defined to be a weak equivalence if its geometric realization is a weak equivalence of spaces. A map of simplicial sets is defined to be a cofibration if it is a monomorphism of simplicial sets. It is a difficult theorem of Daniel Quillen that the category of simplicial sets with these classes of morphisms satisfies the axioms for a proper closed simplicial model category.

A key turning point of the theory is that the geometric realization of a Kan fibration is a Serre fibration of spaces. With the model structure in place, a homotopy theory of simplicial sets can be developed using standard homotopical algebra methods. Furthermore, the geometric realization and singular functors give a Quillen equivalence of closed model categories inducing an equivalence of homotopy categories

|•|: Ho(sSet) ↔ Ho(Top)

between the homotopy category for simplicial sets and the usual homotopy category of CW complexes with homotopy classes of maps between them. It is part of the general definition of a Quillen adjunction that the right adjoint functor (in this case, the singular set functor) carries fibrations (resp. trivial fibrations) to fibrations (resp. trivial fibrations).

Simplicial objects

A simplicial object X in a category C is a contravariant functor

X: Δ → C

or equivalently a covariant functor

X: Δ^op → C

When C is the category of sets, we are just talking about simplicial sets. Letting C be the category of groups or category of abelian groups, we obtain the categories sGrp of simplicial groups and sAb of simplicial abelian groups, respectively.

Simplicial groups and simplicial abelian groups also carry closed model structures induced by that of the underlying simplicial sets.

The homotopy groups of simplicial abelian groups can be computed by making use of the Dold-Kan correspondence which yields an equivalence of categories between simplicial abelian groups and bounded chain complexes and is given by functors

N: sAb → Ch₊

and

Γ: Ch₊ →  sAb.

History and uses of simplicial sets

Simplicial sets were originally used to give precise and convenient descriptions of classifying spaces of groups. This idea was vastly extended by Grothendieck's idea of considering classifying spaces of categories, and in particular by Quillen's work of algebraic K-theory. In this work, which earned him a Field's medal, Quillen developed surprisingly efficient methods for manipulating infinite simplicial sets. Later these methods were used in other areas on the border between algebraic geometry and topology. For instance, the André-Quillen homology of a ring is a "non-abelian homology", defined and studied in this way.

Both the algebraic K-theory and the André-Quillen homology are defined using algebraic data to write down a simplicial set, and then taking the homotopy groups of this simplicial set. Sometimes one simply defines the algebraic $K$-theory as the space.

Simplicial methods are often useful when you want to prove that a space is a loop space. The basic idea is that if $G$ is a group with classifying space $BG$, then $G$ is homotopy equivalent to the loop space $\Omega BG$. If $BG$ itself is a group, we can iterate the procedure, and $G$ is homotopy equivalent to the double loop space $\Omega ^{2}B(BG)$. In case $G$ is an abelian group, we can actually iterate this infinitely many times, and obtain that $G$ is an infinite loop space.

Even if $X$ is not an Abelian group, it can happen that it has a composition which is sufficiently commutative so that one can use the above idea to prove that $X$ is an infinite loop space. In this way, one can prove that the algebraic $K$-theory of a ring, considered as a topological space, is an infinite loop space.

In recent years, simplicial sets have been used in higher category theory and [[[derivative algebraic geometry]]: quasi-categories, which can be thought of as categories in which the composition of two morphisms does not always have a unique result, are defined as simplicial sets satisfying one additional condition, the weak Kan condition.

See also

• Delta set
• Dendroidal set, a generalization of simplicial set.
• Simplicial presheaf
• infinity-category
• Homotopy type theory
• Kan complex

References

• Goerss, P. G.; Jardine, J. F. (1999). Simplicial Homotopy Theory. Progress in Mathematics. Vol. 174. Basel, Boston, Berlin: Birkhäuser. ISBN 978-3-7643-6064-1.

• Gelfand, S.; Manin, Yu. Methods of homological algebra.

• Dylan G.L. Allegretti, Simplicial Sets and van Kampen's Theorem (An elementary introduction to simplicial sets).

• Daniel Quillen: Higher algebraic K-theory: I. In: H. Bass (ed.): Higher K-Theories. Lecture Notes in Mathematics, vol. 341. Springer-Verlag, Berlin 1973. ISBN 3-540-06434-6

• G.B. Segal, Categories and cohomology theories, Topology, 13, (1974), 293 - 312.

• simplicial set at the nLab