[论文解读] Holomorphic primary fields in free CFT4 and Calabi-Yau orbifolds

Robert de Mello Koch, Phumudzo Rabambi+2 more|arXiv (Cornell University)|May 18, 2017

Black Holes and Theoretical Physics参考文献 45被引用 3

一句话总结

本文利用 $\mathfrak{so}(4,2)$ 特征标，推导出标量、矢量和矩阵在自由四维共形场论（CFT4）中初级场的计数公式。它将极值初级场构造为在置换对称 orbifold $\mathbb{C}^{2n}/(\mathbb{C}^2 \times S_n)$ 上的全纯多项式函数，这些空间被证明是卡拉比-丘流形，揭示了极值初级场空间上的环结构，其希尔伯特系列具有回文性质，且生成函数的分子中编码了非平凡的关系。

ABSTRACT

Counting formulae for general primary fields in free four dimensional conformal field theories of scalars, vectors and matrices are derived. These are specialised to count primaries which obey extremality conditions defined in terms of the dimensions and left or right spins (i.e. in terms of relations between the charges under the Cartan subgroup of $SO(4,2)$). The construction of primary fields for scalar field theory is mapped to a problem of determining multi-variable polynomials subject to a system of symmetry and differential constraints. For the extremal primaries, we give a construction in terms of holomorphic polynomial functions on permutation orbifolds, which are shown to be Calabi-Yau spaces.

研究动机与目标

• 利用 $\mathfrak{so}(4,2)$ 表示理论推导自由 CFT4 中初级场的一般计数公式。
• 将极值初级场构造为在对称 orbifold $\mathbb{C}^{2n}/(\mathbb{C}^2 \times S_n)$ 上的全纯多项式函数，这些空间是卡拉比-丘流形。
• 通过这些 orbifold 上的全纯函数，在极值初级算符空间上建立环结构。
• 分析全纯函数环的希尔伯特系列，证明其具有回文性质，并识别生成元之间的关系与系统关系（syzygies）。
• 将算符谱的代数结构与对称群表示以及 orbifold 环的 Gorenstein 性质联系起来。

提出的方法

• 将 CFT4 中复合初级场的构造映射为 $\mathbb{R}^{4n}$ 上的多变量多项式函数 $\Psi(x_\mu^I)$，满足拉普拉斯方程、平移不变性以及 $S_n$ 置换对称性。
• 在 $\mathbb{R}^4 \cong \mathbb{C}^2$ 上定义复结构，使用 $z,w$ 变量定义全纯函数，从而在 orbifold $\mathbb{C}^{2n}/(\mathbb{C}^2 \times S_n)$ 上得到初级场。
• 通过仅限制在 $z$-依赖性上，将极值初级场构造为 $\mathbb{C}^n/S_n$ 上的全纯函数，对应于一类特殊算符。
• 计算 orbifold 上全纯函数环的希尔伯特系列，揭示其与对称群表示相关的回文结构。
• 从希尔伯特系列的分子中识别出环的生成元与关系（系统关系），在度数 3 时给出 7 个生成元与 6 个关系的显式表达式。
• 使用群代数 $\mathbb{C}(S_n) \otimes \mathbb{C}(S_n) \otimes \mathbb{C}(S_k) \otimes \mathbb{C}(S_l)$ 描述算符谱的表示内容。

实验结果

研究问题

• RQ1 如何通过对称 orbifold 上的全纯函数系统地构造自由 CFT4 中的极值初级场？
• RQ2 极值初级算符环的代数结构是什么？它与底层 orbifold 几何有何关联？
• RQ3 为何 $\mathbb{C}^{2n}/(\mathbb{C}^2 \times S_n)$ 上全纯函数环的希尔伯特系列表现出回文性质？
• RQ4 环的生成元之间的关系（系统关系）如何在希尔伯特系列的分子中体现？其物理与代数意义为何？
• RQ5 对称群表示在组织自由 CFT4 中极值初级场谱方面起什么作用？

主要发现

• 在自由 CFT4 中，极值初级场被构造为在 orbifold $\mathbb{C}^{2n}/(\mathbb{C}^2 \times S_n)$ 上的全纯多项式函数，该空间是卡拉比-丘流形。
• 该 orbifold 上全纯函数环构成一个 Gorenstein、卡拉比-丘环，其希尔伯特系列具有回文性质，该性质通过对称群表示理论得以证明。
• 对于三个标量场，$Z_3(s,x,y)$ 的希尔伯特系列分子包含 6 项，编码了 7 个生成元之间的 6 条关系，以及 5 项，编码了关系之间的关系（系统关系）。
• 生成元 $G_1, \dots, G_7$ 显式识别为 $z_{ij}, w_{ij}$ 上的对称多项式，其次数与希尔伯特系列中的单项式一一对应。
• 关系包括 $\chi_1 = 3G_3G_4 - 2G_2G_5 + G_1G_6 = 0$ 与 $\chi_6 = G_2^7 - G_1G_2^5G_3 + \frac{1}{9}G_2^4G_5G_6 - G_2^4G_4G_7 = 0$，其对应次数分别为 $s^5x^{5/2}\sqrt{y}$ 与 $s^{14}x^7$。
• 系统关系如 $4\chi_5G_2 + \chi_4G_3 = 0$ 被显式推导，并与 $Z_3(s,x,y)$ 分子中的正项完全匹配。