According to string theory, coherent sheaves on three-dimensional Calabi-Yau spaces encode fundamental properties of the universe. On the other hand, they have a purely mathematical definition. We will develop and use the new field of categorified Donaldson-Thomas (DT) theory, which counts these objects. Via the powerful perspective of noncommutative algebraic geometry, this theory has found application in recent years in a wide variety of contexts, far from classical algebraic geometry.
Categorification has proved tremendously powerful across mathematics, for example the entire subject of algebraic topology was started by the categorification of Betti numbers. The categorification of DT theory leads to the replacement of the numbers of DT theory by vector spaces, of which these numbers are the dimensions. In the area of categorified DT theory we have been able to prove fundamental conjectures upgrading the famous wall crossing formula and integrality conjecture in noncommutative algebraic geometry. The first three projects involve applications of the resulting new subject:
1. Complete the categorification of quantum cluster algebras, proving the strong positivity conjecture.
2. Use cohomological DT theory to prove the outstanding conjectures in the nonabelian Hodge theory of Riemann surfaces, and the subject of Higgs bundles.
3. Prove the comparison conjecture, realising the study of Yangian quantum groups and the geometric representation theory around them as a special case of DT theory.
The final objective involves coming full circle, and applying our recent advances in noncommutative DT theory to the original theory that united string theory with algebraic geometry:
4. Develop a generalised theory of categorified DT theory extending our results in noncommutative DT theory, proving the integrality conjecture for categories of coherent sheaves on Calabi-Yau 3-folds.
Fields of science
Funding SchemeERC-STG - Starting Grant
EH8 9YL Edinburgh
See on map
G12 8QQ Glasgow
See on map