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

技術要約：吹上げ曲面上のインスタントンとアフィン頂点代数

問題設定
本論文は、4次元超対称ゲージ理論におけるS双対性と2次元共形場理論（2d CFT）との関係に関して、VafaとWittenによって提起された長年の問いに取り組むものである。具体的には、吹上げられた代数曲面のインスタントン・モジュライ空間の文脈において、なぜ$SU(r)$のレベル1のワッセ・ズーム・ウィッテン（WZW）モデルが現れるのかを説明することを目的としている。

先行研究において、吉岡は曲面$S$上の安定層のモジュライ空間のベティ数（および後の仮想ホッジ数）を、その一点での吹上げ曲面$\hat{S}$上のものに関連付ける「吹上げ公式」を確立した。ランク2の場合、この公式は$SU(2)$レベル1のWZWモデルの指標に一致する生成関数の比を含む。Nakajimaは以前、$\mathbb{P}^2$（特定のケース）上のフレーム付き層の平衡コホモロジー上にアフィンリー代数の作用を構築していたが、任意の曲面に対する一般の場合や、フレームなしのモジュライ空間については未解決のままであった。中心となる課題は、吹上げ曲面$\hat{S}$上の安定層のコホモロジーに対してアフィンリー代数$\widehat{\mathfrak{gl}}_r$の作用を構築し、このモジュールを基本表現として特定することであり、これによりVafa-Wittenの予測を幾何学的に実現することである。

手法
著者らは、派生代数幾何学、クリフォード代数の表現論、および完全（perverse）余連接層の理論を組み合わせた多段階の戦略を採用している。証明は以下の4つの主要な段階を経て進められる。

1. 有限クリフォード・グラスマン・モデル:
   まず、有限次元の代数モデルを確立する。スキーム$X$上のTor振幅$[0, 1]$を持つ完全複体$E$を考える。商のモジュライ空間$\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)$は有限次元クリフォード代数$\text{Cl}(r)$のスピン表現である。この同型は、半直交関係を満たす幾何学的対応（フーリエ・ムカイ核）の「直交化」を通じて構築され、実質的にボゾン・フェルミオン対応の有限版を実現している。

2. 完全余連接層と壁越え:
   吹上げ曲面$\hat{S}$上の層のモジュライ空間にこのモデルを適用するために、著者らはNakajimaと吉岡によって導入された$m$-安定完全余連接層の理論を利用する。$m=0$の場合の層のモジュライ空間$M_m(l, n)$を考える。$m=0$において、これらの空間は吹上げ点における普遍層$U_o$のグラスマン多様体として明示的に記述できる。具体的には、$M_0(l, n)$は$\text{Gr}_{M_H(n)}(U_o, -l)$およびその双対と同型である。これにより、ステップ1の有限クリフォード・グラスマン・モデルを$M_0(l, n)$に適用することが可能となる。

3. モリタ同値と無限クリフォード代数:
   著者らは、クリフォード代数$\text{Cl}(r)$と、特定の関係式を満たす追加の演算子$e, f$によって生成される拡張代数$\mathcal{E}(r)$を導入する。次に、$a \in \mathbb{Z}$でインデックス付けされた演算子$P_{a,i}, Q_{a,i}$によって生成される無限クリフォード代数$\mathcal{E}(r)$を考える。重要な技術的結果は、有限生成代数$\mathcal{E}(r)$の表現の圏と、無限代数$\mathcal{E}(r)$の「右許容的（right-admissible）」な表現の圏との間のモリタ同値である。この同値性により、グラスマン・モデルと同型である$m=0$のケースから、極限ケース$m \to \infty$への表現構造の転送が可能となる。

4. 極限特性とボゾン・フェルミオン対応:
   $\mathcal{O}_{\hat{S}}(-C)$によるテンソル積の下でのモジュライ空間の自己相似性と、極限特性$M_m(l, n) \cong M_H^\infty(l, n)$（吹上げ曲面上の安定層のモジュライ空間）を用いて、$\mathcal{E}(r)$作用を$M_H^\infty$のコホモロジーへと伝播させる。最後に、I. Frenkelによるボゾン・フェルミオン対応を援用し、フェルミオン的フォック空間$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')$を特定のチャーン類を持つ$\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^*$は余連接層のグロタンディーク群、ホッジ・コホモロジー、Chow群、またはホッジ・コホモロジーを表す。$F(r)_{l, \bullet}$は中心電荷$l$を持つ$\widehat{\mathfrak{gl}}_r$の基本表現である。
• 基底への自明な作用: この構成の際立った特徴は、$\widehat{\mathfrak{gl}}_r$作用が元のモジュライ空間$M_H(r, c_1, n)$に対応する因子に対しては自明に作用し、フォック空間の因子に対してのみ非自明に作用することである。これは、代数が空間全体に作用していた従来の構成とは対照的である。
• 一般化: この結果は、任意のランク$r$および任意の滑らかな射影曲面（特定のコホモロジー理論の消滅条件に従う）に対して成立し、ランク2や$\mathbb{P}^2$のような特定の曲面に限定されていた従来の成果を一般化している。
• 技術的革新: 本論文は「有限クリフォード・グラスマン・モデル」を導入し、有限および無限のクリフォード代数の間を橋渡しするためにモリタ同値を斬新に使用することで、標準的なヘッケ対応が吹上げにおける安定性やチャーン類を保存できないという困難を解決している。

意義
本論文は、ヨシオカの吹上げ公式と$SU(r)$のレベル1 WZWモデルとの関連に関するVafaとWittenの具体的な問いに答えるものである。アフィンリー代数の作用を構築し、そのモジュールを基本表現として特定することで、著者らは、吹上げ曲面上のインスタントン・モジュライ空間の幾何学において2d CFTの構造が出現することを説明する厳密な数学的枠組みを提供した。

本研究は、以下の領域を統合している：

• 余連接層のモジュライ空間の幾何学（代数幾何学）と、頂点演算子代数およびアフィンリー代数（表現論）を結びつける。
• 派生圏および完全複体のグラスマン多様の文脈におけるボゾン・フェルミオン対応の幾何学的解釈を提供する。
• 吹上げ公式における2d CFTの出現という「未解決の謎」を解決し、オイラー標数の生成関数（および関連する不変量）がWZWモデルの指標に関連しているという予測を裏付けた。

著者らは、特定の消滅条件（K3曲面やデペッツォ曲面など）を満たす曲面における分配関数はオイラー標数の生成関数と一致するものの、「モノポール枝（monopole branches）」を含む一般的なケース（分配関数が異なるケース）については、将来の研究における未解決の課題であると述べている。現在の結果は、安定層のモジュライ空間のコホモロジーに対する代数の幾何学的構成に厳密に限定されている。