site logo
LIAM AXON

Simplicial Complexes, Part 1

Jun 1, 2021
tags: math, simplicial complex, algebraic topology

The Abstract Simplicial Complex Category

Pre-requisites: none

This entry is the start of my foray into algebraic topology. It is the first of a series of notes I hope to write that focus on standard homology and cohomology theories of topological spaces (such as simplicial, singular, and cellular (co)homology). From there, I will give some examples of how these theories can be used to distinguish between topological spaces, as well as prove celebrated results like the Brower fixed point theorem.

These flashy results are still far out on the horizon. After all, topological spaces are pretty complicated objects, and understanding them will take some time. I am instead going to start with a much more simplified model: that of abstract simplicial complexes.

An abstract simplicial complex is a set XX with a collection Δ\Delta of finite, non-empty subsets such that if AΔA \in \Delta and BAB \subset A is non-empty, then BΔB \in \Delta.

We call elements of Δ\Delta simplices, and they will later be replaced with real geometric simplices when we turn our gaze to topology. The dimension of a simplex is one less than its size. We refer to a simplex of dimension nn as an nn-simplex.

As an example, consider X={a,b}X = \{a, b\} and Δ=P(X){}\Delta = \mathcal{P}(X) \setminus \{\varnothing\}, the set of all non-empty subsets of XX. For reasons that will become later on, we will call this complex the interval. The interval has three simplices: it has two 0-simplices and one 1-simplex.

We often want to visualize what is happening in an abstract simplicial complex. To do this, we can draw a kind of graph of the space. Start with a point for every 0-simplex. For every 1-simplex {a,b}\{a, b\}, we draw a line between he 0-simplices {a}\{a\} and {b}\{b\}. This now forms a graph. Below is this construction applied to the interval.

Drawing of the interval

For a 2-simplex {a,b,c}\{a, b, c\}, we shade in a triangle connecting the 0-simplices {a}\{a\}, {b}\{b\}, and {c}\{c\}. For higher-dimensional simplices, we continue this process, but it becomes harder to make out the different simplices at play. As a result, in this page, I will stick to drawing complexes whose simplices are at most 2-dimensional.

As an example, the following is a drawing of an abstract simplicial complex.

Drawing of a simplicial complex

It's important to note that, while every simplex is finite, there may be no global bound on the size of simplices in a complex. For example, take XX to be any infinite set, and let Δ=P(X){}\Delta = \mathcal{P}(X) \setminus \{\varnothing\}. The complex (X,Δ)(X, \Delta) has simplices of arbitrarily large size. These are hard to visualize, but they will be very important to us as well.


Now that we understand abstract simplicial complexes, we proceed in true mathematical fashion and define maps between abstract simplicial complexes.

Let K=(X,ΔX)K = (X, \Delta_X) and L=(Y,ΔY)L = (Y, \Delta_Y) be abstract simplicial complexes. A map from KK to LL is defined as a set function f:XYf: X \rightarrow Y such that, for every simplex σΔX\sigma \in \Delta_X, the set f(σ)f(\sigma) is a simplex in ΔY\Delta_Y. In other words, a map between simplicial complexes is one that sends simplices to simplices.

As an example, consider the following example. ff is a function from XX to YY shown by downward arrows, and it represents a map on abstract simplicial complexes because each simplex of KK gets sent to a simplex of LL.

Drawing of a simplicial map

Given maps of abstract simplicial complexes f:KLf: K \rightarrow L and g:LEg: L \rightarrow E, we can compose these to get a third map gf:KEg\circ f: K \rightarrow E. For every abstract simplicia complex KK, we have a unique map called the identity map from KK to KK, denoted iKi_K. These notions of composition and identity give us a category whose objects are abstract simplicial complexes and whose arrows are maps between abstract simplicial complexes. We call this category the abstract simplicial complex category, SCpx\mathbf{SCpx}.

* For those unfamiliar with categories, these are basically a generalization of many different mathematical theories. A category consists of a collection of objects and a collection of arrows between those objects, as well as identity arrows and a rule for composing arrows. We also require that, if f:XYf: X \rightarrow Y is an arrow and iAi_A denotes the identity on AA, then fiX=f=iYff \circ i_X = f = i_Y \circ f. Prototypical examples of categories include: Set\mathbf{Set}, whose objects are sets and whose arrows are functions between sets; Grp\mathbf{Grp}, whose objects are groups and whose arrows are group homomorphisms; and Top\mathbf{Top}, whose objects are topological spaces and whose arrows are continuous functions.

In any category, we can define an isomorphism. This is an invertible map. In the language we have been using, this is a map f:KLf: K \rightarrow L such that for some g:LKg: L \rightarrow K, fg=iLf \circ g = i_L and gf=iKg \circ f = i_K. We call such a gg an inverse of ff. If there is an isomorphism from KK to LL, we say that KK and LL are isomorphic. As far as we will be concerned, isomorphic abstract simplicial complexes are basically the same.


Exercise: prove that the identity map is an isomorphism.

Exercise: prove that the composition of two isomorphisms is an isomorphism.

Exercise: prove that the composition of an isomorphism and a non-isomorphism is not an isomorphism.

Exercise: prove that isomorphism is an equivalence relation.

Exercise+: find an alternative characterization of isomorphisms specifically for abstract simplicial complexes.


More Reading: see Wikipedia on abstract simplicial complexes.