Table of Contents
Fetching ...

Donaldson-Thomas invariants of $[\mathbb C^4/\mathbb Z_r]$

Xiaolong Liu

TL;DR

This work determines the zero-dimensional DT4 invariants of the orbifold $[\mathbb C^4/\mathbb Z_r]$, confirming the Cao–Kool–Monavarí conjecture by combining an orbifold degeneration framework with DT4 data for the crepant resolution $\mathcal A_{r-1}\times\mathbb C^2$ and a careful orientation analysis of Hilbert schemes. It develops a robust fourfold vertex formalism for both commutative and noncommutative Hilbert schemes, derives canonical sign rules, and employs relative/rubber DT4 theory and degeneration to reduce the global computation to tractable local pieces. The main result expresses the invariant as a MacMahon-type product with explicit refinements in terms of torus weights, and shows that, upon specialization, it reduces to the 3-fold DT theory, thereby validating a DT crepant resolution type conjecture in this orbifold setting. The methods fuse orbifold vertex calculus, quiver moduli, and square-root virtual pullbacks to control signs and pole structure, offering a blueprint for future DT4 computations on broader classes of orbifolds and their crepant resolutions.

Abstract

We compute the zero-dimensional Donaldson-Thomas invariants of the quotient stack $[\mathbb{C}^4/\mathbb{Z}_r]$, confirming a conjecture of Cao-Kool-Monavari. Our main theorem is established through an orbifold analogue of Cao-Zhao-Zhou's degeneration formula combined with the zero-dimensional Donaldson-Thomas invariants for $\mathcal{A}_{r-1}\times\mathbb{C}^2$ and an explicit determination of orientations of Hilbert schemes of points on $[\mathbb{C}^4/\mathbb{Z}_r]$.

Donaldson-Thomas invariants of $[\mathbb C^4/\mathbb Z_r]$

TL;DR

This work determines the zero-dimensional DT4 invariants of the orbifold , confirming the Cao–Kool–Monavarí conjecture by combining an orbifold degeneration framework with DT4 data for the crepant resolution and a careful orientation analysis of Hilbert schemes. It develops a robust fourfold vertex formalism for both commutative and noncommutative Hilbert schemes, derives canonical sign rules, and employs relative/rubber DT4 theory and degeneration to reduce the global computation to tractable local pieces. The main result expresses the invariant as a MacMahon-type product with explicit refinements in terms of torus weights, and shows that, upon specialization, it reduces to the 3-fold DT theory, thereby validating a DT crepant resolution type conjecture in this orbifold setting. The methods fuse orbifold vertex calculus, quiver moduli, and square-root virtual pullbacks to control signs and pole structure, offering a blueprint for future DT4 computations on broader classes of orbifolds and their crepant resolutions.

Abstract

We compute the zero-dimensional Donaldson-Thomas invariants of the quotient stack , confirming a conjecture of Cao-Kool-Monavari. Our main theorem is established through an orbifold analogue of Cao-Zhao-Zhou's degeneration formula combined with the zero-dimensional Donaldson-Thomas invariants for and an explicit determination of orientations of Hilbert schemes of points on .

Paper Structure

This paper contains 22 sections, 30 theorems, 130 equations, 1 figure.

Key Result

Theorem A

Let $X=Y\times\mathbb C$ for some toric Calabi-Yau $3$-fold $Y$, then there exists a choice of orientation such that Conjecture conj-torus-DT4-general holds. In particular, let $X=\mathcal{A}_{r-1}\times\mathbb C^2$ where $\mathcal{A}_{r-1}$ be the minimal crepant resolution of $A_{r-1}$-singularity

Figures (1)

  • Figure :

Theorems & Definitions (70)

  • Definition 1.1: $\mathsf{DT}_4$-invariants of toric CY $4$-folds
  • Conjecture 1.2: CK18
  • Theorem A: Theorem \ref{['coro-DT-specil-toric']}, Corollary \ref{['coro-DT-ArC2']}
  • Conjecture 1.3: CKM23
  • Theorem B: Theorem \ref{['thm-main-DT4-C4Zr']}
  • Definition 2.1: park21
  • Definition 2.2
  • Definition 2.3
  • Definition 2.4
  • Lemma 3.1: CK20
  • ...and 60 more