Torus bundle over S^1

Torus bundle over S^1
Name	Torus bundle over S^1
Field	Topology
Related	Mapping torus, Monodromy

Torus bundle over S^1

A torus bundle over S^1 is a closed three-manifold obtained as the mapping torus of a homeomorphism of the two-dimensional torus. These three-manifolds appear in the study of Thurston, William Thurston, Geometrization Conjecture, William P. Thurston, Thurston norm, and in connections with Alexander polynomial, Nielsen–Thurston classification, JSJ decomposition, Haken manifold, Seifert fiber space and Fibred knot theory.

Definition and basic examples

A torus bundle over S^1 is defined by taking the product torus T^2 × [0,1] and gluing T^2 × {0} to T^2 × {1} by a homeomorphism f: T^2 → T^2; the resulting manifold is the mapping torus M_f. Classical examples include the three-dimensional 3-torus obtained when f is the identity, the Nil geometry example arising from a Dehn twist as in Heisenberg group quotients, and Solv manifolds produced by hyperbolic automorphisms of H_1(T^2) associated to matrices in SL(2,Z). Other well-known cases arise in constructions related to Lens space surgeries, Dehn filling on link complements such as the Whitehead link, and bundles appearing in Haken manifold hierarchies studied by Waldhausen.

Classification and monodromy

Classification reduces to conjugacy classes of elements of GL(2,Z) and SL(2,Z) describing the induced action on π_1(T^2) ≅ Z^2. The Nielsen–Thurston trichotomy for surface homeomorphisms specializes: periodic monodromy gives manifolds covered by the 3-torus and related to Seifert fiber spaces; reducible monodromy corresponds to manifolds admitting JSJ pieces with Sol or Euclidean geometries; pseudo-Anosov monodromy yields manifolds that often carry Hyperbolic geometry or fit into Hyperbolization Theorem contexts. Conjugacy invariants such as trace, eigenvalues, and the characteristic polynomial in Z[x] classify linear representatives; arithmetic invariants connect to Perron–Frobenius theory and Salem numbers in the hyperbolic case. The role of Mapping class group of the torus, identified with SL(2,Z), is central to the classification and to connections with Modular group actions and Farey tessellation combinatorics.

Geometry and topology (including Thurston types)

Torus bundles realize three of Thurston's eight geometries: the Euclidean E^3 geometry for the 3-torus and finite order monodromy, the Nil geometry for certain unipotent monodromies related to Heisenberg group lattices, and the Sol geometry for hyperbolic monodromies with eigenvalues off the unit circle associated to Anosov diffeomorphisms studied by Anosov. In many pseudo-Anosov cases, torus bundles appear as exceptional pieces in JSJ decomposition and as examples considered in the proofs by Perelman of the Poincaré conjecture and the Geometrization Conjecture. Topologically, torus bundles can be prime, irreducible, or Seifert fibered depending on monodromy; connections arise to Casson invariant, Heegaard splitting theory, and to invariants from gauge theory such as Donaldson invariants and Seiberg–Witten invariants in related 4-manifold constructions.

Homology and fundamental group

The fundamental group π_1(M_f) fits into a semidirect product Z^2 ⋊_φ Z determined by the induced map φ ∈ GL(2,Z) on π_1(T^2). Homology groups H_1(M_f;Z) and H_2(M_f;Z) compute from the mapping torus long exact sequence and relate to the cokernel and kernel of φ − I on Z^2; Alexander-type polynomials and torsion invariants such as Reidemeister torsion and Alexander polynomial carry information about the monodromy. Examples link to Solvable group structures, Nilpotent group examples, and to arithmetic groups through representations into SL(2,C), PSL(2,C), and GL(n,Z). The interaction of homology with fibrations ties to fibered faces of the Thurston norm ball and to the study of Floer homology in fibered three-manifolds.

Fibered structures and fibrations

As mapping tori, torus bundles are prototypical fibered three-manifolds with fiber T^2 and base S^1. The fibration is determined up to isotopy by the conjugacy class of the monodromy in the Mapping class group of T^2, and multiple fibrations can exist when the manifold admits different torus bundle structures related by automorphisms of π_1 or by Dehn surgery constructions on fibered links such as Fibered knot surgeries. The theory connects to Thurston norm fibered faces, to Monodromy eigenvalue dynamics studied by Smale and Anosov, and to fibrations arising in the study of surface bundles over the circle in the work of Fried and McMullen.

Connections to 3-manifold theory and applications

Torus bundles serve as test cases and building blocks in 3-manifold theory, influencing developments in JSJ decomposition, Hyperbolic Dehn surgery theorem, and in algorithmic problems addressed by Haken and Jaco–Shalen–Johannson. They appear in examples and counterexamples in the study of virtual properties such as the Virtual Haken Conjecture and the Virtual fibering conjecture proved by Agol, and connect to arithmetic topology through links with Bianchi groups, Modular group actions, and to dynamics via Anosov flows and Pseudo-Anosov monodromy. Applications extend to theoretical physics in Chern–Simons theory, to knot theory via mapping tori of fibered knots like Figure-eight knot complements, and to the study of foliations and contact structures developed by Eliashberg and Giroux.

Category:3-manifolds