Question about Singular Homology section in Hatcher

From Hatcher, "Algebraic Topology," Chapter 2, "Singular Homology" section (p. 108-109 in my copy):

Cycles in singular homology are defined algebraically, but they can be given a somewhat more geometric interpretation in terms of maps from finite $\Delta$-complexes. To see this, note that a singular $n$-chain $\xi$ can always be written in the form $\sum_i \varepsilon_i \sigma_i$ with $\varepsilon_i = \pm 1$, allowing repetitions of the singular $n$-simplices $\sigma_i$. Given such an $n$-chain $\xi = \sum_i \varepsilon_i \sigma_i$, when we compute $\partial \xi$ as a sum of singular $(n-1)$-simplices with signs $\pm 1$, there may be some canceling pairs consisting of two identical singular $(n-1)$-simplices with opposite signs. Choosing a maximal collection of canceling pairs, construct an $n$-dimensional $\Delta$ complex $K_\xi$ from a disjoint union of $n$-simplices, one for each $\sigma_i$, by identifying the pairs of $(n-1)$-dimensional faces corresponding to the chosen canceling pairs. The $\sigma_i$'s then induce a map $K_\xi \rightarrow X$. If $\xi$ is a cycle, all the $(n-1)$ simplices of $K_\xi$ come from canceling pairs, hence are faces of exactly two $n$-simplices of $K_\xi$. Thus $K_\xi$ is a manifold, locally homeomorphic to $\mathbb{R}^n$, except at a subcomplex of dimension at most $n - 2$.

It's this last bit that has me confused, perhaps because I'm unable to visualize a nontrivial 3-manifold. We're building a $\Delta$-complex by identifying the $(n-1)$-faces of simplices; there are only finitely many such simplices; we're not required to identify the faces in any unusual way; and so forth. How, then, can we end up with something which is not a manifold? I'd really appreciate an explicit example.

I've been told that this is a general example of a "pseudomanifold," but all the examples of pseudomanifolds that I've been able to locate and follow wind up making a non-manifold by essentially identifying vertices to get pinched spaces. This can't happen under the present construction because we're always identifying the largest proper faces. So I'm quite confused by the situation.

EDIT: Looks like there are some more questions raised in the comments as to what the construction actually means. If there's a name for this construction, or any other source that discusses it, I'd appreciate a reference. And of course if anyone can shed any additional light on the topic that would be quite welcome too.

EDIT: I may have inadvertently overwritten someone else's edit just then, judging by a message that popped up. Apologies if so. (How do I tell / fix this?)


First, a remark that I think is relevant: understanding the construction $K_{\xi}$ is related to the question of whether a homology class can be represented by a submanifold. This is not always possible; see e.g. this MO answer.

On the other hand, it is always possible for $n$-cycles for small values of $n$ (if we are considering the homology of a manifold), which may be one reason why it is hard to visualize non-manifold examples of $K_{\xi}$.

E.g. in the case $n = 2$, we are gluing triangles along their edges, with the rule that exactly two triangles meet along a common edge. This always gives a closed $2$-manifold. In general, unless I am confused, the fact that for $n = 2$ we always get a manifold implies in general that the non-manifold points are in codimension at least $n - 3$ (not just $n - 2$). So to find a counterexample we should take $n = 3$. I will give such a counterexample in a moment, but first let me describe a general approach to thinking about this situation.

When gluing simplices like this, the way to investigate whether the resulting object is a manifold or not is to consider the link of each vertex. Namely, if a bunch of $n$-simplices meet at a vertex $v$, take a transverse slice to each simplex just below the vertex (I am imagining that simplex is sitting on the face opposite to $v$, so that $v$ is at the top of the simplex), to get an $n-1$-simplex. Now these glue together to make a closed simplicial $n-1$-complex that surrounds $v$; this is the link of $v$. Note that these $n-1$-simplices meet along $n-2$-dimensional faces, and so the link is a $K_{\xi}$-type object, but of one dimension less.

In the case that $n = 2$, we get a bunch of segments being joined at their vertices, and hence a circle. No drama there.

But now suppose that $n = 3$. Then the link is formed by a bunch of triangles gluing together, and we have agreed that this gives a $2$-manifold. But which one?

If $K_{\xi}$ is locally Euclidean at $v$, then this surface would have to be a $2$-sphere. But a priori it doesn't have to be, and so in this case we can get a non-manifold example!

In practice, to make an example we should take a cone on a surface that is not a $2$-sphere, e.g. a cone on a $2$-torus.

Precisely: triangulate a $2$-torus, e.g. by choosing two triangles $\Delta_1$ and $\Delta_2$, and identifying the three edges of the first with the three edges of the second in the appropriate manner.

Now to form the cone on this, replace $\Delta_i$ by a $3$-simplex $\tilde{\Delta_i}$. Regard $\Delta_i$ as one of the faces of $\tilde{\Delta}_i$, and label the other three faces according to the edge along which they meet $\Delta_i$. Now glue the three faces of $\tilde{\Delta}_1$ other than $\Delta_1$ with the three faces of $\tilde{\Delta}_2$ other than $\Delta_2$ according to the same gluing scheme we used previously to construct the $2$-torus. What we end up with is a three dimensional simplicial complex whose boundary is equal to $\Delta_1 + \Delta_2$, i.e. a $2$-torus. But it is not a $3$-manifold; rather it is a cone on the $2$-torus.

If we let $\xi$ be the $3$-chain $\tilde{\Delta}_1 + \tilde{\Delta}_2$, then $K_{\xi}$ is the cone on the $2$-torus, and so is not a $3$-manifold.

Of course, this $\xi$ is not a cycle (so the boundary of $K_{\xi}$ is non-empty), but we could take two such cones and glue them along their common $2$-torus boundary to get a three-dimensional simplicial complex without boundary, and then take $\xi$ to be the sum of the four $3$-simplices involved; then $\xi$ would be a cycle, but $K_{\xi}$ would not be a manifold; it has two vertices whose links are $2$-tori rather than $2$-spheres.

Concluding remark: In dimension $2$, the only way to get pseudo-manifolds that are not manifolds is to explicitly glue together vertices, as you observed. But in dimension $3$ or higher, there are other examples, e.g. in dimension $3$ we can take cones on positive genus surfaces, as in the preceding construction.


Edit: The example below doesn't give a cycle, so it's not really what we're looking for here.

Original post: The simplest example of what you're looking for is the dunce cap.

It's a compact 2-dimensional complex, and it's contractible, so it's definitely not a manifold w/o boundary.