How to 'See' the 4th Dimension with Topology

In four dimensions, mathematical intuition fails, forcing topologists to rely strictly on axioms and definitions as they study manifolds—spaces that appear flat up close. The video explains how to build higher-dimensional tori by gluing opposite faces of boxes, using time as a visualization aid for the fourth dimension. Crucially, four-dimensional topology is uniquely strange because it falls between low- and high-dimensional behavior: in dimension four, spaces can be continuously equivalent yet not smoothly equivalent, producing infinite families of objects that cannot be smoothed into one another. This distinction marks the first truly novel behavior in 4D, and the central open questions revolve around discovering new examples of such exotic structures. The speaker personally champions the constructive approach—if a hypothetical object exists, mathematicians should aim to build a tangible example of it.

• ▶ 0:01 In dimension four, intuition completely fails; mathematicians must ignore guessing and proceed directly from axioms, definitions, and theorems.
• ▶ 1:06 Topology studies abstract spaces, but the practical focus is on manifolds—spaces that look flat when zoomed in closely, like a circle, a sphere, or our own 3D space.
• ▶ 3:04 A four-dimensional manifold is a space that locally looks like 4D Euclidean space, often visualized by adding time as a new perpendicular direction; four-dimensional topology studies these spaces and their links to physics and data.
• ▶ 4:45 Topologically all directions are symmetric; using time to picture the fourth dimension is only a visualization aid.
• ▶ 6:06 Construct the torus by gluing opposite edges of a square, then construct the 3-torus by gluing opposite faces of a solid box.
• ▶ 8:57 For the 4-torus, represent a four-dimensional box as a time sequence of 3D boxes and glue all opposite faces, including the time ends.
• ▶ 10:26 Four-dimensional topology is special because it sits between low- and high-dimensional behavior, where techniques that work in high dimensions fail and low-dimensional coincidences stop holding.
• ▶ 10:44 In dimension four, continuous equivalence and smooth equivalence begin to differ—unlike lower dimensions, where a circle can be smoothly stretched into an oval without corners.
• ▶ 11:32 In four dimensions, turning one manifold into another may require adding corners that cannot be smoothed away, so spaces can be continuously equivalent but not smoothly equivalent.
• ▶ 11:47 There are infinite families of four-dimensional objects that are continuously equivalent but not smoothly equivalent, making this a key feature of four-dimensional topology.
• ▶ 11:51 A key distinction in 4D topology is that objects can be equivalent in one sense but not smoothly equivalent—this is described as the first really different behavior in 4D.
• ▶ 12:03 The big open questions center on discovering new examples of weird behavior, specifically asking whether a mathematical object with a given property exists.
• ▶ 12:18 If the answer is yes, researchers often try to construct a specific, tangible example; the speaker personally favors this constructive direction in four-dimensional topology.

• ▶ 0:01 Four-Dimensional Topology and Manifolds (0:01 - 4:45) - - Defines manifolds in dimensions one through four and explains why dimension four defies intuition.
• ▶ 4:45 Constructing Tori by Analogy (4:45 - 10:26) - - Builds the circle, torus, 3-torus, and 4-torus by repeatedly gluing and identifying boxes.
• ▶ 10:26 Why Four-Dimensional Topology Is Special (10:26 - 11:56) - - Contrasts smooth and continuous equivalence to reveal 4D’s unique behavior.
• ▶ 11:56 Open Questions and Building Examples (11:56 - 12:28) - - Highlights the resulting open problems and ways to construct examples in 4D.