[论文解读] Deformed Double Current Algebras, Matrix Extended $\mathcal W_{\infty}$ Algebras, Coproducts, and Intertwiners from the M2-M5 Intersection

Davide Gaiotto, Miroslav Rapčák+1 more|arXiv (Cornell University)|Sep 29, 2023

Black Holes and Theoretical Physics被引用 4

一句话总结

本文构建并分析了在扭曲M理论中M2-M5膜相交时出现的形变双流代数（DDCA）和矩阵扩展的$\mathcal{W}_{\infty}$代数。它为$\mathfrak{gl}_K$-DDCA提供了新的表述，严格定义了$\mathfrak{gl}_K$-扩展的$\mathcal{W}_{\infty}$顶点代数，并通过双模结构建立了余积和互变子——特别是矩阵Miura算子——揭示了5d $\mathcal{N}=1$超对称量子场论中的深层代数对偶性。

ABSTRACT

We study the algebraic structures which govern the deformation of supersymmetric intersections of M2 and M5 branes. The universal algebras on M2 and M5 branes are deformed double current algebra of $\mathfrak{gl}_K$ and $\mathfrak{gl}_K$-extended $\mathcal{W}_{\infty}$-algebra respectively. We give a new presentation of the deformed double current algebra of $\mathfrak{gl}_K$, and we give a rigorous mathematical construction of the $\mathfrak{gl}_K$-extended $\mathcal{W}_{\infty}$-algebra. A new presentation of the affine Yangian of $\mathfrak{gl}_K$ is also obtained. We construct various coproducts of these algebras, which are expected to encode the fusions of defects in twisted M-theory. The matrix extended Miura operators are identified as intertwiners in certain bimodules of these algebras.

研究动机与目标

• 为扭曲M理论中M2-M5膜相交产生的$\mathfrak{gl}_K$-扩展$\mathcal{W}_{\infty}$顶点代数构建严谨的数学框架。
• 为$\mathfrak{gl}_K$的形变双流代数$\mathsf{A}^{(K)}$提供一种新表述，推广$K=1$的情形。
• 在$\mathsf{A}^{(K)}$、$\mathsf{Y}^{(K)}$和$\mathsf{L}^{(K)}$上定义并分析余积结构，编码扭曲M理论中的缺陷融合。
• 将矩阵Miura算子识别为仿射Yangian $\mathsf{Y}^{(K)}$和$\mathcal{W}_{\infty}^{(K)}$代数上双模中的互变子。
• 建立矩形$\mathcal{W}_{\infty}$代数的模式代数与$\mathfrak{gl}_K$-DDCA之间的同构，揭示对偶性结构。

提出的方法

• 通过非对称化生成元和过滤结构，引入形变双流代数$\mathsf{A}^{(K)}$的新表述，并利用该结构证明PBW定理。
• 通过矩阵值伪微分符号构造$\mathfrak{gl}_K$-扩展的$\mathcal{W}_{\infty}$顶点代数$\mathcal{W}^{(K)}_{\infty}$，并证明其结构常数的多项式性。
• 通过配置空间上的点分裂构造，在$\mathsf{A}^{(K)}$上定义亚纯余积，从而获得与代数运算相容的顶点余代数结构。
• 建立从仿射Yangian $\mathsf{Y}^{(K)}$到$\mathcal{W}^{(K)}_{\infty}$模式代数的映射，证明PBW定理并确认余积相容性。
• 通过粘合构造将$\mathsf{L}^{(K)}$定义为$\mathsf{A}^{(K)}$的正负半部分的交集，并构造其余积。
• 通过$\mathsf{Y}^{(K)}$-双模结构在$\operatorname{Hom}(\mathcal{V}, D(\mathbb{C}^{\times I}_{\mathrm{disj}}) \widetilde{\otimes} \mathcal{V})$上识别矩阵Miura算子为互变子，其作用通过该空间中映射的复合定义。

实验结果

研究问题

• RQ1 如何通过更对称的表述和清晰的过滤结构，重新表达$\mathfrak{gl}_K$的形变双流代数$\mathsf{A}^{(K)}$，并建立其PBW基？
• RQ2 如何精确构造$\mathfrak{gl}_K$-扩展的$\mathcal{W}_{\infty}$顶点代数$\mathcal{W}^{(K)}_{\infty}$，其结构常数的行为如何体现多项式性？
• RQ3 $\mathsf{A}^{(K)}$、$\mathsf{Y}^{(K)}$和$\mathsf{L}^{(K)}$上的余积如何编码扭曲M理论中缺陷的融合？
• RQ4 在何种意义上，矩阵Miura算子是仿射Yangian $\mathsf{Y}^{(K)}$和$\mathcal{W}^{(K)}_{\infty}$代数表示之间的互变子？
• RQ5 在$\mathcal{W}^{(K)}_{\infty}$和$\mathsf{Y}^{(K)}$的模式代数上，对偶自同构和反自同构如何与5d $\mathcal{N}=1$理论中的基本物理对称性相关联？

主要发现

• 通过非对称化生成元和垂直与水平过滤，给出了形变双流代数$\mathsf{A}^{(K)}$的新表述，并利用该结构建立了PBW定理。
• $\mathfrak{gl}_K$-扩展的$\mathcal{W}_{\infty}$顶点代数$\mathcal{W}^{(K)}_{\infty}$被严格构造为具有多项式结构常数的顶点代数。
• 通过配置空间上的点分裂映射，在$\mathsf{A}^{(K)}$上定义了亚纯余积，从而获得与代数运算相容的顶点余代数结构。
• 矩阵Miura算子被识别为$\mathsf{Y}^{(K)}$-双模中的互变子，其作用通过$\operatorname{Hom}(\mathcal{V}, D(\mathbb{C}^{\times I}_{\mathrm{disj}}) \widetilde{\otimes} \mathcal{V})$中映射的复合定义。
• 构造了从仿射Yangian $\mathsf{Y}^{(K)}$到$\mathcal{W}^{(K)}_{\infty}$模式代数的映射，并证明了其PBW定理，确认了生成元的代数独立性。
• 在矩形$\mathcal{W}_{\infty}$代数及其模式代数上建立了对偶同构和反自同构，揭示了代数结构中隐藏的对称性。