[论文解读] N=4 Superconformal Bootstrap of the K3 CFT

Ying-Hsuan Lin, Shu-Heng Shao+3 more|arXiv (Cornell University)|Nov 12, 2015

Black Holes and Theoretical Physics参考文献 60被引用 29

一句话总结

本文将 ${\cal N}=4$ 超共形 bootstrap 方法应用于 K3 非线性 sigma 模型，借助 ${\cal N}=4$ 超共形块与 $c=28$ 处的玻色子 Virasoro 块之间的精确映射，约束了非 BPS 算符谱。通过利用来自弦论有效作用量的积分四点函数编码模参数依赖性，推导出非 BPS 间隙的严格界限以及临界维数 $\widehat{\Delta}_{\text{crt}}$，证明了若 $\widehat{\Delta}_{\text{crt}} < \Delta_{\text{crt}}$ 不成立，则 $A_{1111}$ 必发散，这在香烟点处导致矛盾，从而对谱结构施加了约束。

ABSTRACT

We study two-dimensional (4,4) superconformal field theories of central charge c=6, corresponding to nonlinear sigma models on K3 surfaces, using the superconformal bootstrap. This is made possible through a surprising relation between the BPS N=4 superconformal blocks with c=6 and bosonic Virasoro conformal blocks with c=28, and an exact result on the moduli dependence of a certain integrated BPS 4-point function. Nontrivial bounds on the non-BPS spectrum in the K3 CFT are obtained as functions of the CFT moduli, that interpolate between the free orbifold points and singular CFT points. We observe directly from the CFT perspective the signature of a continuous spectrum above a gap at the singular moduli, and find numerically an upper bound on this gap that is saturated by the $A_1$ N=4 cigar CFT. We also derive an analytic upper bound on the first nonzero eigenvalue of the scalar Laplacian on K3 in the large volume regime, that depends on the K3 moduli data. As two byproducts, we find an exact equivalence between a class of BPS N=2 superconformal blocks and Virasoro conformal blocks in two dimensions, and an upper bound on the four-point functions of operators of sufficiently low scaling dimension in three and four dimensional CFTs.

研究动机与目标

• 为了约束 K3 表面上的 $\mathcal{N}=4$ 超共形场论的非 BPS 算符谱，该谱在模空间的特殊点之外尚不甚明了。
• 建立 ${\cal N}=4$ 超共形块与 $c=28$ 处玻色子 Virasoro 块之间的精确联系，以实现分析与数值 bootstrap 技术的应用。
• 利用 IIB 弦论有效作用量中的精确结果，将 K3 CFT 的模参数依赖性纳入 bootstrap 框架。
• 推导出最轻非 BPS 原始算符的标度维数 $\Delta_{\text{gap}}$ 与控制 OPE 收敛性的临界维数 $\widehat{\Delta}_{\text{crt}}$ 的严格界限。

提出的方法

• 利用 ${\cal N}=4$ 超共形块（具有 $h=1/2$ BPS 算符）与 $c=28$ 处玻色子 Virasoro 块之间的精确对应关系，外部权重为 1，内部权重为 $h+1$。
• 在 bootstrap 分析中，通过 Zamolodchikov 的递推关系数值计算映射后的 Virasoro 块。
• 通过来自 IIB 有效作用量中四阶与六阶导数项的非微扰结果，利用积分四点函数 $A_{ijkl}$ 编码 K3 CFT 的模参数依赖性。
• 将 $\widehat{\Delta}_{\text{crt}}$ 定义为一个阈值，高于此值的 OPE 贡献被其下方的贡献所有界，从而确保四点函数积分的收敛性。
• 通过将复平面划分为对称区域 $D_1, D_2, D_3$ 并利用对称性聚焦于 $D_1$，对四点函数的 $z$-积分进行正则化。
• 利用 $L(\Delta) \sim |16q_{1/2}|^{\Delta}$ 与柯西-施瓦茨不等式，控制不同区域中四点函数的增长。

实验结果

研究问题

• RQ1 在 K3 CFT 中，两个 $\frac{1}{2}$-BPS 算符的 OPE 中，最轻非 BPS 原始算符的标度维数的严格上下界是什么？
• RQ2 控制 OPE 贡献收敛性的临界维数 $\widehat{\Delta}_{\text{crt}}$ 如何依赖于 K3 CFT 的模参数？
• RQ3 是否可以利用模空间特殊点处积分四点函数 $A_{1111}$ 的发散性，通过 bootstrap 一致性来约束谱结构？
• RQ4 ${\cal N}=4$ 超共形块与 $c=28$ 处玻色子 Virasoro 块之间的精确关系是什么？该关系如何用于简化 bootstrap 方程？

主要发现

• 本文证明，除非 $\widehat{\Delta}_{\text{crt}} < \Delta_{\text{crt}}$，否则积分四点函数 $A_{1111}$ 必发散，这在 $A_1$ 香烟 CFT 点处导致矛盾，从而表明 $\widehat{\Delta}_{\text{crt}}$ 必须严格小于 $\Delta_{\text{crt}}$。
• 基于四点函数在 $z=1/2$ 处的取值 $f(1/2)$，推导出非 BPS 谱中谱隙 $\Delta_{\text{gap}}$ 的非平凡下界。
• 通过分析与数值 bootstrap 技术，对临界维数 $\widehat{\Delta}_{\text{crt}}$ 的上界进行了约束，且通过泛函优化进一步改进了这些界限。
• 该方法表明，标度维数 $\Delta > \widehat{\Delta}_{\text{crt}}$ 的非 BPS 原始算符的 OPE 系数被 $\Delta \leq \widehat{\Delta}_{\text{crt}}$ 的系数所控制，从而确保四点函数积分的收敛性。
• 分析确认，在假设 OPE 系数有限且谱密度有界的条件下，K3 CFT 的非 BPS sector 中必须存在谱隙，即 $\Delta_{\text{gap}} > 0$。