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
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 ...
to itself. Then the three-manifold
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
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
.
Then
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 ...
.
Examples
For example, if
is the identity map (i.e., the map which fixes every point of the torus) then the resulting torus bundle
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
is
finite order, then the manifold
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
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
has
Nil geometry. Finally, if
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
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