3-manifold

3-manifold
Jeff Weeks · GPL · source
Name	3-manifold
Category	Topological manifold
Examples	3-sphere, 3-torus, lens spaces, hyperbolic 3-manifolds

3-manifold A three-dimensional manifold is a topological space locally homeomorphic to Euclidean 3-space that plays a central role in modern Mathematics and its interactions with Physics and Computer Science. Key figures such as Henri Poincaré, William Thurston, Grigori Perelman, John Milnor, and William Haken contributed foundational results, while institutions like the Institute for Advanced Study and the Clay Mathematics Institute have supported research directions including the Poincaré conjecture and the Geometrization conjecture. Modern work connects to topics studied by Maxwell, Einstein, Murray Gell-Mann, and researchers at universities like Harvard University, Princeton University, University of Cambridge, Massachusetts Institute of Technology, and University of California, Berkeley.

Definition and basic examples

A three-dimensional topological manifold is defined by local charts modeled on Euclidean space and atlases analogous to those used by Bernhard Riemann and Henri Lebesgue, with examples motivated by classical constructions such as the 3-sphere, the 3-torus, and families of lens spaces introduced in work related to Poincaré and studied by Lickorish and Reidemeister. Simple examples include the product of a surface like the 2-sphere or torus with a circle, and quotients by actions of groups such as SO(3), SU(2), and finite subgroups like the binary icosahedral group, which historically feature in studies by Klein and Hopf. Cutting and gluing operations inspired by Dehn and developed by Jaco and Shalen produce lens spaces and connected sums similar to constructions used in work at the University of Chicago and Columbia University.

Topological and geometric structures

Topology and geometry of three-dimensional spaces intertwine through the influence of Carl Friedrich Gauss’s curvature ideas and Bernhard Riemann’s geometry, later organized by Thurston and formalized via results by Perelman and techniques from Ricci flow initiated by Richard Hamilton. Geometric structures modeled on homogeneous spaces studied by Élie Cartan and Felix Klein appear, with connections to Lie group actions such as those of E(2), Sol and Nil geometries, and uses of tools from Algebraic Topology pioneered by Hatcher and Spanier. Methods from Low-dimensional topology research groups at Rutgers University and University of Texas at Austin employ invariants introduced by Reidemeister, Alexander, Thurston and analytic techniques connected to work by Atiyah and Singer.

Prime decomposition and JSJ decomposition

The prime decomposition theorem, proved in the style of classical work by Kneser and refined by Milnor, splits closed three-manifolds into prime summands related to operations studied by Alexander and Fox. The JSJ decomposition, developed by Jaco, Shalen and Johannson, further decomposes irreducible pieces into atoroidal and Seifert fibered components; these ideas were elaborated at seminars influenced by researchers at Cornell University and University of California, Los Angeles. Techniques draw on incompressible surface theory introduced by Haken and algorithmic approaches influenced by Waldhausen and computational work from SnapPea-associated groups and researchers at Microsoft Research and Brown University.

Fundamental groups and invariants

Fundamental groups of three-dimensional spaces, central to investigations by Poincaré and Dehn, connect to group theory topics explored by Gromov, Serre, and Higman; invariants like homology and cohomology from Eilenberg and Mac Lane are standard, while more refined invariants—such as the Reidemeister torsion studied by Turaev, Ray–Singer analytic torsion influenced by Ray and Singer, the Thurston norm, and Floer-type theories developed by Floer—play decisive roles. Chern–Simons invariants originating in work by S. S. Chern and James Simons enter connections with Quantum Field Theory studied by Witten, and quantum invariants such as Reshetikhin–Turaev and Jones polynomial link three-manifold topology to knot theory researched by Rolfsen and Hoste.

3-manifold geometrization and Thurston’s eight geometries

The geometrization program, proposed by Thurston and completed via Perelman’s proofs of the Ricci flow program initiated by Hamilton, classifies prime irreducible pieces using eight model geometries including hyperbolic geometry as in work by Bolyai and Lobachevsky, Euclidean geometry in the sense of Euclid, and the remaining Thurston geometries S^2×R, H^2×R, Nil, Sol, and \widetilde{SL_2(R)} related to studies by Milnor and Thurston himself. This classification has stimulated research at conferences hosted by the American Mathematical Society and research groups at Institut des Hautes Études Scientifiques and Max Planck Institute for Mathematics.

Important classes and constructions (knot complements, Seifert fibered spaces, hyperbolic manifolds)

Knot complements arising from the work of Tait and knot theorists like Alexander, Jones, and Rolfsen produce rich three-manifolds studied via invariants by Witten and computational tools from SnapPea and SnapPy; Seifert fibered spaces classified by Seifert connect to circle bundles and orbifold theory examined by Thurston and Scott, while hyperbolic manifolds constructed using techniques by Thurston, Weeks and Mostow exhibit rigidity results due to Mostow–Prasad rigidity and have deep links to arithmetic studied by Borel and Margulis. Constructions such as Dehn surgery, developed by Dehn and expanded by Lickorish and Kirby, produce endless families including lens spaces and homology spheres investigated at institutions like MIT and Caltech.

Category:Low-dimensional topology