nLab
simplicial complex

Idea and definition

A polyhedron is a space made up of very simple bits ‘glued’ together. The ‘bits’ are simplices of different dimensions. An abstract simplicial complex is a neat combinatorial way of giving the corresponding ‘gluing’ instructions, a bit like to plan of a construction kit!

Definition

A simplicial complex $K$ (sometimes called an abstract simplicial complex) consists of a set of objects, $V(K)$, called vertices and a set, $S(K)$, of finite non-empty subsets of $V(K)$, called simplices. The simplices satisfy the following conditions: (1) that if $\sigma \subset V(K)$ is a simplex and $\tau \subset \sigma$, $\tau \ne \varnothing$, then $\tau$ is also a simplex; (2) every singleton $\{v\}$, $v\in V(K)$, is a simplex.

We say $\tau$ is a face of $\sigma$. If $\sigma \in S(K)$ has $p+1$ elements it is said to be a $p$-simplex. The set of $p$-simplices of $K$ is denoted by $K_p$. The dimension of $K$ is the largest $p$ such that $K_p$ is non-empty.

• Remark: the word ‘polyhedron’ is used here as it is often used by algebraic topologists, as a space described by a simplicial complex. Elsewhere in mathematics, it might mean a finite union of finite intersections of sets in Euclidean space defined by linear inequalities, usually assumed compact, and often with other assumptions as well (e.g., connected or convex). The various usages have a long history, as recounted in detail in Lakatos’s Proofs and Refutations.

Examples

1. Any (undirected simple) graph gives a simplicial complex. The usual definition of graph is that it is an ordered pair $(V,E)$ where $V$ is a set of vertices, and $E$ a set of (unordered) pairs of vertices. This is the simplest form of graph; it is undirected, edges do not have a ‘start’ and ‘finish’, (or ‘head’ and ‘tail’) and ‘simple’, in as much as there can be at most one edge between a given pair of vertices. (The case of a ‘multigraph’ where there can be multiple edges between vertices, and perhaps loops at a vertex, does not correspond to a simplicial complex, but does give a simplicial set.) A graph is a 1-dimensional simplicial complex.

2. Given a space and an open cover, the nerve of the cover is a simplicial complex (see Čech methods and the discussion there). The Vietoris complex is another given by a related method.

3. Given any two sets $X$ and $Y$, and a relation $R\subseteq X\times Y$, there are two simplicial complexes that encode information on the relation. These are generalisations of the nerve and the Vietoris complex. They are studied in detail in Dowker's theorem.

4. If $(P,\le )$ is a poset, then the nerve of the associated category has a simple description. The vertices are the points of $P$ and the simplices are the flags.

5. Buildings: An important class of simplicial complexes is provided by the notion of building, due to Jacques Tits.

Simplicial complexes v. simplicial sets

Simplicial complexes are, in some sense, special cases of simplicial sets, but only ‘in some sense’.

To get from a simplicial complex to a fairly small simplicial set, you pick a total order on the set of vertices. Without an order on the vertices, you cannot speak of the $k^{\mathrm{th}}$ face of a simplex, which is an essential feature of a simplicial set! The degeneracies are obtained by repeating an element when listing the vertices of a simplex. If $\sigma =\{v_0,v_1,\dots ,v_n\}$, with $v_0<v_1<\dots <v_n$ then, for instance, $s_0(\sigma )=\{v_0,v_0,v_1,\dots ,v_n\}$.

If you do not want to pick an order then you can still form a simplicial set where to each $n$-simplex of the original simplicial complex will correspond to $(n+1)!$ simplices of that associated simplicial set. The result is more unwieldy, but can be useful under some circumstances as it defines a functor from the category of simplicial complexes to that of simplicial sets. This is very important when discussion group actions on simplicial complexes and how this transfers to the associated simplicial set.

Simplicial complexes as sheaves on a site

Simplicial sets are essentially (that is, up to equivalence) presheaves on the simplex category of finite nonempty totally ordered sets, whereas simplicial complexes may be regarded as concrete presheaves on the category ${\mathrm{Fin}}_{+}$ of finite nonempty sets and functions between them. This works as follows: given a simplicial complex, $K=(V(K),S(K))$, define a presheaf $K^{\sim }:{\mathrm{Fin}}_{+}^{\mathrm{op}}\to \mathrm{Set}$ whose values are sets of functions $\varphi$:

