Table of Contents
Fetching ...

Geometric realization of $W$-operators

Lu-Yao Wang

TL;DR

The paper develops a concrete, computable bridge from symmetric group centers to symmetric functions and further to Hilbert-scheme cohomology, enabling a geometric realization of W-operators and their β-deformations. It decomposes transpositions into cut/join moves, recovers the classical cut/join operator via the cycle-index map, and lifts the structure through Jucys–Murphy elements to a ladder E₁ that is realized as a Hecke correspondence on Hilb^n(ℂ²). The β-deformed cubic W₀^(β) emerges from Ward identities of the Gaussian β-ensemble and a background-charge interpretation, with diagonal terms captured by equivariant localization. The Grojnowski–Nakajima Fock space is used to transport these operators to Hilb^n via a graded isomorphism Φ_{Hilb}, where E₁ becomes the Hecke step and higher W-generators become convolution kernels along triple incidence correspondences, yielding a hierarchical, geometry-driven realization compatible with Ω-background and quiver gauge theories. This framework unifies β-deformed integrable structures with geometric representation theory, offering new tools for refined Hurwitz theory, curve counting, and quantum algebras acting on (equivariant) cohomology of Hilbert schemes and quiver varieties.

Abstract

Certain integrable hierarchies appearing in random matrix theory, enumerative geometry, and conformal field theory are governed by Virasoro/$W$-algebra constraints and their $W$-representations.Motivated by the Gaussian Hermitian $β$-ensemble and recent studies of superintegrable partition function hierarchies, we build an explicit bridge from symmetric group class algebras to bosonic Fock spaces and further to geometry. On the algebraic side, we decompose the transposition class sum into cut and join channels and recover the classical cut-and-join operator on the ring of symmetric functions. On the geometric side, we use the Grojnowski-Nakajima Fock space identification to realize the ladder operator $E_1=[W_0,p_1]$ as the Hecke correspondence on $\mathrm{Hilb}_n(\mathbb C^2)$, and we interpret the cubic generator $W_0$ as a normal ordered triple incidence correspondence. We then explain how the $β$-deformed cubic generator $W_0^{(β)}$ arises from the Ward identities/Virasoro constraints of the Gaussian $β$-ensemble via a background charge parametrization, clarifying its conformal field theoretic meaning. Finally, using the Grojnowski-Nakajima Heisenberg-Fock isomorphism $Φ_{\mathrm{Hilb}}:Λ\xrightarrow{\sim}\bigoplus_{n\ge0}H_T^*(\Hilb^n(\mathbb C^2))$, we transport the resulting commutator hierarchy to Hilbert schemes, where $E_1$ is realised by the Hecke correspondence (adding one point) and the diagonal correction terms are computed by equivariant localization from the $T$-weights of the tangent bundle $T\Hilb^n(\mathbb C^2)$ and the tautological bundle $\mathcal V$. This provides a geometric realization framework that unifies $β$-deformed integrable structures and offers new tools for studying quiver gauge theory partition functions.

Geometric realization of $W$-operators

TL;DR

The paper develops a concrete, computable bridge from symmetric group centers to symmetric functions and further to Hilbert-scheme cohomology, enabling a geometric realization of W-operators and their β-deformations. It decomposes transpositions into cut/join moves, recovers the classical cut/join operator via the cycle-index map, and lifts the structure through Jucys–Murphy elements to a ladder E₁ that is realized as a Hecke correspondence on Hilb^n(ℂ²). The β-deformed cubic W₀^(β) emerges from Ward identities of the Gaussian β-ensemble and a background-charge interpretation, with diagonal terms captured by equivariant localization. The Grojnowski–Nakajima Fock space is used to transport these operators to Hilb^n via a graded isomorphism Φ_{Hilb}, where E₁ becomes the Hecke step and higher W-generators become convolution kernels along triple incidence correspondences, yielding a hierarchical, geometry-driven realization compatible with Ω-background and quiver gauge theories. This framework unifies β-deformed integrable structures with geometric representation theory, offering new tools for refined Hurwitz theory, curve counting, and quantum algebras acting on (equivariant) cohomology of Hilbert schemes and quiver varieties.

Abstract

Certain integrable hierarchies appearing in random matrix theory, enumerative geometry, and conformal field theory are governed by Virasoro/-algebra constraints and their -representations.Motivated by the Gaussian Hermitian -ensemble and recent studies of superintegrable partition function hierarchies, we build an explicit bridge from symmetric group class algebras to bosonic Fock spaces and further to geometry. On the algebraic side, we decompose the transposition class sum into cut and join channels and recover the classical cut-and-join operator on the ring of symmetric functions. On the geometric side, we use the Grojnowski-Nakajima Fock space identification to realize the ladder operator as the Hecke correspondence on , and we interpret the cubic generator as a normal ordered triple incidence correspondence. We then explain how the -deformed cubic generator arises from the Ward identities/Virasoro constraints of the Gaussian -ensemble via a background charge parametrization, clarifying its conformal field theoretic meaning. Finally, using the Grojnowski-Nakajima Heisenberg-Fock isomorphism , we transport the resulting commutator hierarchy to Hilbert schemes, where is realised by the Hecke correspondence (adding one point) and the diagonal correction terms are computed by equivariant localization from the -weights of the tangent bundle and the tautological bundle . This provides a geometric realization framework that unifies -deformed integrable structures and offers new tools for studying quiver gauge theory partition functions.
Paper Structure (33 sections, 20 theorems, 128 equations, 1 figure)

This paper contains 33 sections, 20 theorems, 128 equations, 1 figure.

Key Result

Lemma 2.2

The map $\Phi_n:Z_n\to \Lambda^{(n)}$ defined in eq:Phi_def is a vector space isomorphism.

Figures (1)

  • Figure 1: $W_{[2]}$ acts on the Young diagram basis in the $n=4$ case.

Theorems & Definitions (48)

  • Definition 2.1: Characteristic/cycle index map Phi-n
  • Lemma 2.2: Isomorphism
  • proof
  • Theorem 2.3: Cut/join operators
  • proof
  • Corollary 2.4: cut-join operator
  • Remark 2.5: Diagonal part and stability
  • Lemma 3.1: Intertwining of the centered ladder
  • proof
  • Lemma 3.2: Jucys-Murphy lifting and the raising operator
  • ...and 38 more