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

技术摘要：吹胀曲面上的瞬子与仿射顶点代数

问题陈述
本文解决了由 Vafa 和 Witten 提出的一个长期悬而未决的问题，即关于四维超对称规范理论中的 S-对偶性与二维共形场论（2d CFT）之间关系的课题。具体而言，本文旨在解释在吹胀代数曲面的瞬子模空间背景下，为何会出现 $SU(r)$ 在 level 1 处的 Wess-Zumino-Witten (WZW) 模型。

Yoshioka 的前期工作确立了一个“吹胀公式”（blow-up formula），该公式将曲面 $S$ 上的稳定层（stable sheaves）模空间的 Betti 数（以及后来的虚 Hodge 数）与在其一点处进行吹胀后的曲面 $\hat{S}$ 上的模空间联系起来。对于秩为 2 的情况，该公式涉及生成函数的比例，这些比例与 $SU(2)$ level 1 的 WZW 特征标相匹配。虽然 Nakajima 此前已在 $\mathbb{P}^2$（一个特定情形）的框架化层（framed sheaves）的等变上同调上构造了仿射李代数的作用，但对于任意曲面及非框架化模空间的普遍情形，这一问题此前仍处于开放状态。核心挑战在于：如何在吹胀曲面 $\hat{S}$ 上的层模空间的上同调上构造仿射李代数 $\widehat{\mathfrak{gl}}_r$ 的作用，并将该模识别为基本表示（basic representation），从而为 Vafa-Witten 的预测提供几何实现。

方法论
作者采用了一种结合了导出代数几何、Clifford 代数表示论以及亏格相干层（perverse coherent sheaves）理论的多步策略。证明过程分为四个主要阶段：

1. 有限 Clifford-Grassmannian 模型：
   作者首先建立了一个有限维代数模型。他们考虑作用在方案 $X$ 上的完美复形 $E$（其 Tor-振幅为 $[0, 1]$）。他们研究了商空间 $\text{Gr}_X(E, d)$ 及其移位对偶 $\text{Gr}_X(E^\vee[1], d)$。利用导出范畴中的半正交分解（特别是第一作者在先前工作中建立的分解），他们证明了以下阶数表示的同构：
   $$\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)$$
   其中 $F(r)$ 是有限维 Clifford 代数 $\text{Cl}(r)$ 的旋回表示（spin representation）。该同构是通过对满足半正交关系的几何对应（Fourier-Mukai 核）进行“正交化”来构造的，这实际上实现了 Boson-Fermion 对应关系的有限模拟。

2. 亏格相干层与壁越（Wall-Crossing）：
   为了将此模型应用于吹胀曲面 $\hat{S}$ 上的层模空间，作者利用了 Nakajima 和 Yoshioka 引入的 $m$-稳定亏格相干层理论。他们考虑了 $m$-稳定亏格相干层的模空间 $M_m(l, n)$。对于 $m=0$，这些空间可以显式描述为吹胀点 $o$ 处通用层 $U_o$ 的 Grassmannian。具体而言，$M_0(l, n)$ 同构于 $\text{Gr}_{M_H(n)}(U_o, -l)$ 及其对偶。这使得可以将第一步中的有限 Clifford-Grassmannian 模型应用于 $M_0(l, n)$。

3. Morita 等价与无限 Clifford 代数：
   作者引入了一个由 Clifford 代数 $\text{Cl}(r)$ 及满足特定关系的附加算子 $e, f$ 生成的扩展代数 $\mathcal{E}(r)$。随后，他们考虑了一个由由索引为 $a \in \mathbb{Z}$ 的算子 $P_{a,i}, Q_{a,i}$ 生成的无限 Clifford 代数 $\mathcal{E}(r)$。一个关键的技术结果是：由有限生成代数 $\mathcal{E}(r)$ 的表示范畴与无限代数 $\mathcal{E}(r)$ 的“右可容许”（right-admissible）表示范畴之间的 Morita 等价。这种等价性允许将表示结构从 $m=0$ 的情形（该情形与 Grassmannian 模型同构）转移到 $m \to \infty$ 的极限情形。