$$K^{\sim }(B)\stackrel{\mathrm{def}}{=}\{\varphi :B\to V(K)\mid \varphi (B)\in S(K)\},K^{\sim }(f:A\to B)(\varphi )\stackrel{\mathrm{def}}{=}\varphi \circ f$$K^\sim(B) \stackrel{def}{=} \{\phi: B \to V(K)| \phi(B) \in S(K)\}, \qquad K^\sim(f: A \to B)(\phi) \stackrel{def}{=} \phi \circ f

This defines an evident functor

$$\mathrm{SimpComplex}\to {\mathrm{Set}}^{{\mathrm{Fin}}_{+}^{\mathrm{op}}}:K\mapsto K^{\sim }$$SimpComplex \to Set^{Fin_{+}^{op}}: K \mapsto K^\sim

that is full and faithful. The essential image is the subcategory of concrete presheaves, where a presheaf $F:{\mathrm{Fin}}_{+}^{\mathrm{op}}\to \mathrm{Set}$ is concrete if the canonical map

$$F(B)\to F(1{)}^{\mathrm{hom}(1,B)}$$F(B) \to F(1)^{\hom(1, B)}

is an injection. The point is that a morphism of concrete presheaves $F\to G$ is uniquely determined from the function $F(1)\to G(1)$ between their underlying sets (i.e., the underlying-set functor on concrete presheaves is faithful, so that a concrete presheaf is a set equipped with extra structure – that’s what makes it “concrete”).

(Equivalently but somewhat more elaborately, the category of concrete presheaves is the same as the full subcategory of concrete sheaves on ${\mathrm{Fin}}_{+}$ with respect to the trivial topology, where the only covering sieve $F\hookrightarrow \mathrm{hom}(-,D)$ is the maximal sieve.)

From this point of view, it is immediate that simplicial complexes are the separated objects for the Lawvere-Tierney topology on ${\mathrm{Set}}^{{\mathrm{Fin}}_{+}^{\mathrm{op}}}$ whose sheaves are sets, via the sheafification functor

$$\Gamma =\mathrm{hom}(1,-)={\mathrm{ev}}_1:{\mathrm{Set}}^{{\mathrm{Fin}}_{+}^{\mathrm{op}}}\to \mathrm{Set}$$\Gamma = \hom(\mathbf{1}, -) = ev_1 \colon Set^{Fin_{+}^{op}} \to Set

which has a right adjoint. (See local topos.) It follows from this characterization that the category of simplicial complexes is a quasitopos, and in particular is locally cartesian closed. The category of simplicial sets on the other hand is a topos.

Geometric realisations and Polyhedra

An abstract simplicial complex is a combinatorial gadget that models certain aspects of a spatial configuration. Sometimes it is useful, perhaps even necessary, to produce a topological space from that data in a simplicial complex.

Idea

To each simplicial complex $K$, one can associate a topological space called the polyhedron of $K$ often also called the geometric realisation of $K$ and denoted $\mid K\mid$. (This is essentially a special case of the geometric realisation of a simplicial sets.)

This can be constructed by taking a copy $K(\sigma )$ of a standard topological $p$-simplex for each $p$-simplex of $K$ and then ‘gluing’ them together according to the face relations encoded in $K$.

We therefore first need the definition of a standard $p$-simplex

Definition

The standard (topological) $p$-simplex is (usually) taken to be the convex hull of the basis vectors $e_1,e_2,\dots ,e_{p+1}$ in ${ℝ}^{p+1}$.

Intuition

The geometric realisation $\mid K\mid$ of a simplicial complex, $K$ is then constructed by taking, for each abstract $p$-simplex, $\sigma \in S(K)$, a copy, $K(\sigma )$ of such a standard topological $p$-simplex, and then ‘gluing’ faces together, so whenever $\tau$ is a face of $\sigma$ we identify $K(\tau )$ with the corresponding face of $K(\sigma )$. This space is usually denoted ${\Delta }^p$.

Canonical construction

As a set, $\mid K\mid$ is constructed as follows:

$\mid K\mid$ is the set of all functions from $V(K)$ to the closed interval $[0,1]$ such that

• if $\alpha \in \mid K\mid$, the set

