[论文解读] Modular Exercises for Four-Point Blocks -- I

Miranda C. N. Cheng, Terry Gannon+1 more|arXiv (Cornell University)|Feb 25, 2020

Algebraic structures and combinatorial models参考文献 71被引用 9

一句话总结

本文证明了在有理顶点算子代数中的四点手征块在 $Γ(2)$、$Γ_0(2)$ 或 $Γ̄_2(\mathbb{Z})$ 的子群下变换为向量值模形式：具体取决于外部算符的对称性。此外，本文进一步表明完整的四点关联函数是模不变的，且交换对称性等价于模对称性，从而可利用模形式技术来约束手征块与融合系数。

ABSTRACT

The well-known modular property of the torus characters and torus partition functions of (rational) vertex operator algebras (VOAs) and 2d conformal field theories (CFTs) has been an invaluable tool for studying this class of theories. In this work we prove that sphere four-point chiral blocks of rational VOAs are vector-valued modular forms for the groups $Γ(2)$, $Γ_0(2)$, or $\mathrm{SL}_2(\mathbb{Z})$. Moreover, we prove that the four-point correlators, combining the holomorphic and anti-holomorphic chiral blocks, are modular invariant. In particular, in this language the crossing symmetries are simply modular symmetries. This gives the possibility of exploiting the available techniques and knowledge about modular forms to determine or constrain the physically interesting quantities such as chiral blocks and fusion coefficients, which we illustrate with a few examples. We also highlight the existence of a sphere-torus correspondence equating the sphere quantities of certain theories ${\mathcal T}_s$ with the torus quantities of another family of theories ${\mathcal T}_t$. A companion paper will delve into more examples and explore more systematically this sphere-torus duality.

研究动机与目标

• 建立有理 VOAs 和二维 CFT 中四点手征块的精确模结构。
• 证明手征块根据外部算符退化性，在 $\Gamma(2)$、$\Gamma_0(2)$ 或 $Γ̄_2(\mathbb{Z})$ 下变换为向量值模形式。
• 证明完整的物理四点关联函数是模不变的，且交换对称性等价于模变换。
• 提供一种系统性地利用模形式技术约束手征块与融合系数的框架。

提出的方法

• 根据外部算符的相同性数量，核心块（即剥离了共形对称性因子的手征块）被证明在 $\Gamma(2)$、$\Gamma_0(2)$ 或 $Γ̄_2(\mathbb{Z})$ 下变换为向量值模形式。
• 通过适配于拉孔配置的 $T$ 和 $S$ 矩阵，显式构造了核心块的模群表示。
• 通过将全纯与反全纯的向量值模形式组合，形成一个非全纯的模不变函数，从而构建完整的物理关联函数。
• 本文采用诸如拉德马赫和、黎曼-希尔伯特问题以及模线性微分方程（MLDEs）等技术，来构造这些模形式。
• 提出了一种类球-环面对偶关系，将某一理论的球面四点数据与另一理论的环面数据联系起来。
• 通过将表示诱导至 $Γ̄_2(\mathbb{Z})$，将该构造推广至外部算符被置换的情形。

实验结果

研究问题

• RQ1 有理 VOAs 中的四点手征块在模群下的变换行为如何？
• RQ2 基于外部算符对称性，决定手征块变换的精确模群（例如 $\Gamma(2)$、$\Gamma_0(2)$ 或 $Γ̄_2(\mathbb{Z})$）是什么？
• RQ3 在模形式的语境下，四点函数的交换对称性能否被解释为模对称性？
• RQ4 如何系统性地应用模形式技术来约束 CFT 中的手征块与融合系数？
• RQ5 是否存在不同理论之间球面四点数据与环面数据的对偶性？

主要发现

• 有理 VOAs 中四点函数的手征块是 $\Gamma(2)$、$\Gamma_0(2)$ 或 $Γ̄_2(\mathbb{Z})$ 的向量值模形式，具体取决于外部算符的退化性。
• 完整的四点关联函数（结合全纯与反全纯块）是模不变的，且交换对称性等价于模变换。
• 核心块在 $P\Gamma_0(2)$ 或 $P\Gamma(2)$ 下变换，可通过诱导表示重写为 $Γ̄_2(\mathbb{Z})$-协变形式。
• 模群表示的 $S$-矩阵通过 Verlinde 公式计算融合系数，从而将模数据与融合规则联系起来。
• 球-环面对偶关系将理论 $\mathcal{T}_s$ 的球面量与另一理论 $\mathcal{T}_t$ 的环面量等同，暗示存在深层对偶性。
• 通过 MLDE、拉德马赫和以及黎曼-希尔伯特方法显式构造模形式，被证明对计算手征块是有效的。