[论文解读] On the elliptic genera of manifolds of Spin(7) holonomy

Nathan Benjamin, Sarah M. Harrison+3 more|arXiv (Cornell University)|Dec 8, 2014

Black Holes and Theoretical Physics参考文献 35被引用 4

一句话总结

本文通过将具有 Spin(7) 旋量的流形的椭圆亏格分解为中心电荷 $c=12$ 的 ${\cal SW}(3/2,2)$ 超共形代数的特征标，计算了其椭圆亏格，揭示了与散在群（特别是 Mathieu 群 $M_{24}$）的显著联系——这些联系在附带论文中得到了精确化。该工作通过模形式与表示论，将 K3 紧化中观察到的月光现象推广至 Spin(7) 流形。

ABSTRACT

Superstring compactification on a manifold of Spin(7) holonomy gives rise to a 2d worldsheet conformal field theory with an extended supersymmetry algebra. The $\mathcal{N}=1$ superconformal algebra is extended by additional generators of spins 2 and 5/2, and instead of just superconformal symmetry one has a $c=12$ realization of the symmetry group $\mathcal{SW}(3/2,2)$. In this paper, we compute the characters of this supergroup, and decompose the elliptic genus of a general Spin(7) compactification in terms of these characters. We find suggestive relations to various sporadic groups, which are made more precise in a companion paper.

研究动机与目标

• 通过 $\Gamma_\theta$ 的同余子群下的模函数计算具有 Spin(7) 旋量的流形的椭圆亏格。
• 将椭圆亏格分解为 $c=12$ 的 ${\cal SW}(3/2,2)$ 超共形代数的不可约特征标。
• 探索 ${\cal SW}(3/2,2)$ 代数的表示理论与散在有限群（特别是 $M_{24}$）之间的潜在联系。
• 提供一种特征标分解，将 K3 紧化中观察到的月光现象推广至更高维的卡拉比-丘类几何。

提出的方法

• 将具有 Spin(7) 旋量的流形的椭圆亏格表示为 $\Gamma_\theta$ 下的单参数模函数族，其中参数由欧拉示性数 $\chi(X)$ 固定。
• 构造 $c=12$ 处 ${\cal SW}(3/2,2)$ 代数的单位表示最高权表示，包括非简并与简并特征标。
• 利用雅可比 theta 函数与戴德金 eta 函数表达分解中涉及的特征标与模形式。
• 应用 ${\cal SW}(3/2,2)$ 代数的对易关系，确定 Verma 模的结构并识别次奇异向量。
• 通过显式的模形式，将椭圆亏格进行 ${\cal SW}(3/2,2)$ 代数不可约表示的特征标分解。
• 将分解中的系数与散在群（特别是 $M_{24}$）的不可约表示维数进行比较，以识别提示性的数值模式。

实验结果

研究问题

• RQ1 如何将具有 Spin(7) 旋量的流形的椭圆亏格表示为 $\Gamma_\theta$ 下的模函数？
• RQ2 $c=12$ 的 ${\cal SW}(3/2,2)$ 超共形代数的完整特征标集合是什么？它们如何分解椭圆亏格？
• RQ3 分解系数与散在群表示之间是否存在数值或结构上的联系？
• RQ4 能否通过 ${\cal SW}(3/2,2)$ 代数将 K3 紧化中观察到的月光现象推广至 Spin(7) 流形？

主要发现

• 具有 Spin(7) 旋量的流形的椭圆亏格是 $\Gamma_\theta$ 下的模函数，其参数由欧拉示性数 $\chi(X)$ 决定。
• ${\cal SW}(3/2,2)$ 代数的非简并特征标与文献 [7] 中的猜想一致，为该代数提供了自洽的特征标集合。
• ${\cal SW}(3/2,2)$ 代数的简并特征标被显式构造，并证明其对椭圆亏格的分解有贡献。
• 将椭圆亏格分解为 ${\cal SW}(3/2,2)$ 特征标后，揭示了与 $M_{24}$ 不可约表示维数之和相似的数值模式，尤其体现在 $h = n + \frac{1}{4}$ 项的系数中。
• 本文在 $|h=\frac{1}{2}, x=\frac{1}{2}\rangle$ Verma 模中识别出一个次奇异向量，其 $L_0$ 特征值为 4，$X_0$ 特征值为 20，有助于特征标的分类。
• 结果表明，具有 Spin(7) 旋量的流形的几何、${\cal SW}(3/2,2)$ 代数的表示理论与散在有限群之间存在深刻但尚未完全理解的联系，该联系在附带论文中进一步探讨。