[论文解读] Umbral Moonshine and the Niemeier Lattices

Miranda C. N. Cheng, John F. R. Duncan+1 more|arXiv (Cornell University)|Jul 22, 2013

Advanced Algebra and Geometry参考文献 47被引用 22

一句话总结

本文通过将每个 Niemeier 格与一个有限群及一组分量包含拉马努金的模θ函数的向量值仿模形式相关联，建立了歧影月光与23个 Niemeier 格（秩24的偶自对偶格，具有非平凡根系）之间的联系。关键贡献在于提出了歧影月光猜想，该猜想认为每个 Niemeier 格都存在一个无穷维模，其分次迹函数为特定类型的仿模形式，从而推广了怪兽月光，并通过 McKay 对应关系将单值群与 Niemeier 根系联系起来。

ABSTRACT

In this paper we relate umbral moonshine to the Niemeier lattices: the 23 even unimodular positive-definite lattices of rank 24 with non-trivial root systems. To each Niemeier lattice we attach a finite group by considering a naturally defined quotient of the lattice automorphism group, and for each conjugacy class of each of these groups we identify a vector-valued mock modular form whose components coincide with mock theta functions of Ramanujan in many cases. This leads to the umbral moonshine conjecture, stating that an infinite-dimensional module is assigned to each of the Niemeier lattices in such a way that the associated graded trace functions are mock modular forms of a distinguished nature. These constructions and conjectures extend those of our earlier paper, and in particular include the Mathieu moonshine observed by Eguchi-Ooguri-Tachikawa as a special case. Our analysis also highlights a correspondence between genus zero groups and Niemeier lattices. As a part of this relation we recognise the Coxeter numbers of Niemeier root systems with a type A component as exactly those levels for which the corresponding classical modular curve has genus zero.

研究动机与目标

• 将歧影月光的框架从 Mathieu 月光情形系统性地推广至全部23个 Niemeier 格。
• 为每个 Niemeier 格通过其自同构群的商构造一个有限群，并为每个共轭类定义仿模形式。
• 建立 Niemeier 根系的 Coxeter 数（具有 A 型分量者）与单值模群的水平数之间的对应关系。
• 提出并提供证据支持歧影月光猜想，通过仿模迹函数将无穷维模与 Niemeier 格联系起来。

提出的方法

• 对每个 Niemeier 格，通过其自同构群的商构造一个有限群，重点关注其在根系上的作用。
• 为所关联有限群的每个共轭类定义向量值仿模形式，使用 Eichler–Zagier 算子和 Jacobi 形式。
• 利用仿模形式的影子理论，将这些形式的分量与拉马努金已知的模θ函数联系起来。
• 应用亚纯 Jacobi 形式及其分解为权零 Jacobi 形式理论，以构造歧影仿模形式。
• 验证所得形式的傅里叶系数与已知模θ函数展开一致，特别是对 lambencies 2 至 14+7 以及 30+6,10,15 的情形。
• 建立具有 A 型分量的 Niemeier 根系的 Coxeter 数与单值模群水平数之间的对应关系，确认单值条件。

实验结果

研究问题

• RQ1 如何将歧影月光从 Mathieu 月光情形系统性地推广至全部23个 Niemeier 格？
• RQ2 与 Niemeier 格相关联的有限群与相应向量值仿模形式之间的确切关系为何？
• RQ3 哪些模群的水平数与 Niemeier 根系相关联？这与单值曲线有何关联？
• RQ4 仿模形式的分量在多大程度上对应于拉马努金的模θ函数？
• RQ5 能否为每个 Niemeier 格一致地关联一个无穷维模，使得其分次迹为特定类型的仿模形式？

主要发现

• 提出了歧影月光猜想，即对每个 Niemeier 格，存在一个无穷维模，其分次迹函数为特定且显著的仿模形式。
• 在23个 Niemeier 格中的17个中，相关仿模形式的分量与已知的拉马努金模θ函数一致，特别是对 lambencies 2 至 14+7 以及 30+6,10,15 的情形。
• 具有 A 型分量的 Niemeier 根系的 Coxeter 数恰好是对应经典模曲线为单值的水平数，从而建立了与单值群的直接联系。
• 计算并列出了每个 lambency 和共轭类的仿模形式的傅里叶系数，显示出在全部23个 Niemeier 格中一致的规律。
• 亚纯 Jacobi 形式分解为权零分量的方法，为从 Niemeier 格系统构造歧影仿模形式提供了有效途径。
• 每个仿模形式的影子被显式计算，并证明为 Jacobi 形式，通过谐和 Maass 形式理论确认了构造的一致性。