---
title: Affine Laumon Partition Function
url: https://www.emergentmind.com/topics/affine-laumon-partition-function
type: topic
---

# Affine Laumon Partition Function

An affine Laumon partition function is an equivariant generating function attached to affine Laumon spaces, namely moduli spaces of parabolic sheaves on \(\mathbb{P}^1\times\mathbb{P}^1\) or, equivalently in several formulations, quiver varieties with affine type \(A\) structure. In the 5d gauge-theoretic setting it is the instanton partition function of a gauge theory with a surface defect, computed by localization on torus-fixed points labeled by partitions; in adjacent formulations it appears as a generating function of Euler characteristics, a generating function of Poincaré polynomials, or a character, trace, or matrix element in Verma-type modules of quantum affine algebras [2211.16772], [1903.07495], [2206.01600], [2402.08613].

## 1. Geometric origin

For fixed \(n\ge 2\) and a degree vector \(d=(d_1,\dots,d_n)\in \mathbb{Z}_{\ge 0}^n\), the affine Laumon space \(\mathcal{M}_d\) is a moduli space of parabolic sheaves on \(\mathbb{P}^1\times\mathbb{P}^1\), and equivalently a quiver variety defined by an ADHM-type moment-map equation and a stability condition [2402.08613]. In another standard formulation, an affine Laumon space is the moduli space \(\mathcal{M}_{\underline d}\) of rank \(n\) degree \(\underline d\) parabolic sheaves
\[
\mathcal{F}_n(-D)\subset \mathcal{F}_1\subset \cdots \subset \mathcal{F}_{n-1}\subset \mathcal{F}_n
\]
on \(S=\mathbb{P}^1\times\mathbb{P}^1\), with framing along \(\infty\), and it is a smooth, quasi-projective variety of dimension \(2|\underline d|\) [1112.1756].

In gauge theory these spaces arise as moduli spaces of instantons in the presence of a surface operator. For \(N=2\), the starting physical theory in one formulation is a 5d \(\mathcal N=1\) supersymmetric \(\mathrm{SU}(2)\) gauge theory with four fundamental hypermultiplets and a surface defect; the affine Laumon space is the moduli space of parabolic sheaves on \(\mathbb P^1\times \mathbb P^1\) with a parabolic structure along the divisor representing the defect [2211.16772]. A related ADHM-orbifold description identifies affine Laumon spaces as \(\mu_\ell\)-fixed components in instanton moduli spaces, equivalently as moduli spaces of framed parabolic torsion-free sheaves on \(\mathbb P^1\times\mathbb P^1\) [2206.01600].

The localization formalism is controlled by a torus action. Fixed points are combinatorial. For type \(A_1^{(1)}\), the torus-fixed points are labeled by pairs of partitions \((\lambda^{(1)},\lambda^{(2)})\) [2211.16772]. For general \(n\), fixed points are parametrized by \(n\)-tuples of 2D partitions \(\Lambda=(\Lambda_1,\dots,\Lambda_n)\), with colored boxes and degree vector determined by counting boxes of each color [2402.08613]. This fixed-point structure is the source of the partition-function expansions.

## 2. Localization formulas and standard forms

