---
title: 'Laumon Space: Moduli and Representation Theory'
url: https://www.emergentmind.com/topics/laumon-space
type: topic
---

# Laumon Space: Moduli and Representation Theory

Laumon space denotes a family of moduli spaces attached to flags of sheaves, quasimaps to flag varieties, and— in affine form—framed parabolic sheaves on \(\mathbb P^1\times \mathbb P^1\). In current usage the term encompasses ordinary, local, global, parabolic, and affine variants. Across these forms, Laumon spaces function as compactifications or resolutions of map spaces, as fixed loci in instanton moduli, and as quiver varieties; their equivariant geometry provides explicit formulas for partition functions, characters, and conformal blocks, while their cohomology and \(K\)-theory realize modules of Lie algebras, quantum groups, and \(W\)-algebras [1206.3131, 1811.01011, 1903.07495].

## 1. Terminology and basic forms

The expression “Laumon space” is not restricted to a single moduli problem. In the ordinary type-\(A\) setting it appears as a moduli space of flags of locally free sheaves on \(\mathbb P^1\) with framing conditions at \(\infty\). One standard presentation is
\[
F_1 \subset \cdots \subset F_{n-1}\subset \mathcal O_{\mathbb P^1}^{\oplus n},
\]
with prescribed degrees; another, used in vortex and quasimap contexts, is a based flag
\[
0 \subset W_1 \subset \cdots \subset W_{N-1}\subset W_N=W\otimes \mathcal O_{\mathbb P^1},
\qquad \deg(W_k)=d_k,
\]
whose fiber at a marked point is the standard flag [1811.01011, 2002.04573].

Several refinements are standard. The **local Laumon space** is the based, noncompact version on \(\mathbb P^1\); the **global Laumon space** drops the based condition and is described as a compactification of the space of maps \(\mathbb P^1\to BN\), where \(BN\) is the complete flag variety [2002.04573]. The phrase **parabolic Laumon space** is used for the moduli space identified with a handsaw quiver variety [1107.5073].

The **affine Laumon space** is a higher-dimensional analogue built from parabolic sheaves on \(\mathbb P^1\times\mathbb P^1\). In one formulation it is the moduli space of parabolic sheaves
\[
F^0 \subset F^1 \subset \cdots \subset F^{n-1}\subset F^n
\]
satisfying the periodicity condition
\[
F^{i+n}=F^i(D), \qquad D=\mathbb P^1\times\{0\},
\]
together with framing along
\[
\infty=\mathbb P^1\times\{\infty\}\cup \{\infty\}\times\mathbb P^1.
\]
An equivalent description uses an infinite flag
\[
\cdots \subset \mathcal F_{k-1}\subset \mathcal F_k\subset \mathcal F_{k+1}\subset \cdots,
\qquad \mathcal F_{k+N}=\mathcal F_k(D_0),
\]
with Chern-class and trivialization conditions [1811.01011, 1903.07495].

A common misconception is that “affine” refers to the base variety being affine. In the affine Laumon literature, the term instead reflects the affine Lie-theoretic and orbifold structure of the moduli problem; one source states explicitly that these spaces are not “affine” because of an affine base, but because their geometry is controlled by \(\widehat{\mathfrak{gl}_n}\) rather than finite-type \(\mathfrak{sl}_n\) [1811.01011].

## 2. Geometric constructions and moduli interpretations

Ordinary Laumon spaces arise naturally as compactifications or resolutions of map and quasimap spaces. For \(G=SL(N)\), the quasiflag space \(Q^\alpha\) is a smooth moduli space of sheaf flags
\[
0 \subset W_1 \subset W_2 \subset \cdots \subset W_N=\mathcal O_{\mathbb P^1}^{\oplus N},
\]
with \(\deg W_i=-(\alpha,\omega_i)\), and the morphism \(Q^\alpha\to QM^\alpha\) is the **Laumon resolution** of the quasimap space; in this case the resolution is stated to be small [1206.3131]. In more recent quasimap language, the moduli space \(QM_{ns}\) of quasimaps from \(\mathbb P^1\) with one marked point, nonsingular at \(\infty\), is identified with the Laumon space, while a larger relative compactification \(QM_{rel}\) is obtained by allowing the source curve to bubble into a chain of \(\mathbb P^1\)’s [2509.04690].

Quiver and ADHM descriptions are equally fundamental. The handsaw quiver variety is identified with parabolic Laumon space; starting from data \((B_1,B_2,a,b)\) satisfying
\[
[B_1,B_2]+ab=0,
\]
one reconstructs a flag of locally free sheaves \(E_\bullet\) on \(\mathbb P^1\), and conversely recovers the quiver data from sheaf cohomology [1107.5073]. For affine Laumon spaces, one starts with framed ADHM data
\[
(A_1,A_2,I,J)\in \operatorname{End}(V)^{\oplus 2}\oplus \operatorname{Hom}(W,V)\oplus \operatorname{Hom}(V,W),
\qquad [A_1,A_2]+IJ=0,
\]
and then imposes a cyclic \(\mathbb Z_\ell\)-action; the fixed components are moduli spaces of stable representations of the **chain-saw quiver** [2206.01600].

