---
title: Grojnowski–Nakajima Fock Space Identification
url: https://www.emergentmind.com/topics/grojnowski-nakajima-fock-space-identification
type: topic
---

# Grojnowski–Nakajima Fock Space Identification

The Grojnowski–Nakajima Fock space identification provides a fundamental bridge between the geometry of Hilbert schemes of points on surfaces and infinite-dimensional representation theory, realized through Fock space constructions. In its most established form, this identification expresses the cohomology (or other suitable cohomology-type invariants) of Hilbert schemes as a bosonic Fock space, enabling Heisenberg and $W$-algebraic actions to be interpreted via explicit geometric correspondences. This framework organizes the topology of Hilbert schemes, blow-ups, and related moduli spaces in terms of creation and annihilation operators, thus unifying geometric representation theory, conformal field theory, and algebraic combinatorics.

## 1. Main Isomorphisms

The central results comprise explicit isomorphisms relating the cohomology of Hilbert schemes and moduli of perverse coherent sheaves on surface blow-ups with bosonic and fermionic Fock spaces. These take the following canonical forms:

- **Fermionic identification for perverse sheaves**:  
  \[
  \bigoplus_{l=0}^{\infty}\bigoplus_{n=0}^{\infty}H^*\bigl(M^l(c_n)\bigr) \cong \left( \bigoplus_{n=0}^\infty H^*(S^{[n]}) \right) \otimes \mathcal{F}_{\mathrm{ferm}}
  \]
  Here $M^l(c_n)$ denotes the moduli stack of $l$-stable rank-one perverse coherent sheaves on the blow-up $\hat S$ with Chern character $c_n=[\hat S]+n[o]$. The Fock module $\mathcal{F}_{\mathrm{ferm}}$ is an exterior (fermionic) algebra [2408.06860].

- **Bosonic identification for the Hilbert scheme on the blow-up**:  
  \[
  \bigoplus_{n=0}^\infty H^*\bigl(\hat S^{[n]}\bigr) \cong \left( \bigoplus_{n=0}^\infty H^*(S^{[n]}) \right) \otimes \mathcal{F}_{\mathrm{boson}}
  \]
  For each $n$,
  \[
  H^*(\hat S^{[n]}) \cong \bigoplus_{i+j=n} H^*(S^{[i]}) \otimes B_j
  \]
  where $B_j$ is the degree-$j$ subspace in the symmetric (bosonic) Fock space [2408.06860].

- **Heisenberg-Fock identification in equivariant geometry**:  
  For the Hilbert scheme of points $\operatorname{Hilb}^n(\mathbb{C}^2)$,
  \[
  \Phi_{\mathrm{Hilb}}\colon \Lambda \xrightarrow{\;\sim\;} \bigoplus_{n\ge0} H_T^*(\operatorname{Hilb}^n(\mathbb{C}^2))
  \]
  intertwines power sums $p_k$ in symmetric functions with Nakajima’s creation operators $\alpha_{-k}$ [2602.04779].

These identifications become classical in the stable limit, where the perverse sheaves moduli and their Fock structure degenerate to the bosonic Fock space of the Hilbert scheme’s cohomology [2408.06860].

## 2. Structure and Realization of Fock Spaces

Two Fock space structures central to these identifications are:

- **Bosonic Fock space**:
  \[
  \mathcal{F}_{\mathrm{boson}} = \operatorname{Sym}(U) = \mathbb{Q}[y_1, y_2, \ldots], \qquad U = \bigoplus_{k=1}^\infty \mathbb{Q}\, y_k
  \]
  Creation and annihilation operators:
  \[
  a_{-k} = \text{multiply by } y_k,\qquad a_k = k\,\frac{\partial}{\partial y_k}
  \]
  with $[a_m, a_n]=m\delta_{m+n,0}$. The vacuum is $1 \in \mathbb{Q}[y_1, y_2, \dots]$ [2408.06860].

- **Fermionic Fock space**:
  \[
  \mathcal{F}_{\mathrm{ferm}} = \bigwedge (V) = \mathbb{Q}[x_1, x_2, \ldots]_{\text{(super)poly}}, \qquad V = \bigoplus_{r=1}^\infty \mathbb{Q}\, x_r
  \]
  The $x_r$ anticommute. Half-integer modes:
  \[
  \psi_{-r} = \wedge x_r, \qquad \psi_r = \frac{\partial}{\partial x_r}, \qquad r \in \tfrac12 + \mathbb{Z}_{\ge 0}
  \]
  with $\{\psi_r, \psi_s\} = \delta_{r+s,0}$ [2408.06860].

A key point is that in the stable limit, the exterior (fermionic) module transitions to its symmetric (bosonic) counterpart via canonical isomorphism induced by the shift operator $K_1$ [2408.06860].

## 3. Geometric Correspondences and Algebra Actions

The Fock space actions are realized via explicit geometric correspondences:

- **Incidence varieties and derived Grassmannians**:
  - The universal ideal sheaf at the blow-up point $o$, $I_o \in \operatorname{Coh}(S^{[m]}\times S)$, forms the perfect complex enabling incidence-geometry correspondences.
  - Projections $r^{\pm}_{l,l-1}$ from incidence varieties enable construction of correspondences $\phi_{l-1,l}$ and $\psi_{l,l-1}$.

