What Is a Delta Complex?

It’s time to get our hands dirty with some topology! Instead of studying spaces directly, we’re going to study a way of studying a topological space (sort of meta, but that’s the fun of it). In particular, we’re going to view a space as a collection of analogous subspaces appropriately glued together satisfying a few restrictions. This viewpoint is of large interest in algebraic topology and spaces that can be viewed in this way are called \Delta-complexes. So, what is a \Delta-complex? One might instead start with a different question: what is the \Delta in a \Delta-complex. Quite plainly, the \Delta stands for triangle. A \Delta-complex on a topological space X is a way of looking at X as being built from triangles and their higher dimensional analogues along with a notion of gluing these triangles along their boundaries. In the following were going to look at \Delta-complexes from a formal standpoint and follow up with examples of \Delta-complex structures on the torus, Klein bottle, and real projective plane.

\Delta-Complexes

A \Delta-complex is a space built out of n-simplicies and the gluing maps associates with them. An n-simplex can be thought of as the n-dimensional triangle with an ordering. Precisely, an n-simplex \Delta^{n} is the smallest convex set in \mathbb{R}^{n+1} containing the n+1 points (which we call vertices) v_{0},v_{1},\ldots,v_{n} such that all the points do not lie in an n-dimensional hyperplane and such that the vertices are totally ordered say v_{0} < v_{1} < \cdots < v_{n}. The ordering is often written as [v_{0},v_{1},\ldots,v_{n}] and we will use this notation from now on. The hyperplane condition is necessary so that there is not collapsing of the n-simplex. In other words, it assures us that \Delta^{n} is not embeddable in \mathbb{R}^{k} for k < n. The ordering of the vertices will be necessary for some technical aspects of simplicial homology which will be made clear in Part II. Here are examples of an n-simplex for 0 \le n \le 3:

n-simplexs.PNG

It is also important to note that the assumed topology on \Delta^{n} is the induced subspace topology from \mathbb{R}^{n}.

A convince, is that all n-simplicies are homeomorphic to the standard n-simplex which is the simplex enclosed by the standard basis vectors e_{i} for 1 \le i \le n and the origin e_{0}. Precisely, we can describe the standard n-simplex \Delta^{n} as

\Delta^{n} = \{(x_{0},x_{1},\ldots,x_{n}) \in \mathbb{R}^{n+1} \mid \sum_{i = 0}^{n}x_{i} = 1, x_{i} \ge 0\}

with ordering [e_{0},e_{1},\ldots,e_{n}]. Since we have an ordering on the vertices there is a homeomorphism from the standard n-simplex to any other n-simplex by sending the basis vectors e_{i} (and the origin) to the vertices in the other n-simplex with the corresponding ordering and then extending linearly (notice that we can write (x_{0},x_{1},\ldots,x_{n}) as \sum_{i = 0}^{n}x_{i}e_{i}). This justifies us calling the standard n-simplex \Delta^{n} (or any other n-simplex for that matter) and only working with standard simplicies.

It’s evident from the image above that if we remove any vertex from an n-simplex \Delta^{n}, then the remaining vertices form and (n-1)-simplex. Such a simplex is called a face of \Delta^{n} (the reason we say face is clear from the tetrahedron above). The ordering of the vertices that make up a face is given the induced ordering from the vertices in \Delta^{n}. In other words, if \Delta^{n} has ordering [v_{1},\ldots,v_{n}] and we remove the vertex v_{i}, then the ordering on the corresponding face is given by [v_{1},\ldots,\hat{v_{i}},\ldots,v_{n}]. The subspace of all faces of \Delta^{n} is called the boundary of \Delta^{n} and is denoted by \partial\Delta^{n}. The interior of \Delta^{n} is \mathring{\Delta^{n}} = \Delta^{n}-\partial\Delta^{n}. We are now ready to state the properties a topological space X must satisfy for it to have a \Delta-complex structure.

 

Definition: Let X be any topological space. X is said to have a \Delta-complex structure if there is a collection of continuous functions \sigma_{\alpha}:\Delta^{n} \to X, where n depends on \alpha, such that the following three properties hold:

1. The restriction \sigma_{\alpha} \mid_{\mathring{\Delta^{n}} } is injective, and each point x \in X is the image of exactly one such restriction.

2. If  \sigma_{\alpha} is restricted to a face of \Delta^{n}, then there is a map \sigma_{\beta}:\Delta^{n-1} \to X such that \sigma_{\alpha} = \sigma_{\beta} on this restriction.

