In
mathematics, and especially
gauge theory, Donaldson theory is the study of the topology of smooth
4-manifold
In mathematics, a 4-manifold is a 4-dimensional topological manifold. A smooth 4-manifold is a 4-manifold with a smooth structure In mathematics, a smooth structure on a manifold allows for an unambiguous notion of smooth function. In particular, a ...
s using
moduli spaces of
anti-self-dual instantons. It was started by
Simon Donaldson
Sir Simon Kirwan Donaldson (born 20 August 1957) is an English mathematician known for his work on the topology of smooth (differentiable) four-dimensional manifolds, Donaldson–Thomas theory, and his contributions to Kähler geometry. H ...
(1983) who proved
Donaldson's theorem
In mathematics, and especially differential topology and gauge theory, Donaldson's theorem states that a definite intersection form of a compact, oriented, smooth manifold of dimension 4 is diagonalisable. If the intersection form is positive (ne ...
restricting the possible quadratic forms on the second
cohomology group
In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed ...
of a compact simply connected 4-manifold. Important consequences of this theorem include the existence of an
Exotic R4 and the failure of the smooth
h-cobordism theorem
In geometric topology and differential topology, an (''n'' + 1)-dimensional cobordism ''W'' between ''n''-dimensional manifolds ''M'' and ''N'' is an ''h''-cobordism (the ''h'' stands for homotopy equivalence) if the inclusion maps
: M ...
in 4 dimensions. The results of Donaldson theory depend therefore on the manifold having a differential structure, and are largely false for topological 4-manifolds.
Many of the theorems in Donaldson theory can now be proved more easily using
Seiberg–Witten theory
In theoretical physics, Seiberg–Witten theory is a theory that determines an exact low-energy effective action (for massless degrees of freedom) of a \mathcal = 2 supersymmetric gauge theory—namely the metric of the moduli space of vacua.
...
, though there are a number of open problems remaining in Donaldson theory, such as the
Witten conjecture In algebraic geometry, the Witten conjecture is a conjecture about intersection numbers of stable classes on the moduli space of curves, introduced by Edward Witten in the paper , and generalized in .
Witten's original conjecture was proved by Ma ...
and the
Atiyah–Floer conjecture.
See also
*
Kronheimer–Mrowka basic class In mathematics, the Kronheimer–Mrowka basic classes are elements of the second cohomology H2(''X'') of a simple smooth 4-manifold
In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More ...
*
Instanton
An instanton (or pseudoparticle) is a notion appearing in theoretical and mathematical physics. An instanton is a classical solution to equations of motion with a finite, non-zero action, either in quantum mechanics or in quantum field theory. Mo ...
*
Floer homology
In mathematics, Floer homology is a tool for studying symplectic geometry and low-dimensional topology. Floer homology is a novel invariant that arises as an infinite-dimensional analogue of finite-dimensional Morse homology. Andreas Floer in ...
*
Yang–Mills equations
In physics and mathematics, and especially differential geometry and gauge theory, the Yang–Mills equations are a system of partial differential equations for a connection on a vector bundle or principal bundle. They arise in physics as the E ...
References
*.
*.
*.
*.
Geometric topology
4-manifolds
Differential topology
{{topology-stub