The 5d affine Laumon instanton partition function for \(U(2)\) gauge theory with \(2\) fundamentals and \(2\) anti-fundamentals, in the presence of a surface defect, is the function
\[
f(u_1,u_2;v_1,v_2;w_1,w_2\mid x_1,x_2\mid q,\kappa)
\]
defined by the fixed-point sum
\[
\begin{aligned}
f &= \sum_{\lambda^{(1)},\lambda^{(2)}\in\mathsf P}
\prod_{i,j=1}^2
\frac{
\mathsf N^{(j-i|2)}_{\varnothing,\lambda^{(j)}}(u_i/v_j\mid q,\kappa)\,
\mathsf N^{(j-i|2)}_{\lambda^{(i)},\varnothing}(v_i/w_j\mid q,\kappa)
}{
\mathsf N^{(j-i|2)}_{\lambda^{(i)},\lambda^{(j)}}(v_i/v_j\mid q,\kappa)
} \\
&\qquad\qquad\times
x_1^{|\lambda^{(1)}|_o+|\lambda^{(2)}|_e}\,
x_2^{|\lambda^{(1)}|_e+|\lambda^{(2)}|_o},
\end{aligned}
\]
where \(|\lambda|_o=\sum_{k\ge1}\lambda_{2k-1}\) and \(|\lambda|_e=\sum_{k\ge1}\lambda_{2k}\), and \(\mathsf N^{(k|2)}_{\lambda,\mu}(u\mid q,\kappa)\) is the \(\mathbb Z_2\)-orbifolded Nekrasov factor [2211.16772]. In this notation, \(u_i\) are masses of fundamental hypermultiplets, \(w_i\) are masses of anti-fundamental hypermultiplets, \(v_i\) are Coulomb parameters, and \(x_1,x_2\) are expansion parameters with \(x_1=x\) and \(x_2=\Lambda/x\) [2211.16772].

A direct \(\widehat{\mathfrak{gl}_N}\) generalization is the 5d/K-theoretic partition function of type \(A_{N-1}^{(1)}\),
\[
\mathcal{Z}_{\mathrm{AL}^{\widehat{\mathfrak{gl}_N}}},
\]
defined as a sum over \(N\)-tuples of Young diagrams \(\vec\lambda=(\lambda^{(1)},\ldots,\lambda^{(N)})\), with weights built from \(\mathbb Z_N\)-orbifolded Nekrasov factors and color-counting exponents \(k_i(\vec\lambda)\) [2510.27142]. In that formula the variables \(\mathsf x_i\) are graded by colored box numbers, while \(a_i,b_i,c_i\) encode Coulomb moduli and mass parameters.

Other standard affine-Laumon generating functions differ by the cohomology theory or by the insertion:

| Setting | Notation | Interpretation |
|---|---|---|
| 5d defect instanton counting | \(f\), \(\mathcal Z_{\mathrm{AL}}\) | K-theoretic Nekrasov partition function [2211.16772], [2309.15364] |
| Euler characteristics | \(f^{\widehat{\mathfrak{gl}_N}}(x,p\mid s,\kappa\mid q,t)\) | generating function for Euler characteristics [1903.07495] |
| Poincaré polynomials | \(Z_{\mathbf r}\) | generating function of Poincaré polynomials [2206.01600] |
| Cohomological tangent-class integrals | \(Z_m(\underline x)\) | generating function of equivariant integrals of \(c(T\mathcal M_{\underline d},2m)\) [1112.1756] |

This multiplicity of formulas is structural rather than accidental. The fixed-point sum over partitions is common, but the numerator, denominator, and grading depend on whether one is taking equivariant Euler characteristics, Poincaré polynomials, K-theoretic instanton weights, or cohomological characteristic-class integrals.

## 3. Representation-theoretic interpretation

A major development is the identification of equivariant K-theory of affine Laumon spaces with Verma-type modules of quantum affine algebras. The localized equivariant K-theory \(K^{\mathrm{loc}}\) of affine Laumon spaces carries a geometric action of \(U_q(\widehat{\mathfrak{gl}_n})\), constructed by Hecke-type correspondences, and is isomorphic to the universal Verma module over the fraction field [1811.01011], [2402.08613]. A stronger statement holds integrally after specialization: away from the critical level, the direct sum
\[
K^{\mathrm{int}}=\bigoplus_d K_T(\mathcal M_d)
\]
is identified, after a mild localization and specialization, with the contragredient dual Verma module of \(U_q(\widehat{\mathfrak{gl}_n})\) [2402.08613].

