[论文解读] Holography and Koszul duality: the example of the $M2$ brane

Kevin Costello|arXiv (Cornell University)|May 6, 2017

Black Holes and Theoretical Physics参考文献 19被引用 47

一句话总结

该论文通过M2膜在Ω背景下的Koszul对偶，精确实现了全息AdS/CFT对应关系。它表明，在大K极限下，K个M2膜上超对称算符代数与同一背景中11维超引力中的算符代数呈Koszul对偶，且两者均被证明为量子双环代数，并在所有微扰阶次下完全量子化。

ABSTRACT

Si Li and author suggested in that, in some cases, the AdS/CFT correspondence can be formulated in terms of the algebraic operation of Koszul duality. In this paper this suggestion is checked explicitly for $M2$ branes in an $Ω$-background. The algebra of supersymmetric operators on a stack of $K$ $M2$ branes is shown to be Koszul dual, in large $K$, to the algebra of supersymmetric operators of $11$-dimensional supergravity in an $Ω$-background (using the formulation of supergravity in an $Ω$-background presented in arXiv:1610.04144). The twisted form of supergravity that is used here can be quantized to all orders in perturbation theory. We find that the Koszul duality result holds to all orders in perturbation theory, in both the gravitational theory and the theory on the $M2$. (However, there is a certain non-linear identification of the coupling constants on each side which I was unable to determine explicitly). It is also shown that the algebra of operators on $K$ $M2$ branes, as $K o \infty$, is a quantum double-loop algebra (a two-variable analog of the Yangian). This algebra is also the Koszul dual of the algebra of operators on the gravitational theory. An explicit presentation for this algebra is presented, and it is shown that this algebra is the unique quantization of its classical limit. Some conjectural applications to enumerative geometry of Calabi-Yau threefolds are also presented.

研究动机与目标

• 检验全息AdS/CFT可通过Koszul对偶表述的猜想，特别在M2膜的背景下。
• 验证K个M2膜上超对称算符代数与Ω背景中11维超引力算符代数之间的Koszul对偶关系。
• 证明该对偶性在M2膜理论与超引力理论中所有微扰阶次下均成立。
• 将M2膜算符代数的大K极限识别为量子双环代数，即Yangian的两变量推广。
• 证明该代数经典极限的量化的唯一性，并将其与Nakajima quiver簇的形变量子化联系起来。

提出的方法

• 利用先前在[Cos16]中构建的Ω背景中11维超引力的扭形式化，将其映射为5维非交换规范理论。
• 应用Koszul对偶的数学框架，关联M2膜理论与扭超引力理论的算符代数。
• 采用Hochschild同调与上同调技术，分析所涉代数复形的微分结构。
• 通过循环张量和非交换代数$\mathbb{C}[z_1, z_2]$上的双模结构，构建Koszul对偶复形的链级模型。
• 利用形变理论证明，量子代数$A_{N,\hbar,c}$是其经典极限$U(\operatorname{Diff}(\mathbb{C})\otimes\mathfrak{gl}_N)$的唯一量化。
• 对规范理论与代数模型中的算符乘积展开进行显式计算，并相互匹配。

实验结果

研究问题

• RQ1 M2膜/11维超引力系统中的AdS/CFT全息是否可通过Koszul对偶实现？
• RQ2 M2膜与超引力算符代数之间的Koszul对偶关系是否在所有微扰阶次下成立？
• RQ3 在大K极限下，K个M2膜上算符代数的代数结构是什么？
• RQ4 在此对偶中出现的量子双环代数能否从其经典极限唯一地进行量化？
• RQ5 该对偶对Calabi-Yau三fold中的枚举不变量有何影响？

主要发现

• 证明了在Ω背景下，K个M2膜上超对称算符代数与同一背景下11维超引力算符代数呈Koszul对偶，且该对偶性在所有微扰阶次下成立。
• 在大K极限下，M2膜算符代数成为量子双环代数，即Yangian的两变量类比，且该代数也是超引力代数的Koszul对偶。
• 证明了量子代数$A_{N,\hbar,c}$是其经典极限$U(\operatorname{Diff}(\mathbb{C})\otimes\mathfrak{gl}_N)$的唯一量化，其形变类在上同调中非平凡。
• 通过展示一个与之非平凡配对的闭对偶链元素，证明了该量子代数的形变类非恰当。
• 论文提供了量子双环代数的显式表示，并将其组合结构与5D规范理论对偶中的算符乘积展开计算相匹配。
• 通过该对偶框架，推测性地建立了与范畴化Donaldson-Thomas不变量及Calabi-Yau三fold枚举几何的联系。