Instantons on the Blown-up Surface and the Affine Vertex Algebra

Technical Summary: Instantons on the Blown-Up Surface and the Affine Vertex Algebra

Problem Statement
This paper addresses a long-standing question raised by Vafa and Witten regarding the relationship between S-duality in four-dimensional supersymmetric gauge theory and two-dimensional conformal field theory (2d CFT). Specifically, it seeks to explain the appearance of the Wess-Zumino-Witten (WZW) model for $SU(r)$ at level 1 in the context of the moduli space of instantons on a blown-up algebraic surface.

Previous work by Yoshioka established a "blow-up formula" relating the Betti numbers (and later virtual Hodge numbers) of the moduli space of stable sheaves on a surface $S$ to those on its blow-up $\hat{S}$ at a point. For rank 2, this formula involves ratios of generating functions that match characters of the $SU(2)$ level 1 WZW model. While Nakajima had previously constructed affine Lie algebra actions on the equivariant cohomology of framed sheaves on $\mathbb{P}^2$ (a specific case), the general case for arbitrary surfaces and unframed moduli spaces remained open. The central challenge is to construct an action of the affine Lie algebra $\widehat{\mathfrak{gl}}_r$ on the cohomology of the moduli space of stable sheaves on the blow-up $\hat{S}$ and identify this module as a basic representation, thereby providing a geometric realization of the Vafa-Witten prediction.

Methodology
The authors employ a multi-step strategy combining derived algebraic geometry, representation theory of Clifford algebras, and the theory of perverse coherent sheaves. The proof proceeds through four main stages:

1. Finite Clifford-Grassmannian Model:
   The authors first establish a finite-dimensional algebraic model. They consider a perfect complex $E$ of Tor-amplitude $[0, 1]$ on a scheme $X$. They study the moduli spaces of quotients, $\text{Gr}_X(E, d)$, and their shifted duals $\text{Gr}_X(E^\vee[1], d)$. Using semi-orthogonal decompositions in derived categories (specifically those established in prior work by the first author), they prove an isomorphism of graded representations:
   $$\bigoplus_{d \in \mathbb{Z}} H^*(\text{Gr}_X(E, d)) \cong \bigoplus_{d \in \mathbb{Z}} H^*(\text{Gr}_X(E^\vee[1], d)) \otimes F(r)$$
   where $F(r)$ is the spin representation of the finite-dimensional Clifford algebra $\text{Cl}(r)$. This isomorphism is constructed via "orthogonalization" of geometric correspondences (Fourier-Mukai kernels) that satisfy semi-orthogonal relations, effectively realizing a finite analog of the Boson-Fermion correspondence.

2. Perverse Coherent Sheaves and Wall-Crossing:
   To apply this model to the moduli space of sheaves on the blow-up $\hat{S}$, the authors utilize the theory of $m$-stable perverse coherent sheaves introduced by Nakajima and Yoshioka. They consider the moduli spaces $M_m(l, n)$ of such sheaves. For $m=0$, these spaces admit explicit descriptions as Grassmannians of the universal sheaf restricted to the point of blow-up, $U_o$. Specifically, $M_0(l, n)$ is isomorphic to $\text{Gr}_{M_H(n)}(U_o, -l)$ and its dual. This allows the application of the finite Clifford-Grassmannian model from Step 1 to the moduli spaces $M_0(l, n)$.

3. Morita Equivalence and Infinite Clifford Algebras:
   The authors introduce an extended algebra $\mathcal{E}(r)$ generated by the Clifford algebra $\text{Cl}(r)$ and additional operators $e, f$ satisfying specific relations. They then consider an infinite Clifford algebra $\mathcal{E}(r)$ generated by operators $P_{a,i}, Q_{a,i}$ indexed by $a \in \mathbb{Z}$. A key technical result is a Morita equivalence between the category of representations of the finitely generated algebra $\mathcal{E}(r)$ and a category of "right-admissible" representations of the infinite algebra $\mathcal{E}(r)$. This equivalence allows the transfer of the representation structure from the $m=0$ case (which is isomorphic to the Grassmannian model) to the limit case $m \to \infty$.

