Smooth 4-manifold

Smooth 4-manifold
Name	Smooth 4-manifold
Category	Differential topology
Notable	Exotic R^4, K3 surface, Freedman–Donaldson theorem

Smooth 4-manifold is a closed or noncompact four-dimensional differentiable manifold equipped with a smooth atlas giving a C^∞ structure. In four dimensions the interplay between topology, differential geometry, and gauge theory produces phenomena not seen in other dimensions, leading to deep results by researchers connected to Michael Freedman, Simon Donaldson, Edward Witten, Clifford Taubes, and Ronald Fintushel. Work on four-manifolds involves tools developed at institutions such as Princeton University, Harvard University, Massachusetts Institute of Technology, and Clay Mathematics Institute.

Definition and basic properties

A smooth 4-manifold is a Hausdorff, second-countable manifold of dimension four with a maximal atlas of charts to R^4 whose transition maps are infinitely differentiable. Basic invariants include the fundamental group studied by William Thurston, homology groups influenced by Henri Poincaré and Emmy Noether, and characteristic classes such as the Chern classes (for almost-complex structures) and the Pontryagin class related to curvature studied by Hermann Weyl and Shiing-Shen Chern. Orientation issues connect to work of Georg Cantor and Élie Cartan, while smoothness questions echo the classification efforts of John Milnor and René Thom.

Smooth structures and exotic 4-manifolds

Uniqueness of smooth structures fails in dimension four: the existence of exotic smooth structures was discovered via constructions attributed to Michael Freedman and Simon Donaldson and later expanded by Robert Gompf, András Stipsicz, and Selman Akbulut. The exotic R^4 phenomenon, first observed in contexts following Freedman and Donaldson, contrasts with dimension-specific results by Stephen Smale and Mikhail Gromov. Constructions use techniques from Gauge theory developments by Edward Witten and geometrization perspectives of William Thurston, with exoticness detected by invariants introduced by Peter Kronheimer and Tom Mrowka.

Differential topology tools (handle decompositions, Kirby calculus)

Handlebody theory for four-manifolds builds on work of C. H. C. Whitehead and was systematized in dimensions by John Milnor and Barry Mazur; for four dimensions Kirby calculus, developed by Robion Kirby, provides a diagrammatic calculus using framed links in S^3 studied alongside techniques from Akbulut and R. Kirby presentations. Handle cancellation and sliding operations connect to studies by José Montesinos and Gordon–Luecke style knot results, while Cerf theory contributions from Jean Cerf inform isotopy arguments. Constructions often reference surgery theory advanced by C. T. C. Wall and classification input from Andrew Casson.

Intersection form, Seiberg–Witten and Donaldson invariants

The intersection form on middle cohomology is a bilinear form first considered in classification attempts by Hassler Whitney and later in four dimensions by Freedman; definite unimodular forms link to results of Donaldson showing restrictions on smooth definite forms. Gauge theoretic invariants such as the Seiberg–Witten invariants introduced by Edward Witten and developed further by Clifford Taubes, Peter Kronheimer, and Tom Mrowka detect smooth structures and symplectic properties studied in contexts by Dusa McDuff and Dietmar Salamon. Donaldson invariants, originating from Simon Donaldson, remain central and interact with Floer homology programs by Andreas Floer, Ciprian Manolescu, and Stefan Bauer.

Constructions and classification results

Constructions include connected sums, fiber sums promoted by work of Fintushel–Stern and Ronald Fintushel, log transforms studied via contributions from Kodaira-type surface theory, and knot surgery techniques developed by Fintushel and Ronald Stern. Classification results split into topological and smooth categories: topological classification for simply connected closed four-manifolds relies on Freedman's theorem, while smooth classification is obstructed by Donaldson and Seiberg–Witten phenomena elaborated by Gompf, Akbulut, and Vidussi. Symplectic constructions draw on Yakov Eliashberg and Paul Seidel while complex surface theory from Enriques, Kummer, and Kodaira influences algebraic examples.

Examples and notable families

Notable examples include the K3 surface related to John Milnor's work on exotic spheres and algebraic geometry studies by Kunihiko Kodaira and Igor Dolgachev; complex projective surfaces like CP^2 and ruled surfaces studied by Segre; elliptic surfaces examined by Michael Atiyah and Raoul Bott; and exotic families such as exotic R^4s constructed by Taubes and Gompf. Other celebrated families arise from knot surgery producing manifolds connected to Rolfsen-type knot tables and constructions referencing Alexander polynomials studied by James W. Alexander.

Applications and connections to other fields

Smooth four-manifolds inform theoretical physics via Edward Witten's application of supersymmetric gauge theory and string dualities considered by Edward Witten and Nathan Seiberg; connections to Seiberg–Witten theory bridge to Donaldson theory and to low-dimensional topology programs advanced by William Thurston and Andreas Floer. Interactions with complex algebraic geometry involve work by David Mumford and Armand Borel, while symplectic geometry cross-fertilizes research by Dusa McDuff and Yakov Eliashberg. Computational topology efforts reference algorithms influenced by Hassler Whitney and complexity considerations raised by Mikhail Gromov and Leslie Valiant.

Category:Differential topology