[论文解读] VOA[M4]

Boris Feigin, Sergei Gukov|arXiv (Cornell University)|Jun 7, 2018

Geometric and Algebraic Topology被引用 7

一句话总结

本文提出了一种光滑4-流形与顶点算子代数（VOA）之间的新颖对应关系，其中4-流形上的拓扑操作（如手术和粘合）在VOA上对应为代数操作。关键贡献是构造了由4-流形和ADE根系标记的VOA，且相同流形的不同拓扑构造所对应的VOA等价，推广了Nakajima关于瞬子模空间的工作。

ABSTRACT

We take a peek at a general program that associates vertex (or, chiral) algebras to smooth 4-manifolds in such a way that operations on algebras mirror gluing operations on 4-manifolds and, furthermore, equivalent constructions of 4-manifolds give rise to equivalences (dualities) of the corresponding algebras.

研究动机与目标

• 建立4-流形上的拓扑操作（如手术、粘合和三等分）与顶点算子代数（VOA）上的代数操作之间的字典。
• 为光滑4-流形 $M_4$ 和ADE型李代数 $rak{g}$ 定义一个VOA，推广Nakajima对ALE空间的构造。
• 证明相同4-流形的不同拓扑构造（例如通过Kirby移动或不同三等分）产生同构的VOA，从而在代数上实现拓扑对偶性。
• 探讨 $\text{VOA}[M_4]$ 的相关簇的几何与物理解释，特别是与2d ${\mathcal{N}}=(0,2)$ 理论和Higgs分支几何的关系。

提出的方法

• 将 $\text{VOA}[M_4]$ 构造为 $M_4$ 上 $G$-瞬子或Vafa-Witten方程解的模空间的上同调，使用Floer同调作为范畴化上同调理论。
• 通过 $\mathbb{R} \times M_4$ 上的Vafa-Witten方程定义一个Floer复形，其同调范畴化了Vafa-Witten不变量，并为VOA结构提供了候选。
• 应用BRST约化与扩展来模拟粘合操作，特别是通过管状图和 $M_4$ 上的 торic结构。
• 依赖于4-流形三等分与2d ${\mathcal{N}}=(0,2)$ 理论之间的对应关系，通过 $T[M_4]$ 构造将2d圆盘振幅提升至4d。
• 使用 $C_2$-代数 $\mathcal{R}_{\mathcal{V}} = \mathcal{V}/C_2(\mathcal{V})$ 定义相关簇 $X_{\mathcal{V}} = \text{Spec}((\mathcal{R}_{\mathcal{V}})_{\text{red}})$，将VOA与辛几何和Higgs分支联系起来。
• 证明当 $M_4 = \mathbb{C}\mathbf{P}^1 \times \Sigma_{0,4}$ 且 $G=SU(2)$ 时，$\text{VOA}[M_4]$ 的相关簇 $X_{\mathcal{V}}$ 是 $\mathfrak{so}(8)$ 的最小幂零轨道的闭包，与已知的Higgs分支几何一致。

实验结果

研究问题

• RQ1 如何系统地将4-流形上的拓扑操作（如手术和粘合）镜像为VOA上的代数操作？
• RQ2 对于一般光滑4-流形 $M_4$，$\text{VOA}[M_4]$ 的精确代数结构是什么？它如何依赖于ADE型李代数 $\frak{g}$ 的选择？
• RQ3 $\text{VOA}[M_4]$ 的相关簇能否在2d ${\mathcal{N}}=(0,2)$ 理论或4d ${\mathcal{N}}=2$ 理论的Higgs分支几何中进行几何解释？
• RQ4 相同4-流形的不同拓扑构造（如不同的三等分或Kirby图）如何产生等价的VOA？这对4D TFT中的对偶性意味着什么？

主要发现

• VOA $\text{VOA}[M_4]$ 被构造为 $M_4$ 上Vafa-Witten方程解的模空间的上同调，Floer同调提供了范畴化不变量。
• 当 $M_4 = \mathbb{C}\mathbf{P}^1 \times \Sigma_{0,4}$ 且 $G=SU(2)$ 时，$\text{VOA}[M_4]$ 的相关簇是 $\mathfrak{so}(8)$ 的最小幂零轨道的闭包，与相应4d ${\mathcal{N}}=2$ 理论的Higgs分支一致。
• VOA的同构性源于相同4-流形的不同拓扑构造（如简单的Kirby移动或不同的三等分），展示了代数与拓扑结构之间的对偶性。
• $\text{VOA}[M_4]$ 的 $C_2$-代数 $\mathcal{R}_{\mathcal{V}}$ 决定了相关簇 $X_{\mathcal{V}}$，当 $M_4$ 具有Kähler度量时，该簇携带全纯辛结构，暗示与2d理论 $T[M_4]$ 中增强超对称性的联系。
• 该构造将Nakajima对ALE空间的工作推广至任意4-流形，VOA由 $M_4$ 中曲线上的规范丛的Hecke变换生成。