Donaldson invariants

Donaldson invariants
Name	Donaldson invariants
Field	Differential topology
Introduced	1980s
Founder	Simon Donaldson
Related	Gauge theory, Yang–Mills theory, Seiberg–Witten theory

Donaldson invariants are powerful smooth four-manifold invariants introduced in the 1980s that revolutionized four-dimensional topology and connected differential geometry, algebraic geometry, and mathematical physics. Developed by Simon Donaldson, these invariants arise from moduli spaces of anti-self-dual connections on principal SU(2) bundles over smooth, closed, oriented four-manifolds and led to breakthroughs influencing work at institutions such as University of Oxford, Princeton University, Harvard University, Institute for Advanced Study, and Imperial College London. They triggered developments involving figures and organizations including Michael Freedman, Edward Witten, Clifford Taubes, Kronheimer–Mrowka, Cambridge University, Stanford University, and research projects funded by agencies such as the National Science Foundation and the Simons Foundation.

Introduction

Donaldson invariants emerged from analytic techniques applied to the Yang–Mills equations studied by Yang–Mills researchers, connecting work by Atiyah–Bott on moduli with contributions from Karen Uhlenbeck, Isadore Singer, and Raoul Bott. The invariants distinguished between smooth structures on topological four-manifolds previously investigated by Michael Freedman, William Thurston, and John Milnor, and influenced the careers of mathematicians at Massachusetts Institute of Technology, University of Cambridge, Princeton University, Yale University, and University of Chicago.

Definition and Construction

The construction uses anti-self-dual (ASD) solutions to the Yang–Mills equations on an SU(2) principal bundle over a smooth four-manifold, employing analytical foundations developed by Karen Uhlenbeck, Isadore Singer, and Michael Atiyah. One fixes a four-manifold X often assumed to be simply connected as in examples studied by Freedman and chooses a second Stiefel–Whitney class or instanton number associated to the bundle analyzed in work at Oxford and Cambridge. The moduli space M of ASD connections is formed after quotienting by the gauge group studied by Atiyah–Bott; transversality and compactness are established using methods from Uhlenbeck compactness and perturbations related to techniques by Donaldson–Kronheimer. Pairings of cohomology classes on M with characteristic classes defined by universal bundles produce polynomial invariants first calculated in seminal papers by Simon Donaldson and later extended by researchers at Harvard and Princeton.

Examples and Calculations

Initial calculations distinguished smooth structures on CP^2 and on connected sums such as those considered by Michael Freedman and John Milnor. Donaldson's diagonalization theorem, informed by examples from Enriques surfaces and complex surfaces studied by Kunihiko Kodaira and Kunihiko Kuga, ruled out certain intersection forms on simply connected four-manifolds, with explicit computations carried out for families related to elliptic surfaces analyzed by Persson and Kodaira. Concrete calculations appeared in collaborations involving Peter Kronheimer, Tomasz Mrowka, Fintushel–Stern knot surgery examples, and work on homotopy K3 surfaces connected to research at Princeton and Caltech.

Properties and Theorems

Donaldson invariants satisfy structural results such as the diagonalization theorem proved by Simon Donaldson and compactness results influenced by Uhlenbeck. Wall-crossing phenomena studied by Edward Witten, Kronheimer–Mrowka, and Thomas Bauer describe dependence on metric chambers echoing analyses by Mikhail Gromov and Yakov Eliashberg. The structure theorem for simple type four-manifolds was developed in work at Massachusetts Institute of Technology and Columbia University, while gluing theorems and excision techniques were advanced by teams at Stanford University and University of Michigan. Relations to Floer homologies studied by Andreas Floer, spectral flow considerations by Isadore Singer, and index theory from Atiyah–Singer underpin rigorous proofs and computations.

Relationship to Seiberg–Witten Theory

The discovery of Seiberg–Witten invariants by Edward Witten and Nathan Seiberg provided alternative invariants that often determine Donaldson invariants, a connection first elucidated in work by Witten and formalized in results by Kronheimer–Mrowka and Fintushel–Stern. The Seiberg–Witten correspondence simplified many computations and linked to structures in N=2 supersymmetry and quantum field theory research at Princeton and Harvard. Developments by Clifford Taubes relating Seiberg–Witten to Gromov invariants connected symplectic topology research at Stanford and University of California, Berkeley to gauge-theoretic invariants, while contributions from Taubes, Peter Ozsváth, and Zoltán Szabó integrated Heegaard Floer perspectives from Princeton and Rutgers University.

Applications and Impact

Donaldson invariants reshaped research agendas at centers such as Institute for Advanced Study, Mathematical Sciences Research Institute, Courant Institute, and departments at University of Oxford and University of Cambridge. They produced negative results about existence of smooth structures anticipated by methods from Freedman and prompted new constructions using knot surgery by Fintushel–Stern. Applications extended to algebraic geometry topics influenced by Kodaira and Enriques surface theory, to symplectic geometry inspired by Mikhail Gromov and Yakov Eliashberg, and to low-dimensional topology advanced by Andreas Floer and Peter Ozsváth. The work influenced awards and recognition such as the Fields Medal-level acclaim for contributors and institutional honors at Royal Society and National Academy of Sciences affiliated mathematicians.

Extensions and Generalizations

Generalizations include higher-rank gauge theories studied by groups at MIT and Cambridge, monopole equations such as those studied by Seiberg and Witten, and refined invariants in symplectic field theory pursued at Stanford and UC Berkeley. Further directions incorporate instanton Floer homology by Andreas Floer, equivariant extensions investigated by teams at Yale University and University of Chicago, and interactions with categorical frameworks explored at Massachusetts Institute of Technology and Princeton University. Contemporary research projects at Simons Foundation-supported centers, MSRI programs, and workshops at Institute for Advanced Study continue exploring relations to string theory communities at Caltech and CERN.

Category:Four-manifolds