The geometry of Nekrasov's gauge origami theory

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.

💡 Research Summary

The paper provides a rigorous algebro‑geometric foundation for Nekrasov’s “gauge origami” theory, which is a four‑dimensional complex generalisation of the ADHM quiver. The authors start by introducing the 4‑dimensional ADHM quiver Q₄, consisting of four loop arrows B₁,…,B₄ and six framing pairs (I_A, J_A) indexed by the subsets A⊂{1,2,3,4} of size two. The relations (µ_A, ν_A, µ_{A,a}, ν_{A,a}) are the natural higher‑dimensional analogues of the usual ADHM equations.

A dimension vector (r̂,n) is fixed, where r̂ records the dimensions of the framing spaces W_A and n is the dimension of the vector space V. Stable representations of Q₄ are defined by a natural stability condition (5). The space of stable representations of the unconstrained quiver (i.e. without the ADHM relations) is a smooth quasi‑projective variety A = A_{Q₄}(r̂,n).

The key geometric construction is a quadratic vector bundle (E,q) on A, where E is an even‑rank bundle equipped with a fibrewise non‑degenerate symmetric bilinear form q. An isotropic section s∈H⁰(A,E) is defined by the collection of ADHM‑type maps (µ_A, ν_A, µ_{A,a}, ν_{A,a}). The zero‑locus Z(s) coincides with the original moduli space M_{Q₄}(r̂,n) of stable representations satisfying the relations. This description yields a 3‑term symmetric obstruction theory and, via the Oh–Thomas theory of quadratic bundles, a virtual cycle