Donaldson–Thomas invariants

Donaldson–Thomas invariants
Name	Donaldson–Thomas invariants
Field	Algebraic geometry
Introduced	1998
Authors	Simon Donaldson; Richard Thomas

Donaldson–Thomas invariants are integer-valued enumerative invariants that count stable sheaves or ideal sheaves on Calabi–Yau threefolds, arising in the intersection of algebraic geometry, differential geometry, and theoretical physics. Originating from work by Simon Donaldson and Richard Thomas, they provide a holomorphic analogue of gauge-theoretic invariants and connect to string theory dualities, mirror symmetry, and Gromov–Witten theory. The construction uses moduli spaces, virtual fundamental classes, and deformation-obstruction theories developed in the context of complex manifolds and moduli problems.

Introduction

Donaldson–Thomas invariants were introduced to study moduli of coherent sheaves on Calabi–Yau threefolds, motivated by earlier work of Simon Donaldson on four-manifolds and by developments in complex geometry by Kunihiko Kodaira and Jean-Pierre Serre. The invariants extend ideas from Alexander Grothendieck’s scheme theory and Michael Atiyah’s index theory, incorporating Thomas’s use of moduli spaces inspired by Edward Witten’s perspective from string theory and Juan Maldacena’s conjectures relating gauge theories to gravity. Connections to Maxim Kontsevich’s homological mirror symmetry and Cumrun Vafa’s BPS state counting framed the role of these invariants alongside contributions from Candelas, Philip Griffiths, and David Mumford on Calabi–Yau manifolds.

Mathematical Definition

The definition uses the moduli space of stable coherent sheaves on a Calabi–Yau threefold X, equipped with a perfect obstruction theory constructed via Serre duality and Yoneda pairings as in work by Alexander Beilinson and Yuri Manin. One forms a virtual fundamental class in the sense of Kai Behrend and Barbara Fantechi using obstruction theories related to the deformation theory studied by Pierre Deligne and Jean-Louis Verdier. Integration of the Behrend constructible function over the moduli stack yields integer invariants, relying on techniques developed by Daniel Quillen, Jean-Michel Bismut, and Robert MacPherson for characteristic classes and constructible functions. The invariants are defined for stability conditions influenced by Tom Bridgeland and are sensitive to wall-crossing behavior first elucidated by Maxim Kontsevich and Yan Soibelman.

Properties and Structures

Donaldson–Thomas invariants satisfy deformation invariance under complex structure variation of Calabi–Yau threefolds, paralleling results by Phillip Griffiths and Claire Voisin on Hodge theory and variations of Hodge structure. They obey integrality and BPS state counting properties conjectured by Cumrun Vafa and Edward Witten, and wall-crossing formulas governed by Kontsevich–Soibelman identities connecting to cluster algebra phenomena studied by Sergey Fomin and Andrei Zelevinsky. Symmetries from automorphism groups studied by John Conway and Évariste Galois appear in examples, while localization techniques due to Raoul Bott and Bertram Kostant enable equivariant computations on toric Calabi–Yau varieties following methods used by Victor Guillemin and Shlomo Sternberg.

Examples and Computations

Concrete computations occur for the quintic threefold studied by Philip Candelas and for toric Calabi–Yau threefolds related to the work of Masahide Kato and Alastair King. For the resolved conifold considered in research by Cumrun Vafa and Mina Aganagic, explicit partition functions relate to topological vertex calculations by Jim Bryan and Ravi Vakil. Techniques from Richard Thomas and Davesh Maulik, building on Thomas’s original constructions and Rahul Pandharipande’s enumerative frameworks, yield examples where Hilbert scheme computations mirror Donaldson’s four-dimensional instanton counting used by Nikolai Nekrasov and Gregory Moore. Calculations often use virtual localization inspired by Atiyah–Bott fixed-point formulas and equivariant K-theory developed by Michael Atiyah and Friedrich Hirzebruch.

Relations to Other Invariants

Donaldson–Thomas invariants relate to Gromov–Witten invariants through conjectures and correspondences explored by Rahul Pandharipande and Davesh Maulik, extending mirror symmetry ideas from Maxim Kontsevich and Philip Candelas. They connect to Pandharipande–Thomas invariants introduced by Rahul Pandharipande and Richard Thomas, and to stable pair invariants studied by Tom Bridgeland and Jacob Lurie in derived algebraic geometry frameworks influenced by Alexander Grothendieck and Pierre Deligne. Wall-crossing phenomena tie them to Joyce–Song theories developed by Dominic Joyce and Yinan Song, and to Vafa–Witten invariants arising from gauge theory considerations by Vincent Mochizuki and Tamas Hausel.

Applications in Geometry and Physics

In geometry, these invariants inform classification questions for Calabi–Yau threefolds studied by Phillip Griffiths and Mark Gross, and they yield insights into derived categories promoted by Paul Seidel and Richard Thomas. In physics, they count BPS states in string theory contexts tied to Juan Maldacena’s AdS/CFT correspondence and to black hole microstate counting investigated by Andrew Strominger and Cumrun Vafa. Dualities such as S-duality and mirror symmetry as developed by Edward Witten and Maxim Kontsevich frame physical interpretations, while connections to matrix models and integrable systems echo work by Alexander Mironov and Sergey Natanzon.

Recent Developments and Open Problems

Recent advances include derived algebraic geometry approaches by Jacob Lurie and Bertrand Toën, categorification attempts by Mikhail Khovanov and Kevin Costello, and stability condition refinements by Tom Bridgeland and Ben Davison. Open problems involve full mathematical proofs of conjectural correspondences with Gromov–Witten theory by Davesh Maulik and Rahul Pandharipande, precise categorified invariants sought by Maxim Kontsevich and Yan Soibelman, and computational challenges for compact Calabi–Yau threefolds studied by Philip Candelas and Paul Aspinwall. Progress continues through collaborative efforts across institutions such as the Clay Mathematics Institute, the Isaac Newton Institute, and the Institute for Advanced Study.

Category:Algebraic geometry