[论文解读] Elementary introduction to Moonshine

Shamit Kachru|arXiv (Cornell University)|May 2, 2016

Mathematics and Applications参考文献 10被引用 7

一句话总结

本文为怪兽月光与影子月光提供了基础性介绍，关联有限群对称性、模形式以及二维共形场论（CFT）。它展示了怪兽群不可约表示的维数如何出现在j-不变量模函数的系数中，并表明K3曲面的椭圆亏格可通过康威模的共轭特征标实现，揭示了月光、枚举几何与三维弦理论中量子引力之间的深刻联系。

ABSTRACT

These notes provide an elementary (and incomplete) sketch of the objects and ideas involved in monstrous and umbral moonshine. They were the basis for a plenary lecture at the 18th International Congress on Mathematical Physics, and for a lecture series at the Centre International de Recontres Mathematiques school on "Mathematics of String Theory."

研究动机与目标

• 为数学与理论物理领域的研究人员提供怪兽月光与影子月光的可及性、非技术性概述。
• 解释怪兽群表示维数与j-不变量模函数系数之间令人惊讶的数值巧合。
• 建立月光、K3曲面的椭圆亏格及其希尔伯特纲的枚举几何之间的联系。
• 探讨康威模及其共轭特征标在实现K3椭圆亏格及相关不变量中的作用。
• 突出月光、三维量子引力与卡拉比-丘三fold上的拓扑弦理论之间新兴的联系。

提出的方法

• 使用j-不变量模函数 J(τ) = 1/q + 196884q + ...，其系数被证明与怪兽群表示维数之和相匹配。
• 将二维CFT的环面配分函数构造为在态上取模不变迹，其中 L0 − c/24 作为哈密顿量。
• 将 s♮ 模定义为一个中心电荷 c = 16 的顶点算子代数，其配分函数实现了K3的椭圆亏格。
• 利用 Dijkgraaf-Moore-Verlinde-Verlinde (DMVV) 公式，将K3的椭圆亏格与K3上点的希尔伯特纲的生成函数联系起来。
• 通过Co0中保持四平面子群的群元素g引入共轭特征标 Z_g^{s♮}(τ,z,w)，将其推广至包含U(1)电流的配分函数。
• 将共轭配分函数特化以恢复 χ_y亏格与KKV不变量，将月光与K3曲面的枚举几何联系起来。

实验结果

研究问题

• RQ1 为何j-不变量模函数的系数与怪兽群表示维数之和相匹配？
• RQ2 K3曲面的椭圆亏 genom 如何从康威模 s♮ 的共轭特征标中涌现？
• RQ3 能否从月光模的配分函数推导出K3曲面上曲线计数的KKV公式？
• RQ4 康威群 Co0 在通过月光实现K3椭圆亏 genom 中的物理与数学意义为何？
• RQ5 s♮ 模的共轭特征标如何与K3 CFT及其紧化形式的精化不变量相关？

主要发现

• j-不变量中的系数 196884 等于怪兽群的平凡表示与196883维不可约表示维数之和。
• j-不变量中的系数 21493760 等于怪兽群的平凡表示、196883维表示与21296876维表示维数之和。
• s♮ 模的配分函数 Z^{s♮}(τ,z) 与K3 σ-模型的椭圆亏 genom φ_K3(τ,z) 相匹配，后者是权为0、指标为2的弱雅可比形式。
• Co0中保持四平面子群的g元素的共轭特征标 Z_g^{s♮}(τ,z,w) 实现了K3 CFT的共轭椭圆亏 genom，暗示其对称性共轭不变量具有月光起源。
• 通过DMVV公式将K3椭圆亏 genom 的系数特化至χ_y亏 genom，可恢复K3曲面上曲线计数的KKV公式。
• K3的精化不变量，包括来自额外U(1)电流的不变量，均编码于三变量配分函数 Z^{s♮}(τ,z,w) 中，该函数是具有Co0对称性共轭的模形式。