Seifert Surfaces and Genus - Core Definitions

Seifert surfaces provide a crucial bridge between one-dimensional knots and two-dimensional topology, enabling powerful algebraic and geometric techniques.

Definition

A Seifert surface for a knot $K \subset S^3$ is a compact, connected, orientable surface $F$ embedded in $S^3$ with boundary $\partial F = K$ .

The genus $g(K)$ of a knot is the minimum genus among all Seifert surfaces for $K$ : $g(K) = \min\{g(F) : F \text{ is a Seifert surface for } K\}$

where the genus $g(F)$ is the number of handles: $F$ is homeomorphic to a sphere with $g$ handles attached.

Every knot admits a Seifert surface (proven by Seifert's algorithm), but finding minimal genus surfaces is generally difficult. The genus measures "complexity" differently than crossing number, providing complementary topological information.

Definition

Seifert's Algorithm constructs a Seifert surface from any oriented knot diagram $D$ :

Smooth all crossings following orientation: replace each crossing with two arcs that don't cross
Identify Seifert circles: the smoothed diagram consists of $s$ disjoint circles
Span disks: each Seifert circle bounds a disk in $\mathbb{R}^3$
Attach bands: at each original crossing, attach a half-twisted band connecting the appropriate disks
Result: a connected oriented surface $F$ with $\partial F = K$

The genus satisfies: $g(F) = \frac{1}{2}(c(D) - s(D) + 1)$ where $c(D)$ is crossings and $s(D)$ is Seifert circles.

Example

Trefoil knot $3_1$ :

Standard 3-crossing diagram has $s = 2$ Seifert circles
Seifert's algorithm gives $g(F) = \frac{1}{2}(3 - 2 + 1) = 1$
This is minimal: $g(3_1) = 1$

Unknot:

Any diagram has Seifert surface of genus 0 (a disk)
$g(\text{unknot}) = 0$ characterizes it among knots

Figure-eight $4_1$ :

Standard 4-crossing diagram: $s = 3$ circles
Seifert algorithm: $g(F) = \frac{1}{2}(4 - 3 + 1) = 1$
Minimal: $g(4_1) = 1$

Remark

Seifert's algorithm doesn't always produce minimal genus surfaces. For some diagrams, the computed surface has higher genus than $g(K)$ . However, for alternating knots, Seifert's algorithm on a reduced alternating diagram often yields minimal genus.

Computing $g(K)$ exactly is algorithmically difficult (NP-hard in general), though bounds exist from Alexander polynomial: $\deg(\Delta_K) \leq 2g(K)$ .

Definition

The Seifert matrix $V = (v_{ij})$ of a Seifert surface $F$ with genus $g$ encodes linking information:

Choose basis $\{\alpha_1, \ldots, \alpha_{2g}\}$ for $H_1(F; \mathbb{Z})$
Push each $\alpha_i$ slightly off $F$ in positive normal direction: $\alpha_i^+$
Define $v_{ij} = \text{lk}(\alpha_i, \alpha_j^+)$ (linking number in $S^3$ )

The Seifert matrix is a $2g \times 2g$ integer matrix encoding the surface's self-linking properties.

From $V$ , compute fundamental invariants:

Alexander polynomial: $\Delta_K(t) = \det(tV - V^T)$
Signature: $\sigma(K) = \text{signature}(V + V^T)$
Determinant: $\det(K) = |\det(V + V^T)|$

These algebraic invariants derived from Seifert surfaces provide powerful tools for distinguishing knots and proving theoretical results about knot properties.