In
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, and especially
gauge theory
In physics, a gauge theory is a type of field theory in which the Lagrangian, and hence the dynamics of the system itself, does not change under local transformations according to certain smooth families of operations (Lie groups). Formally, t ...
, 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 dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different. T ...
s using
moduli space
In mathematics, in particular algebraic geometry, a moduli space is a geometric space (usually a scheme (mathematics), scheme or an algebraic stack) whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of suc ...
s 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 function, smooth (differentiable) four-dimensional manifolds, Donaldson–Thomas theory, and his contributions to Kähl ...
(1983) who proved
Donaldson's theorem 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, 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 Max ...
and the
Atiyah–Floer conjecture.
See also
*
Kronheimer–Mrowka basic class
*
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. M ...
*
Floer homology
*
Yang–Mills equations
References
*.
*.
*.
*.
Geometric topology
4-manifolds
Differential topology
{{topology-stub