S^4

S^4
Name	S^4
Caption	Standard 4-sphere embedded in 5-dimensional Euclidean space
Type	Smooth manifold, Topological manifold, Riemannian manifold
Homology	see article
Notable	Smooth Poincaré conjecture in dimension four, exotic 4‑spheres

S^4 is the 4-dimensional unit sphere: the set of points in Euclidean space R^5 at unit distance from the origin. It is a compact, simply connected, closed 4‑manifold that serves as the prototypical example and testing ground for questions in topology, differential geometry, and mathematical physics. S^4 appears naturally in constructions related to Milnor, Donaldson, Freedman, Atiyah, and Witten and connects to problems such as the smooth Poincaré conjecture and gauge theory.

Definition and basic properties

S^4 can be defined as {x in R^5 : ||x|| = 1}, and inherits a standard Riemannian metric from Riemannian geometry on R^5 giving constant sectional curvature 1. As a topological manifold S^4 is compact, orientable, and simply connected; its Euler characteristic equals 2, matching the pattern for even-dimensional spheres noted by Euler and formulated in contexts such as the Gauss–Bonnet theorem. The 4‑sphere admits coordinates via stereographic projection from north or south poles yielding charts related to constructions by Cartan and used in conformal geometry studied by Yamabe and Aubin.

Topology and geometry

Topologically, S^4 is the one-point compactification of R^4 and fits into classical decompositions like the union of two 4‑balls along a 3‑sphere equator, a viewpoint exploited by Alexander duality and by handle decompositions from Morse theory developed by Milnor. Geometrically, the round metric on S^4 is Einstein and conformally flat, and S^4 serves as the model for compact simply connected space forms studied by Killing and Cartan. Constructions of metrics with special properties on manifolds related to S^4 include work by Gromov, Perelman, and Cheeger about metric collapse and curvature bounds. Conformal compactifications appearing in Penrose diagrams for spacetime models use S^4 as a boundary in certain dimensionally reduced settings explored by Hawking.

Homotopy and homology groups

The homotopy groups of S^4 begin with π0 = 0 and π1 = 0 by simple connectivity; π2 = 0 and π3 = Z, a fact connected to maps S^3 → S^3 and classical results due to Hopf and Freudenthal. Higher homotopy groups of spheres are rich and were intensely studied by Serre, Adams, Toda, and Bott, with stable homotopy phenomena linked to results of Quillen and computations using the Adams spectral sequence developed by Adams. Homology groups are H0 ≅ Z, H4 ≅ Z, and Hi = 0 for 0 < i < 4, a pattern reflected in homology theories such as singular homology and generalized cohomology theories investigated by Brown and Atiyah–Hirzebruch.

Smooth and differentiable structures

S^4 admits the standard smooth structure coming from its embedding in R^5 via the implicit function theorem, making it a smooth, closed 4‑manifold in the sense of differential topology as formulated by Smale and Munkres. The study of smooth structures on topological manifolds in dimension four diverges from higher dimensions: results by Cerf and Kervaire–Milnor classify smooth structures in many dimensions, but dimension four exhibits exceptional behavior famously explored by Donaldson and Freedman through gauge theory and topological surgery. Smooth invariants such as Seiberg–Witten invariants introduced by Witten and intersection form techniques by Freedman are central to understanding possible differentiable structures related to S^4.

Exotic 4-spheres and the smooth Poincaré conjecture

A primary open question is whether any smooth 4‑manifold homeomorphic to S^4 but not diffeomorphic to the standard sphere exists. This is the smooth Poincaré conjecture in dimension four, connected to work by Kervaire, Milnor, Donaldson, and Freedman. Known constructions of exotic smooth structures in dimension seven by Milnor and further developments by Cappell–Shaneson motivate searches for exotic 4‑spheres via surgery and h‑cobordism techniques from Smale and counterexamples in high dimensions by Kervaire–Milnor. Results of Akbulut and contributions by Gompf show exotic phenomena in 4‑manifolds, and ongoing research by researchers including Taubes and Kronheimer probes whether exotic spheres in dimension four exist.

Embeddings and submanifolds in S^4

S^4 contains submanifolds and embeddings studied classically, for example, knots and links via embeddings of S^1 and collections of circles; these are analyzed by tools from knot theory developed by Alexander, Reidemeister, and Conway. Embedded surfaces in S^4, such as 2‑spheres and tori, are subjects of study in the work of Zeeman, Hilden, and Yoshikawa, with knotted 2‑spheres (2‑knots) giving rise to invariants and constructions by Fox and Cappell–Shaneson. The study of embeddings of 3‑manifolds in S^4 connects to 3‑manifold topology via theorems of Alexander and modern developments by Thurston, Perelman, and Hatcher.

Applications and examples in mathematics and physics

S^4 appears in quantum field theory and string theory: instantons on S^4, studied by Belavin–Polyakov–Schwartz–Tyupkin and analyzed via anti‑self‑dual connections in gauge theory by Atiyah–Drinfeld–Hitchin–Manin, produce solutions relevant to Yang–Mills theory and investigations by Witten and Seiberg–Witten. S^4 is used as a compactification space in models considered by Kaluza and Klein and appears in conformal field theory contexts examined by Maldacena and Gubser. In global analysis, eigenvalue problems on S^4 link to spherical harmonics and representation theory of SO(5) and Spin(5), connecting to harmonic analysis studied by Weyl and Harish-Chandra. Examples and counterexamples in topology and geometry involving S^4 inform broad developments attributed to Thom, Pontryagin, Novikov, and Hirzebruch.

Category:Spheres