4. Limit Property and Boson-Fermion Correspondence:
   Using the self-similarity of the moduli spaces under tensoring with $\mathcal{O}_{\hat{S}}(-C)$ and the limit property $M_m(l, n) \cong M_H^\infty(l, n)$ (the moduli space of stable sheaves on the blow-up), the authors propagate the $\mathcal{E}(r)$-action to the cohomology of the stable moduli space $M_H^\infty$. Finally, they invoke the Boson-Fermion correspondence (due to I. Frenkel), which identifies the Fermionic Fock space $F(r)$ with the basic representation of the affine Lie algebra $\widehat{\mathfrak{gl}}_r$. This step upgrades the $\mathcal{E}(r)$-action to a $\widehat{\mathfrak{gl}}_r$-action.

Key Contributions and Results
The paper provides a complete geometric construction of the $\widehat{\mathfrak{gl}}_r$-action on various cohomology theories of the moduli space of stable sheaves on a blown-up surface.

• Main Theorem (Theorem 1.1 / Theorem 8.1): For a smooth projective surface $S$ and its blow-up $\hat{S}$ at a point, let $M_H^\infty(r, p^*c_1 + l[C], n')$ denote the moduli space of stable sheaves on $\hat{S}$ with specific Chern classes. The authors prove an isomorphism of $\widehat{\mathfrak{gl}}_r$-representations:
  $$\bigoplus_{n \in \mathbb{Z}} H^*(M_H^\infty(r, p^*c_1 + l[C], n - \tfrac{l(l+1)}{2})) \cong \left( \bigoplus_{n \in \mathbb{Z}} H^*(M_H(r, c_1, n)) \right) \otimes F(r)_{l, \bullet}$$
  Here, $H^*$ represents the Grothendieck group of coherent sheaves, Hochschild homology, Chow groups, or Hodge cohomology. $F(r)_{l, \bullet}$ is the basic representation of $\widehat{\mathfrak{gl}}_r$ with central charge $l$.
• Trivial Action on the Base: A distinguishing feature of this construction is that the $\widehat{\mathfrak{gl}}_r$ action acts trivially on the factor corresponding to the original moduli space $M_H(r, c_1, n)$, acting non-trivially only on the Fock space factor. This contrasts with previous constructions where the algebra acted on the entire space.
• Generalization: The result holds for arbitrary ranks $r$ and arbitrary smooth projective surfaces (subject to vanishing conditions for certain cohomology theories), generalizing previous results limited to rank 2 or specific surfaces like $\mathbb{P}^2$.
• Technical Innovation: The paper introduces a "finite Clifford-Grassmannian model" and a novel use of Morita equivalence to bridge finite and infinite Clifford algebras, resolving difficulties where standard Hecke correspondences fail to preserve stability or Chern classes on the blow-up.

Significance
The paper claims to answer the specific question posed by Vafa and Witten regarding the link between Yoshioka's blow-up formula and the level 1 WZW model of $SU(r)$. By constructing the affine Lie algebra action and identifying the module as a basic representation, the authors provide a rigorous mathematical framework that explains the emergence of 2d CFT structures in the geometry of instanton moduli spaces on blown-up surfaces.

The work unifies several areas of mathematics:

• It connects the geometry of moduli spaces of sheaves (algebraic geometry) with vertex operator algebras and affine Lie algebras (representation theory).
• It offers a geometric interpretation of the Boson-Fermion correspondence in the context of derived categories and Grassmannians of perfect complexes.
• It resolves the "unresolved mystery" of the appearance of 2d CFT in the context of the blow-up formula, confirming the prediction that the generating functions of Euler characteristics (and related invariants) are related to the characters of the WZW model.

The authors note that while the partition function for surfaces satisfying specific vanishing conditions (like K3 or del Pezzo surfaces) matches the Euler characteristic generating function, the general case involving "monopole branches" (where the partition function differs) remains an open question for future work. The current results are strictly confined to the geometric construction of the algebra action on the cohomology of the moduli spaces of stable sheaves.