Misplaced Pages

Torus bundle

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (June 2015) (Learn how and when to remove this message)

A torus bundle, in the sub-field of geometric topology in mathematics, is a kind of surface bundle over the circle, which in turn is a class of three-manifolds.

Construction

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

  • taking the Cartesian product of T {\displaystyle T} and the unit interval and
  • gluing one component of the boundary of the resulting manifold to the other boundary component via the map f {\displaystyle f} .

Then M ( f ) {\displaystyle M(f)} is the torus bundle with monodromy f {\displaystyle f} .

Examples

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

Seeing the possible kinds of torus bundles in more detail requires an understanding of William Thurston's geometrization program. Briefly, if f {\displaystyle f} is finite order, then the manifold M ( f ) {\displaystyle M(f)} has Euclidean geometry. If f {\displaystyle f} is a power of a Dehn twist then M ( f ) {\displaystyle M(f)} has Nil geometry. Finally, if f {\displaystyle 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 {\displaystyle f} on the homology of the torus: either less than two, equal to two, or greater than two.

References

Categories: