Abstract:Given a homomorphism $\tau$ from a suitable finite group $\mathsf{\Gamma}$ to $\mathsf{SU}(4)$ with image $\mathsf{\Gamma}^\tau$, we construct a cohomological gauge theory on a noncommutative resolution of the quotient singularity $\mathbb{C}^4/\mathsf{\Gamma}^\tau$ whose BRST fixed points are $\mathsf{\Gamma}$-invariant tetrahedron instantons on a generally non-effective orbifold. The partition function computes the expectation values of complex codimension one defect operators in rank $r$ cohomological Donaldson-Thomas theory on a flat gerbe over the quotient stack $[\mathbb{C}^4/\,\mathsf{\Gamma}^\tau]$. We describe the generalized ADHM parametrization of the tetrahedron instanton moduli space, and evaluate the orbifold partition functions through virtual torus localization. If $\mathsf{\Gamma}$ is an abelian group the partition function is expressed as a combinatorial series over arrays of $\mathsf{\Gamma}$-coloured plane partitions, while if $\mathsf{\Gamma}$ is non-abelian the partition function localizes onto a sum over torus-invariant connected components of the moduli space labelled by lower-dimensional partitions. When $\mathsf{\Gamma}=\mathbb{Z}_n$ is a finite abelian subgroup of $\mathsf{SL}(2,\mathbb{C})$, we exhibit the reduction of Donaldson-Thomas theory on the toric Calabi-Yau four-orbifold $\mathbb{C}^2/\,\mathsf{\Gamma}\times\mathbb{C}^2$ to the cohomological field theory of tetrahedron instantons, from which we express the partition function as a closed infinite product formula. We also use the crepant resolution correpondence to derive a closed formula for the partition function on any polyhedral singularity.

Intersection cohomology groups of instanton moduli spaces and cotangent bundles of affine flag varieties

Asymptotic geometry at infinity of quiver varieties

The Symplectic Geometry Of Cotangent Bundles From A Categorical Viewpoint

Tetrahedron instantons in Donaldson-Thomas theory

The cohomology of framed moduli spaces and the coordinate ring of torus fixed points of quotient singularities

Compact exact Lagrangian intersections in cotangent bundles via sheaf quantization (with an appendix by Tomohiro Asano)

Categorification of Invariants in Gauge Theory and Symplectic Geometry

Intersection cohomology of type-A toric varieties

Intersection cohomology of moduli spaces of vector bundles over curves

't Hooft bundles on the complete flag threefold and moduli spaces of instantons

G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface

An Analytic Application of Geometric Invariant Theory II: Coarse Moduli Spaces

Quantum intersection numbers and the Gromov-Witten invariants of $\mathbb{CP}^1$

The hybrid Landau-Ginzburg models of Calabi-Yau complete intersections

Integral equivariant cohomology of affine Grassmannians

Tetrahedron Instantons on Orbifolds

Moduli of plane quartics, Gopel invariants and Borcherds products

Quantum $K$-invariants via Quot schemes II

Intersection Theory on Linear Subvarieties of Toric Varieties

On Instanton Superpotentials, Calabi-Yau Geometry, and Fibrations

The virtual intersection theory of isotropic Quot Schemes