Donaldson theory
E860091
Donaldson theory is a gauge-theoretic framework in four-dimensional differential topology that uses moduli spaces of anti-self-dual connections to define powerful invariants distinguishing smooth structures on 4-manifolds.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Donaldson theory canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T10388676 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
Target entity: Donaldson theory Context triple: [Seiberg–Witten theory, relatedTo, Donaldson theory]
-
A.
Donaldson
Donaldson is a surname of Scottish origin borne by various notable individuals, including athletes, politicians, and academics.
-
B.
V–A theory
V–A theory is a framework in particle physics that describes the weak interaction as involving only left-handed particles and right-handed antiparticles through a combination of vector (V) and axial-vector (A) currents.
-
C.
Dyson’s formula
Dyson’s formula is a key expression in quantum field theory that provides the perturbative expansion of time-ordered exponentials, forming the basis of the Dyson series used to compute interaction effects.
-
D.
Donaldson–Uhlenbeck–Yau theorem
The Donaldson–Uhlenbeck–Yau theorem is a fundamental result in differential and algebraic geometry that characterizes when a holomorphic vector bundle over a compact Kähler manifold admits a Hermitian–Einstein metric, linking geometric stability with the existence of such metrics.
-
E.
Dolan–Grady relations
The Dolan–Grady relations are algebraic commutation relations between two operators that generate the Onsager algebra and play a key role in the study of exactly solvable models in statistical mechanics.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
Target entity: Donaldson theory Target entity description: Donaldson theory is a gauge-theoretic framework in four-dimensional differential topology that uses moduli spaces of anti-self-dual connections to define powerful invariants distinguishing smooth structures on 4-manifolds.
-
A.
Donaldson
Donaldson is a surname of Scottish origin borne by various notable individuals, including athletes, politicians, and academics.
-
B.
V–A theory
V–A theory is a framework in particle physics that describes the weak interaction as involving only left-handed particles and right-handed antiparticles through a combination of vector (V) and axial-vector (A) currents.
-
C.
Dyson’s formula
Dyson’s formula is a key expression in quantum field theory that provides the perturbative expansion of time-ordered exponentials, forming the basis of the Dyson series used to compute interaction effects.
-
D.
Donaldson–Uhlenbeck–Yau theorem
The Donaldson–Uhlenbeck–Yau theorem is a fundamental result in differential and algebraic geometry that characterizes when a holomorphic vector bundle over a compact Kähler manifold admits a Hermitian–Einstein metric, linking geometric stability with the existence of such metrics.
-
E.
Dolan–Grady relations
The Dolan–Grady relations are algebraic commutation relations between two operators that generate the Onsager algebra and play a key role in the study of exactly solvable models in statistical mechanics.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
gauge theory
ⓘ
mathematical theory ⓘ topological invariant theory ⓘ |
| aimsTo | distinguish smooth structures on 4-manifolds ⓘ |
| appliesTo |
simply connected 4-manifolds
ⓘ
smooth 4-manifolds ⓘ |
| basedOn |
SO(3) gauge theory
ⓘ
SU(2) gauge theory ⓘ anti-self-dual Yang–Mills equations ⓘ |
| contrastsWith | Freedman theory of topological 4-manifolds ⓘ |
| defines |
Donaldson invariants
NERFINISHED
ⓘ
smooth structure invariants of 4-manifolds ⓘ |
| developedBy | Simon Donaldson NERFINISHED ⓘ |
| field |
four-dimensional differential topology
ⓘ
gauge theory in mathematics ⓘ low-dimensional topology ⓘ |
| hasInvariantType |
Donaldson polynomial invariants
NERFINISHED
ⓘ
polynomial invariants of 4-manifolds ⓘ |
| hasKeyEquation | F_A^+ = 0 ⓘ |
| hasKeyObject |
anti-self-dual connection
ⓘ
instanton moduli space ⓘ |
| historicalPeriod | 1980s ⓘ |
| implies |
diagonalizability of definite unimodular intersection forms over the integers
ⓘ
restrictions on intersection forms of smooth 4-manifolds ⓘ |
| influenced |
development of geometric analysis
ⓘ
modern 4-manifold topology ⓘ |
| inspired | Seiberg–Witten theory NERFINISHED ⓘ |
| ledTo | classification results for definite 4-manifolds ⓘ |
| relatedTo |
Floer homology
NERFINISHED
ⓘ
Seiberg–Witten invariants NERFINISHED ⓘ gauge-theoretic moduli spaces ⓘ instanton Floer homology NERFINISHED ⓘ |
| requires |
Riemannian metric on a 4-manifold
ⓘ
principal G-bundle over a 4-manifold ⓘ |
| shows | existence of exotic smooth structures on 4-manifolds ⓘ |
| studies | space of connections modulo gauge transformations ⓘ |
| uses |
Fredholm theory
NERFINISHED
ⓘ
Uhlenbeck compactness NERFINISHED ⓘ Yang–Mills gauge theory NERFINISHED ⓘ elliptic partial differential equations ⓘ moduli spaces of anti-self-dual connections ⓘ |
| usesConcept |
moduli space compactification
ⓘ
orientation of moduli spaces ⓘ transversality in infinite-dimensional manifolds ⓘ |
| usesTool |
Hodge theory on 4-manifolds
ⓘ
Morse theory on infinite-dimensional spaces ⓘ index theory ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Subject: Donaldson theory Description of subject: Donaldson theory is a gauge-theoretic framework in four-dimensional differential topology that uses moduli spaces of anti-self-dual connections to define powerful invariants distinguishing smooth structures on 4-manifolds.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.