Motivic Donaldson-Thomas theory and singularity theory

May 7 to May 11, 2012

at the

American Institute of Mathematics, Palo Alto, California

organized by

Jim Bryan, Andras Nemethi, Davesh Maulik, Joerg Schuermann, Balazs Szendroi, and Agnes Szilard

Original Announcement

This workshop will bring together experts from Donaldson-Thomas theory and singularity theory to explore the exciting connections which have recently emerged between these two fields. While both disciplines have been the subject of intense research in the last few years, they have been pursued by essentially disjoint communities of researchers. However, recent breakthroughs have made it clear that DT theory and singularity theory are fundamentally connected.

Donaldson-Thomas theory has blossomed in recent years as an algebro-geometric enumerative theory on Calabi-Yau and other threefolds, with connections to topological string theory, Gromov-Witten theory, combinatorics, representation theory, symmetric functions and integrable systems. While these invariants are defined in great generality and are expected to have a nice conjectural structure, their computation has posed a major challenge in all but the simplest cases.

A major advance was the work of Behrend, who observed that, in the Calabi-Yau case, DT invariants arise from a symmetric obstruction theory, whose obstruction cone is a Lagrangian subcone of a cotangent bundle. This fits nicely with the microlocal geometry of characteristic cycles due to Kashiwara et al. and the theory of MacPherson-Chern classes for constructible functions, so that the corresponding DT invariant is given by the Euler characteristic of an intrinsic constructible function attached to the moduli space. If the DT-type moduli space arises locally as the critical locus of a holomorphic function on a complex manifold, then the value of Behrend's distinguished constructible function at a point is the reduced Euler characteristic of the Milnor fibre of the function at the point. This observation brings the methods of singularity theory to bear on the problem, since the Milnor fibre is one of the basic invariants of a singularity. Its (reduced) Euler characteristic or cohomology can be codified by the powerful language of nearby/vanishing cycles of constructible functions or sheaves.

This point of view also allows for local "motifications" and "categorifications", respectively, where one replaces a numerical invariant (an Euler characteristic) by a motivic class or a Hodge theoretical cohomology group coming from the motivic class or mixed Hodge module of vanishing cycles. This point of view has inspired a great deal of recent activity in the field. A key technical result is a corresponding Thom-Sebastiani theorem for vanishing cycles.

In a parallel development, the singularity theory community has been tackling closely related problems about characteristic Chern- resp. Hirzebruch classes of singular complex hypersurfaces in terms of nearby/vanishing cycles of constructible functions resp. motivic Grothendieck groups or mixed Hodge modules.

The aim of the workshop is to bring all these developments together in a creative way. We aim to discuss the following topics during the workshop.

  1. Nearby and vanishing cycles on the level of constructible functions and sheaves, mixed Hodge modules and motivic Grothendieck groups
  2. DT-style moduli spaces, their geometry and cohomology with coefficients in vanishing cycles
  3. Recent work of Kontsevich-Soibelman: exponential Hodge structures, critical and fast-decay cohomology, cohomological Hall algebra.
  4. Microlocal geometry and invariants of singularities
  5. Characteristic classes of singular hypersurfaces, and their relation to DT theory
We hope to share the methods and research questions of the two communities, thereby mapping out a programme of research for the next few years.

Material from the workshop

A list of participants.

The workshop schedule.

A report on the workshop activities.

Papers arising from the workshop:
Purity for graded potentials and quantum cluster positivity
Naive motivic Donaldson-Thomas type Hirzebruch classes and some problems
On motivic vanishing cycles of critical loci
A Darboux theorem for derived schemes with shifted symplectic structure
A classical model for derived critical loci
Symmetries and stabilization for sheaves of vanishing cycles