The animation lets us see familiar changes in shape. Mathematics gives precise meaning to less visible aspects of those changes: how distances are measured along a surface, how paths connect, and which properties survive the transformation.
A surface carries more than its appearance. It carries a rule for distance, a pattern of curvature, and a structure of paths that can or cannot be contracted. These are different kinds of mathematical information. Each permits some transformations and forbids others.
The catenoid, helicoid, annulus and torus make those distinctions tangible. A transformation can preserve every length measured along a patch while changing its shape in space. A joining can create a new class of loops without adding area. And curvature can impose a constraint that no amount of smooth bending can overcome.
Metric·Curvature·Identification·Invariants
THE MATHEMATICAL STRUCTURE
Different transformations.
Different promises.
An invariant is a property preserved by a specified class of transformations. To ask what survives, we first need to say which changes are allowed.
What each part of the construction preserves| Transformation | Mathematical constraint | What survives |
|---|
| Initial separation | A cut removes the circumferential identification; changing angular coverage changes the metric of the displayed patch. | Minimality
H = 0 |
|---|
| Associate family | On the fixed cut-open domain, the catenoid–helicoid transformation is an isometric deformation. | Lengths, angles,
area and K |
|---|
| Sweep and rounding | The artistic continuation allows stretching; the intended disk or annulus topology persists between joins. | Topological type
between joins |
|---|
| Seam identification | Matching boundary points become a single point in a quotient space. | Topology changes |
|---|
The ideal topological sequence is compact. Here S1 is a circle, I = [0, 1] an interval, and D2 a disk:
The annulus is S¹ × I; the torus surface is T² = S¹ × S¹. These classifications treat matching seam points as identified. The animation represents those identifications by coincident edges; the underlying rectangular mesh retains separate vertices.
01 · INTRINSIC GEOMETRY
Distance can outlast shape.
The metric determines lengths along a surface. For the catenoid and helicoid patches used here, direct differentiation gives the same expression in the coordinates u and v:
The factor cosh² v tells us how coordinate increments become actual distances. There is no mixed du dv term: the coordinate directions are perpendicular. Their equal coefficients mean the coordinates preserve angles, although their scale varies across the patch.
Let C and S be the two parameterizations. Their special relationship makes the entire associate family share this metric:
On the fixed domain, corresponding curves retain their lengths, regions retain their areas, and angles remain unchanged. Intrinsic shortest-path distances are preserved too. Geodesics—paths that are locally straight according to the surface metric—correspond throughout the deformation, even though their shapes as curves in three-dimensional space can change.
The preservation is exact for the mathematical family, not a consequence of the animation’s smoothness. It begins after the angular coverage has settled. During the opening reveal, that coverage varies, so the fixed mesh coordinates do not yet carry a constant metric.
A metric tells us which measurements a changing surface is obliged to remember.
02 · A GLOBAL OBSTRUCTION
Why the seam matters.
The same local metric does not guarantee the same global surface. On the catenoid, increasing u by 2π returns to the same point. On the helicoid it returns to the same horizontal position at a different height.
The formulas reveal the obstruction directly. In this coordinate system the second component is height, and the associate family satisfies:
For 0 < θ ≤ π/2, the displacement is nonzero. The formula therefore cannot assign a single position to a point whose two labels u and u + 2π are still identified. Cutting the catenoid releases that periodic condition and gives the family a domain on which it is well-defined.
This is a period obstruction: local compatibility succeeds, but a trip around a global loop fails to close. The seam is where that difference becomes visible. The complete catenoid and complete helicoid are locally isometric, but they are not globally isometric; the former has a noncontractible circumferential loop, while the latter is simply connected.
03 · MINIMALITY
Zero mean curvature.
Nonzero curvature.
The family preserves more than its metric. Its two principal curvatures, κ₁ and κ₂, balance at every point:
Zero mean curvature, H, makes area stationary under smooth variations fixing the boundary. Stationary is a first-order condition: it does not by itself establish stability or the least possible area.
For these normalized parameterizations, Gaussian curvature is:
Thus κ₁ and κ₂ have opposite signs and magnitude sech² v, where sech v = 1/cosh v. The surface is saddle-shaped at every point, even though its average normal bending vanishes. Along the family, these curvature values persist at corresponding points while the directions of principal bending change.
Minimality also sets a limit on the whole journey. A smooth compact surface without boundary in Euclidean three-space cannot have H = 0 everywhere: its coordinate functions would be harmonic on a compact surface and hence constant. Reaching the closed torus therefore requires leaving the minimal-surface family.
04 · IDENTIFICATION
Joining changes the space.
Before a seam is joined, its two edges contain distinct points. Identification declares each matching pair to be one point, producing a quotient space. Mere contact in three-dimensional space does not specify that construction; the pairing is part of the mathematics.
With the pairings used here, a disk-like patch becomes an annulus, and an annulus becomes a torus. An untwisted pairing is essential. A rectangle whose opposite edges are paired with a half-twist instead produces a Möbius strip; a reversed pairing of an annulus’s boundary circles can produce a Klein bottle. Gluing instructions determine orientability as well as connectivity.
The location of every point can vary continuously as a seam closes, while the resulting spaces change topological type. At the join, distinct boundary points acquire the same image. That map is no longer one-to-one, so it cannot be a homeomorphism—a continuous correspondence with a continuous inverse.
Continuity of motion does not guarantee continuity of topological type.
Reversing the geometric motion separates those coincident edges again. Reversing an actual identification requires a cut: the quotient construction has discarded the distinction between the paired points.
05 · CURVATURE CONSTRAINTS
What bending cannot do.
Gauss’s Theorema Egregium makes Gaussian curvature intrinsic: it is determined by the metric. An isometric deformation can change how a surface sits in space, but it cannot change K at corresponding points.
This separates two apparently similar movements. A flat sheet can bend into a cylindrical patch with K = 0 throughout. It cannot become a patch with nonzero Gaussian curvature by smooth bending alone. The planar annulus in the film has K = 0; the rounded torus has positive K on its outside and negative K on its inside. The later rounding must therefore change the metric.
There is also a global constraint. On a smooth closed surface, Gauss–Bonnet relates curvature to Euler characteristic, χ:
For the torus, χ = 0. Its signed curvature integrates to zero, even when the surface is smoothly distorted. This fixes an integral, not a pointwise distribution: the positive and negative contributions can move and change in size while their totals cancel.
For surfaces with boundary, Gauss–Bonnet includes boundary geodesic curvature; piecewise smooth boundaries also contribute corner turning angles. The closed-surface formula applies to the completed torus, not directly to the earlier open patches.
06 · TOPOLOGICAL INVARIANTS
One number is not enough.
Topology records the paths and regions that survive continuous reversible deformation. Three useful measurements here are the number of boundary components, the number of independent one-dimensional cycles β₁, and the Euler characteristic χ.
Invariants of the ideal compact surfaces, with seams identified as indicated| Surface type | Boundary components | β₁ | β₂ | χ |
|---|
| Disk-like patch | 1 | 0 | 0 | 1 |
|---|
| Annulus / catenoid segment | 2 | 1 | 0 | 0 |
|---|
| Torus surface | 0 | 2 | 1 | 0 |
|---|
The Betti numbers β₁ and β₂ are ranks of homology groups, counting independent cycles in dimensions one and two. All these surfaces are connected, so β₀ = 1 and χ = β₀ − β₁ + β₂. A boundary component is one continuous closed curve, even when it has corners.
The annulus and torus both have χ = 0, but for different reasons. For the annulus, 1 − 1 = 0. For the torus, 1 − 2 + 1 = 0: the second loop generator is accompanied by a two-dimensional cycle, the whole oriented closed surface. Euler characteristic compresses information and can hide that difference.
For a connected compact orientable surface, genus g and boundary count b determine the topological type:
The disk has (g, b) = (0, 1), the annulus (0, 2), and the torus (1, 0). Connectedness, orientability and dimension are shared throughout the intended sequence; these additional invariants locate the changes that a shared appearance—or a shared χ—cannot distinguish.
07 · WINDING AND PATHS
Two integers remember a loop.
On the torus, choose one loop around the main ring and another around the tube. Every closed path has a pair of integer winding numbers (m, n). They count its net turns in those two directions, and determine its homotopy class: paths with the same pair can be continuously deformed into one another on the surface.
These classes form the fundamental group π₁(T²) = ℤ × ℤ. Traversing loops in succession adds their pairs. A loop contracts to a point exactly when its pair is (0, 0). For the annulus, one integer suffices; for the disk, every loop contracts.
The integers do not determine a path’s length or its shortest representative. Those require the metric. Even the product notation T² = S¹ × S¹ specifies a topological structure without requiring the flat product metric: the familiar rounded torus carries the varying curvature inherited from its embedding.
The solid torus has a different path structure again. Its meridian—the loop around the tube’s cross section—bounds a disk inside the solid and can contract there. It cannot contract on the boundary surface. Whether a loop can disappear depends on the space in which it is allowed to move.
A shape’s mathematics includes the measurements it preserves, the paths it permits, and the transformations it rules out.
The formulas and the visualization
The associate family uses the fixed domain −2.275 ≤ u ≤ 2.275 and −0.9 ≤ v ≤ 0.9 after separation, with θ from 0 to π/2 and parameterizations
Differentiating these expressions gives |Xu|² = |Xv|² = cosh² v and Xu · Xv = 0 for every θ. These identities establish the shared metric. The area element is dA = cosh² v du dv. Curvature values refer to this normalization; scaling all lengths by a factor λ multiplies area by λ² and Gaussian curvature by λ−2.
During initial separation, the actual map is Xθ(t)(a(t)u, v), where a(t) decreases from 2π/4.55 to 1 while θ(t) increases. At each time its metric in mesh coordinates is cosh² v (a(t)² du² + dv²). Thus minimality persists, but the metric and displayed area change until a(t) settles. The period calculation above concerns the full mathematical parameterization, not an extra turn contained in the final displayed patch.
The later sweep and rounding permit stretching and leave the exact associate family. Seam pairings describe ideal quotient surfaces; the renderer places separate boundary vertices together and blends their shading without welding the mesh. Its fixed triangle count is therefore not the Euler characteristic of the intended joined surface. The smooth-surface statements concern those ideal forms, rather than a physical material model or a guarantee that every artistic intermediate pose is free of self-intersections.
