Derived symplectic structures in generalized Donaldson–Thomas theory and categorification

Thesis

This thesis presents a series of results obtained in [13, 18, 19, 23{25, 87]. In [19], we prove a Darboux theorem for derived schemes with symplectic forms of degree k < 0, in the sense of [142]. We use this to show that the classical scheme X = t₀(X) has the structure of an algebraic d-critical locus, in the sense of Joyce [87]. Then, if (X, s) is an oriented d-critical locus, we prove in [18] that there is a natural perverse sheaf P•_X,s on X, and in [25], we construct a natural motive MF_X,s, in a certain quotient ring M^μ_X of the μ-equivariant motivic Grothendieck ring M^μ_X, and used in Kontsevich and Soibelman's theory of motivic Donaldson-Thomas invariants [102]. In [13], we obtain similar results for k-shifted symplectic derived Artin stacks.

We apply this theory to categorifying Donaldson-Thomas invariants of Calabi-Yau 3-folds, and to categorifying Lagrangian intersections in a complex symplectic manifold using perverse sheaves, and to prove the existence of natural motives on moduli schemes of coherent sheaves on a Calabi-Yau 3-fold equipped with 'orientation data', as required in Kontsevich and Soibelman's motivic Donaldson-Thomas theory [102], and on intersections L∩M of oriented Lagrangians L,M in an algebraic symplectic manifold (S,ω). In [23] we show that if (S,ω) is a complex symplectic manifold, and L,M are complex Lagrangians in S, then the intersection X= L∩M, as a complex analytic subspace of S, extends naturally to a complex analytic d-critical locus (X, s) in the sense of Joyce [87]. If the canonical bundles K_L,K_M have square roots K^1/2_L, K^1/2_M then (X, s) is oriented, and we provide a direct construction of a perverse sheaf P•_L,M on X, which coincides with the one constructed in [18].

In [24] we have a more in depth investigation in generalized Donaldson-Thomas invariants DT^α(τ) defined by Joyce and Song [85]. We propose a new algebraic method to extend the theory to algebraically closed fields K of characteristic zero, rather than K = C, and we conjecture the extension of generalized Donaldson-Thomas theory to compactly supported coherent sheaves on noncompact quasi-projective Calabi-Yau 3-folds, and to complexes of coherent sheaves on Calabi-Yau 3-folds.

Authors: Bussi, V

• Publication date: 2014
• DOI: 10.5287/ora-8njawbzme
• Type of award: DPhil
• Level of award: Doctoral
• Awarding institution: University of Oxford
• Language: English
• Keywords: Donaldson-Thomas invariants; derived algebraic geometry
• Subjects: Algebraic geometry