3-torus

3-torus
Jeff Weeks · GPL · source
Name	3-torus
Type	Compact 3-manifold
Properties	Closed, orientable, aspherical

3-torus The 3-torus is a compact, orientable 3-manifold obtained by identifying opposite faces of a cube, and it serves as a primary example in low-dimensional topology, geometric topology, and cosmology. It is studied alongside manifolds such as the 2-sphere, 2-torus, 3-sphere, and real projective space in the work of researchers at institutions like the Clay Mathematics Institute, Princeton University, and the Institut des Hautes Études Scientifiques. Constructions and properties of the 3-torus appear in foundational texts associated with the work of William Thurston, John Milnor, Michael Atiyah, and Simon Donaldson, and are applied in models discussed by Stephen Hawking, Roger Penrose, and Carl Sagan.

Definition and construction

The standard construction identifies opposite faces of a unit cube in Euclidean space in the manner used by René Descartes in Cartesian coordinate development, and later formalized in the language of manifolds by Henri Poincaré and James Clerk Maxwell. One obtains the manifold by quotienting Euclidean space by a lattice generated by three independent translations, a technique prominent in the work of Hermann Minkowski and David Hilbert. Alternative descriptions arise from surgery operations akin to those used by John Stallings and Andrew Casson, and from torus bundles considered by William Thurston and Dennis Sullivan. Related constructions involve mapping tori studied by Nikolai Bogoliubov and Vladimir Arnold and product constructions similar to those invoked by Emmy Noether and Élie Cartan.

Topological properties

Topologically the manifold is a closed, orientable 3-manifold with trivial boundary, comparable in classification discussions by Poincaré and Alexander. It is aspherical, so analogies are drawn with Eilenberg–MacLane spaces analyzed by Samuel Eilenberg and Saunders Mac Lane, and appears in rigidity contexts explored by Grigory Margulis and George Mostow. The manifold admits a decomposition considered in JSJ theory developed by William Jaco, Peter Shalen, and Klaus Johannson, and contrasts with nontrivial prime decompositions studied by John Hempel and Andrew Casson. Studies by Michael Freedman and Robion Kirby on 4-manifolds sometimes reference product 3-manifolds like the torus in cobordism settings influenced by René Thom and Friedrich Hirzebruch.

Geometric structures and metrics

Geometrically the manifold carries a flat Riemannian metric discovered in the work of Bernhard Riemann and popularized in the study of Euclidean space by Euclid and David Hilbert. Its geometry fits into William Thurston's eight geometries classification alongside hyperbolic space considered by Thurston and William Goldman and spherical geometry investigated by Carl Friedrich Gauss and Ferdinand Georg Frobenius. Flat metrics on this manifold relate to affine structures studied by Élie Cartan and Marcel Berger and to crystallographic groups formalized by Evgeny I. S. Fedorov and Nikolai Konstantinovich Kolmogorov. Scalar curvature, Ricci flow, and related metrics are analyzed with techniques advanced by Richard Hamilton and Grigori Perelman and in curvature studies by Marcel Berger and Mikhail Gromov.

Fundamental group and covering spaces

The fundamental group is isomorphic to Z^3, reflecting abelian groups studied by Niels Henrik Abel and Emmy Noether, and connects to group cohomology treated by Jean-Pierre Serre and Kenneth Brown. Covering space theory here is classical, with universal cover Euclidean space discussed in texts by H. S. M. Coxeter and J. A. Todd; deck transformation groups mirror lattices in the work of Hermann Weyl and André Weil. The manifold serves as an example in the study of growth of groups by Milnor and Gromov and in discussions of virtual properties explored by Ian Agol and Daniel Wise. Relations to crystallography are seen in the work of William Bragg and Linus Pauling.

Homology, cohomology, and invariants

Homology and cohomology groups are straightforward, matching computations used by Henri Poincaré in his development of homology and later by J. H. C. Whitehead, giving H0 ≅ Z, H1 ≅ Z^3, H2 ≅ Z^3, H3 ≅ Z. Cup and cap products follow classical algebraic topology techniques popularized by Edwin Spanier and J. W. Milnor, and characteristic classes interacting with these invariants invoke work by Raoul Bott and Michael Atiyah. Torsion invariants, Reidemeister torsion, and analytic torsion are compared in studies by John Milnor, Klaus T. M. Schmidt, and Ray Singer; index theorems of Atiyah–Singer contextualize analytic aspects, while L2-invariants and Novikov conjecture connections reference the research of Mikhail Gromov and Shmuel Weinberger.

Embeddings and immersions

Embedding theory places the manifold into Euclidean spaces using results from Hassler Whitney and Stephen Smale; it embeds smoothly in R^4 and immerses in R^3 with self-intersections echoing singularity studies by René Thom and Vladimir Arnold. Studies of knotted tori reference work by Ralph Fox and Cameron Gordon, and the manifold features in link complements examined by William Thurston and D. Rolfsen. Isotopy and concordance results relate to the work of Paul Cromwell and Daniel Ruberman, while geometric measure theory approaches invoke Herbert Federer and Wendell Fleming.

Applications and appearances in physics and cosmology

In cosmology the manifold appears as a candidate for spatial topology in models discussed by Albert Einstein, Alexander Friedmann, Georges Lemaître, and Stephen Hawking, and in cosmic topology surveys by Jean-Pierre Luminet and J. Richard Gott. It is used in discussions of compactification in string theory influenced by Edward Witten and Michael Green, and in toroidal compactifications in the work of Gabriele Veneziano and Cumrun Vafa. In condensed matter the manifold informs periodic boundary conditions in simulations by John Bardeen and Walter Kohn and in band theory linked to Felix Bloch and Lev Landau. Quantum field theory and path integral treatments reference topological sectors studied by Gerard 't Hooft and Sidney Coleman, and the manifold is invoked in thermodynamic ensembles and lattice gauge theory explored by Kenneth Wilson and Michael Creutz.

Category:3-manifolds