The affine spaces are smooth quasiprojective varieties. For degree vector \(\mathbf d=(d_1,\dots,d_n)\in \mathbb N^n\), the affine Laumon space \(\mathcal M_{\mathbf d}\) has
\[
\dim \mathcal M_{\mathbf d}=2|\mathbf d|=2(d_1+\cdots+d_n),
\]
and the “usual” Laumon spaces appear as the special case \(d_n=0\) in one formulation [1112.1756]. In the rank-sequence formalism \({\bf r}=(r_0,\dots,r_{\ell-1})\), the affine Laumon space parametrizes framed parabolic torsion-free sheaves on \(\mathbb P^1\times\mathbb P^1\) with a flag of subsheaves along \(\mathbb P^1\times\{0\}\) and framing along \(\mathbb P^1\times\{\infty\}\cup \{\infty\}\times\mathbb P^1\) [2206.01600].

## 3. Fixed points, localization, and explicit generating functions

A large part of the effectiveness of Laumon spaces comes from their torus-fixed-point combinatorics. In ordinary and affine settings, fixed points are described by Young-diagram data: pairs of Young diagrams with parity coloring in the \(\mathbb Z_2\)-surface-operator case, \(n\)-tuples of partitions in equivariant \(K\)-theory of affine Laumon spaces, or collections of partitions satisfying a cyclic interlacing condition in the periodic parabolic-sheaf picture [1209.2992, 1811.01011, 1903.07495].

This fixed-point structure makes Atiyah–Bott–Lefschetz localization explicit. A central affine result is the identification of the non-stationary Ruijsenaars function with the generating function of Euler characteristics:
\[
f^{\widehat{gl}_N}(x,p\mid s,\kappa\mid q,1/t)
=
\sum_{\mathbf d}\chi\bigl(\mathcal P_{\mathbf d}\bigr)\,
\prod_i\Bigl(\frac{p\,x_{i+1}}{x_i}\Bigr)^{d_i},
\]
where the coefficients are computed as localization sums over fixed points and the resulting products match the screened-vertex-operator expansion [1903.07495].

Affine Laumon spaces also admit closed formulas for Poincaré-theoretic generating functions. For fixed type \({\bf r}\), one considers
\[
Z_{\bf r}=\sum_{\bf n} P_y(({\bf r},{\bf n}))\prod_{a=0}^{\ell-1} q_a^{n_a},
\]
computed by Atiyah–Bott–Morse localization. In this framework the torus-fixed points are isolated, and the paper states that odd cohomology vanishes:
\[
H^{\mathrm{odd}}(({\bf r},{\bf n}))=0.
\]
The same generating function is later matched with a refined character from vertex-algebra theory [2206.01600].

In three-dimensional gauge theory, localization on vortex moduli spaces produces a parallel picture. For \(T[SU(N)]\), each holomorphic block of the twisted index is identified with a generating function for \(\chi_t\) genera of moduli spaces of local vortices, and these local vortex moduli spaces are precisely local Laumon spaces; the full twisted index matches the corresponding generating function for the \(\chi_t\) genera of global Laumon spaces [2002.04573].

## 4. Representation-theoretic realizations

