Seiberg–Witten invariants

Seiberg–Witten invariants
Name	Seiberg–Witten invariants
Field	Differential topology

Seiberg–Witten invariants are smooth four-manifold invariants arising from solutions to nonlinear partial differential equations motivated by quantum field theory and gauge theory. Developed in the 1990s, they transformed research in four-dimensional topology, influencing work connected to Donaldson theory, symplectic topology, and complex surfaces. Originating from insights in mathematical physics, they link ideas in geometry, topology, and analysis and have been applied in classification problems and the study of smooth structures on manifolds.

Introduction

The invariants emerged after developments in quantum field theory involving Edward Witten, Nathan Seiberg, and methods from Kenneth G. Wilson-era renormalization and path integrals, and they were rapidly taken up by researchers affiliated with institutions such as Institute for Advanced Study, Princeton University, and Harvard University. Early mathematical formulations were advanced by researchers including Clifford Taubes, Peter Kronheimer, Tomasz Mrowka, and Ronald Fintushel, and they were compared to invariants developed by Simon Donaldson at institutions like Oxford University and University of Cambridge. The introduction sparked collaborations among groups at Columbia University, Stanford University, and University of California, Berkeley.

Mathematical Background

The analytical foundation uses elliptic operators and moduli spaces studied in the tradition of Atiyah–Singer index theorem, Michael Atiyah, Isadore Singer, and techniques from the study of instantons associated with Yang–Mills theory. The geometric setting involves smooth, closed, oriented four-manifolds examined in work by researchers at Massachusetts Institute of Technology, University of Chicago, and Yale University, with tools from Seiberg–Witten theory resonant with structures in symplectic topology explored at University of Minnesota and Northwestern University. Foundational machinery invokes spin^c structures related to classical work by Élie Cartan and later treatments by authors at Princeton University Press and Cambridge University Press.

Definition of Seiberg–Witten Invariants

Formally, one fixes a spin^c structure on a smooth four-manifold and studies solutions to the Seiberg–Witten equations, building on gauge-theoretic frameworks developed in the lineage of Yang–Mills theory and Donaldson theory. The moduli space of solutions is cut out by a non-linear Dirac operator related to operators considered by Paul Dirac and elliptic theory developed by Atiyah–Bott. Orientations and obstruction theories are managed using index calculations akin to results of Atiyah, Singer, and techniques used by John Milnor in manifold theory. The resulting invariants are often integers or classes in exterior algebras, paralleling constructions familiar from the work of Raoul Bott and others at institutions such as University of California, Los Angeles.

Computation and Techniques

Computational techniques exploit wall-crossing formulas and gluing theorems inspired by analytic methods employed by researchers at Rutgers University and University of Michigan. Key methods include the use of Taubes's correspondence between Seiberg–Witten invariants and pseudoholomorphic curves in symplectic manifolds, following ideas that connect to the work of Gromov and developments at Steklov Institute of Mathematics. Other techniques involve surgery formulas and fiber sum operations reminiscent of constructions in the literature from Cornell University and University of Wisconsin–Madison. Monopole Floer homology, developed in the style of Floer theory from Andreas Floer, provides computational frameworks tied to groups at McGill University and University of British Columbia.

Applications and Consequences

Seiberg–Witten invariants have been used to distinguish smooth structures on four-manifolds, resolving problems discussed in seminars at Institute for Advanced Study and by researchers at Tokyo University. They yield vanishing theorems that mirror results in complex surface classification from schools at University of Cambridge and University of Oxford, and they underpin proofs of symplectic properties in work connected to Vladimir Arnold's conjectures. The invariants inform constraints analogous to adjunction inequalities studied by groups at University of Toronto and have been applied to knot surgery constructions developed by Ronald Fintushel and Ronald Stern. Influential consequences appear in dialogues among mathematicians associated with Princeton University and Columbia University.

Examples and Calculations

Computations for specific families, such as K3 surfaces and elliptic surfaces studied by groups at University of Tokyo and ETH Zurich, illustrate the invariants' sensitivity to smooth structures; comparisons are often made with classical invariants investigated by researchers at Sorbonne University and University of Bonn. For symplectic four-manifolds, Taubes's work equates Seiberg–Witten invariants with counts of pseudoholomorphic curves, a bridge studied in collaborations involving CNRS laboratories and European universities. Calculations for connected sums and blow-ups rely on formulas related to work by Fintushel and Stern and techniques influenced by analyses from Institute Henri Poincaré.

Relations to Other Invariants

The relationship to Donaldson invariants, central to comparisons in seminars at Imperial College London and University of Edinburgh, is mediated by wall-crossing phenomena and conjectural correspondences suggested in the physics literature of Seiberg and Witten. Connections to Gromov–Witten invariants and pseudoholomorphic curve counts recall developments by Mikhail Gromov and have been investigated in contexts linked to Max Planck Institute for Mathematics and Steklov Institute. Monopole Floer homology and Heegaard Floer homology, developed in schools at Cornell University and Princeton University, provide homological refinements and bridge the invariants to low-dimensional topology studied by researchers at University of Warwick and University of Glasgow.

Category:Differential topology