Seifert surface

Seifert surface
Accelerometer · CC BY-SA 3.0 · source
Name	Seifert surface
Field	Topology
Introduced	1930s
Named after	Herbert Seifert

Seifert surface

A Seifert surface is a connected, orientable surface embedded in the three-sphere or in Euclidean three-space whose boundary is a given knot or link. Invented as part of classical knot theory, the concept connects constructions by Jakob Nielsen, Herbert Seifert, and developments used by Max Dehn, Reidemeister, and later by William Thurston and Vaughan Jones. Seifert surfaces provide geometric representatives for algebraic and combinatorial knot invariants studied by John Milnor, Gordon James, and contributors to the Jones polynomial and Alexander polynomial literature.

Definition and basic properties

A Seifert surface for a knot or link L is a compact, connected, orientable surface S embedded in S^3 or R^3 with ∂S = L. The existence result proved by Herbert Seifert constructs S from an oriented diagram; this existence was influential for subsequent work by Emil Artin, Kurt Reidemeister, Horst Schubert, and Ralph Fox. Basic properties include orientability, connectedness, and behavior under ambient isotopy studied by J. H. Conway, John Conway, and Gordon Luecke. Seifert surfaces give rise to algebraic structures such as the Seifert pairing used by C. T. C. Wall, Milnor, and V. Turaev in investigations of signature and concordance.

Construction methods

Standard constructions begin with the Seifert algorithm applied to a knot diagram introduced by Herbert Seifert and further analyzed by Hassler Whitney and Ralph Fox. Other methods include plumbing and Murasugi sums developed in work of Kunio Murasugi, Neumann, and Gordon Litherland, and band surgery techniques used by John Stallings and Peter Ozsváth. Topological operations such as connected sum and boundary connected sum relate to constructions in papers by William Thurston, David Gabai, and Gabai's foliations work. Algorithmic approaches appear in computational studies by J. Hoste, Morwen Thistlethwaite, and Jeff Weeks.

Examples and classifications

Classical examples include Seifert surfaces for the unknot (a disk), the trefoil and figure-eight knots (punctured tori), and for torus knots studied by Max Dehn and Emil Artin. Satellite operations and composite knots produce composite Seifert surfaces considered by Horst Schubert and Kronheimer-Mrowka. Fibered knots such as the trefoil and figure-eight are associated to surfaces studied in monodromy papers by William Thurston and John Stallings. Alternating knots and special classes treated by Murasugi and Thistlethwaite admit canonical minimal genus surfaces; exceptional knots studied by Knot tables compilers like Alexander Stoimenow and Jim Hoste illustrate classification phenomena.

Orientability, genus, and invariants

Orientability is required by the definition; the minimal genus among all Seifert surfaces for a knot defines the knot genus examined by Ralph Fox, Milnor, and Gabai. The Seifert matrix and the associated Alexander polynomial connect Seifert surfaces to algebraic invariants studied by J. W. Alexander and John Milnor. Signatures, nullities, and Levine–Tristram invariants relate Seifert pairings to concordance work by Jerome Levine and Andrew Casson with S. Akbulut. Heegaard Floer and monopole invariants from Peter Ozsváth, Zoltán Szabó, Kronheimer, and Mrowka use Seifert surfaces to bound genus and detect fiberedness; spectral sequences and homologies studied by Khovanov and Mikhail Khovanov further connect to surface data.

Applications in knot theory and 3-manifold topology

Seifert surfaces play roles in detecting knot genus, fiberedness, and slice properties central to work by Randy Kirby, S. K. Donaldson, and Ronald Stern. Constructing incompressible surfaces in knot complements, as in studies by Haken and Waldhausen, uses Seifert surfaces to analyze JSJ decompositions developed by William Jaco and Peter Shalen. Surgery descriptions of three-manifolds by Rolfsen and Lickorish employ Seifert surfaces to understand cobordism and concordance studied by Michael Freedman and Kronheimer-Mrowka in four-manifold contexts. Seifert surfaces also appear in the study of contact structures by Yakov Eliashberg and Ko Honda.

Relationship to Seifert algorithm and surfaces of minimal genus

The Seifert algorithm produces a canonical Seifert surface from an oriented diagram; its output may or may not realize minimal genus explored by Gabai's sutured manifold theory and by genus bounds from Heegaard Floer homology by Ozsváth–Szabó. Techniques such as Murasugi sums and plumbing, analyzed by Murasugi and Stallings, can reduce or preserve genus; counterexamples where the algorithm fails to give minimal genus motivated work by Thurston and Gabai. Modern computational and homological methods by Juhász, Ozsváth, Szabó, and Kronheimer help certify minimality and detect fiberedness through monodromy and Floer theoretic invariants.

Category:Knot theory