[论文解读] Brewing moonshine for Mathieu

Suresh Govindarajan|arXiv (Cornell University)|Dec 28, 2010

Advanced Algebra and Geometry参考文献 29被引用 15

一句话总结

本文提出了对偶数散群 $M_{12}$ 的广义月光现象，通过 Borcherds 类加法提升，将它的共轭类与乘法 eta 乘积、权为零的指标一 Jacobi 形式以及 dd 模形式联系起来。关键结果表明，所有 dd 模形式及其相关的 BKM 李超代数均源自此 $M_{12}$ 月光，通过将 $M_{12}$ 与 $M_{24}$ 关联的外自同构，将 $M_{24}$ 月光框架扩展至 $M_{12}$。

ABSTRACT

We propose a moonshine for the sporadic Mathieu group M_12 that relates its conjugacy classes to various modular forms and Borcherds Kac-Moody Lie superalgebras.

研究动机与目标

• 将月光概念从 $M_{24}$ 扩展至偶数散群 $M_{12}$，通过识别一种广义月光对应关系。
• 建立 $M_{12}$ 共轭类与乘法 eta 乘积、Jacobi 形式及 dd 模形式之间的联系。
• 证明此前与 $M_{24}$ 月光相关的 dd 模形式可自然地从 $M_{12}$ 通过映射至 $M_{24}$ 的外自同构产生。
• 证明秩三 BKM 李超代数的 Weyl-Kac-Borcherds 分母公式可作为与 $M_{12}$ 相关的 dd 模形式实现。

提出的方法

• 利用 $M_{12}$ 的外自同构 $\varphi$ 构造群 $M_{12}\!:\!2$，其可嵌入 $M_{24}$，从而实现 $M_{12}$ 与 $M_{24}$ 之间共轭类的追踪。
• 通过 $g_{\hat{\rho}}(\tau)$ 定义从 $M_{12}$ 共轭类（循环型）到乘法 eta 乘积的映射，使用循环型 $\hat{\rho} = 1^{a_1}2^{a_2}\cdots N^{a_N}$，其中 $\sum i a_i = 12$。
• 应用 Borcherds 加法提升，将权为零的 Jacobi 形式 $\phi^{\hat{\rho}}_{0,1}(\tau,z)$ 转换为 genus 二的 dd 模形式 $\Delta^{(N,M)}_k(\mathbf{Z})$。
• 构造 BKM 李超代数 $\mathcal{G}_N(M)$，其 Weyl-Kac-Borcherds 分母公式恰好为 dd 模形式 $\Delta^{(N,M)}_k(\mathbf{Z})$。
• 利用 $M_{12}\!:\!2$ 的 24 维表示，将 $M_{12}$-不变结构与 $M_{24}$-不变模形式相关联，特别是通过 $1A$ 类与 Igusa 哭泣形式 $\Phi_{10}(\mathbf{Z})$。

实验结果

研究问题

• RQ1 如何通过外自同构将 $M_{24}$ 月光现象提升至 $M_{12}$ 的广义月光？
• RQ2 哪些 $M_{12}$ 共轭类对应于乘法 eta 乘积与指标一的 Jacobi 形式？
• RQ3 此前与 $M_{24}$ 月光相关的 dd 模形式如何从 $M_{12}$ 结构中产生？
• RQ4 $M_{12}\!:\!2$ 群扩张在从 $M_{12}$ 实现 $M_{24}$ 月光中起什么作用？

主要发现

• 本文识别出 $M_{12}$ 的 12 个共轭类（共 15 个）与乘法 eta 乘积对应，其循环型包括 $1^{12}$、$2^6$、$1^4 2^4$、$3^4$、$2^2 4^2$ 和 $1^2 5^2$。
• $M_{12}$ 的共轭类 $4B$ 与 $8B$ 不产生乘法 eta 乘积，而 $4^3$、$3\,9$ 与 $12$ 虽产生但并非 $M_{12}$ 的共轭类。
• 加法 Borcherds 提升将权为零的 Jacobi 形式 $\phi^{\hat{\rho}}_{0,1}(\tau,z)$ 映射为 dd 模形式 $\Delta^{(N,M)}_k(\mathbf{Z})$，并证明其为 BKM 李超代数的 Weyl-Kac-Borcherds 分母公式。
• $M_{12}$ 月光框架将所有 dd 模形式实现为枚举 $\mathcal{N}=4$ 弦理论中 dyon 简并度的 Siegel 模形式的平方根。
• 与 $\Delta^{(N,M)}_k(\mathbf{Z})$ 相关的 BKM 李超代数 $\mathcal{G}_N(M)$ 的根系由模形式的傅里叶系数定义，其分母公式与 dd 模形式一致。