Laumon Space: Moduli and Representation Theory

• Laumon spaces are moduli spaces of flags of sheaves that compactify map spaces and underpin quiver variety constructions.
• They enable explicit computations through fixed-point localization, yielding generating functions for partition functions and conformal blocks.
• Their cohomology and K-theory realize modules of Lie algebras, quantum groups, and vertex algebras, linking geometry with gauge theory and integrable systems.

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 (Braverman et al., 2012, Neguţ, 2018, Shiraishi, 2019).

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 (Neguţ, 2018, 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 $K$0 is the complete flag variety (2002.04573). The phrase parabolic Laumon space is used for the moduli space identified with a handsaw quiver variety (Nakajima, 2011).

The affine Laumon space is a higher-dimensional analogue built from parabolic sheaves on $K$1. In one formulation it is the moduli space of parabolic sheaves

$K$2

satisfying the periodicity condition

$K$3

together with framing along

$K$4

An equivalent description uses an infinite flag

$K$5

with Chern-class and trivialization conditions (Neguţ, 2018, Shiraishi, 2019).

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 $K$6 rather than finite-type $K$7 (Neguţ, 2018).

2. Geometric constructions and moduli interpretations

Ordinary Laumon spaces arise naturally as compactifications or resolutions of map and quasimap spaces. For $K$8, the quasiflag space $K$9 is a smooth moduli space of sheaf flags

$W$0

with $W$1, and the morphism $W$2 is the Laumon resolution of the quasimap space; in this case the resolution is stated to be small (Braverman et al., 2012). In more recent quasimap language, the moduli space $W$3 of quasimaps from $W$4 with one marked point, nonsingular at $W$5, is identified with the Laumon space, while a larger relative compactification $W$6 is obtained by allowing the source curve to bubble into a chain of $W$7’s (Shen, 4 Sep 2025).

Quiver and ADHM descriptions are equally fundamental. The handsaw quiver variety is identified with parabolic Laumon space; starting from data $W$8 satisfying

$W$9

one reconstructs a flag of locally free sheaves $A$0 on $A$1, and conversely recovers the quiver data from sheaf cohomology (Nakajima, 2011). For affine Laumon spaces, one starts with framed ADHM data

$A$2

and then imposes a cyclic $A$3-action; the fixed components are moduli spaces of stable representations of the chain-saw quiver (Creutzig et al., 2022).

The affine spaces are smooth quasiprojective varieties. For degree vector $A$4, the affine Laumon space $A$5 has

$A$6

and the “usual” Laumon spaces appear as the special case $A$7 in one formulation (Neguţ, 2011). In the rank-sequence formalism $A$8, the affine Laumon space parametrizes framed parabolic torsion-free sheaves on $A$9 with a flag of subsheaves along $\mathbb P^1$0 and framing along $\mathbb P^1$1 (Creutzig et al., 2022).

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 P^1$2-surface-operator case, $\mathbb P^1$3-tuples of partitions in equivariant $\mathbb P^1$4-theory of affine Laumon spaces, or collections of partitions satisfying a cyclic interlacing condition in the periodic parabolic-sheaf picture (Belavin, 2012, Neguţ, 2018, Shiraishi, 2019).

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: $\mathbb P^1$5 where the coefficients are computed as localization sums over fixed points and the resulting products match the screened-vertex-operator expansion (Shiraishi, 2019).

Affine Laumon spaces also admit closed formulas for Poincaré-theoretic generating functions. For fixed type $\mathbb P^1$6, one considers

$\mathbb P^1$7

computed by Atiyah–Bott–Morse localization. In this framework the torus-fixed points are isolated, and the paper states that odd cohomology vanishes: $\mathbb P^1$8 The same generating function is later matched with a refined character from vertex-algebra theory (Creutzig et al., 2022).

In three-dimensional gauge theory, localization on vortex moduli spaces produces a parallel picture. For $\mathbb P^1$9, each holomorphic block of the twisted index is identified with a generating function for $\infty$0 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 $\infty$1 genera of global Laumon spaces (2002.04573).

4. Representation-theoretic realizations

Laumon spaces are geometric models for modules of enveloping algebras, quantum groups, and $\infty$2-algebras. On ordinary Laumon space $\infty$3, geometric correspondences define a $\infty$4-action via

$\infty$5

and Cartan operators determined by tautological bundles. After specialization of equivariant parameters, the cohomology becomes the dual Verma module of lowest weight $\infty$6. Extending the same correspondence construction to the relative compactification $\infty$7 yields a $\infty$8-module whose summands have both Verma and dual Verma filtrations, leading to a tilting-module interpretation under Soergel’s equivalence (Shen, 4 Sep 2025).

The handsaw-quiver interpretation gives a finite $\infty$9-algebra realization. The convolution algebra of the handsaw quiver variety, identified with parabolic Laumon space, receives a homomorphism from a finite $$F_1 \subset \cdots \subset F_{n-1}\subset \mathcal O_{\mathbb P^1}^{\oplus n},$$0-algebra of type $$F_1 \subset \cdots \subset F_{n-1}\subset \mathcal O_{\mathbb P^1}^{\oplus n},$$1, and simple modules are described through IC sheaves of graded quiver varieties of type $$F_1 \subset \cdots \subset F_{n-1}\subset \mathcal O_{\mathbb P^1}^{\oplus n},$$2 (Nakajima, 2011).

Affine Laumon spaces support quantum affine algebra actions in equivariant $$F_1 \subset \cdots \subset F_{n-1}\subset \mathcal O_{\mathbb P^1}^{\oplus n},$$3-theory. Kuznetsov’s conjecture, proved in one paper, states that the localized equivariant $$F_1 \subset \cdots \subset F_{n-1}\subset \mathcal O_{\mathbb P^1}^{\oplus n},$$4-theory

$$F_1 \subset \cdots \subset F_{n-1}\subset \mathcal O_{\mathbb P^1}^{\oplus n},$$5

carries a geometric action of

$$F_1 \subset \cdots \subset F_{n-1}\subset \mathcal O_{\mathbb P^1}^{\oplus n},$$6

and is isomorphic to the universal Verma module (Neguţ, 2018). A later refinement shows that, after specializing $$F_1 \subset \cdots \subset F_{n-1}\subset \mathcal O_{\mathbb P^1}^{\oplus n},$$7 and $$F_1 \subset \cdots \subset F_{n-1}\subset \mathcal O_{\mathbb P^1}^{\oplus n},$$8 with $$F_1 \subset \cdots \subset F_{n-1}\subset \mathcal O_{\mathbb P^1}^{\oplus n},$$9, the integral $$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,$$0-theory is identified with the contragredient dual Verma module away from critical level, using a variant of stable envelopes (Shen, 2024).

Vertex-algebra realizations form a parallel development. For affine Laumon spaces of type $$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,$$1, a family of vertex algebras is constructed whose universal Verma modules coincide with the cohomology of affine Laumon spaces, and the generating function $$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,$$2 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 $$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,$$3-algebras obtained by iterated quantum Hamiltonian reduction (Creutzig et al., 2022).

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 $$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,$$4-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 $$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,$$5 conformal blocks; via the Kazama–Suzuki coset, this yields an explicit combinatorial formula for the $$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,$$6 chiral four-point conformal block (Belavin, 2012).

For $$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,$$7 theories on $$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,$$8, the twisted index localizes to a Jeffrey–Kirwan residue sum and factorizes into holomorphic blocks. In the $$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,$$9 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

$\mathbb P^1$0

and its $\mathbb P^1$1-theoretic deformation. This generating function is identified with the Nekrasov partition function of $\mathbb P^1$2 gauge theory with adjoint matter on $\mathbb P^1$3 in the $\mathbb P^1$4-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 (Neguţ, 2011).

6. Special functions and integrable systems

Laumon spaces are deeply linked to Macdonald-type functions and quantum integrable systems. For $\mathbb P^1$5, 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 $\mathbb P^1$6 up to an explicit product factor, and the generating function $\mathbb P^1$7 satisfies a Macdonald-type difference equation (Braverman et al., 2012).

In affine type, the non-stationary Ruijsenaars function

$\mathbb P^1$8

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 $\mathbb P^1$9 gives dominant integrable characters of $\mathbb P^1\to BN$0 times $\mathbb P^1\to BN$1, the limit $\mathbb P^1\to BN$2 recovers the usual Macdonald function, the limit $\mathbb P^1\to BN$3 leads to an affine $\mathbb P^1\to BN$4-Toda system, and the limit $\mathbb P^1\to BN$5 yields the elliptic Calogero–Sutherland equation (Shiraishi, 2019).

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 (Neguţ, 2011).

Recent work extends the integrable-system correspondence to difference equations of $\mathbb P^1\to BN$6-Painlevé and $\mathbb P^1\to BN$7-KZ type. One paper proves that the $\mathbb P^1\to BN$8-theoretic Nekrasov partition function from affine Laumon space is identified with a Jackson-integral solution of the $\mathbb P^1\to BN$9-KZ equation for $K$00, thereby solving the transformed Shakirov non-stationary equation (Awata et al., 2023). 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 (Awata et al., 2022). A higher-rank generalization to $K$01 conjectures that the affine Laumon partition function of type $K$02 solves the generalized non-stationary difference equation, with four-dimensional limit given by the Fuji–Suzuki–Tsuda system (Awata et al., 31 Oct 2025).

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.