Nekrasov Partition Function

• Nekrasov partition function is defined as the equivariant volume of the instanton moduli space in four-dimensional N=2 supersymmetric gauge theories.
• It connects gauge theory with integrable systems, matrix models, and conformal field theory through localization and combinatorial techniques.
• Its applications include validating the AGT correspondence and providing insights into quantum integrability, refined topological strings, and geometric invariants.

The Nekrasov partition function is a central object in the study of four-dimensional $\mathcal{N}=2$ supersymmetric gauge theories, encoding exact nonperturbative data of the low-energy effective action in terms of the microscopic parameters. It serves as a bridge between gauge theory, integrable systems, random matrix models, algebraic geometry, and conformal field theory, and has been at the core of mathematical physics developments including the AGT correspondence, refined topological strings, and enumerative geometry.

1. Definition and Physical Context

The Nekrasov partition function $Z_{\text{Nekrasov}}$ computes the equivariant volume or K-theoretic index of the instanton moduli space for $\mathcal{N}=2$ supersymmetric gauge theories in $\mathbb{R}^4$ with gauge group $G$ under the action of the torus $T=(\mathbb{C}^*)^2\times T_G$, where $(\epsilon_1,\epsilon_2)$ are deformation parameters ("$\Omega$-background"). For $G=SU(N)$, with fundamental masses $m_r$, Coulomb moduli $Z_{\text{Nekrasov}}$0, and instanton counting parameter $Z_{\text{Nekrasov}}$1, the partition function has the structure

$Z_{\text{Nekrasov}}$2

where $Z_{\text{Nekrasov}}$3 is the equivariant index over the $Z_{\text{Nekrasov}}$4-instanton moduli space. By equivariant localization, $Z_{\text{Nekrasov}}$5 is a sum over fixed points labeled by $Z_{\text{Nekrasov}}$6-tuples of Young diagrams $Z_{\text{Nekrasov}}$7 (Choy, 2016, Nishinaka et al., 2011, Bourgine, 2012), with explicit weight factors encoding vector and matter multiplet contributions.

2. Combinatorial and Geometric Formulation

For classical groups, the fixed points of the torus action correspond to tuples of Young diagrams with specific symmetry constraints: ordinary $Z_{\text{Nekrasov}}$8-tuples for $Z_{\text{Nekrasov}}$9; symplectic pairings for $\mathcal{N}=2$0; and self-dual or orthogonally paired diagrams for $\mathcal{N}=2$1. The localization formula factors the contribution at a fixed point as products over boxes in the diagrams, via "arm" and "leg" lengths,

$\mathcal{N}=2$2

where $\mathcal{N}=2$3 are the arm and leg lengths of the box $\mathcal{N}=2$4 in $\mathcal{N}=2$5 (Choy, 2016, Liu et al., 2024). For $\mathcal{N}=2$6, the partition function is

$\mathcal{N}=2$7

Similar combinatorics, with modifications for the root structure, apply for $\mathcal{N}=2$8 and $\mathcal{N}=2$9 (Choy, 2016, Nakamura et al., 2014).

The instanton partition function can also be written as a contour integral—arising from the localization calculation or as the partition function of a matrix model. For $\mathbb{R}^4$0 with $\mathbb{R}^4$1 instantons,

$\mathbb{R}^4$2

and generalizations apply to other groups (Antoniadis et al., 2013).

3. Matrix Model and $\mathbb{R}^4$3-Ensemble Realization

The Nekrasov partition function for $\mathbb{R}^4$4 with $\mathbb{R}^4$5 can be realized as the partition function of a $\mathbb{R}^4$6-deformed Penner-type matrix model, with the key identification $\mathbb{R}^4$7, $\mathbb{R}^4$8, relating the deformation parameter $\mathbb{R}^4$9 to the $G$0-background (Nishinaka et al., 2011). The free energy expands as

$G$1

where $G$2 matches the Seiberg–Witten prepotential and $G$3 reproduces the first $G$4-corrected term, validating the AGT correspondence by matching the instanton expansion coefficients between gauge theory and Liouville/Toda matrix integrals. The relation between matrix filling fractions and Coulomb moduli is made precise via the spectral curve and its periods (Nishinaka et al., 2011): $G$5 with quantum corrections at higher genus.

4. Closed-form Product Representations and Nekrasov–Okounkov Identities

The instanton sum admits closed-product expressions via generalizations of the Nekrasov–Okounkov identities, often derived from the symmetry of the topological vertex (Iqbal et al., 2010). For $G$6 with adjoint or fundamental matter, the partition function can be cast as

$G$7