Laumon spaces are geometric models for modules of enveloping algebras, quantum groups, and \(W\)-algebras. On ordinary Laumon space \(QM_{ns}\), geometric correspondences define a \(U'(\mathfrak{gl}_n)\)-action via
\[
E_i=-q_*p^*,\qquad F_i=p_*q^*,
\]
and Cartan operators determined by tautological bundles. After specialization of equivariant parameters, the cohomology becomes the dual Verma module of lowest weight \(w(\lambda)-\rho\). Extending the same correspondence construction to the relative compactification \(QM_{rel}\) yields a \(U(\mathfrak{gl}_n)\)-module whose summands have both Verma and dual Verma filtrations, leading to a tilting-module interpretation under Soergel’s equivalence [2509.04690].

The handsaw-quiver interpretation gives a finite \(W\)-algebra realization. The convolution algebra of the handsaw quiver variety, identified with parabolic Laumon space, receives a homomorphism from a finite \(W\)-algebra of type \(A\), and simple modules are described through IC sheaves of graded quiver varieties of type \(A\) [1107.5073].

Affine Laumon spaces support quantum affine algebra actions in equivariant \(K\)-theory. Kuznetsov’s conjecture, proved in one paper, states that the localized equivariant \(K\)-theory
\[
K=\bigoplus_{\mathbf d}K_T(\mathcal M_{\mathbf d})\otimes_{K_T(\mathrm{pt})}\mathrm{Frac}(K_T(\mathrm{pt}))
\]
carries a geometric action of
\[
U_q(\widehat{\mathfrak{gl}_n})
\]
and is isomorphic to the universal Verma module [1811.01011]. A later refinement shows that, after specializing \(u_i=q^{a_i}\) and \(p=q^l\) with \(l\neq 0\), the integral \(K\)-theory is identified with the **contragredient dual Verma module** away from critical level, using a variant of stable envelopes [2402.08613].

Vertex-algebra realizations form a parallel development. For affine Laumon spaces of type \({\bf r}\), a family of vertex algebras is constructed whose universal Verma modules coincide with the cohomology of affine Laumon spaces, and the generating function \(Z_{\bf r}\) is identified with the conformal-weight refined character of that universal Verma module. The paper further conjectures that these affine-Laumon vertex algebras embed as subalgebras of iterated \(W\)-algebras obtained by iterated quantum Hamiltonian reduction [2206.01600].

## 5. Gauge theory, AGT, and supersymmetric indices

Laumon spaces occupy a central place in gauge-theoretic instanton counting with defects. In the surface-operator version of AGT, the relevant instanton moduli are realized as a \(\mathbb Z_2\)-symmetric subspace of the ADHM moduli space, described in the paper as Laumon space. Its fixed points are pairs of Young diagrams with white/black parity, and the corresponding Nekrasov partition functions match \(\widehat{\mathfrak{sl}(2)}\) conformal blocks; via the Kazama–Suzuki coset, this yields an explicit combinatorial formula for the \(N=2\) chiral four-point conformal block [1209.2992].

For \(3d\ \mathcal N=4\) theories on \(S^2\times S^1\), the twisted index localizes to a Jeffrey–Kirwan residue sum and factorizes into holomorphic blocks. In the \(T[SU(N)]\) case, local vortices are modeled by local Laumon spaces, while global vortices are modeled by global Laumon spaces. Background topological flux, flavor flux, and Chern–Simons level are translated geometrically into line-bundle twists or fugacity shifts on these moduli spaces [2002.04573].

Affine Laumon spaces also compute partition functions with adjoint matter and full surface operators. One paper studies
\[
\mathcal Z_m=\sum_{\mathbf d\in\mathbb N^n}x^{\mathbf d}\int_{\mathcal M_{\mathbf d}} c\!\left(T\mathcal M_{\mathbf d},\,2m\right),
\]
and its \(K\)-theoretic deformation. This generating function is identified with the Nekrasov partition function of \(4d\ \mathcal N=2\) gauge theory with adjoint matter on \(\mathbb C^2\) in the \(\Omega\)-background, in the presence of a full surface operator; geometrically, the insertion of adjoint matter is expressed through the tangent-bundle Chern polynomial on the smooth affine Laumon resolution [1112.1756].

## 6. Special functions and integrable systems

Laumon spaces are deeply linked to Macdonald-type functions and quantum integrable systems. For \(G=SL(N)\), the Laumon resolution of quasimap spaces allows one to prove a geometric interpretation of Macdonald polynomials: after stabilization, the equivariant cohomology of the relevant Laumon spaces yields the Macdonald polynomial \(P_\lambda(q,t,z)\) up to an explicit product factor, and the generating function \(J(q,t,z,x)\) satisfies a Macdonald-type difference equation [1206.3131].

In affine type, the non-stationary Ruijsenaars function
\[
f^{\widehat{gl}_N}(x,p\mid s,\kappa\mid q,t)
\]
is constructed from affine screening operators and identified with the Euler-characteristic generating function of affine Laumon spaces. Several limiting regimes connect this function to established special functions and representation-theoretic objects: the limit \(t\to q\) gives dominant integrable characters of \(\widehat{\mathfrak{sl}_N}\) times \(1/(p^N;p^N)_\infty\), the limit \(p\to 0\) recovers the usual Macdonald function, the limit \(t\to 0\) leads to an affine \(q\)-Toda system, and the limit \(q,t\to 1\) yields the elliptic Calogero–Sutherland equation [1903.07495].

Another affine result proves Braverman’s conjecture that the generating function built from tangent-bundle Chern-polynomial integrals over affine Laumon spaces is, after a Weyl-denominator twist, the eigenfunction of a nonstationary deformation of the affine trigonometric Calogero–Moser Hamiltonian. This places affine Laumon geometry directly inside the spectral theory of affine integrable systems [1112.1756].

Recent work extends the integrable-system correspondence to difference equations of \(q\)-Painlevé and \(q\)-KZ type. One paper proves that the \(K\)-theoretic Nekrasov partition function from affine Laumon space is identified with a Jackson-integral solution of the \(q\)-KZ equation for \(U_{\mathsf v}(A_1^{(1)})\), thereby solving the transformed Shakirov non-stationary equation [2309.15364]. Another relates a coupled non-stationary system to the quantized discrete Painlevé VI equation and conjectures that the affine Laumon partition function supplies its two-component solution [2211.16772]. A higher-rank generalization to \(\widehat{\mathfrak{gl}_N}\) conjectures that the affine Laumon partition function of type \(A_{N-1}^{(1)}\) solves the generalized non-stationary difference equation, with four-dimensional limit given by the Fuji–Suzuki–Tsuda system [2510.27142].

Taken together, these developments show that Laumon spaces are best understood not as a single isolated moduli space, but as a geometric framework in which sheaf flags, quasimaps, quiver varieties, instanton counting, vertex algebras, and difference operators become different presentations of the same underlying structure.

Source: https://www.emergentmind.com/topics/laumon-space