[论文解读] Holomorphic Chern-Simons theory and affine Gaudin models

Benoît Vicedo|arXiv (Cornell University)|Aug 20, 2019

Algebraic structures and combinatorial models参考文献 33被引用 16

一句话总结

本文通过仿射 Gaudin 模型，建立了 $Σ \times \mathbb{C}P^1$ 上具有亚纯微分 $\omega = \varphi(z)dz$ 的全纯 Chern-Simons 理论与经典可积场论之间的直接对应关系。结果表明，规范连接的空间分量 $A_\sigma$ 作为 Lax 矩阵，其泊松括号为非超局域的，由依赖于 $\varphi(z)$ 的 $\mathcal{R}$-矩阵所控制，统一了 Costello-Yamazaki 框架与仿射 Gaudin 模型形式，凸显了 $\omega$ 的零点在非超局域性与量化难题中的作用。

ABSTRACT

We relate two formalisms recently proposed for describing classical integrable field theories. The first is based on the action of four-dimensional holomorphic Chern-Simons theory introduced and studied by Costello, Witten and Yamazaki. The second makes use of classical generalised Gaudin models associated with untwisted affine Kac-Moody algebras.

研究动机与目标

• 建立 Costello 与 Yamazaki 的全纯 Chern-Simons 框架与由仿射 Gaudin 模型描述的经典可积场论之间精确的数学与物理对应关系。
• 证明全纯 Chern-Simons 理论中规范场的空间分量 $A_\sigma$ 实现了具有扭函数 $\varphi(z)$ 的非超局域可积场论的 Lax 矩阵。
• 阐明亚纯微分 $\omega = \varphi(z)dz$ 的零点在区分超局域与非超局域模型以及阻碍微扰量化中的作用。
• 将非超局域可积场论的量化问题与具有通用 $\omega$ 的全纯 Chern-Simons 理论的非微扰量化联系起来。
• 提出 Langlands 对偶与扭曲同调圈可能在从 Gaudin 与 Chern-Simons 视角解决此类模型的量化问题中起核心作用。

提出的方法

• 对 $\Sigma \times \mathbb{C}P^1$ 上的全纯 Chern-Simons 理论进行哈密顿分析，其中 $\Sigma = \mathbb{R} \times S^1$ 且 $C = \mathbb{C}P^1$，使用亚纯微分 $\omega = \varphi(z)dz$。
• 施加规范固定条件以消除规范场 $A$ 的 $(1,0)$-分量，将相空间约化为亚纯的 $\mathfrak{g}$-值场 $A_\sigma$。
• 在约化相空间上推导出狄拉克括号，其形式为依赖于 $\varphi(z)$ 的非超局域泊松括号。
• 显式计算出 $\mathcal{R}$-矩阵为 $\mathcal{R}_{12}(z,z') = 2\pi \frac{C_{12}}{z'-z} \varphi(z')^{-1}$，将其与仿射 Gaudin 模型中的扭函数联系起来。
• 将 $\varphi(z)$ 中零点的存在与泊松括号的非超局域性及其在全纯 Chern-Simons 理论中微扰量化失败联系起来。
• 提出具有零点的 $\omega$ 的全纯 Chern-Simons 理论的非微扰量化可能通过 $\mathbb{C}P^1 \setminus \{z_i\}$ 中的扭曲同调圈或朗兰兹对偶在量子区间的出现来实现。

实验结果

研究问题

• RQ1 全纯 Chern-Simons 理论在 $\Sigma \times \mathbb{C}P^1$ 上的哈密顿结构如何再现仿射 Gaudin 模型的泊松括号？
• RQ2 仿射 Gaudin 模型中的扭函数 $\varphi(z)$ 与全纯 Chern-Simons 理论中亚纯微分 $\omega = \varphi(z)dz$ 之间的确切关系是什么？
• RQ3 为何 $\omega$ 中的零点会导致非超局域泊松括号？其物理与数学意义为何？
• RQ4 具有零点的 $\omega$ 的全纯 Chern-Simons 理论中微扰量化失败，如何与非超局域可积场论的量化这一开放问题相关联？
• RQ5 仿射 Gaudin 模型中通过扭曲同调圈或朗兰兹对偶是否能为全纯 Chern-Simons 理论的非微扰量化提供一条路径？

主要发现

• 在 $\Sigma \times \mathbb{C}P^1$ 上的全纯 Chern-Simons 理论中，规范场的空间分量 $A_\sigma$ 实现了具有非超局域泊松括号的经典可积场论的 Lax 矩阵。
• 约化相空间上的狄拉克括号被显式计算为 $\{A_{\sigma\mathfrak{1}}(z,\sigma), A_{\sigma\mathfrak{2}}(z',\sigma')\}^\star = [\mathcal{R}_{12}(z,z'), A_{\sigma\mathfrak{1}}(z,\sigma)]\delta_{\sigma\sigma'} - [\mathcal{R}_{21}(z',z), A_{\sigma\mathfrak{2}}(z',\sigma)]\delta_{\sigma\sigma'} - (\mathcal{R}_{12}(z,z') + \mathcal{R}_{21}(z',z))\delta'_{\sigma\sigma'}$。
• $\mathcal{R}$-矩阵由 $\mathcal{R}_{12}(z,z') = 2\pi \frac{C_{12}}{z'-z} \varphi(z')^{-1}$ 给出，其结构与具有扭函数 $\varphi(z)$ 的仿射 Gaudin 模型中的 $\mathcal{R}$-矩阵一致。
• $\varphi(z)$ 中零点的存在对应于非超局域性，并导致泊松括号中出现 $\delta'$-项，从而阻碍标准微扰量化。
• 具有零点的 $\omega$ 的全纯 Chern-Simons 理论中微扰量化失败，等价于由仿射 Gaudin 模型所刻画的长期存在的非超局域可积场论的量化难题。
• 本文建议，非微扰量化可能需要 $\mathbb{C}P^1 \setminus \{z_i\}$ 中的扭曲同调圈，或在量子区间的朗兰兹对偶的出现。