Math 2.0

Manifolds and cell complexes Definition

Thurston norm

Builds on 3-manifoldOrientabilityEuler characteristicSingular homologySeminorm

Definition

Let MM be a compact orientable 3-manifold. For a compact surface SS with connected components S1,…,SkS_1, \ldots, S_k, set χ−(S)=∑i=1kmax⁡(0,−χ(Si)),\chi_-(S) = \sum_{i=1}^{k} \max(0, -\chi(S_i)), where χ\chi is the Euler characteristic. For a class a∈H2(M,∂M;ℤ)a \in H_2(M, \partial M; \Z) in homology, the Thurston norm of aa is x(a)=min⁡{χ−(S):S a properly embedded oriented surface in M with [S]=a}.x(a) = \min \set{\chi_-(S) : S \text{ a properly embedded oriented surface in } M \text{ with } [S] = a}. The function xx satisfies x(na)=n x(a)x(n a) = n\, x(a) for integers n≥0n \ge 0 and x(a+b)≤x(a)+x(b)x(a + b) \le x(a) + x(b), and it extends uniquely to a continuous seminorm on H2(M,∂M;ℝ)H_2(M, \partial M; \R), also called the Thurston norm.

Remarks

Example: let FF be a closed orientable surface of genus g≥2g \ge 2 and M=F×S1M = F \times S^1. The fiber F×{1}F \times \set{1} represents a class aa with χ−(F)=2g−2\chi_-(F) = 2g - 2, and Thurston showed that fibers of a fibration over the circle minimise χ−\chi_- in their class, so x(a)=2g−2x(a) = 2g - 2.

Non-example of definiteness: in M=S2×S1M = S^2 \times S^1 the class aa of S2×{1}S^2 \times \set{1} is nonzero, but χ−(S2)=0\chi_-(S^2) = 0, so x(a)=0x(a) = 0. So xx is in general only a seminorm, not a norm. It is a norm when no nonzero class is represented by spheres, disks, tori and annuli, for example when MM is hyperbolic.

Reading path

To understand this page from the ground up, read these 6 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. 3-manifold concept
  2. Euler characteristic concept
  3. Orientability concept
  4. Seminorm concept
  5. Singular homology concept
  6. Thurston norm definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Thurston_norm
About this page
TagYBAPZPEDWQ
URIm2://YBAPZPEDWQ
Kinddefinition
WritingW0 stub
MSC57K30, 57K31
DefinesThurston norm
Uses3-manifold, Orientability, Euler characteristic, Singular homology, Seminorm
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.