[go: up one dir, main page]

Torus bundle

This is an old revision of this page, as edited by Sam nead (talk | contribs) at 03:41, 26 May 2004 (Made torus bundle on first line bold face). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

To obtain a torus bundle: let f be an orientation-preserving homeomorphism of the two-dimensional torus to itself. Then the three-manifold M(f) is obtained by

M(f) is then the torus bundle with monodromy f.

For example, if f is the identity map (i.e., the map which fixes every point of the torus) then the torus bundle M(f) is the three-torus: the Cartesian product of three circles.

To give a bit more detail on the possible kinds of torus bundles requires an understanding of William Thurston's Geometrization program. Briefly, if f is periodic, then the manifold M(f) has Euclidean geometry. If f is a power of a Dehn twist then M(f) has Nil geometry. Finally, if f is an Anosov map then the resulting three-manifold has Sol geometry.

These three cases exactly correspond to the three possibilities for the absolute value of the trace of the action of f on the homology of the torus: either less than two, equal to two, or greater than two.

Anyone seeking more information on this subject, presented in an elementary way, might consult Jeff Weeks' book The Shape of Space.