This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| T4 (four-torus) | |
|---|---|
| Name | T4 (four-torus) |
| Type | Compact, orientable manifold |
| Fundamental group | Z^4 |
| Betti numbers | b0=1, b1=4, b2=6, b3=4, b4=1 |
T4 (four-torus) is the Cartesian product of four circles, a compact connected orientable 4-manifold that generalizes the 1-dimensional Circle and the 2-dimensional Torus to four dimensions. It serves as a basic example in Algebraic topology, Differential geometry, Symplectic geometry, and Mathematical physics and appears in constructions related to K3 surface, Calabi–Yau manifold, and T-duality contexts. The manifold is parallelizable, admits flat metrics, and provides a testing ground for invariants studied by researchers linked to Atiyah–Singer index theorem, De Rham cohomology, and Hodge theory.
The four-torus is defined as the quotient of Euclidean space by a lattice, explicitly R^4 / Z^4, analogous to constructions in Euclid-based models and related to crystalline groups classified by Bravais lattice results. It is a compact smooth manifold admitting a smooth structure compatible with the quotient by translations used in studies by Lebesgue-inspired measure theory and examples in Sard's theorem-style contexts. As an orientable closed manifold it has vanishing Euler characteristic and nontrivial Betti number pattern that matches Künneth formula calculations used in work by Künneth and later elaborations by Hurewicz.
Topologically the four-torus is a product manifold S^1 × S^1 × S^1 × S^1, so classic results from Hurewicz theorem and Whitehead theory apply when computing homotopy groups and homology groups. Its homotopy type is that of a K(Z^4,1) Eilenberg–MacLane space mentioned in expositions by Eilenberg and Mac Lane, yielding π1 ≅ Z^4 and higher homotopy groups isomorphic to those of the universal cover R^4 as in work following Hatcher's treatments. The cohomology ring structure follows from cup product computations pioneered in texts influenced by Serre and Cartan.
Geometrically the four-torus admits flat Riemannian metrics obtained from the standard Euclidean metric on R^4 invariant under the action of Z^4, a construction appearing in classical treatments by Gauss and generalized in contexts associated with Bernhard Riemann. It also supports nonflat metrics with holonomy groups related to SO(4), and can be used in examples illustrating the Ricci flow dynamics studied by Hamilton and Perelman. As a compact manifold it is a candidate for constant curvature zero models in discussions of Thurston-type geometries and arises in moduli problems connected to Teichmüller theory when considering flat tori families.
Algebraic invariants such as homology and cohomology groups are computed via the Künneth formula and reflect the exterior algebra on four generators as in treatments by Noether-inspired algebraic topology. De Rham cohomology classes correspond to translation-invariant differential forms highlighted in studies by de Rham and employed in proofs of the Atiyah–Singer index theorem. Characteristic classes like Stiefel–Whitney and Pontryagin classes are trivial because the four-torus is parallelizable, a fact used in constructions by Milnor and Stasheff. Hodge numbers for flat metrics align with classical Hodge decomposition remarks in the work of Hodge and Kodaira-style comparisons.
The universal cover of the four-torus is R^4, with deck transformation group Z^4 acting by translations; this situation is prototypical in covering space theory developed by Deck and recounted in sources influenced by Spanier. The fundamental group is free abelian of rank four, Z^4, fitting into the framework of group cohomology examined by Cartan–Eilenberg and later by Brown. Finite-sheeted covers correspond to sublattices of Z^4 and play roles in examples in Galois theory analogies and in the theory of flat affine manifolds considered by Bieberbach.
As a product of circles, the four-torus admits many fiber bundle decompositions such as S^1-bundles over T^3, T^2-bundles over T^2, and iterated S^1 fibrations appearing in constructions related to Seifert fiber space analogues and to mapping tori used by Nielsen and Thurston in surface dynamics. It serves as base or fiber in principal torus bundles studied in classification results by Steenrod and in connections to Chern–Weil theory for flat principal bundles. Fibrations arising from projection to coordinate subtori are basic examples in bundle theory recounted by Husemoller.
The four-torus appears as a simple compact model in string theory compactifications in works related to Green, Schwarz, and Witten, where toroidal compactification and T-duality showcase its role in duality symmetries. In symplectic topology it provides examples of integrable systems and Lagrangian tori in studies influenced by Arnold and Gromov; in gauge theory it is used for flat connections and moduli space examples appearing in Donaldson and Witten-style analyses. The manifold also arises in crystallography contexts connected to Bravais lattice classifications and in ergodic theory as a phase space for linear flows studied by Kolmogorov and Arnold–Avez.
Category:Manifolds