[论文解读] R-Twisting and 4d/2d Correspondences

Sergio Cecotti, Andrew Neitzke+1 more|arXiv (Cornell University)|Jun 17, 2010

Black Holes and Theoretical Physics参考文献 102被引用 209

一句话总结

本文通过从4d N=2超共形场论（SCFT）的BPS dyon谱构造的q-变形Kontsevich-Soibelman单值性算子，建立了4d N=2超共形场论（SCFT）与2d有理共形场论（RCFT）之间的对应关系。当R荷为有理数时，单值性算子具有有限阶，其迹与相应2d RCFT的特征标一致。在超凯勒流形上R对称性固定点处的线性算子插入生成了Verlinde代数，而Zamolodchikov的TBA系统自然地源自4d理论的BPS谱。

ABSTRACT

We show how aspects of the R-charge of N=2 CFTs in four dimensions are encoded in the q-deformed Kontsevich-Soibelman monodromy operator, built from their dyon spectra. In particular, the monodromy operator should have finite order if the R-charges are rational. We verify this for a number of examples including those arising from pairs of ADE singularities on a Calabi-Yau threefold (some of which are dual to 6d (2,0) ADE theories suitably fibered over the plane). In these cases we find that our monodromy maps to that of the Y-systems, studied by Zamolodchikov in the context of TBA. Moreover we find that the trace of the (fractional) q-deformed KS monodromy is given by the characters of 2d conformal field theories associated to the corresponding TBA (i.e. integrable deformations of the generalized parafermionic systems). The Verlinde algebra gets realized through evaluation of line operators at the loci of the associated hyperKahler manifold fixed under R-symmetry action. Moreover, we propose how the TBA system arises as part of the N=2 theory in 4 dimensions. Finally, we initiate a classification of N=2 superconformal theories in 4 dimensions based on their quiver data and find that this classification problem is mapped to the classification of N=2 theories in 2 dimensions, and use this to classify all the 4d, N=2 theories with up to 3 generators for BPS states.

研究动机与目标

• 建立4d N=2超共形场论与2d有理共形场论之间的4d/2d对应关系。
• 证明在4d N=2 SCFT中，若R荷为有理数，则q-变形Kontsevich-Soibelman算子的单值性具有有限阶。
• 将单值性算子的迹识别为与Zamolodchikov TBA系统相关的2d RCFT特征标。
• 在超凯勒模空间上R对称性作用的固定点处，通过线性算子的取值实现Verlinde代数。
• 利用奎沃数据对4d N=2 SCFT进行分类，并将其映射至2d N=2理论分类，尤其针对最多含三个BPS生成元的理论。

提出的方法

• 从4d N=2 SCFT的BPS dyon谱构造q-变形Kontsevich-Soibelman单值性算子。
• 利用半单值性Y(q)与分数单值性K(q)，通过量子环代数定义量子单值性。
• 通过丛代数的突变与量子五对数恒等式，将单值性映射至Zamolodchikov的Y系统。
• 在超凯勒模空间上R对称性作用的固定点处，通过线性算子的取值实现Verlinde代数。
• 当q为单位根时，利用量子弗罗贝尼乌斯性质约束单值性本征值重数，并将其与RCFT特征标关联。
• 对单值性算子应用标准迹，提取2d RCFT特征标，已在(A_n, A_1)与(A_3, A_1)模型中通过数值验证。

实验结果

研究问题

• RQ1 当R荷为有理数时，4d N=2 SCFT的q-变形Kontsevich-Soibelman单值性算子是否具有有限阶？
• RQ2 单值性算子的迹是否可被识别为与Zamolodchikov TBA系统相关的2d RCFT特征标？
• RQ3 2d RCFT的Verlinde代数如何从4d N=2理论中线性算子的结构中涌现？
• RQ4 量子丛代数与量子五对数恒等式在连接4d BPS谱与2d TBA系统中起什么作用？
• RQ5 通过奎沃数据对4d N=2 SCFT的分类，如何与2d N=2 SCFT的分类相关联？

主要发现

• 对于具有有理R荷的4d N=2 SCFT，q-变形单值性算子M(q)具有有限阶，当q为本原N次单位根时，有M^N = 1。
• 单值性算子的迹Tr[K(q)]与对应TBA系统的2d RCFT特征标一致，已在(A_2, A_1)、(A_3, A_1)与(A_4, A_1)模型中验证。
• 在(A_2, A_1)模型中，M(q)的标准迹重现了(2,5)极小模型的特征标，且M(q)的本征值重数呈现周期为6的周期性模式。
• 在(A_3, A_1)模型中，M(q)的本征值重数近似均匀分布，满足N_k(N) = [N/3] + a_k(N)，其中|a_k(N)| ≤ 1，且周期为6。
• 在(A_4, A_1)模型中，单值性满足M^7 = 1，本征值重数为N_k(N) = [N²/7] + a_k(N)，且|a_k(N)| ≤ 1，表明具有强均匀分布性。
• 对于(An, A1)理论，Verlinde代数通过在超凯勒模空间上R对称性固定点处对线性算子的取值实现，其融合规则由单值性作用编码。