HOME

TheInfoList



OR:

A torus bundle, in the sub-field of
geometric topology In mathematics, geometric topology is the study of manifolds and Map (mathematics)#Maps as functions, maps between them, particularly embeddings of one manifold into another. History Geometric topology as an area distinct from algebraic topo ...
in
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, 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 be an
orientation Orientation may refer to: Positioning in physical space * Map orientation, the relationship between directions on a map and compass directions * Orientation (housing), the position of a building with respect to the sun, a concept in building des ...
-preserving
homeomorphism In mathematics and more specifically in topology, a homeomorphism ( from Greek roots meaning "similar shape", named by Henri Poincaré), also called topological isomorphism, or bicontinuous function, is a bijective and continuous function ...
of the two-dimensional
torus In geometry, a torus (: tori or toruses) is a surface of revolution generated by revolving a circle in three-dimensional space one full revolution about an axis that is coplanarity, coplanar with the circle. The main types of toruses inclu ...
T to itself. Then the three-manifold M(f) is obtained by * taking the
Cartesian product In mathematics, specifically set theory, the Cartesian product of two sets and , denoted , is the set of all ordered pairs where is an element of and is an element of . In terms of set-builder notation, that is A\times B = \. A table c ...
of T and the
unit interval In mathematics, the unit interval is the closed interval , that is, the set of all real numbers that are greater than or equal to 0 and less than or equal to 1. It is often denoted ' (capital letter ). In addition to its role in real analysi ...
and * gluing one component of the boundary of the resulting manifold to the other boundary component via the map f. Then M(f) is the torus bundle with
monodromy In mathematics, monodromy is the study of how objects from mathematical analysis, algebraic topology, algebraic geometry and differential geometry behave as they "run round" a singularity. As the name implies, the fundamental meaning of ''mono ...
f.


Examples

For example, if f is the identity map (i.e., the map which fixes every point of the torus) then the resulting torus bundle M(f) is the three-torus: the Cartesian product of three
circle A circle is a shape consisting of all point (geometry), points in a plane (mathematics), plane that are at a given distance from a given point, the Centre (geometry), centre. The distance between any point of the circle and the centre is cal ...
s. Seeing the possible kinds of torus bundles in more detail requires an understanding of
William Thurston William Paul Thurston (October 30, 1946August 21, 2012) was an American mathematician. He was a pioneer in the field of low-dimensional topology and was awarded the Fields Medal in 1982 for his contributions to the study of 3-manifolds. Thurst ...
's geometrization program. Briefly, if f is finite order, then the manifold M(f) has
Euclidean geometry Euclidean geometry is a mathematical system attributed to ancient Greek mathematics, Greek mathematician Euclid, which he described in his textbook on geometry, ''Euclid's Elements, Elements''. Euclid's approach consists in assuming a small set ...
. If f is a power of a
Dehn twist In geometric topology In mathematics, geometric topology is the study of manifolds and Map (mathematics)#Maps as functions, maps between them, particularly embeddings of one manifold into another. History Geometric topology as an area dis ...
then M(f) has Nil geometry. Finally, if f is an Anosov map then the resulting three-manifold has
Sol geometry In mathematics, Thurston's geometrization conjecture (now a theorem) states that each of certain three-dimensional topological spaces has a unique geometry, geometric structure that can be associated with it. It is an analogue of the uniformiza ...
. 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.


References

*{{cite book , author=Jeffrey R. Weeks , title=The Shape of Space , url=https://archive.org/details/shapeofspace0000week , url-access=registration , year=2002 , publisher=Marcel Dekker, Inc. , edition=Second , ISBN=978-0824707095 Fiber bundles Geometric topology 3-manifolds