The geometry of Nekrasov's gauge origami theory

Abstract

Nekrasov's gauge origami theory provides a (complex) 4-dimensional generalization of the ADHM quiver and its moduli spaces of representations. We describe the origami moduli space as the zero locus of an isotropic section of a quadratic vector bundle on a smooth space. This allows us to give an algebro-geometric definition of the origami partition function in terms of Oh--Thomas virtual cycles. The key input is the computation of a sign associated to each torus fixed point of the moduli space. Furthermore, we establish an integrality result and dimensional reduction formulae, and discuss an application to non-perturbative Dyson--Schwinger equations following Nekrasov's work. Finally, we conjecture a description of the origami moduli space in terms of certain 2-dimensional framed sheaves on $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$, which we verify at the level of torus fixed points.