Torus (mathematics)

Torus (mathematics)
WatchduckYou can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck". · CC BY 4.0 · source
Name	Torus
Caption	Standard embedded torus
Dimension	2 (surface), n (higher-dimensional)
Genus	1 (for 2-dimensional torus)

Torus (mathematics) is a fundamental object in Topology, Differential geometry, and Algebraic geometry that appears as a doughnut-shaped surface and as higher-dimensional products of circles. It serves as a basic example in the study of manifolds, homology groups, cohomology rings, and Lie group actions, and its structure connects to classical results of Euler, Gauss, Riemann, and modern developments associated with Atiyah, Bott, Hodge, and Serre.

Definition and basic properties

A torus arises as the Cartesian product S^1 × S^1, equivalently as the quotient of the plane R^2 by a rank-2 lattice Λ, construction used by Fourier analysts and by Riemann in the study of elliptic functions; this quotient gives a compact, orientable 2-dimensional manifold without boundary, connected to examples treated by Euler and Gauss. The embedded torus in R^3 is obtained by rotating a circle about an axis in the same plane, a surface that illustrates curvature computations featured in the work of Gauss and in expositions by Do Carmo and Spivak; such embeddings contrast with flat metrics induced by lattice quotients used by Riemann and Poincaré. As a topological space the torus is a prime example for which the fundamental group is π1 ≅ Z × Z, a result encountered in classical studies by Poincaré and refined in the context of Seifert–van Kampen theorem applications by Seifert and van Kampen.

Topological classification and invariants

The 2-torus is characterized topologically by genus one and is the standard orientable surface among the classification of compact surfaces developed by Riemann, Poincaré, and later codified by Dehn and Heegaard; it contrasts with the sphere studied by Euler and with nonorientable surfaces like the projective plane analyzed by Klein and von Neumann. Homology groups H_n and cohomology rings H^*(·) for the torus are computed using methods introduced by Alexander, Lefschetz, and Mayer–Vietoris, yielding H_0 ≅ Z, H_1 ≅ Z^2, H_2 ≅ Z and a cup product structure reflecting the intersection form used in work by Poincaré and Lefschetz. The torus provides elementary instances of Betti number calculations and of Euler characteristic χ = 0, a fact that enters proofs by Gauss–Bonnet and informs fixed-point results like the Lefschetz fixed-point theorem and examples considered by Brouwer and Hopf.

Differential geometry and metrics

As a Riemannian manifold the torus admits both flat metrics and metrics of varying curvature, topics central to studies by Gauss and Riemann and to modern expositions by Nash and Gromov. The flat torus arises from a Euclidean metric on R^2 descended to R^2/Λ, a construction used in analysis by Weyl and in dynamics by Kolmogorov and Arnold; the moduli of flat metrics is parametrized by Teichmüller theory and by lattices related to SL(2,Z). Embedded tori in R^3 exhibit regions of positive and negative Gaussian curvature, examples elaborated by Hilbert and Cohn-Vossen; minimal tori and constant mean curvature examples are studied in the traditions of Plateau and in the theory developed by Schoen and Yau. Geodesic flow on the flat torus gives integrable dynamics connected to the work of Liouville and to spectral problems tackled by Weyl and Selberg.

Algebraic and complex tori

Complex tori are complex manifolds of the form C^g/Λ with Λ a lattice of rank 2g and were central to the development of Abelian integrals by Abel and Jacobi and to Riemann’s theory of Jacobian variety; when endowed with the structure of projective algebraic varieties they become Abelian varietyies, objects classified in the program of Mumford and studied by Weil and Tate. Elliptic curves are 1-dimensional complex tori equipped with algebraic group laws, linking to the arithmetic of Fermat and to breakthroughs by Wiles and Taylor; the interplay between complex multiplication, Galois representations, and modularity theory traces through contributions by Shimura and Taniyama. Hodge structures on complex tori enter the work of Hodge and the period mapping studied by Griffiths.

Applications and examples

Tori appear as phase spaces in classical mechanics analyzed by Hamilton and Jacobi, and as invariant tori in KAM theory developed by Kolmogorov, Arnold, and Moser; they serve as configuration spaces in robotics settings treated by Khatib and in statistical mechanics models studied by Onsager. In crystallography and solid state physics lattices defining flat tori are central to Bloch theory exploited by Bloch and Brillouin; in string theory and compactification problems tori are used by Kaluza–Klein and in modern formulations by Polchinski and Witten. Computational topology implements torus examples in algorithms by Edelsbrunner and Zomorodian; graphics and CAD systems exploit embedded torus geometry in work by Foley and Hearn.

Generalizations and higher-dimensional tori

Higher-dimensional tori T^n = (S^1)^n generalize the 2-torus and serve as compact abelian Lie groups instrumental in the classification of compact connected abelian groups in the tradition of Pontryagin and Haar; they appear as maximal tori in the structure theory of compact Lie groups such as SU(n), SO(n), and in the work of Weyl on representation theory. In topology higher tori provide examples for K-theory computations by Atiyah and Bott, for characteristic class calculations by Chern and Pontryagin, and for symplectic toric manifolds in the program of Delzant and Guillemin. Mapping class groups, cohomology of configuration spaces, and toral automorphisms studied by Anosov and Smale all use T^n as primary examples, while noncommutative geometry treats "noncommutative tori" in the foundational work of Connes.

Category:Manifolds