Thurston norm

In mathematics, the Thurston norm is a function on the second homology group of an oriented 3-manifold introduced by William Thurston, which measures in a natural way the topological complexity of homology classes represented by surfaces.

Definition

Let $M$ be a differential manifold and $c\in H_{2}(M)$ . Then $c$ can be represented by a smooth embedding $S\to M$ where $S$ is a (generally not connected) surface which is compact and without boundary. The Thurston norm of $c$ is then defined to be^[1]

\|c\|_{T}=\min _{S}\sum _{i=1}^{n}\chi _{-}(S_{i})

where the minimum is taken over all embedded surfaces $S=\bigcup _{i}S_{i}$ (the $S_{i}$ being the connected components) representing $c$ as above and $\chi _{-}(F)=\max(0,\chi (F))$ is the absolute value of the Euler characteristic for surfaces which are not spheres (and 0 for spheres).

This function satisfies the following properties:

$\|kc\|_{T}=|k|\cdot \|c\|_{T}$ for $c\in H_{2}(M),k\in \mathbb {Z}$ ;
$\|c_{1}+c_{2}\|_{T}\leq \|c_{1}\|_{T}+\|c_{2}\|_{T}$ for $c_{1},c_{2}\in H_{2}(M)$ .

These properties imply that $\|\cdot \|$ extends to a function on $H_{2}(M,\mathbb {Q} )$ which can then be extended by continuity to a seminorm $\|\cdot \|_{T}$ on $H_{2}(M,\mathbb {R} )$ .^[2] By Poincaré duality one can define the Thurston norm on $H^{1}(M,\mathbb {R} )$ .

When $M$ is compact with boundary the Thurston norm is defined in a similar manner on the relative homology group $H_{2}(M,\partial M,\mathbb {R} )$ and its Poincaré dual $H^{1}(M,\mathbb {R} )$ .

It follows from further work of Gabai^[3] that one can also defined the Thurston norm using only immersed surfaces. This implies that the Thurston norm is also equal to half the Gromov norm on homology.

Topological applications

The Thurston norm was introduced in view of its applications to fibrations and foliations of 3-manifolds.

The unit ball $B$ of the Thurston norm of a 3-manifold $M$ is a polytope with integer vertices. It can be used to describe the structure of the set of fiberings of $M$ over the circle: if $M$ can be written as the mapping torus of a diffeomorphism $f$ of a surface $S$ then the embedding $S\hookrightarrow M$ represents a class in a top-dimensional (or open) face of $B$ : moreover all other integer points on the same face are also fibers in such a fibration.^[4]

Embedded surfaces which minimise the Thurston norm in their homology class are exactly the closed leaves of foliations of $M$ .^[3]

Notes

References

Gabai, David (1983). "Foliations and the topology of 3-manifolds.". J. Differential Geom. 18: 445–503. MR 0723813.
Thurston, William (1986). "A norm for the homology of 3-manifolds". Mem. Amer. Math. Soc. 59 (33): i–vi and 99–130. MR 0823443.

This article is issued from Wikipedia - version of the 7/11/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.