The Topology Forge

Geometry is measured in a small neighbourhood; topology is discovered only after following paths far enough to encounter how the space reconnects. Choose a cover that is flat, positively curved, or negatively curved, then identify its boundaries — straight, twisted, antipodal, or hyperbolic — and the quotient is built and transported live from the identification you selected.

Gauss 1827 · Klein 1882 · Hantzsche & Wendt 1935 · Thurston 1997 · Lachièze-Rey & Luminet 1995 · Planck 2018 VI
MODEL CLASS  EXACT QUOTIENT CONSTRUCTION  the drawn surfaces are 2-D teaching embeddings
cover X̃ · live
K = 0
curvature · live
ℤ × ℤ
π₁(Σ) · live
finite
extent · live
preserved
orientability · live
construction state · live
Building the manifold
Stage 1 of 5 · Local metric

Begin with the cover

Observer sky · same galaxy5 arrivals
Different wrapped geodesics deliver light from one physical source.
Fundamental domain
Coloured arrows show which edges become the same place.
Representation boundary
0%
Entry XXXII · curvature is measured nearby, connectedness only far away

One local metric. Many possible universes.

Einstein's equations constrain curvature and evolution. They do not select the global identifications. A flat measurement can therefore describe an infinite Euclidean universe or a compact space whose opposite faces reconnect — and the forge above builds that second kind, one identification at a time.

01 · Cover

Choose the local geometry

The simply connected cover X̃ is spherical, Euclidean, or hyperbolic. Nearby geodesics reveal the sign of curvature before topology enters the experiment at all.

02 · Group

Specify the identifications

A symmetry group Γ pairs boundary points. Translation preserves handedness; a reflection reverses it; rotations and screw motions generate further quotient spaces.

03 · Quotient

Read the observable meaning

The quotient Σ = X̃/Γ can be finite without having an edge. Light may return, objects may appear more than once, and the microwave sky may contain matched circles.

Where this is honest, and where it is illustrative

Representation contract · this entry is a MODEL with ILLUSTRATIVE embeddings

The quotient construction, the identification groups and the wrapped geodesic routes are computed exactly. The surfaces you orbit are teaching embeddings, and the difference matters:

Two-dimensional analogues

The animated surfaces are 2-D manifolds embedded in ordinary 3-D graphics. Cosmological space is three-dimensional; a flat 3-torus is made by identifying opposite faces of a cube and cannot be viewed from a literal external room.

construction exact · embedding illustrative
The bending you see is the drawing

A flat torus has no isometric embedding in R³, so the donut stretches distances — the outer equator is drawn longer than the inner one. Intrinsic curvature stays exactly zero through the entire fold; only connectivity changes.

curvature 0 · shape distorted
Every luminous route is a geodesic

Each glowing path is locally straight in the space even when the embedding makes it look curved. Repeated images arrive along different wrapped geodesics from one physical source.

geodesics computed
Ghosts are topology, not lensing

Topological ghost images come from wraparound paths. Gravitational lensing by matter is a separate mechanism that also bends and multiplies light, and it is not modelled here.

wraparound only · no lensing

References

  • Thurston, W. P. 1997Three-Dimensional Geometry and Topology, Princeton University Press: covers, quotients and the eight geometries
  • Lachièze-Rey, M., Luminet, J.-P. 1995, Phys. Rep. 254, 135 — cosmic topology, the foundational review — arXiv:gr-qc/9605010
  • Cornish, N., Spergel, D., Starkman, G. 1998, CQG 15, 2657 — circles in the sky: the matched-circle test — arXiv:astro-ph/9801212
  • Planck Collaboration 2020, A&A 641, A6 — 2018 VI: Ω_k = 0.0007 ± 0.0019 with BAO — arXiv:1807.06209
  • Hantzsche, W., Wendt, H. 1935, Math. Ann. 110 — classification of the ten closed flat 3-manifolds
  • Weeks, J. 2020The Shape of Space, 3rd ed.: the gluing intuition this forge animates