This identification is not merely formal. Fixed-point basis vectors are labeled by partitions, PBW bases are indexed by multipartitions, and the Shapovalov form is realized geometrically as an equivariant Euler characteristic pairing with a determinant twist [2402.08613]. Stable envelopes in a variant of the Maulik–Okounkov formalism provide the triangular transition between geometric fixed-point bases and PBW dual bases, and prove that dual PBW vectors land in nonlocalized K-theory [2402.08613].

In this framework, the affine Laumon partition function becomes a character, trace, or matrix element. One description is a Nekrasov-type sum over fixed points with inverse Euler-class weights; another is a character of the module \(K^{\mathrm{int}}\), or, after specialization, of the contragredient dual Verma module \(M^\vee\) [2402.08613]. A closely related formulation identifies the non-stationary Ruijsenaars function \(f^{\widehat{\mathfrak{gl}_N}}(x,p\mid s,\kappa\mid q,t)\) with the generating function for Euler characteristics of affine Laumon spaces, and its free-field construction uses affine screening operators and screened vertex operators [1903.07495].

## 4. Integrable systems and non-stationary equations

Affine Laumon partition functions occur as special functions of integrable systems. In the cohomological setting, the generating function
\[
Z_m(\underline x)=\sum_{\underline d\in\mathbb N^n}\underline x^{\underline d}\int_{\mathcal M_{\underline d}} c\!\left(T\mathcal M_{\underline d},2m\right)
\]
was shown to coincide, up to an explicit factor, with the distinguished eigenfunction of the affine trigonometric Calogero–Moser Hamiltonian [1112.1756]. This proves Braverman’s conjecture in that setting and identifies the affine Laumon partition function with an affine Calogero–Moser eigenfunction.

A different line of development begins with Shakirov’s non-stationary difference equation. For \(A_1^{(1)}\), the equation is gauge-equivalent to the Schrödinger form of qq-Painlevé VI, and the Hamiltonian factorizes because the time-translation element in the extended affine Weyl group admits a square-root factorization [2211.16772]. The resulting coupled first-order system is conjecturally solved by two Weyl-related specializations \((\mathcal F^{(1)},\mathcal F^{(2)})\) of the same affine Laumon partition function \(f\) [2211.16772].

That conjecture is established in the truncated case by identifying the K-theoretic Nekrasov partition function from the affine Laumon space with the Jackson-integral solution of the \(q\)-KZ equation for \(U_{\mathsf v}(A_1^{(1)})\) with generic spins [2309.15364]. In this form, the truncated non-stationary equation becomes a \(q\)-KZ equation, the Hamiltonian matrix agrees with the \(R\)-matrix, and the affine Laumon partition function gives a fundamental solution [2309.15364].

The same theme extends to higher rank. A \(\widehat{\mathfrak{gl}_N}\) non-stationary difference equation has been introduced with a Hamiltonian written in terms of \(q\)-commuting variables, simple-root and higher-root factorizations, and a normal-ordered form. The conjecture is that the affine Laumon partition function of type \(A_{N-1}^{(1)}\) solves this equation, and the four-dimensional limit reduces to the Fuji–Suzuki–Tsuda system [2510.27142].

Another integrable interpretation is elliptic. The formal power series \(f^{\widehat{\mathfrak{gl}_N}}(x,p\mid s,\kappa\mid q,t)\), called the non-stationary Ruijsenaars function, is identified with the generating function for the Euler characteristics of affine Laumon spaces. The Main Conjecture states that one can normalize it so that the limit \(\kappa\to 1\) exists, and that the stationary limit gives the eigenfunction of the elliptic Ruijsenaars operator [1903.07495].

## 5. Conformal blocks, Macdonald theory, and vertex algebras

