[论文解读] K3 Surfaces, N=4 Dyons, and the Mathieu Group M24

Miranda C. N. Cheng|arXiv (Cornell University)|May 28, 2010

Black Holes and Theoretical Physics参考文献 18被引用 50

一句话总结

本文提出了一种新的月光现象，将马蒂厄群 M24 与 K3 表面的椭圆亏格及 N=4 弦紧化中的 1/4-BPS 简并谱联系起来。通过研究 M24 元素作用下的扭曲椭圆亏格——特别是不属于 M23 的元素——表明这些划分函数的模形式性质编码了 M24 的表示结构，将早期的马蒂厄月光现象扩展至包含量子与非几何对称性，并预测了在 K3×T² 紧化下的异轨与 II 型弦理论中的新谱结构。

ABSTRACT

A close relationship between K3 surfaces and the Mathieu groups has been established in the last century. Furthermore, it has been observed recently that the elliptic genus of K3 has a natural interpretation in terms of the dimensions of representations of the largest Mathieu group M24. In this paper we first give further evidence for this possibility by studying the elliptic genus of K3 surfaces twisted by some simple symplectic automorphisms. These partition functions with insertions of elements of M24 (the McKay-Thompson series) give further information about the relevant representation. We then point out that this new "moonshine" for the largest Mathieu group is connected to an earlier observation on a moonshine of M24 through the 1/4-BPS spectrum of K3xT^2-compactified type II string theory. This insight on the symmetry of the theory sheds new light on the generalised Kac-Moody algebra structure appearing in the spectrum, and leads to predictions for new elliptic genera of K3, perturbative spectrum of the toroidally compactified heterotic string, and the index for the 1/4-BPS dyons in the d=4, N=4 string theory, twisted by elements of the group of stringy K3 isometries.

研究动机与目标

• 将马蒂厄月光现象的观察——即 K3 表面的椭圆亏格展现出 M24 表示论结构——扩展至包含在经典 K3 几何中未实现的对称性下的扭曲划分函数。
• 研究 K3×T² 紧化的 II 型弦理论的 1/4-BPS 简并谱如何通过其根重数编码 M24 对称性，该谱实现了一个广义卡茨-穆迪代数。
• 推导 K3 CFT 在 M24 元素作用下的扭曲椭圆亏格的显式公式，特别关注不属于 M23 的元素，并验证其模性质作为弱雅可比形式。
• 将量子格子 H²*(K3,Z) ≅ Γ⁴,²⁰ 与完整的 M24 群联系起来，表明即使不存在某一点能实现所有对称性，由生成对称性保持模不变性，仍可实现全局 M24 月光现象。

提出的方法

• 计算 K3 CFT 在 M24 共轭类 g ∈ M24 作用下的扭曲椭圆亏格 Z_g(τ,z)，利用分解式 Z_K3(τ,z) = θ₁²(τ,z)/η³(τ) × (24μ(τ,z) + q⁻¹/⁸(−2 + T(τ)))。
• 将扭曲划分函数表示为标准弱雅可比形式 φ₀,₁(τ,z) 与 φ₋₂,₁(τ,z) 的线性组合，其中系数涉及模形式 f_N(τ)（属于同余子群 Γ₀(N) 的权为 2 的形式）。
• 对每个 g ∈ M24 确定其模群 Γ₀(ord(g))，表明 Z_g(τ,z) 仅在 g ∈ M23 时为弱雅可比形式，但即使 g ∉ M23，其傅里叶系数仍保持整数。
• 利用 Hecke 特征形式与新形式（例如 f₁₁(τ) = η²(τ)η²(11τ)，f₂₃,₁(τ) 的系数属于 ℤ + ℤ(1−√5)/2）构造扭曲亏格公式中的模形式系数。
• 应用高阶水平弱雅可比形式的理论对可能的形式进行分类，表明权为 0、指标为 1 的形式由 φ₀,₁ 与 φ₋₂,₁ × f_N(τ) 张成，其中 f_N ∈ M₂(Γ₀(N))。
• 在所有扭曲情形下验证傅里叶系数的整性，确认其与模表示论期望的一致性。

实验结果

研究问题

• RQ1 当 K3 的椭圆亏格被 M24 中不属于 M23 的元素扭曲时，是否仍表现出模不变性与整性，暗示更深层的月光结构？
• RQ2 对于 g ∈ M24，扭曲划分函数 Z_g(τ,z) 如何与 K3×T² 紧化的 II 型弦理论的 1/4-BPS 简并谱及其相关的广义卡茨-穆迪代数相关联？
• RQ3 扭曲椭圆亏格的模群结构为何？为何它仅在 g ∈ M23 时为弱雅可比形式，但即使 g ∉ M23 仍保持良好定义且系数为整数？
• RQ4 是否可通过 H²*(K3,Z) 格点上的量子对称性实现完整的 M24 月光现象，即使不存在任一经典 K3 几何能实现所有 M24 对称性？
• RQ5 从这种 M24 月光现象中，能对 d=4, N=4 弦理论中的异轨弦理论微扰谱与 1/4-BPS 双子的指标产生哪些新预测？

主要发现

• 扭曲椭圆亏格 Z₁₁A(τ,z) 是水平为 11 的弱雅可比形式，其系数由新形式 f₁₁(τ) = η²(τ)η²(11τ) 构成，且具有整数傅里叶系数。
• 对于 g = 23A，扭曲亏格 Z₂₃ₐ(τ,z) 涉及两个新形式 f₂₃,₁(τ) 与 f₂₃,₂(τ)，其系数属于 ℤ + ℤ(1−√5)/2，完整表达式给出整数傅里叶系数。
• 对于 g = 2B（不属于 M23），扭曲亏格 Z₂B(τ,z) 表示为 16φ₋₂,₁(τ,z) q ∂q log(η(τ)η²(4τ)/η³(2τ))，确认其模不变性，尽管不属于 Γ₀(2) 的雅可比形式。
• 对于 g = 4A（不属于 M23），扭曲亏格 Z₄ₐ(τ,z) 给出为 8φ₋₂,₁(τ,z) q ∂q log(η(2τ)η²(8τ)/η³(4τ))，具有整数系数，支持超越经典几何的月光现象。
• 本文确立了 K3×T² 紧化弦理论的 1/4-BPS 简并谱（通过椭圆亏格的傅里叶系数编码）实现了 M24 月光现象，其根重数作为 M24 的表示变换。
• 完整的月光现象与量子格子 H²*(K3,Z) ≅ Γ⁴,²⁰ 一致，其中 M24 作为全局对称性作用，尽管模空间中无单一点能实现所有群元素作为几何对称性。