Mapping torus
In-game article clicks load inline without leaving the challenge.
In mathematics, specifically in topology, the mapping torus of a homeomorphism f of some topological space X to itself is a particular geometric construction with f. Take the cartesian product of X with a closed interval I, and glue the boundary components together by the static homeomorphism:
M f = ( I × X ) ( 1 , x ) ∼ ( 0 , f ( x ) ) {\displaystyle M_{f}={\frac {(I\times X)}{(1,x)\sim (0,f(x))}}}
The result is a fiber bundle whose base is a circle and whose fiber is the original space X.
If X is a manifold, Mf will be a manifold of dimension one higher, and it is said to "fiber over the circle".
As a simple example, let X {\displaystyle X} be the circle, and f {\displaystyle f} be the inversion e i x ↦ e − i x {\displaystyle e^{ix}\mapsto e^{-ix}}, then the mapping torus is the Klein bottle.
Mapping tori of surface homeomorphisms play a key role in the theory of 3-manifolds and have been intensely studied. If S is a closed surface of genus g≥2 and if f is a self-homeomorphism of S, the mapping torus Mf is a closed 3-manifold that fibers over the circle with fiber S. A deep result of Thurston states that in this case the 3-manifold Mf is hyperbolic if and only if f is a pseudo-Anosov homeomorphism of S.