Affine Laumon partition functions also provide explicit realizations of conformal blocks. In the \(\widehat{\mathfrak{sl}}(2)\) case, an AGT-type correspondence relates the four-point affine \(\widehat{\mathfrak{sl}}(2)\) conformal block to the Nekrasov instanton partition function of 4d \(\mathcal N=2\) \(\mathrm{SU}(2)\) gauge theory with a surface operator, computed on the Laumon space [1209.2992]. For \(N=2\) chiral fields in the Kazama–Suzuki realization of the \(N=2\) superconformal algebra, the corresponding \(\widehat{\mathfrak{sl}}(2)\) construction uses the ordinary highest-weight representation, and the chiral four-point block reduces to a single-diagram combinatorial expression because the parameter choice forces one of the two Young diagrams to be empty [1209.2992].

In a VOA direction, the generating function \(Z_{\mathbf r}\) of Poincaré polynomials of affine Laumon spaces of type \(\mathbf r=(r_0,\dots,r_{\ell-1})\) is given by a closed infinite-product formula, and this function is identified with the refined character of a universal Verma module of a vertex algebra constructed via iterated quantum Hamiltonian reduction [2206.01600]. The paper formulates the associated iterated \(W\)-algebra conjecture and proves equality of characters.

Macdonald-theoretic realizations are equally explicit. For \(G=SL(N)\), the local generating series
\[
J(q,t,z,x)=\sum_{\alpha\in\mathbb N^{N-1}} x^\alpha\,J_\alpha(q,t,z)
\]
built from based Laumon spaces is an eigenfunction of a Macdonald difference operator, while the global limits
\[
H_\lambda(q,t,z)=\lim_{\alpha\to\infty}[H^\bullet(Q^\alpha,DR(Q^\alpha)\otimes\mathcal O(\lambda))]
\]
are proportional to Macdonald polynomials \(P_\lambda(q,t,z)\) by explicit \(q\)-Pochhammer factors [1206.3131]. That paper does not introduce the term “affine Laumon partition function,” but it produces such objects in the form of equivariant graded Euler characteristics attached to Laumon spaces and the arc space of the base affine space [1206.3131].

## 6. Variants, limits, and scope of the term

The phrase “affine Laumon partition function” is not uniform across the literature. In some papers it means the 5d K-theoretic instanton partition function with a surface defect, written as a sum over partition data with orbifolded Nekrasov factors [2211.16772], [2309.15364], [2510.27142]. In others it means the generating function of Euler characteristics [1903.07495], the generating function of Poincaré polynomials [2206.01600], or the generating function of equivariant integrals of the Chern polynomial of the tangent bundle [1112.1756]. There are also papers that do not use the term explicitly but provide the same object under a representation-theoretic or Macdonald-theoretic description [2402.08613], [1206.3131].

The limiting regimes are correspondingly varied. Along the “axes” \(m=0\) or \(n=0\), the function \(f\) in the \(A_1^{(1)}\) theory factorizes into one-variable \(q\)-hypergeometric series, and the Heine limit \(\Lambda\to 0\) reduces the partition function to a Heine \(q\)-hypergeometric function [2211.16772]. Special mass choices lead to Macdonald limits, including asymptotically free Macdonald functions of type \(A_2\) and \(A_1\) [2211.16772]. For the non-stationary Ruijsenaars function, the limit \(t\to q\) gives dominant integrable characters of \(\widehat{\mathfrak{sl}}_N\) multiplied by \(1/(p^N;p^N)_\infty\); the limit \(t\to 0\) yields affine \(q\)-difference Toda structures; and the limit \(q,t\to 1\) yields elliptic Calogero–Sutherland equations [1903.07495]. In the defect-gauge-theory setting, four-dimensional limits recover the KZ equation, quantum Painlevé VI, or the Fuji–Suzuki–Tsuda system, depending on the rank and the normalization [2309.15364], [2510.27142].

A common structural feature across these variants is a localization sum over partition-labeled fixed points, together with a representation-theoretic reinterpretation as a Verma-module character or matrix element. What changes from paper to paper is the cohomology theory, the insertion, the normalization, and the integrable system to which the resulting function is attached.

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