---
title: Nekrasov Partition Function
url: https://www.emergentmind.com/topics/nekrasov-partition-function
type: topic
---

# Nekrasov Partition Function

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 $a_i$, and instanton counting parameter $q$, the partition function has the structure
\[
Z(a,m;\epsilon_1,\epsilon_2; q) = Z_{\text{pert}} \cdot Z_{\text{inst}} = Z_{\text{pert}} \sum_{k=0}^\infty q^k Z_k(a,m;\epsilon_1,\epsilon_2)
\]
where $Z_k$ is the equivariant index over the $k$-instanton moduli space. By equivariant localization, $Z_{\text{inst}}$ is a sum over fixed points labeled by $N$-tuples of Young diagrams $\vec Y=(Y_1,\ldots,Y_N)$ [1606.00707, 1112.3545, 1212.4972], 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 $N$-tuples for $SU(N)$; symplectic pairings for $Sp(N)$; and self-dual or orthogonally paired diagrams for $SO(N)$. The localization formula factors the contribution at a fixed point as products over boxes in the diagrams, via "arm" and "leg" lengths,
\[
E_{ij}(s) = a_i - a_j - \epsilon_1\, L_{Y_j}(s) + \epsilon_2 (A_{Y_i}(s)+1)
\]
where $A_{Y}(s), L_{Y}(s)$ are the arm and leg lengths of the box $s$ in $Y$ [1606.00707, 2405.11970]. For $SU(N)$, the partition function is
\[
Z^{SU(N)}(q; \epsilon_1, \epsilon_2, a) = \sum_{Y_1,\ldots,Y_N} q^{\sum |Y_\alpha|} \prod_{\alpha,\beta=1}^N \prod_{s \in Y_\alpha} \frac{1}{E_{\alpha\beta}(s)}
\]
Similar combinatorics, with modifications for the root structure, apply for $SO(N)$ and $Sp(N)$ [1606.00707, 1411.4222].

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 $SU(N)$ with $k$ instantons,
\[
Z_k = \frac{1}{k! \epsilon_1^k \epsilon_2^k} \oint \prod_{I=1}^k \frac{d\phi_I}{2\pi i} \frac{\prod_{I \neq J} (\phi_I - \phi_J)(\phi_I - \phi_J - \epsilon_1 - \epsilon_2)}{\prod_{I \neq J}(\phi_I - \phi_J - \epsilon_1)(\phi_I - \phi_J - \epsilon_2)} \prod_{I,u} \frac{1}{(\phi_I - a_u)(\phi_I - a_u + \epsilon_1 + \epsilon_2)}
\]
and generalizations apply to other groups [1309.6688].

## 3. Matrix Model and $\beta$-Ensemble Realization

The Nekrasov partition function for $SU(2)$ with $N_f=2,3,4$ can be realized as the partition function of a $\beta$-deformed Penner-type matrix model, with the key identification $\epsilon_1=2g\sqrt\beta$, $\epsilon_2=-2g/\sqrt\beta$, relating the deformation parameter $\beta$ to the $\Omega$-background [1112.3545]. The free energy expands as
\[
F_{\text{matrix}} = -\epsilon_1 \epsilon_2 \ln Z_{\text{matrix}} = F_0 + F_1 g + \cdots
\]
where $F_0$ matches the Seiberg–Witten prepotential and $F_1$ reproduces the first $\epsilon$-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 [1112.3545]:
\[
a = \frac{1}{2\pi i} \oint_A x(z)\,dz
\]
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 [1011.3745]. For $SU(N)$ with adjoint or fundamental matter, the partition function can be cast as
\[
Z_{\text{inst}} = \prod_{n=1}^\infty \frac{\prod_i (1 - Q^n e^{m_i - \epsilon_+})}{(1 - Q^n e^{-\epsilon_1})(1 - Q^n e^{-\epsilon_2})}
\]
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 ($\epsilon_2 \to 0$), 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 [1212.4972, 1212.6787],
\[
q M(z) \Phi(z+\hbar)\Phi(z) - P(z)\Phi(z+\hbar) + 1 = 0
\]
with the quantum Seiberg–Witten differential $\lambda_q(x) = x\,d\log\psi(x)$ 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 $\beta=1$, it obeys $U(1)$ and Virasoro $\mathcal{W}_2$-algebra recursion relations, which in the AGT correspondence map to conformal Ward identities of Liouville or Toda theory conformal blocks [1207.5658]. For general $\beta$, the symmetry is controlled by the so-called $SH^c$ or degenerate double affine Hecke algebra, a $\beta$-deformed $W_{1+\infty}$ algebra [1306.1523], which underlies the origin of the infinite family of recursion formulae satisfied by the instanton partition function.

Recent work presents $W$-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 [2405.11970]. 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 [1606.00707, 1609.09780]. In string theory, it is realized as a "refined" topological string partition function, related to higher-derivative couplings in supergravity [1003.2832, 2111.06903, 1309.6688]. 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 [1403.2945, 1401.7200, 2102.09482].

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 [2206.10937, 1712.02936].

---

**References**  
- [1112.3545] $\beta$-deformed matrix model and Nekrasov partition function  
- [1606.00707], [1609.09780] Geometry of Uhlenbeck compactification; K-theoretic Nekrasov functions  
- [1011.3745] Generalizations of Nekrasov-Okounkov Identity  
- [1212.4972], [1212.6787] Large N and path-integral approaches; NS limit  
- [2405.11970] Generalized $\beta$ and $(q,t)$-deformed partition functions with $W$-representations  
- [1212.5658] Virasoro constraints for Nekrasov instanton partition function  
- [1306.1523] Extended conformal symmetry and recursion  
- [1003.2832] Deformed topological partition function and Nekrasov backgrounds  
- [1309.6688] Non-perturbative Nekrasov partition function from string theory  
- [1401.7200], [1403.2945] Seiberg duality, gluing, and 5d extensions  
- [1712.02936] Bands and gaps in Nekrasov partition function  
- [2206.10937] Nekrasov partition function in gauged Argyres–Douglas theories

Source: https://www.emergentmind.com/topics/nekrasov-partition-function