[论文解读] On 'categories' of quantum field theories

Yuji Tachikawa|arXiv (Cornell University)|Dec 26, 2017

Algebraic structures and combinatorial models参考文献 26被引用 3

一句话总结

本文提出了一种基于时空几何结构的量子场论（QFT）范畴框架，为表达物理学中的深刻数学猜想提供统一的语言。该框架针对不同结构（如黎曼、共形）定义了QFT的范畴，引入了点算符与关联函数，并通过函子 $ \mathcal{M}_{\text{Higgs}} $ 和 $ \mathbb{VOA} $ 建立与超凯勒锥及顶点算子代数的联系，从而对 $ G = \mathrm{SU}(3N), \mathrm{SU}(4N), \mathrm{SU}(6N) $ 的 $ X_G $ 和 $ \mathbb{V}_G $ 提出精确猜想，包含显式特征标公式，并与 $ E_6, E_7, E_8 $ 的 W-代数建立联系。

ABSTRACT

We give a rough description of the 'categories' formed by quantum field theories. A few recent mathematical conjectures derived from quantum field theories, some of which are now proven theorems, will be presented in this language.

研究动机与目标

• 将量子场论（QFT）视为范畴而非孤立对象，以捕捉其相互关系与结构特性。
• 提供一种数学语言，阐明近期物理猜想（特别是对偶性与对偶级联）的起源。
• 通过函子 $ \mathcal{M}_{\text{Higgs}} $ 和 $ \mathbb{VOA} $，建立 QFT、超凯勒锥 $ X_G $ 与顶点算子代数 $ \mathbb{V}_G $ 之间精确的猜想关系。
• 通过新函子 $ Z_{\text{Nek}} $，将 instanton 模空间的上同调与单连通李型的 W-代数联系起来。
• 利用 Hall-Littlewood 多项式与 Macdonald 理论，给出 $ X_G $ 与 $ \mathbb{V}_G $ 的显式特征标公式。

提出的方法

• 定义 QFT 在 $ \mathcal{S} $-结构流形上的范畴 $ \mathcal{Q}^d_\mathcal{S} $，其中 $ \mathcal{S} $ 包括黎曼、共形或旋量结构。
• 为每个 QFT $ Q $ 分配点算符空间 $ \mathcal{V}_Q $，并赋予群作用（如 $ \mathrm{SO}(d) $、$ \mathrm{Spin}(d) $、$ \mathrm{SO}(d+1,1) $）及其不变子空间 $ \mathcal{V}_Q^{\text{inv}} $。
• 在流形 $ M $ 上，将点算符的关联函数 $ Z_Q(M; \varphi_1(x_1)\cdots\varphi_n(x_n)) $ 构造为复值振幅。
• 在共形 QFT 中，利用态-算符对应 $ \mathcal{V}_Q \simeq \mathcal{H}_Q(S^{d-1}) $，将算符与球面上的态联系起来。
• 定义函子 $ \mathcal{M}_{\text{Higgs}}: \mathcal{Q}^d_\mathcal{S} \to \text{超凯勒锥} $ 与 $ \mathbb{VOA}: \mathcal{Q}^d_\mathcal{S} \to \text{VOAs} $，将 QFT 映射至几何与代数对象。
• 利用 Hall-Littlewood 多项式与 Macdonald 测度积分，推导 $ X_G = \mathcal{M}_{\text{Higgs}}(T_G) $ 与 $ \mathbb{V}_G = \mathbb{VOA}(T_G) $ 的特征标公式。

实验结果

研究问题

• RQ1 如何在范畴框架中形式化量子场论之间的相互关系？
• RQ2 点算符空间 $ \mathcal{V}_Q $ 及其在旋转或共形群作用下的不变子空间的精确数学结构是什么？
• RQ3 函子 $ \mathcal{M}_{\text{Higgs}} $ 与 $ \mathbb{VOA} $ 如何分别将 QFT 映射至超凯勒锥与顶点算子代数？
• RQ4 与 $ T_G = S_{G,0,3} $ 关联的超凯勒锥 $ X_G $ 与顶点算子代数 $ \mathbb{V}_G $ 的显式特征标公式是什么？
• RQ5 是否可通过新函子 $ Z_{\text{Nek}} $ 证明 instanton 模空间 $ \mathcal{M}_{G,n}^{\text{inst}} $ 的上同调携带类型为 $ G $ 的 W-代数作用？

主要发现

• 对于 $ G = \mathrm{SU}(3N) $，超凯勒锥 $ X_G = \mathcal{M}_{\text{Higgs}}(T_G) $ 满足 $ X_{\mathrm{SU}(3N)}\wr[N^3],[N^3],[N^3] = \mathcal{M}^{\text{inst}}_{E_6,N} $，且对 $ E_7 $ 与 $ E_8 $ 亦有类似恒等式成立。
• 顶点算子代数 $ \mathbb{V}_G = \mathbb{VOA}(T_G) $ 满足 $ \mathbb{V}_{\mathrm{SU}(3)} = (\hat{\mathfrak{e}_6})_{-6} $，$ \mathbb{V}_{\mathrm{SU}(4)}\wr[2,2],[1^4],[1^4] = (\hat{\mathfrak{e}_7})_{-8} $，以及 $ \mathbb{V}_{\mathrm{SU}(6)}\wr[3,3],[2,2,2],[1^6] = (\hat{\mathfrak{e}_8})_{-12} $。
• 超凯勒锥 $ X_G $ 的特征标为 $ \mathop{\mathrm{ch}} X_G(z_1,z_2,z_3) = \sum_{\lambda} \frac{\prod_{i=1}^3 K_0(z_i)\underline{H}_\lambda(z_i)}{K_{e_{\text{prin}}} \underline{H}_\lambda(q^\rho)} $，其中 $ \underline{H}_\lambda $ 为正交化 Hall-Littlewood 多项式。
• 顶点算子代数 $ \mathbb{V}_G $ 的特征标为 $ \mathop{\mathrm{ch}} \mathbb{V}_G(z_1,z_2,z_3) = \sum_{\lambda} \frac{\prod_{i=1}^3 K_0(z_i)\chi_\lambda(z_i)}{K_{e_{\text{prin}}} \chi_\lambda(q^\rho)} $，其中 $ \chi_\lambda $ 为 $ G $ 的不可约特征标。
• 通过 $ (X_G \times X_G)/\!/\!/G \simeq (T_G \times T_G)\not{\!\!\!\!\!-} G $ 构造，实现了具有 $ G^4 $ 与 $ S_4 $ 对称性的 $ X_G $ 作为超凯勒锥，从而确认了 $ S_4 $ 对称性。
• 通过几何表示理论，已证明 $ Z_{\text{Nek}} $ 函子将 QFT 映射至 $ \mathcal{H}_G $-丛截面，从而在 $ \mathcal{H}_G = \oplus_n H_G^*(\mathcal{M}_{G,n}^{\text{inst}}) $ 上实现 W-代数作用的猜想。