## September 2010## Projecting 2D Topology into 3D
I started thinking about this topic while reading The question I address in this brief discussion is that of finding some example topological constructions' siblings in other dimensions. Let's begin with as simple example. A point is a zero-dimensional object. What is its one-dimensional equivalent? Answer: a line segment. Two dimensions? A square. Three? A cube...and etc. Obviously, it is difficult to visualize this example in the fourth dimension or beyond.
One of the simplest two-dimensional objects in topology is called a two-manifold-with-boundary. The manifold is the two-dimensional surface itself and the boundary is the one-dimensional closed line (no end-points) that defines the surface's perimeter. The simplest such shape is a circluar disk (see figure below). Now, how would we extrapolate this concept to the next dimension up: a three-manifold-with-boundary? The manifold is the two-dimensional part of the original shape so its equivalent must be three-dimensional in our extrapolation (some sort of volumetric solid). We used a circle as the actual shape of our two-manifold, so naturally we should use a sphere in the third dimension. Knowing that the shape will be a sphere virtually answers the next question: What is the boundary of our manifold? In two dimensions the boundary was a line with no end-points that looped around and closed on itself (a circle). What is the equivalent of a one-dimensional circular line in two dimensions? The boundary we are looking for is some sort of two-dimensional surface with no "end-points" which in two dimensions are line-segments (do you understand why?). This boundary (this surface) should wrap around on itself like a circle, but in the next higher dimension. It should envelop a three-dimensional interior (which we decided would be spherical for our example), analogous to the way in which a circle encloses a disk. Thus, the equivalent of the boundary of a two-dimensional disk when extended to the third dimension is the infinitely thin surface of a sphere (basically a beach-ball). However, bear in mind that the total object we are considering — the equivalent of a two-manifold-with-boundary in three dimensions — is not a beachball because that has no bounded interior, just empty space (or air). No, we want an object with a volumentrically "filled" interior, so what we really want is a billiard ball. Thus, the three-dimensional equivalent of a two-manifold-with-boundary,
Okay, let's try something harder. An annulus is a flat disk with a hole cut in it (see figure below), like a coin with a hole drilled through the center if the coin were infinitely thin, or like a Chinese
Here's a little assignment. A annulus can be converted to a 'C' by cutting out a section of the surface (see figure below). What would be the analogous conversion on our three-dimensional annulus? What would the resulting object look like? Think about it before reading on...
...okay, we'll need the answer to the previous question before proceeding, so here it is. The analagous "removal" on our three-dimensional annulus is a hole drilled from the exterior into the interior cavity (see figure below). Notice that in both cases, the number of boundaries has been reduced from two to one (sharp corners don't break the concept of a single contiguous surface). The annulus's boundaries are the interior and exterior one-dimensional edges while the three-dimensional annulus's boundaries are the interior and exterior two-dimensional surfaces, and the addition of the cut-away-hole in both cases joins the two boundaries into a single boundary. If you think about this for a moment, you will realize that this 'C' is now topologically identical to (
Before proceeding I must define a few concepts, namely ways in which manifolds can be joined. In two dimensions our manifolds are surfaces and if those surfaces have an edge (a one-dimensional boundary) we say they are a two-manifold-with-boundary. We have seen that the simplest example is a filled circle, a disk, like a pancake. Two surfaces can be joined in three ways:
The main purpose of this section has been to work up to bridges, in particular so we can consider objects like the bridged annulus (see figure below). Study the figure and make sure you understand what a bridged annulus is and how the bridge component satisfies the definition,
Things will be more complicated from this point forward because we will soon have to consider a fourth spatial dimension. This is particularly difficult because we can't visualize such objects perfectly, but with some practice we can "infer" their characteristics. The long term question I want to try to solve is, what is the three-dimensional analogy to a torus, i.e., an inner-tube (or a hollow donut) (see figure below). We will get there, but we will start with some simpler ideas and sneak up on it.
First, we will consider a punctured torus. This is a torus with a small patch removed from its surface (see figure below). While this might seem like a more complicated object, it turns out that it is easier to reason about. The first thing we must realize is that a punctured torus is topologically identical too (homeomorphic with) a bridged annulus. Imagine that the torus is pressed down slightly against a hard tabletop so that its
Now, we already know the three-dimensional equivalent of an annulus. It is a billiard ball with a cavity scooped out of the center. We even know the equivalent of a 'C'. It is a billiard ball with a hole drilled into the cavity. Now, here's a tough question: our first four-dimensional question: What is the equivalent of a bridged annulus in three-dimensions? You already know what a three-dimensional annulus is we've seen it above (a billiard ball with the center scooped out). How would you bridge it? Think about this before reading on... In the two-dimensional case, a bridged annulus consists of adding a new surface whose boundary (a one-dimensional edge) joins the two boundaries of the annulus. Everything must scale up by one dimension in our analogy. So the additional thing we must add is not a surface but a volumetric solid of some sort. The solid's (a three-manifold incidently) boundaries are not one-dimensional edges but two-dimensional surfaces. So this thing is basically a lump of clay of some sort, three-dimensional in its expanse and two-dimensional in its boundary (its surface). What we joined in the two-dimensional case was subsections of the surfaces' boundaries (1D), so what we must join in our three-dimensional case are subsections of the solids' boundaries (2D). To sum up, we need to take our three-dimensional annulus (a billiard ball with a cavity in the center) and we need to add another volumetric piece (a lump of clay) such that the the new piece's boundary (its surface) joins (merges) with the two existing boundaries of the annulus (the inner and outer surfaces of the cavitied billiard ball. Well, okay, it easy enough to say we will press a piece of clay against the outer surface of the billiard ball, and it is easy to say we will stick a piece of clay against the inner surface of the cavity (if we imagine teleporting the piece of clay into the cavity to begin with), but how could we possibly do both joins to both surfaces with the same piece of clay?! That is what we need an analogy for with respect to the two-dimensional case. This is where the fourth dimension becomes essential to our experiment. Our lump of clay will join each of the two surfaces on our three-dimensional annulus and will curve up and through the fourth dimension to make its two ends meet. In fact, it isn't right to say the clay extends outward from the exterior surface of the billiard ball at all — it fits entirely within the three-dimensional confines of the original annulus, just the way a bridged annulus fits within the two-dimensional confines of a normal annulus if you look straight down at it. The bridge in the two-dimensional case doesn't extend outward from the annulus within its original plane. Rather, it extends "up" into the third dimension. The same will be true in our speculative scenario of a three-dimensional bridged annulus (see figure below).
It helps to practice visualizing or imagining two volumetric solid objects cohabiting in the same three-dimensional space. This is easier if you imagine that the two objects are made of translucent material, like jello. Visualize a translucent billiard ball with a cavity in the middle. Because it is translucent you can actually see the cavity (what you are seeing is refraction effects at the interior surface of the cavity between the jello and the air in the cavity). Now, imagine the opposite of the hole we drilled when forming a 'C'. Instead of removing a cylinder, imagine an additional cylinder of jello superimposed in the billiard ball's space such that this cylinder reaches through the depth of the billiard ball's thickness from the exterior to the interior. Lastly, imagine that at the exterior and interior edges of the billiard ball (and the ends of our jello cylinder), our additional cylinder of jello actually merges with the billiard ball's solidness through the overlapping area of the surface subsections (circles), but that inside the "thickness" of the billiard ball between the exterior and interior surfaces these two solids aren't actually touching one another (since the cylinder is We are getting close to visualizing the three-dimensional equivalent of a torus. Bear in mind that I am referring to a hollow torus, like an inner tube, not a solid torus, like a donut. We will first proceed by undoing the transformation we used to convert a punctured torus into a bridged annulus. To undo this we take our bridge and stretch it concentrically around the annulus until it almost meets on the opposite side of the annulus, leaving a thin slit across the annulus. Then we pull the ends of the slit back up so the puncture becomes a small hole again. Let's do that to our three-dimensional bridged annulus. To do this we expand our additional jello cylinder in diameter. Imagine that it stretches to a wider and wider cylinder. It rapidly reaches the point where it no longer looks like a cylinder because it is wrapping around the curvature of the billiard ball. At the halfway point, our "cylinder" is the equivalent of cutting our original cavitied billiard ball in half to reveal the interior. At this halfway point, one half of our three-dimensional annulus (the cavitied billiard ball) is ordinary and the other half is fully superimposed by the expanding bridge, what started out as a thin cylinder. Bear in mind that this half is now two solid objects coexisting in the same three-dimensional space (but separated in the fourth dimension). Continue expanding around the backside of the billiard ball until the cylinder almost fully encompasses the original annulus and the space remaining resembles the hole we considered drilling to form a 'C'. Bear in mind that this hole isn't empty however because the original annulus is still there! Are you keeping up with me? At this point we have constructed the three-dimensional equivalent of a punctured torus.
By now, you my have already completed the puzzle. How do we convert a punctured torus into a normal torus? We add a
Let's go a little further. A Mobius strip is an annulus with a twist (by twist we always mean half-twist). What we always learn as children about Mobius strips is that they have only one side. This is true, but they have another interesting feature. Whereas an annulus has two boundaries, a Mobius strip only has one. It is important to think about these things because these are the features which should extend analogously when we extend an object into another dimension...which is what we're going to do right now. We will construct the three-dimensional equivalent of a Mobius strip. Feel free to stop at this point and try to do it on your own, but the solution may surprise you. It's definitely weird.
First, what do we start with? A Mobius strip is a transformation of an annulus. We will use the same approach in three dimensions, so we will start with our three-dimensional annulus, the cavitied billiard ball. It's amazing how simple it is to now conjure up the image of a three-dimensional annulus at the drop of hat isn't it? You may have had absolutely no idea what such a thing was when you started reading this article and now you could carve one out of a watermelon on command. Now, how do the features of a Mobius strip extend to the next dimension up? An annulus's surface has two sides, but a Mobius strip's surface has one (topologists say an annulus is
How are we going to do this? Let's not think about the surface. That's the normal way to think about a Mobius strip, but let's concentrate on the boundaries, the edges. Imagine an ant walking along an annulus, but not across the surface, rather right along the edge. The ant will travel around the outer edge, then along the edge of the twist crossing over to the inner edge, then around the inner edge, then across the twist again to the outer edge to start all over. Thus, there is only one edge. Our three-dimensional Mobius strip should offer similar behavior,
At this point you might raise an objection. In the two-dimensional case, the ant can clearly follow the edge around the Mobius strip, crossing from outer to inner edge at the twist. There is clearly a problem in the three-dimensional case however. The dimples don't "go through" to the other side. As the ant descends into the dimple, it gets stuck at the bottom. To understand the solution, notice that in the two-dimensional case, the ant can only cross over or under the point of the twist by rising or lowering into the third dimension, We have considered a number of examples of extending manifolds from an initial dimension to their equivalent in another dimension (up one dimension in most cases). Specifically, we considered extending two-manifolds (surfaces) to three-manifolds (solid volumes). We considered relatively simple manifolds (disks and annuluses) and considerably more complex manifolds (hollow toruses and Mobius strips). If you want to try yet another level of complexity in this thought process, consider how the methods described here would govern extending three-manifolds into four-manifolds. What would it be like to construct the four-dimensional equivalent of a solid sphere, which is itself the three-dimensional equivalent of a disk? What about a solid torus? Have fun. |