[论文解读] Modular Forms and Elliptic Genera for ALE Spaces

Tohru Eguchi, Yuji Sugawara+1 more|ArXiv.org|Mar 4, 2008

Black Holes and Theoretical Physics参考文献 20被引用 8

一句话总结

本文提出了一种在非紧致 Calabi-Yau 共形场论中结合连续与离散表示的方法，特别针对 ALE 空间，通过椭圆亏格构造全纯模形式不变量。该方法依赖于新颖的 theta 函数恒等式，所得结果与 K3 表面的去紧致化极限一致，并揭示了 N=4 超共形代数在高阶层下的模性质。

ABSTRACT

When we describe string propagation on non-compact or singular Calabi-Yau manifolds by CFT, continuous as well as discrete representations appear in the theory. These representations mix in an intricate way under the modular transformations. In this article, we propose a method of combining discrete and continuous representations so that the resulting combinations have a simpler modular behavior and can be used as conformal blocks of the theory. We compute elliptic genera of ALE spaces and obtain results which agree with those suggested from the decompactification of K3 surface. Consistency of our approach is assured by some remarkable identity of theta functions. We include in the appendix some new materials on the representation theory of ${\cal N}=4$ superconformal algebra.

研究动机与目标

• 为非紧致 Calabi-Yau 流形，特别是由于连续与离散表示混合而导致模性质不佳的 ALE 空间，构造全纯模形式不变量。
• 计算 ALE 空间的椭圆亏格，并验证其与 K3 表面去紧致化极限的一致性。
• 建立一个框架，使 Liouville 型 CFT 中的连续与离散表示能组合成模协变的组合。
• 证明并应用在 N=4 超共形理论中实现模不变性的关键非平凡 theta 函数恒等式。
• 推导 N=4 超共形代数的高阶层特征标公式，并分析其模变换性质。

提出的方法

• 采用共形 bootstrap 方法，通过特征标函数与模 S 变换，关联开弦与闭弦通道。
• 对 N=4 超共形特征标应用 S 变换，将结果分解为连续表示与一个离散的 ℓ=k 分量。
• 利用 SU(2) 在层 k−1 下的 theta 函数与模性质，表达质量为零的 N=4 特征标的模变换。
• 推导出一个模 S 矩阵系数 S(ℓ|p′,ℓ′)，其包含复指数与双曲函数，编码了连续谱与离散谱之间的混合。
• 引入一种新的表示论框架，用于高阶层下的 N=4 超共形代数，包括特征标公式及其模行为。
• 依赖于 D. Zagier 证明的关键 theta 函数恒等式，确保了模不变性构造的一致性。

实验结果

研究问题

• RQ1 如何在非紧致 Calabi-Yau CFT 中结合连续与离散表示，以获得模不变的划分函数？
• RQ2 ALE 空间的椭圆亏格是什么？它是否与 K3 表面的去紧致化极限一致？
• RQ3 N=4 超共形特征标在模 S duality 下如何变换？其结果谱的结构是什么？
• RQ4 非平凡的 theta 函数恒等式在确保 Liouville 型 CFT 中模不变性方面起什么作用？
• RQ5 能否系统地推导出高阶层下的 N=4 特征标公式，并计算其模性质？

主要发现

• 通过所提方法计算的 ALE 空间椭圆亏格与 K3 表面的去紧致化极限一致，证实了与已知几何预期的一致性。
• N=4 质量为零特征标的模 S 变换仅产生连续表示与一个离散的 ℓ=k 表示，其系数为 (−1)ℓ(k−ℓ+1)。
• 模 S 矩阵系数 S(ℓ|p′,ℓ′) 被推导为一个包含双曲函数与 SU(2) 在层 k−1 下的模 S 矩阵的复积分。
• 该方法依赖于 Zagier 证明的非平凡 theta 函数恒等式，该恒等式是构造模不变划分函数一致性的基础。
• 高阶层下的 N=4 特征标公式被证明在 S duality 下可分解为连续积分与有限个离散贡献，且给出了显式表达式。
• 该框架通过将连续与离散谱组合为单一模协变对象，成功解决了非最小、非紧致 CFT 中的模异常问题。