[论文解读] A perturbative CFT dual for pure NS-NS AdS$_3$ strings

Lorenz Eberhardt|arXiv (Cornell University)|Oct 14, 2021

Black Holes and Theoretical Physics参考文献 67被引用 9

一句话总结

该论文通过构建线性稀释子理论的形变对称群轨道，提出了一种纯NS-NS AdS₃弦的微扰CFT对偶，使用了扭-2边际算符。在微扰理论中，该工作计算了至四阶的两、三点函数，结果在亏格0下与弦理论完全一致，并确认了谱和极点结构的匹配，为一种在$N^{-1}$下微扰的对偶性提供了强有力证据。

ABSTRACT

We construct a CFT dual to string theory on AdS$_3$ with pure NS-NS flux. It is given by a symmetric orbifold of a linear dilaton theory deformed by a marginal operator from the twist-2 sector. We compute two- and three-point functions on the CFT side to 4th order in conformal perturbation theory at large $N$. They agree with the string computation at genus 0, thus providing ample evidence for a duality. We also show that the full spectra of both short and long strings on the CFT and the string side match. The duality should be understood as perturbative in $N^{-1}$.

研究动机与目标

• 构建一个具体的、微扰的CFT对偶，用于纯NS-NS通量下的AdS₃弦理论，尽管在世界面层面已有良好控制，但该对偶长期未能实现。
• 通过形变线性稀释子理论的对称群轨道，解决CFT对偶中长弦和连续谱的挑战。
• 通过计算CFT中的关联函数并将其与亏格0下的弦理论预测进行匹配，验证该对偶性。
• 确认在对偶的两侧，短弦和长弦的完整谱系完全匹配。
• 证明三点函数的极点结构——LSZ极点和体极点——在CFT与弦理论计算中一致。

提出的方法

• CFT对偶被构造为对称群轨道$\mathrm{Sym}^N(\mathbb{R}_Q \times X)$，通过来自扭-2扇区的边际算符$e^{-\sqrt{k-2}\phi}\sigma_2$进行形变。
• 应用微扰理论至形变参数$\mu$的四阶，使用改进的库仑气体形式化方法计算微扰展开。
• 通过分支覆盖技术计算关联函数，依赖于对称积群轨道关联函数的非平凡恒等式，已在附录笔记本中数值验证。
• 分析包括对三点函数极点结构的详细检查，区分LSZ极点与体极点，并与Dei:2021xgh中的弦理论结果进行比较。
• 证明了两点函数对$\mu$的导数恰好等于插入边际算符的三点函数，与世界面预测一致。
• 谱的匹配包括短弦（离散）和长弦（连续），后者源于CFT希尔伯特空间的连续扇区。

实验结果

研究问题

• RQ1 在缺乏已知紧致CFT对偶的情况下，能否为纯NS-NS AdS₃弦构造一个微扰CFT对偶？
• RQ2 在形变对称群轨道CFT中计算的两点和三点函数是否与亏格0下的弦理论结果一致？
• RQ3 三点函数的极点结构——包括LSZ极点和体极点——在CFT与弦理论侧是否完全相同？
• RQ4 该形变CFT是否能重现短弦和长弦的完整谱系，包括来自谱流表示的连续扇区？
• RQ5 能否证明两点函数对$\mu$的导数恰好等于插入边际算符的三点函数，如世界面理论所预测？

主要发现

• 在形变对称群轨道CFT中计算的两点和三点函数与弦理论结果在形变参数$\mu$的四阶内完全一致，为对偶性提供了强有力证据。
• 三点函数的极点结构在CFT与弦理论之间完全匹配，包括LSZ极点和体极点，后者源于解析继续后世界面积分中的发散。
• 当$w_3 = w_1 + w_2 + 1$时，极点结构通过$\Gamma$-函数分母发生改变，该分母会抵消部分极点并引入新极点，与CFT预测完全一致。
• 插入边际算符的三点函数恰好等于两点函数对$\mu$的导数，与世界面期望一致。
• 短弦和长弦的完整谱系在两侧完全匹配：CFT希尔伯特空间包含一个与$\mathrm{SL}(2,\mathbb{R})_k$ WZW模型的谱流表示同构的连续扇区。
• 该对偶性在$N^{-1}$下是微扰的，形变参数$\mu \sim N^{-1/2}$，四阶内的一致性表明该匹配可能在共形微扰级数的所有阶次都成立。