S^3 (3-sphere)

S^3 (3-sphere)
Name	3-sphere
Notation	S^3
Boundary	None

S^3 (3-sphere) S^3 is the three-dimensional simply connected compact manifold that generalizes the ordinary sphere to one higher dimension. It appears throughout mathematics and mathematical physics, connecting topics related to Henri Poincaré, Bernhard Riemann, Élie Cartan, William Rowan Hamilton, and modern work influenced by institutions such as Princeton University and École Normale Supérieure. S^3 serves as a central example in studies by André Weil, Jean-Pierre Serre, John Milnor, and Michael Atiyah.

Definition and basic properties

S^3 can be defined as the set of unit length vectors in four-dimensional Euclidean space, linking the classical formulations of Carl Friedrich Gauss, Bernhard Riemann, Sofia Kovalevskaya, Felix Klein, and Emmy Noether. It is compact, without boundary, and orientable, properties examined in the work of Henri Poincaré, Poincaré conjecture investigations by Grigori Perelman, and topology seminars at Institute for Advanced Study. S^3 is simply connected, a fact used by Camille Jordan and later treated in texts by Hassler Whitney and Luitzen Brouwer.

Coordinate models and parameterizations

Common coordinate models include the embedding as a unit sphere in R^4 attributed to Bernhard Riemann and parameterizations using hyperspherical coordinates reminiscent of techniques in Joseph-Louis Lagrange's mechanics and Srinivasa Ramanujan's analytic methods. Alternative representations use pairs of complex numbers related to William Rowan Hamilton's quaternions and to coordinates employed in work by Élie Cartan and Évariste Galois-inspired algebraic geometry studied at University of Cambridge. Hopf coordinates arise from the Heinz Hopf fibration and are featured in research programs at Massachusetts Institute of Technology and Harvard University.

Topology and homotopy groups

Topologically S^3 played a historical role in the Poincaré conjecture resolved by Grigori Perelman building on ideas by Richard Hamilton's Ricci flow and influences from William Thurston and Mikhail Gromov. Its homotopy groups are classical objects treated by Georges de Rham and Jean-Pierre Serre; notably π1 is trivial and πn for n>1 relate to stable homotopy theory developed by J. H. C. Whitehead and René Thom. Techniques from the Lefschetz fixed-point theorem tradition and categorical perspectives from Alexander Grothendieck also inform computations on S^3.

Geometry and Riemannian metrics

As a Riemannian manifold, S^3 inherits the round metric from Carl Friedrich Gauss's curvature studies and features constant positive sectional curvature, a subject central to work by Élie Cartan and Nikolai Lobachevsky contrasts. Einstein metrics on S^3 are connected to research by Albert Einstein and later analytic methods in Yau's existence problems treated by Shing-Tung Yau and collaborators at Columbia University. Geodesic flows on S^3 relate to dynamical systems studies by Henri Poincaré and modern developments at Courant Institute.

Group structures and Lie group identification

S^3 admits a Lie group structure identified with the group of unit quaternions, historically tied to William Rowan Hamilton's invention of quaternions and subsequent Lie theory by Sophus Lie and Élie Cartan. It is diffeomorphic to the compact Lie group SU(2), a relationship exploited in representation theory by Harish-Chandra, Weyl, and David Hilbert. The double cover map from SU(2) to SO(3) features in studies by Felix Klein and applications in Paul Dirac's quantum mechanics treatments and Wolfgang Pauli's spin theory.

Embeddings, knots, and submanifolds

S^3 is the ambient manifold for classical knot theory developed by Peter Guthrie Tait, James Clerk Maxwell's contemporaries, and modern advances by Vladimir Vassiliev, William Thurston, and Louis Kauffman. Embedded circles and links in S^3 underpin invariants like the Jones polynomial discovered by Vaughan Jones and studied by Edward Witten in quantum field theory contexts at Institute for Advanced Study. Studies of incompressible surfaces and Heegaard splittings tie to work by Heegaard and later combinatorial approaches at University of Chicago.

Applications in physics and visualization

S^3 appears in cosmological models considered by Alexander Friedmann and Georges Lemaître and in closed-universe scenarios discussed by Stephen Hawking and researchers at Cambridge University. In quantum mechanics and quantum field theory, its SU(2) structure underpins spinor representations used by Paul Dirac and Richard Feynman, and in gauge theory S^3 factors into instanton constructions explored by Atiyah and Simon Donaldson. Visualization of S^3 employs stereographic projection methods familiar from Johannes Kepler and computational techniques developed at California Institute of Technology and Stanford University.

Category:Manifolds