1: \begin{abstract}

2: \noindent

3: Given a homomorphism $\tau$ from a suitable finite group $\sGamma$ to $\sSU(4)$ with image $\sGamma^\tau$, we construct a cohomological gauge theory on a noncommutative resolution of  the quotient singularity $\FC^4/\sGamma^\tau$ whose BRST fixed points are $\sGamma$-invariant tetrahedron instantons on a generally non-effective orbifold.

4: 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 $[\FC^4/\,\sGamma^\tau]$.

5: We describe the generalized ADHM parametrization of the tetrahedron instanton moduli space, and evaluate the orbifold partition functions through virtual torus localization. If $\sGamma$ is an abelian group the partition function is expressed as a  combinatorial series over arrays of $\sGamma$-coloured plane partitions, while if $\sGamma$ 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 $\sGamma=\RZ_n$ is a finite abelian subgroup of $\sSL(2,\FC)$, we exhibit the reduction of Donaldson--Thomas theory on the toric Calabi--Yau four-orbifold $\FC^2/\,\sGamma\times\FC^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.

6: \end{abstract}

7: