Seifert surfaces, knot cobordism, and hyperbolic knots
In this module we explore four advanced directions: Seifert surfaces (orientable surfaces bounded by knots), knot genus (the minimal complexity measure), fibered knots (knots whose complements bundle over the circle), and hyperbolic geometry (Thurston's revolutionary geometric classification).
These topics connect knot theory to differential geometry, dynamical systems, 3-manifold topology, and geometric analysis. They represent some of the most beautiful mathematics of the 20th and 21st centuries, including work by Fields Medalists Thurston and Perelman.
A Seifert surface is an orientable surface whose boundary is the knot. Every knot bounds such a surface. The Seifert algorithm provides a constructive method: orient the knot, smooth crossings into Seifert circles, attach disks, and reconnect with twisted bands.
Choose a direction around the trefoil
Smooth all 3 crossings following orientation
Two Seifert circles result from smoothing
Attach a disk to each of the two circles
Add 3 twisted bands at original crossing locations
The Seifert surface of the trefoil is a punctured torus (genus 1).
For a Seifert surface with c Seifert circles and n crossings:
This follows from the Euler characteristic: chi = 2 - 2g = c - n for a surface with one boundary component.
| Knot | Crossings (n) | Circles (c) | Genus (g) |
|---|---|---|---|
| Unknot (0₁) | 0 | 1 | 0 |
| Trefoil (3₁) | 3 | 2 | 1 |
| Figure-Eight (4₁) | 4 | 3 | 1 |
Key insight: Every knot bounds an orientable surface (proved by Seifert, 1934). The genus formula g = (2 + n - c) / 2 relates crossing count and Seifert circles to the surface genus.
The genus g(K) is the minimal genus among all Seifert surfaces spanning the knot. It measures knot complexity: g(K) = 0 if and only if K is the unknot, and genus is additive under connected sum.
The Seifert algorithm always produces a surface, but it might not be minimal!
| Knot | Crossings | Genus | Unknotting # | Type |
|---|---|---|---|---|
| Unknot (0₁) | 0 | 0 | 0 | |
| Trefoil (3₁) | 3 | 1 | 1 | Torus knot |
| Figure-Eight (4₁) | 4 | 1 | 1 | Hyperbolic |
| Cinquefoil (5₁) | 5 | 2 | 2 | Torus knot |
| Three-Twist (5₂) | 5 | 2 | 1 | Twist knot |
| Stevedore (6₁) | 6 | 1 | 1 | Hyperbolic |
Key insight: The genus connects several invariants. The crossing number gives an upper bound g(K) ≤ (c(K)-1)/2, while the Alexander polynomial degree gives a lower bound. Computing exact genus remains difficult in general.
A knot K is fibered if its complement S³ - K can be expressed as a surface bundle over the circle. The fiber surface is automatically a minimal genus Seifert surface, and the monodromy homeomorphism determines the knot completely.
The genus of the fiber surface F
The surface automorphism phi: F to F
Theorem (Stallings, 1962): A knot is fibered if and only if its Alexander polynomial is monic (leading and trailing coefficients are plus or minus 1).
Theorem (Torus Knots): All torus knots T(p,q) are fibered with fiber of genus g = (p-1)(q-1)/2.
Theorem (Fiber vs Genus): If a knot is fibered, the fiber is a minimal genus Seifert surface.
Key insight: Stallings' theorem (1962) gives a purely algebraic characterization: a knot is fibered if and only if its Alexander polynomial is monic. All torus knots are fibered, but not all fibered knots are torus knots.
By Thurston's geometrization theorem, every knot complement admits one of three geometries: spherical, Euclidean, or hyperbolic. Remarkably, most knots are hyperbolic, and the hyperbolic volume serves as a complete invariant.
Satellite knots and unknot
Torus knots and cables
Most knots!
| Knot | Geometry | Hyperbolic Volume |
|---|---|---|
| Unknot (0₁) | Spherical | -- |
| Trefoil (3₁) | Euclidean | -- |
| Figure-Eight (4₁) | Hyperbolic | 2.02988 |
| Cinquefoil (5₁) | Euclidean | -- |
| Three-Twist (5₂) | Hyperbolic | 2.82812 |
| Stevedore (6₁) | Hyperbolic | 3.16396 |
Key insight: The figure-eight knot has the smallest hyperbolic volume of any knot (~2.02988). By Mostow rigidity, the hyperbolic structure is unique -- if two hyperbolic knots share the same volume, they are equivalent.