$$\{v\in V(K)\mid \alpha (v)\ne 0\}$$\{v \in V(K) \mid \alpha(v) \neq 0\}

is a simplex of $K$;

• for each $\alpha \in \mid K\mid$,

  $$\sum _{v\in V(K)}\alpha (v)=1.$$\sum_{v \in V(K)} \alpha (v) = 1.

There are two commonly used topologies on the set $\mid K\mid$. The first is the metric topology: we put a metric $d$ on $\mid K\mid$ by

$$d(\alpha ,\beta )=(\sum _{v\in V(K)}(\alpha (v)-\beta (v){)}^2{)}^{\frac{1}{2}}.$$d(\alpha,\beta) = \Big(\sum_{v\in V(K)} (\alpha(v) - \beta(v))^2\Big)^\frac{1}{2}.

$\mid K\mid$, when endowed with the metric space topology, will be denoted $\mid K{\mid }_d$. Notice that when $V(K)$ is finite, this gives $\mid K{\mid }_d$ as a subspace of the metric space ${ℝ}^{\#(V(K))}$ (which is usually of much higher dimension than might seem geometrically significant in a given context).

The second topology is the coherent topology: each geometric simplex $\mid s\mid$ consists of all $\alpha \in \mid K\mid$ supported in $s$, and is given the subspace topology inherited as a subset of $\mid K{\mid }_d$; then the coherent topology on $\mid K\mid$ is the largest topology for which all inclusions $\mid s\mid \hookrightarrow \mid K\mid$ are continuous. This topological space is normally denoted just $\mid K\mid$, reflecting the fact that the coherent topology is regarded as the default topology to put on the set $\mid K\mid$.

Note that if $s\subseteq t$ is an inclusion of simplices in $K$, then there is an induced subspace inclusion $\mid s\mid \hookrightarrow \mid t\mid$. The space $\mid K\mid$ may then be characterized as the colimit in $\mathrm{Top}$ of the diagram consisting of geometric simplices $\mid s\mid$ and inclusions between them, so that a function $f:\mid K\mid \to X$ is continuous if and only if its restriction to each simplex $\mid s\mid$ is continuous. In particular, the identity function $\mid K\mid \to {\mid K\mid }_d$ is continuous, so that the coherent topology contains the metric topology (and is often strictly larger).

• Warning: The geometric realization of a simplicial complex does not preserve products. Indeed, the product of two intervals in the category of simplicial complexes is the tetrahedron!

Triangulable spaces

If a topological space can be described up to homeomorphism as the geometric realization of a simplicial complex, we say it is triangulable, and a triangulation of a space $X$ is a simplicial complex $K$ together with a homeomorphism $h:\mid K\mid \to X$. (This is discussed in a bit more detail in the entry on classical triangulation.

There is another stronger notion of triangulation used by geometric topologists: a piecewise-linear (PL) structure on a topological manifold $X$ is given by a PL atlas, where the transition functions are piecewise-linear homeomorphisms. (A homeomorphism $U\to V$ is piecewise linear if its graph is the intersection of $U\times V$ with a semilinear set $S$, meaning that $S$ is given by a finite Boolean combination of solution sets of linear inequalities.)

Examples from manifold theory

• All smooth manifolds are triangulable and, in fact, admit PL structures.

• All topological manifolds in dimensions 2 and 3 admit PL structures, and are in fact smoothable (admit a smooth manifold structure).

• The $E_8$ manifold? does not admit a triangulation, much less a PL structure.

• In dimensions $n\ge 5$, the $(n-2)$-fold suspension of the Poincaré sphere is homeomorphic to the $n$-sphere, hence is triangulable, but it does not admit a PL structure.

Relation to simplicial sets

The following statement may seem obvious, but it requires careful proof:

• A space is triangulable if and only if it is homeomorphic to the geometric realization of a simplicial set.

As an important step:

• The geometric realization of the nerve of a poset is triangulable.

The basic technique is to use subdivision.

References

A standard textbook reference is

• Edwin Spanier, Algebraic Topology , McGraw-Hill, 1966.

An exposition is in

• Kenny Erleben, Simplicial complexes (2010) (pdf slides)

That simplicial complexes form a quasitopos of concrete sheaves is discussed in

• John Baez and Alex Hoffnung, Convenient Categories of Smooth Spaces (arXiv)