3. A subset U \subseteq X is open if and only if \sigma_{\alpha}^{-1}(U) is open in \Delta^{n}.

 

Let us take a moment to discuss what these conditions mean before giving some examples. Intuitively, the first condition says that there is no collapsing of the simplex as it is mapped into X except possibly along the boundary, and there is no overlap of the interiors of any two distinct n-simplicies. The second condition adds a little more as it tells us how the images of the n-simplicies and (n-1)-simplicies interact. Specifically, the second condition tells us that the images of an n-simplex and an (n-1)-simplex can only overlap on the boundary of the n-simplex. Moreover, when there is overlap the n-simplex must be mapped nicely enough into X as to agree with how the corresponding (n-1)-simplex is mapped into X. The third condition is a little more tricky to understand. It tells us that the maps \sigma_{\alpha} act like quotient maps on their images. By the injectivity in the first condition, this means that subsets U \subseteq X look like a subset of \Delta^{n} given that U lies in the interior of the image of some \sigma_{\alpha}. With this, the second condition tells us that we may build a \Delta-complex structure inductively in the following manner: First choose a set of distinct vertices that is 0-simplicies (their number determines an upper bound for the dimension of the resulting \Delta-complex). Here there are obvious unique maps \sigma_{\alpha}:\Delta^{0} \to X. Now attach edges, that is 1-simplicies, between the vertices and to each edge there also corresponds a unique map \sigma_{\alpha}:\Delta^{1} \to X. Repeat this process for 2-simplicies and so on. This justifies the earlier terminology of calling the \sigma_{\alpha} gluing maps.

Let’s give some examples to finish up the first part of the crash course. It so happens that some of our favorite spaces have \Delta-complex structures. The image below gives a \Delta-complex structures of the torus, Klein bottle, and real projective plane from left to right respectively.

Delta-Complexes, Torus, Kelin Bottle, Real Projective Plane.PNG

Notice U and L correspond to the two 2-simplicies, a, b, and c correspond to the three 1-simplicies, and v and w corresponds to the vertices or 0-simplicies. The orientations on the of the 1-simplicies are a little more subtle to understand. Generally speaking, if we have an n-simplex with vertices in order [v_{1},\ldots,v_{n}] then there is a natural induced orientation of the edges given by the ordering of the vertices. In other words, the edge [v_{i},v_{j}], where i < j, is given the orientation from v_{i} to v_{j}. Looking at the \Delta-complex for the projective plane in the diagram above, this means that v < w. Now you might ask, couldn’t we reverse the orientation of the edge c and still end up with a \Delta-complex? The answer is no. This is because there were originally four distinct vertices v_{0}, v_{1}, v_{2}, and v_{3} with the same orientation as given in the figure. But because of identification of the edges, there only ends up being two distinct vertices which we relabel as v and w. The same subtlety is occurring in the \Delta-complexes of the torus and Klein bottle as well. I encourage you to work out \Delta-complexes with four distinct vertices for the tours, Klein bottle, and real projective plane and show that after identifications they agree with the ones in the diagram above.

A primary reason that \Delta-complexes are useful is in the study of simplicial and singular homology. In fact, simplicial homology is defined only on spaces with a \Delta-complex structure while singular homology is defined in terms of continuous maps from n-simplicies to the topological space of study. It’s also the case that singular homology has a more geometric interpretation when the spaces of study have \Delta-complex structures.

As a final note, \Delta-complexes “fit between” two other types of complexes, namely simplicial complexes and CW complexes. What we mean by fit between is that there are more restrictions on the gluing maps for simplicial complexes than delta complexes and more restrictions on delta complexes than CW complexes. The gluing maps for CW complexes can be any continuous map while the gluing maps for simplicial complexes are quite restrictive. As for \Delta-complexes, they mus satisfy property (2) but they are also required to map different faces of \Delta^{n} to different (n-1)-simplicies when we view the restricted map as mapping into a simplex in X (we can do this by property (1)). For instance, none of the \Delta-complexes pictured above are simplicial complexes because the map from \Delta^{0} to each vertex is the restriction of the corresponding face of each adjacent edge. However all three \Delta-complexes are CW complexes.

That’s all on \Delta-complexes for now, Thanks for reading!

 

 

 

References:

Algebraic Topology – Allen Hatcher

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s