4. 极限性质与 Boson-Fermion 对应关系：
   利用模空间在与 $\mathcal{O}_{\hat{S}}(-C)$ 做张量积下的自相似性，以及极限性质 $M_m(l, n) \cong M_H^\infty(l, n)$（即吹胀曲面上的稳定层模空间），作者将 $\mathcal{E}(r)$ 的作用传播到稳定模空间 $M_H^\infty$ 的上同调上。最后，作者调用了由 I. Frenkel 给出的 Boson-Fermion 对应关系，该关系将 Fermionic Fock 空间 $F(r)$ 与仿射李代数 $\widehat{\mathfrak{gl}}_r$ 的基本表示联系起来。这一步骤将 $\mathcal{E}(r)$ 的作用升级为了 $\widehat{\mathfrak{gl}}_r$ 的作用。

主要贡献与结果
本文提供了在吹胀曲面上稳定层模空间的各种上同调理论上，$\widehat{\mathfrak{gl}}_r$ 作用的完整几何构造。

• 主定理 (Theorem 1.1 / Theorem 8.1)： 对于光滑射影曲面 $S$ 及其在一点处的吹胀 $\hat{S}$，设 $M_H^\infty(r, p^*c_1 + l[C], n')$ 为具有特定 Chern 类的 $\hat{S}$ 上稳定层的模空间。作者证明了如下 $\widehat{\mathfrak{gl}}_r$-表示的同构：
  $$\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}$$
  此处，$H^*$ 代表相干层的 Grothendieck 群、Hochschild 同调、Chow 群或 Hodge 上同调。$F(r)_{l, \bullet}$ 是具有中心荷 $l$ 的 $\widehat{\mathfrak{gl}}_r$ 的基本表示。
• 在基底上的平凡作用： 该构造的一个显著特征是，$\widehat{\mathfrak{gl}}_r$ 对对应于原始模空间 $M_H(r, c_1, n)$ 的因子作用是平凡的，仅在 Fock 空间因子上表现出非平凡作用。这与以往构造中代数作用于整个空间的情形形成对比。
• 推广性： 该结果适用于任意秩 $r$ 以及任意光滑射影曲面（受限于某些上同调理论的消失条件），推广了以往仅限于秩 2 或特定曲面（如 $\mathbb{P}^2$）的结果。
• 技术创新： 本文引入了“有限 Clifford-Grassmannian 模型”，并创新性地使用 Morita 等价来连接有限与无限 Clifford 代数，解决了标准 Hecke 对应在吹胀情形下无法保持稳定性或 Chern 类的难题。

意义
本文声称回答了 Vafa 和 Witten 关于 Yoshioka 的吹胀公式与 $SU(r)$ level 1 WZW 模型之间联系的具体问题。通过构造仿射李代数作用并将其模识别为基本表示，作者为 2d CFT 结构在吹胀曲面瞬子模空间几何中的出现提供了严密的数学框架。

这项工作统一了多个数学领域：

• 它将层模空间的几何（代数几何）与顶点算子代数及仿射李代数（表示论）联系起来。
• 它为导出范畴和完美复形的 Grassmannian 背景下的 Boson-Fermion 对应关系提供了几何解释。
• 它解决了关于吹胀公式中出现 2d CFT 的“未解之谜”，证实了生成函数的 Euler 特征（及相关不变量）与 WZW 模型特征标相关的预测。

作者指出，虽然对于满足特定消失条件（如 K3 或 del Pezzo 曲面）的曲面，配分函数与 Euler 特征生成函数相匹配，但涉及“单极分支”（monopole branches，即配分函数与之不同的情形）的普遍情况仍是未来研究的开放课题。目前的结论严格限制在对吹胀曲面上稳定层模空间上同调的代数作用的几何构造上。