- **Algebraic structure**:
  - The correspondences induce operators $(E, F, K_1, K_{-1})$ satisfying the relations of an algebra $\mathsf{E}$, giving a Clifford-algebra action on $\bigoplus_{l,n} H^*(M^l(c_n))$, and Heisenberg-algebra action in the limit on $\bigoplus_n H^*(\hat S^{[n]})$.
  - Geometrically, creation and annihilation corresponds to adding/removing points or flags in the Hilbert scheme; in the stable limit, operators become the standard $a_{-k}, a_k$ [2408.06860].

- **Hecke and incidence correspondences**:
  - For $\operatorname{Hilb}^n(\mathbb{C}^2)$, the Hecke correspondence $Z_{n,n+1}$ with tautological line bundle $\mathcal{L}$ yields the operator
    \[
    E_{1,\mathrm{geo}}(\gamma) = (\pi_2)_* [ \pi_1^* \gamma \cup c_1(\mathcal{L}) ]
    \]
    which, under the Fock identification, maps to the ladder operator $E_1$ in the algebra of symmetric functions [2602.04779].
  - The cubic cut-and-join operator $W_0$ is geometrically realized via triple incidence correspondences and normal ordering in the Heisenberg generators [2602.04779].

## 4. Fock Space Identification Maps and Operators

The explicit identification maps between geometric and algebraic realizations are essential:

- **Fermionic map**:
  \[
  \Psi\colon \left( \bigoplus_n H^*(S^{[n]}) \right) \otimes \mathcal{F}_{\mathrm{ferm}} \longrightarrow \bigoplus_{l,n} H^*(M^l(c_n))
  \]
  given by
  \[
  \Psi(\alpha \otimes x_{r_1}\wedge\cdots\wedge x_{r_k}) = \psi_{-r_1}\cdots\psi_{-r_k}(\alpha)
  \]
  for $r_1 > \cdots > r_k > \tfrac12$ [2408.06860].

- **Bosonic map**:
  \[
  \Phi\colon \left( \bigoplus_n H^*(S^{[n]}) \right) \otimes \mathcal{F}_{\mathrm{boson}} \longrightarrow \bigoplus_n H^*(\hat S^{[n]})
  \]
  with
  \[
  \Phi(\alpha \otimes y_{k_1}\cdots y_{k_r}) = a_{-k_1}\cdots a_{-k_r}(\alpha)
  \]
  and $a_{-k}$ realized by the diagonal correspondence in the $l\to\infty$ limit [2408.06860].

Commutative diagrams summarize the intertwined structure of algebra actions on symmetric functions and their geometric avatar on cohomology:
```
\begin{tikzcd}[column sep=large]
\Lambda\arrow[r,"\alpha_{-k}=k\,p_k"]\arrow[d,"\Phi_{\mathrm{Hilb}"'] &\Lambda\arrow[d,"\Phi_{\mathrm{Hilb}"] \\
\cF_{\mathrm{Hilb}}\arrow[r,"\alpha_{-k}"]&\cF_{\mathrm{Hilb}
\end{tikzcd}
```
with analogous squares for the annihilation operators [2602.04779].

## 5. Stability and Limit Arguments

Stability phenomena underlie the passage from fermionic to bosonic structure:

- For each fixed Chern character $c_n$,  
  $M^0(c_n) \cong S^{[n]}$ and $M^l(c_n) \cong \hat S^{[n]}$ for $l\gg0$.
- The stable (large $l$) limit of $M^l(c_n)$ yields the Hilbert scheme of points on the blow-up, i.e., $\hat S^{[n]}$.
- On the algebraic Fock-space side, the exterior Fock module stabilizes, yielding the symmetric algebra. This matches the transition from Clifford to Heisenberg algebra actions as $l\to\infty$ [2408.06860].

In the stable limit, the identification produces
\[
H^*(\hat S^{[n]}) \cong \left( \bigoplus_{i=0}^n H^*(S^{[i]}) \right) \otimes \mathcal{F}_{\mathrm{boson}}
\]
with multiplication and restriction operators corresponding to bosonic creation $a_{-k}$ and annihilation $a_k$ operators, respectively.

## 6. $W$-Algebras, Cut-and-Join, and Deformations

The isomorphism framework enables geometric realization of $W$-algebra and integrable hierarchies:

- **$W$-operators and cut-and-join**:  
  The operator $W_0$ (cubic cut-and-join) on the symmetric functions side corresponds to a normal-ordered triple incidence correspondence on the Hilbert scheme side [2602.04779].
- **$\beta$-deformations and background charge**:  
  In the context of the Gaussian Hermitian $\beta$-ensemble, the $\beta$-deformed cut-and-join operator
  \[
  W_0^{(\beta)} = \frac12 \sum_{a,b\ge1}[ \beta(a+b) p_a p_b \partial_{p_{a+b}} + ab p_{a+b} \partial_{p_a}\partial_{p_b}] + \text{diagonal terms}
  \]
  is realized geometrically as a sum of Nakajima operators with diagonal corrections, interpreted as background charge in conformal field theory. The background charge is given by $Q_b = (b-b^{-1})/2$ for $b^2 = \beta$ [2602.04779].
- **Commutator hierarchies and flag correspondences**:  
  Higher commutators, constructed recursively from $W_0$, correspond under $\Phi_{\mathrm{Hilb}}$ to fiber-product correspondences along flags of ideals, with diagonal corrections computable via equivariant localization.

This framework unifies combinatorial, algebraic, and geometric constructions underlying integrable hierarchies and the algebraic structure of quiver gauge theory partition functions, furnishing explicit correspondences between operators, cohomology, and Fock modules.

Source: https://www.emergentmind.com/topics/grojnowski-nakajima-fock-space-identification