Logarithmic Donaldson–Thomas theory

Davesh Maulik,Dhruv Ranganathan

DOI: https://doi.org/10.1017/fmp.2024.1

2024-04-19

Forum of Mathematics Pi

Abstract:Let X be a smooth and projective threefold with a simple normal crossings divisor D. We construct the Donaldson–Thomas theory of the pair enumerating ideal sheaves on X relative to D. These moduli spaces are compactified by studying subschemes in expansions of the target geometry, and the moduli space carries a virtual fundamental class leading to numerical invariants with expected properties. We formulate punctual evaluation, rationality and wall-crossing conjectures, in parallel with the standard theory. Our formalism specializes to the Li–Wu theory of relative ideal sheaves when the divisor is smooth and is parallel to recent work on logarithmic Gromov–Witten theory with expansions.

mathematics, applied

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to construct a logarithmic Donaldson - Thomas (DT) theory for studying ideal sheaves on a smooth projective three - fold \(X\) with a simple normal crossing divisor \(D\). Specifically, the authors aim to construct a relative DT theory that can enumerate ideal sheaves on \(X\) relative to \(D\). A key challenge in this theory is how to handle cases without an obvious non - expansive form, especially when \(D\) is a simple normal crossing divisor.

### Main Contributions

1. **Construction of Moduli Spaces**:
- The authors construct a moduli problem \(DT_{\beta,n}(X|D)\) which is related to a given curve class \(\beta\) and holomorphic Euler characteristic \(n\).
- It is proved that \(DT_{\beta,n}(X|D)\) can be represented as an appropriate Deligne - Mumford stack, and it compactifies the moduli space of ideal sheaves on \(X\) relative to \(D\).
- The moduli space \(DT_{\beta,n}(X|D)\) is equipped with a virtual fundamental class which has the expected properties.

2. **Numerical Invariants**:
- Numerical invariants are defined by integrating with the virtual fundamental class.
- The concepts of primary fields and descendant fields are introduced, which are given by the Chern characters of the universal ideal sheaf.

3. **Evaluation Maps**:
- Each \(DT\) moduli space \(DT_{\beta,n}(X|D)\) is equipped with an evaluation map \(ev: DT_{\beta,n}(X|D)\to Ev(D)\), where \(Ev(D)\) is the compactification of the Hilbert scheme of points on the smooth part of \(D\).
- \(DT\) invariants are defined by pairing the virtual class with cohomology classes pulled back from \(Ev(D)\) as well as primary fields and descendant fields.

4. **Extension of the Theory**:
- Basic conjectures such as the exact evaluation of punctual sequences and the rationality of the normalized generating function are proposed.
- The correspondence between relative Gromov - Witten (GW) and DT/PT theories is generalized to normal - crossing geometries.

### Methods and Tools

- **Tropical Geometry**:
- The methods of tropical geometry are used to construct flat limits of algebraic transversals, thus ensuring transversality is maintained during the degeneration process.
- By Tevelev's method, tropical data are related to geometric objects to construct expansions of the target.

- **Construction of Moduli Spaces**:
- An Artin stack encoding possible expansions is constructed, which can be obtained through Tevelev's process.
- By studying tropical moduli problems, a series of moduli spaces that appear as expansion stacks are constructed, and these moduli spaces are related to each other by birational transformations.

- **Stability Conditions**:
- The DT stability conditions for ideal sheaves on \(X\) relative to \(D\) are defined, especially for dealing with tube subschemes.

### Conclusions

This paper successfully constructs a logarithmic DT theory applicable to smooth projective three - folds with simple normal - crossing divisors. This theory not only provides new numerical invariants but also provides a powerful tool for understanding curve - counting problems in complex geometric structures. Moreover, the construction method of this theory also provides new perspectives and methods for research in other related fields.