3-sphere

3-sphere
derivative work: Pbroks13 (talk) Hypersphere_coord.gif: Claudio Rocchini · CC BY 3.0 · source
Name	3-sphere
Boundary	none
Fundamental group	trivial

3-sphere

The 3-sphere is the set of points at unit distance from a fixed center in four-dimensional Euclidean space, forming a compact, simply connected three-dimensional manifold without boundary. It arises in the study of Bernhard Riemann, Henri Poincaré, Kurt Gödel, Stephen Hawking-related contexts and in relationships with William Rowan Hamilton's quaternions, Élie Cartan's spin groups, and Hermann Weyl's work on symmetry. The 3-sphere serves as a central example in algebraic topology, differential geometry, mathematical physics, knot theory, and in constructions used by John Milnor, Michael Atiyah, Edward Witten, and Alfred Tarski.

Definition and basic properties

As a subset of Émile Picard's coordinate framework in Euclidean space, the 3-sphere is defined as the locus {(x0,x1,x2,x3) ∈ R^4 : x0^2 + x1^2 + x2^2 + x3^2 = 1}, linking classical work of Carl Friedrich Gauss and Joseph-Louis Lagrange on spherical harmonics with later formalism by Riemann. It is a closed, compact manifold of dimension three with no boundary, possessing the topological type characterized in foundational results by H. Poincaré, whose conjecture about simply connected closed 3-manifolds motivated research by Grigori Perelman, William Thurston, and Richard Hamilton. The 3-sphere is orientable and has trivial fundamental group, a feature pivotal to the classification achievements credited to Perelman.

Geometry and metrics

Equipped with the induced metric from Bernhard Riemann's ambient Euclidean metric on R^4, the 3-sphere carries constant positive sectional curvature, connecting to Marcel Berger's and Shing-Tung Yau's studies of curvature and to Einstein metrics considered by Albert Einstein and Yves T. Pomeau. Geodesics are great 2-spheres intersections, and the Riemannian metric is homogeneous under isometries given by SO(4) and its double cover Spin(4), concepts developed by Élie Cartan and Hermann Weyl. The round metric is one representative among many; deformation theories studied by Mikhail Gromov and James Eells explore other metrics with variable curvature, while the Ricci flow program led by Richard Hamilton and completed by Grigori Perelman examined metric evolution on three-dimensional manifolds including the 3-sphere.

Topology and invariants

Topologically, the 3-sphere has trivial fundamental group and homology groups matching those of a three-dimensional sphere: H0 ≅ H3 ≅ Z, with H1 ≅ H2 ≅ 0, reflecting invariants computed in works by Henri Poincaré and refined via Emil Artin's knot-theoretic methods and Jean-Pierre Serre's homotopy theory. Its homotopy groups beyond π1 exhibit rich structure studied by Frank Adams and John Milnor, including relations to stable homotopy groups of spheres investigated by J. H. C. Whitehead and Daniel Quillen. Invariants such as the Reidemeister torsion and Rokhlin invariant enter when considering manifold surgery problems developed by C. T. C. Wall and Andrew Casson; these invariants parallel analysis by Michael Freedman in four dimensions and by Simon Donaldson in gauge theory.

Embeddings and submanifolds

The 3-sphere embeds standardly in R^4; work by Stephen Smale and Marston Morse on immersion and embedding theory situates the 3-sphere in the panorama of high-dimensional manifold embeddings. Standardly embedded 2-spheres, knots, and links in the 3-sphere are the domain of classical knot theorists like Peter Guthrie Tait, J. W. Alexander, and Louis Kauffman; studies by William Thurston and Vaughan Jones reveal hyperbolic link complements and invariants. Minimal surfaces and totally geodesic submanifolds appear in studies by Richard Schoen and Karen Uhlenbeck; Hopf fibrations produce a family of embedded circles and tori associated to constructions by Heinz Hopf and transformations related to William Rowan Hamilton's quaternions.

Group actions and symmetries

Isometry groups acting on the 3-sphere include SO(4) and its subgroups such as SO(3), with double covers by Spin(4) and connections to SU(2), as explored in representation theory by Issai Schur and Hermann Weyl. Finite group actions relate to classical results on spherical space forms studied by Heinz Hopf, Seifert, and J. H. Conway; these actions produce lens spaces and quotients analyzed by John H. Conway and A. H. Clarke. Equivariant topology and transformation groups were developed by G. E. Bredon and Edwin Spanier and find applications in symmetry classifications used by Felix Klein and Sophus Lie.

Examples and constructions

Canonical constructions include the Hopf fibration S^3 → S^2 with fiber S^1, historically attributed to Heinz Hopf and intimately tied to William Rowan Hamilton's quaternions and Élie Cartan's spin geometry. Lens spaces arise as quotients by cyclic actions studied by Reidemeister and Seifert, while Brieskorn spheres constructed by Egbert Brieskorn provide exotic examples related to work of John Milnor on differential structures. Surgery procedures and Dehn filling, developed by Christos Papakyriakopoulos and William Thurston, produce manifold families from the 3-sphere by removing tubular neighborhoods of knots studied by James W. Alexander.

Applications and related concepts

The 3-sphere appears in cosmological models considered by Albert Einstein and Georges Lemaître in closed-universe scenarios, and in quantum field theory via instanton solutions and spin structures invoked by Edward Witten and Alexander Polyakov. It underpins constructions in quantum computing proposals referencing Peter Shor and Alexei Kitaev through topological quantum field theory frameworks from Michael Atiyah and Graeme Segal. In low-dimensional topology, the 3-sphere is the ambient space for knot invariants by Vaughan Jones and categorifications by Mikhail Khovanov; it also features in geometric group theory contexts explored by Mikhail Gromov and in index theory by Atiyah–Singer collaborators such as Isadore Singer.

Category:Manifolds