Thurston norm

Thurston norm
Name	Thurston norm
Introduced	1986
Field	Topology
Founder	William Thurston

Thurston norm The Thurston norm is an invariant of compact, orientable 3-manifolds that assigns a seminorm to second homology classes and dual first cohomology classes, measuring complexity of embedded surfaces. Introduced by William Thurston in the 1980s, it plays a central role in the study of geometric structures, fibered 3-manifolds, and the interaction between knot theory and low-dimensional topology. The norm organizes information about minimal-genus representatives, polyhedral unit balls, and connections to dynamics such as pseudo-Anosov flows and laminations.

Definition

For a compact, orientable 3-manifold M with (possibly empty) boundary, the Thurston seminorm x on H_2(M,∂M;ℝ) is defined by assigning to a homology class the minimal value of Σ max{0, -χ(S_i)} over oriented, properly embedded, norm-minimizing surfaces S = ⨆ S_i representing that class, where χ denotes Euler characteristic. Thurston showed the dual seminorm on H^1(M;ℝ) has a finite-dimensional, convex, polyhedral unit ball with faces corresponding to classes represented by connected surfaces. The definition relates to classical invariants such as the Euler characteristic used by Henri Poincaré in foundational work and builds on techniques from the study of Seifert surfaces for knots like those in Alexander polynomial studies.

Properties

The Thurston seminorm is homogeneous, subadditive, and nonnegative, vanishing precisely on classes represented by unions of spheres and boundary-parallel disks in irreducible manifolds such as S^3 or lens spaces. Its unit ball is a finite convex polyhedron whose top-dimensional open faces correspond to fibered cones if M fibers over the circle; these cones were used by Thurston to relate fibered faces to monodromy pseudo-Anosov maps studied by William Thurston and later by John Nielsen style classifications. For hyperbolic 3-manifolds like the Weeks manifold, the norm interacts with volumes studied in work related to Mostow rigidity and with invariants from Chern–Simons and Reidemeister torsion.

The norm behaves predictably under connected sums and incompressible boundary tori: for example, it is additive under connected sum operations analogous to Kneser–Milnor decomposition results and compatible with maps induced by inclusion for manifolds appearing in Jaco–Shalen–Johannson decomposition pieces such as Seifert fibered spaces studied by Herbert Seifert.

Computation and examples

Computation of the Thurston norm often uses combinatorial and algorithmic methods from normal surface theory as developed by Kneser and Haken, leveraging triangulations used in algorithms of Jaco–Rubinstein and techniques introduced by Matveev. For knot complements in S^3, the Thurston norm equals twice the knot genus minus one for nontrivial knots, linking to computations in knot Floer homology by Peter Ozsváth and Zoltán Szabó. Classic examples include fibered knots such as the trefoil and figure-eight knot where the norm detects fibered classes related to monodromy in mapping class groups studied by Birman and Thurston, William (note: do not link Thurston norm). For graph manifolds arising in Seifert fibered space contexts, computations rely on decomposition into pieces studied by Waldhausen.

Algorithmic approaches use polyhedral methods akin to linear programming and are implemented in software inspired by work from Regina and experimental studies by researchers at institutions like University of Melbourne and Princeton University. Explicit calculations for link complements exploit invariants such as the Alexander polynomial and Mahler measure to bound and determine the norm in many examples.

Relationship with foliations and fibrations

Thurston related his norm to the existence of depth-one foliations and fibrations over the circle: cohomology classes in the interiors of certain top-dimensional faces correspond to fibrations M → S^1 with fiber a surface, bringing in concepts from foliation theory as developed by Dennis Sullivan and Ian Anderson and connections to measured laminations studied by David Gabai and Oertel. The relationship ties fibered faces to monodromy pseudo-Anosov diffeomorphisms classified via the Nielsen–Thurston classification and connects to the existence of taut foliations studied by Gabai and to dynamics of flows such as suspensions of surface homeomorphisms considered in work of Fried.

Applications in 3-manifold topology

The Thurston norm is used to analyze fiberedness of manifolds, to bound Seifert genus of knots and links studied by Seifert, and to inform the structure of the JSJ decomposition in works by Jaco, Shalen, and Johannson. It provides lower bounds for the complexity of surfaces used in proofs of virtual properties such as the Virtual Fibration Conjecture proved by Agol, Ian and feeds into interactions with Heegaard Floer homology by Ozsváth–Szabó and with sutured manifold techniques developed by Gabai. In hyperbolic geometry contexts, the norm complements volume invariants studied by Thurston, William and Brock.

Generalizations and variants

Generalizations include the extension to nonorientable surfaces and to relative norms on manifolds with toroidal boundary components, as well as analogues in higher-dimensional topology inspired by the study of minimal hypersurfaces in contexts related to Schoen–Yau and Gromov's systolic inequalities. Variants connect the Thurston norm to mapping torus invariants, to twisted Alexander polynomials studied by Kitano and Wada, and to L2-torsion invariants explored by Lück. Recent work relates the norm to quantum invariants studied in the context of Witten–Reshetikhin–Turaev theory and to categorical invariants coming from Khovanov homology developed by Mikhail Khovanov.

Category:3-manifold invariants