or in plethystic exponential form. Such representations turn combinatorial sums into efficient generating functions and make connections to integrable hierarchies, spectral duality, and the refined topological vertex structure.

5. Special Limits, Integrable Systems, and Spectral Curves

In the Nekrasov–Shatashvili (NS) limit ($G$8), the partition function is dominated by large Young diagrams, and the sum can be recast as a saddle point for a collective instanton density. The leading-order effective action yields a quantized Seiberg–Witten curve, explicitly connecting the gauge theory to quantum integrable systems via Baxter equations and the AGT correspondence (Bourgine, 2012, Ferrari et al., 2012),

$G$9

with the quantum Seiberg–Witten differential $T=(\mathbb{C}^*)^2\times T_G$0 encoding all quantum corrections. The full partition function can, in the NS limit, be reconstructed from the perturbative 1-loop piece via a finite-difference operator.

6. Algebraic Structure and Ward Identities

The structure of the Nekrasov partition function is governed by deep algebraic symmetries. At $T=(\mathbb{C}^*)^2\times T_G$1, it obeys $T=(\mathbb{C}^*)^2\times T_G$2 and Virasoro $T=(\mathbb{C}^*)^2\times T_G$3-algebra recursion relations, which in the AGT correspondence map to conformal Ward identities of Liouville or Toda theory conformal blocks (Kanno et al., 2012). For general $T=(\mathbb{C}^*)^2\times T_G$4, the symmetry is controlled by the so-called $T=(\mathbb{C}^*)^2\times T_G$5 or degenerate double affine Hecke algebra, a $T=(\mathbb{C}^*)^2\times T_G$6-deformed $T=(\mathbb{C}^*)^2\times T_G$7 algebra (Kanno et al., 2013), which underlies the origin of the infinite family of recursion formulae satisfied by the instanton partition function.

Recent work presents $T=(\mathbb{C}^*)^2\times T_G$8-representation constructions, in which the partition function is realized as an exponential of commuting Hamiltonians acting on a vacuum, with expansions in generalized Jack (for 4d) or Macdonald (for 5d) bases, encoding the full structure and connecting explicitly to vertex operator calculations (Liu et al., 2024). These representations unify the combinatorial, algebraic, and quantum-integrable perspectives on the partition function.

7. Roles in Geometry, Topological Strings, and Beyond

Mathematically, the Nekrasov partition function computes generating functions of Hilbert series of the coordinate rings of the instanton moduli spaces or their Uhlenbeck compactifications (Choy, 2016, Choy, 2016). In string theory, it is realized as a "refined" topological string partition function, related to higher-derivative couplings in supergravity (Antoniadis et al., 2010, Hristov, 2021, Antoniadis et al., 2013). In five dimensions, the partition function is expressible via sums over pairs of Young diagrams with refined topological vertex techniques, and factorization and gluing constructions provide a geometric approach to the partition function on toric Sasaki-Einstein manifolds (Qiu et al., 2014, Taki, 2014, Li et al., 2021).

Extensions to Argyres–Douglas theories, thermodynamic limits, and relations to wall-crossing and band/gap structures in quantum mechanics further position the Nekrasov partition function as a universal object capturing deep interrelations among gauge theories, integrable systems, string theory, and representation theory (Kimura et al., 2022, Gorsky et al., 2017).

---

References

• (Nishinaka et al., 2011) $T=(\mathbb{C}^*)^2\times T_G$9-deformed matrix model and Nekrasov partition function
• (Choy, 2016, Choy, 2016) Geometry of Uhlenbeck compactification; K-theoretic Nekrasov functions
• (Iqbal et al., 2010) Generalizations of Nekrasov-Okounkov Identity
• (Bourgine, 2012, Ferrari et al., 2012) Large N and path-integral approaches; NS limit
• (Liu et al., 2024) Generalized $(\epsilon_1,\epsilon_2)$0 and $(\epsilon_1,\epsilon_2)$1-deformed partition functions with $(\epsilon_1,\epsilon_2)$2-representations
• (Stocke et al., 2012) Virasoro constraints for Nekrasov instanton partition function
• (Kanno et al., 2013) Extended conformal symmetry and recursion
• (Antoniadis et al., 2010) Deformed topological partition function and Nekrasov backgrounds
• (Antoniadis et al., 2013) Non-perturbative Nekrasov partition function from string theory
• (Taki, 2014, Qiu et al., 2014) Seiberg duality, gluing, and 5d extensions
• (Gorsky et al., 2017) Bands and gaps in Nekrasov partition function
• (Kimura et al., 2022) Nekrasov partition function in gauged Argyres–Douglas theories