Donaldson–Thomas

Donaldson–Thomas
Name	Donaldson–Thomas theory
Field	Algebraic geometry, Differential geometry
Introduced	1990s
Introduced by	Simon Donaldson; Richard Thomas
Topics	Moduli spaces, Calabi–Yau threefolds, Enumerative invariants

Donaldson–Thomas

Donaldson–Thomas theory is a framework in Algebraic geometry and Differential geometry that defines integer-valued invariants counting stable sheaves and ideal sheaves on projective Calabi–Yau threefolds, linking moduli of coherent sheaves to enumerative problems arising in String theory, M-theory, and Mirror symmetry. It connects concepts from the work of Simon Donaldson, Richard Thomas, Maxim Kontsevich, and Edward Witten and has deep interactions with the theories of Gromov–Witten theory, Pandharipande–Thomas theory, and Seiberg–Witten theory. The theory provides tools for comparing curve-counting invariants across birational transformations such as flops and for understanding wall-crossing phenomena studied by Tom Bridgeland, Marcelo Aganagic, and Davesh Maulik.

Introduction

Donaldson–Thomas invariants arise from virtual counts on moduli spaces like the moduli of ideal sheaves on a projective Calabi–Yau threefold, moduli of stable coherent sheaves on a complex threefold, and moduli of objects in derived categories introduced by Alexei Bondal and Maxim Kontsevich. The construction uses obstruction theories developed by K. Behrend and Barbara Fantechi, virtual fundamental classes inspired by Kontsevich's homological mirror symmetry program, and deformation–obstruction calculations akin to techniques of Simon Donaldson and Richard Thomas. Donaldson–Thomas invariants are integer-valued and often packaged into generating functions related to partition functions appearing in topological string theory.

Mathematical Definition

Donaldson–Thomas invariants are defined using moduli spaces M of stable objects such as ideal sheaves I_Z of subschemes Z⊂X or stable coherent sheaves F on a smooth projective threefold X, commonly assumed to be a Calabi–Yau threefold. One equips M with a symmetric perfect obstruction theory via derived deformation theory developed by Kai Behrend and Barbara Fantechi, producing a virtual fundamental class [M]^{vir} in the homology of M. The Donaldson–Thomas invariant DT(α) for Chern character α is obtained by integrating the constructible Behrend function ν_M over M or by taking degree of [M]^{vir}, following constructions related to Thomas's theory, Behrend (invent.), and virtual localization techniques of Nikita Nekrasov and Andrei Okounkov. The definition requires stability conditions in the sense of David Gieseker, Tom Bridgeland, or slope stability akin to constructions by Jun Li and G. Tian.

Enumerative Invariants and Computation

Computations of Donaldson–Thomas invariants use torus localization under an action of algebraic tori as in the work of Andrei Okounkov and Nikolaos Nekrasov, the topological vertex formalism of Maulik, Nekrasov, Okounkov, Pandharipande (MNOP), and combinatorial descriptions via plane partitions studied by Richard P. Stanley and Ken Ono in related enumerative contexts. Techniques include virtual localization developed by Graber–Pandharipande, the use of moduli of stable pairs by Pandharipande–Thomas, and wall-crossing formulas due to Kontsevich–Soibelman and Joyce–Song. For toric threefolds like local P^2, local P^1 × P^1, and canonical bundles of del Pezzo surfaces, invariants are computable via the topological vertex, equivariant methods by Okounkov–Reshetikhin–Vafa and crystal melting models connected to work of Szendroi.

Relationship with Gromov–Witten Theory

The MNOP conjecture relates Donaldson–Thomas invariants to Gromov–Witten invariants of a Calabi–Yau threefold via generating function identities and changes of variables, extending earlier dualities proposed by Edward Witten and predictions from Mirror symmetry and Topological string theory. Results by Maulik–Nekrasov–Okounkov–Pandharipande and proofs in special cases by Bryan–Leung, Behrend–Fantechi, and Okounkov–Pandharipande establish correspondences for toric threefolds and local curves. Connections also run through the Pandharipande–Thomas theory of stable pairs, the derived category perspective of Bridgeland stability, and the enumerative equivalences proved using degeneration techniques by Jun Li and wall-crossing arguments by Toda.

Wall-Crossing and Stability Conditions

Wall-crossing formulas govern how Donaldson–Thomas invariants change under variation of stability conditions in spaces introduced by Tom Bridgeland and pursued by Maxim Kontsevich and Yan Soibelman. The Kontsevich–Soibelman wall-crossing formula encodes discontinuities of invariants using motivic Donaldson–Thomas invariants and cluster algebra structures linked to work of Fomin–Zelevinsky and Gross–Siebert. Joyce and Song developed an alternative theory of generalized DT invariants using stack-theoretic techniques inspired by D. Joyce and Yinan Song, while applications to derived categories and perverse sheaves follow from ideas of Beilinson–Bernstein–Deligne and Kashiwara.

Examples and Applications

Concrete computations for the quintic threefold, local curves, and toric Calabi–Yau threefolds demonstrate enumerative predictions connecting to Mirror symmetry calculations of Candelas–de la Ossa–Greene–Parkes and to partition functions of Nekrasov partition function type. Donaldson–Thomas invariants have applications to counting BPS states in String theory and to black hole microstate counting studied by Strominger–Vafa and Maldacena. In algebraic geometry they inform birational invariants for flops studied by Bridgeland, link to McKay correspondence and Donaldson invariants on four-manifolds, and influence moduli problems in Derived algebraic geometry as developed by Jacob Lurie and Bertrand Toën.

Historical Development and Key Contributors

The theory grew from gauge-theoretic insights of Simon Donaldson and analytic results of Shing-Tung Yau on Calabi–Yau manifolds, formalized by Richard Thomas in the late 1990s building on virtual cycle techniques by Li–Tian and Behrend–Fantechi. Subsequent major contributors include Maxim Kontsevich, Tom Bridgeland, Andrei Okounkov, Rahul Pandharipande, Davesh Maulik, Tony Pantev, Masaki Kashiwara, Dennis Gaitsgory, D. Joyce, Yan Soibelman, Ben Szendroi, Nicola Pagani, and Yukinobu Toda. Collaborative developments such as the MNOP conjecture, Kontsevich–Soibelman wall-crossing, and Pandharipande–Thomas stable pairs represent milestones linking algebraic geometry with mathematical physics, topology, and representation theory.

Category:Algebraic geometry