Table of Contents
Fetching ...

Orthosymplectic Donaldson-Thomas theory

Chenjing Bu

TL;DR

The paper develops a comprehensive orthosymplectic Donaldson–Thomas theory for self‑dual objects in self‑dual 3‑Calabi–Yau linear categories. It constructs epsilon motives and DT invariants within a unified motivic framework based on the motivic Hall algebra and a motivic Hall module, and proves wall‑crossing formulas across stability conditions, including self‑dual variants. The theory extends to self‑dual quivers, orthosymplectic complexes on curves and Calabi–Yau threefolds, and motivic Vafa–Witten invariants on surfaces, with explicit algorithms and examples. This framework provides a robust set of tools for counting orthogonal and symplectic structures in a broad enumerative‑geometric setting and links to string‑theoretic contexts (orientifolds) and curvature phenomena in derived categories.

Abstract

We construct and study Donaldson-Thomas invariants counting orthogonal and symplectic objects in linear categories, which are a generalization of the usual Donaldson-Thomas invariants from the structure groups $\mathrm{GL} (n)$ to the groups $\mathrm{O} (n)$ and $\mathrm{Sp} (2n)$, and a special case of the intrinsic Donaldson-Thomas theory developed by the author, Halpern-Leistner, Ibáñez Núñez, and Kinjo. Our invariants are defined using the motivic Hall algebra and its orthosymplectic analogue, the motivic Hall module. We prove wall-crossing formulae for our invariants, which relate the invariants with respect to different stability conditions. As examples, we define Donaldson-Thomas invariants counting orthogonal and symplectic perfect complexes on a Calabi-Yau threefold, and Donaldson-Thomas invariants counting self-dual representations of a self-dual quiver with potential. In the case of quivers, we compute the invariants explicitly in some cases. We also define a motivic version of Vafa-Witten invariants counting orthogonal and symplectic Higgs complexes on a class of algebraic surfaces.

Orthosymplectic Donaldson-Thomas theory

TL;DR

The paper develops a comprehensive orthosymplectic Donaldson–Thomas theory for self‑dual objects in self‑dual 3‑Calabi–Yau linear categories. It constructs epsilon motives and DT invariants within a unified motivic framework based on the motivic Hall algebra and a motivic Hall module, and proves wall‑crossing formulas across stability conditions, including self‑dual variants. The theory extends to self‑dual quivers, orthosymplectic complexes on curves and Calabi–Yau threefolds, and motivic Vafa–Witten invariants on surfaces, with explicit algorithms and examples. This framework provides a robust set of tools for counting orthogonal and symplectic structures in a broad enumerative‑geometric setting and links to string‑theoretic contexts (orientifolds) and curvature phenomena in derived categories.

Abstract

We construct and study Donaldson-Thomas invariants counting orthogonal and symplectic objects in linear categories, which are a generalization of the usual Donaldson-Thomas invariants from the structure groups to the groups and , and a special case of the intrinsic Donaldson-Thomas theory developed by the author, Halpern-Leistner, Ibáñez Núñez, and Kinjo. Our invariants are defined using the motivic Hall algebra and its orthosymplectic analogue, the motivic Hall module. We prove wall-crossing formulae for our invariants, which relate the invariants with respect to different stability conditions. As examples, we define Donaldson-Thomas invariants counting orthogonal and symplectic perfect complexes on a Calabi-Yau threefold, and Donaldson-Thomas invariants counting self-dual representations of a self-dual quiver with potential. In the case of quivers, we compute the invariants explicitly in some cases. We also define a motivic version of Vafa-Witten invariants counting orthogonal and symplectic Higgs complexes on a class of algebraic surfaces.

Paper Structure

This paper contains 22 sections, 11 theorems, 105 equations, 1 figure.

Key Result

Lemma 2.2.9

Let $\mathcal{X}$ be an algebraic stack with affine diagonal, acted on by $\mathbb{Z}_2$. Then the forgetful morphism $\mathcal{X}^{\mathbb{Z}_2} \to \mathcal{X}$ is affine.

Figures (1)

  • Figure 1: An equivalence of categories

Theorems & Definitions (18)

  • Example 2.1.3: Vector bundles
  • Example 2.1.4: Self-dual quivers
  • Example 2.2.6
  • Lemma 2.2.9
  • Lemma 2.3.7
  • Theorem 3.2.4
  • Theorem
  • Theorem 5.1.3
  • Lemma 5.1.4
  • Theorem 5.2.3
  • ...and 8 more