[论文解读] Arithmetic groups and the affine E8 Dynkin diagram

John F. R. Duncan|ArXiv.org|Oct 8, 2008

Algebraic structures and combinatorial models参考文献 4被引用 7

一句话总结

本文通过格点与模群的性质，基于群论方法，对仿射 $E_8$ Dynkin 图的节点与 $\mathrm{PSL}_2(\mathbb{R})$ 的算术子群之间的对应关系提供了初等解释。通过框架形状与主模形式，建立了麦凯的‘群魔 $E_8$’观察的超对称类比，将康威群 $\mathrm{Co}_0$ 的共轭类与同一张图联系起来。

ABSTRACT

Several decades ago, John McKay suggested a correspondence between nodes of the affine E8 Dynkin diagram and certain conjugacy classes in the Monster group. Thanks to Monstrous Moonshine, this correspondence can be recast as an assignment of discrete subgroups of PSL2 to nodes of the affine E8 Dynkin diagram. The purpose of this article is to give an explanation for this latter correspondence using elementary properties of the group PSL2. We also obtain a super analogue of McKay's observation, in which conjugacy classes of the Monster are replaced by conjugacy classes of Conway's group -- the automorphism group of the Leech lattice.

研究动机与目标

• 仅基于 $\mathrm{PSL}_2(\mathbb{R})$ 的性质，提供仿射 $E_8$ Dynkin 图的节点与算术子群之间对应关系的初等解释。
• 利用这些子群的算术不变量，重构仿射 $E_8$ 图的边结构。
• 通过将魔群替换为康威群 $\mathrm{Co}_0$，将麦凯的‘群魔 $E_8$’观察推广为‘超对称类比’。
• 证明 $\mathrm{Co}_0$ 的框架形状编码了与魔群共轭类相同的图结构。
• 证明算术子群 $^s\Gamma$ 的主模形式与 $\mathrm{Co}_0$ 的 McKay–Thompson 系列通过顶点算子超代数相联系。

提出的方法

• 将 $\mathrm{PSL}_2(\mathbb{R})$ 的算术子群定义为与 $\mathrm{PSL}_2(\mathbb{Z})$ 在强意义下共轭的子群。
• 利用康威的格理论方法，通过其在 $\mathbb{R}^2$ 中格上的作用分析算术子群。
• 引入 Atkin–Lehner 对合的‘缩放’概念，从 $\Gamma_0$ 构造新群 $^s\Gamma$。
• 将 $^s\Gamma$ 定义为 $\Gamma_0$ 在 $\Gamma$ 中的缩放陪集 $^sX$ 的并集，缩放规则依据是否被 2 整除而定。
• 证明 $^s\Gamma$ 是算术子群，且其对应的模群通过 eta 乘积对应于主模形式。
• 利用 $\mathrm{Co}_0$-元素的框架形状标记 $E_8$ 图的节点，最高根与价数可由形状推导。

实验结果

研究问题

• RQ1 如何仅通过 $\mathrm{PSL}_2(\mathbb{R})$ 的初等性质，解释仿射 $E_8$ Dynkin 图的节点与 $\mathrm{PSL}_2(\mathbb{R})$ 的算术子群之间的对应关系？
• RQ2 在对应关系 (1.2) 中，这些子群的哪些算术不变量能唯一刻画它们，并允许重构图的边结构？
• RQ3 麦凯的‘群魔 $E_8$’观察能否推广为一个涉及康威群 $\mathrm{Co}_0$ 而非魔群的‘超对称类比’？
• RQ4 如何通过 $\mathrm{Co}_0$-共轭类的框架形状编码 $E_8$ 图的结构及其主模形式？
• RQ5 McKay–Thompson 系列与算术子群 $^s\Gamma$ 的主模形式之间存在何种精确联系？

主要发现

• 本文从每个算术子群 $\Gamma_0 = G_{(a,N/a)}^{(a)}$ 构造出一个群 $^s\Gamma$，通过缩放 Atkin–Lehner 陪集，得到 $\mathrm{PSL}_2(\mathbb{R})$ 的新算术子群。
• 所得图 (4.5) 以群 $^s\Gamma$ 标记仿射 $E_8$ Dynkin 图的节点，每个群通过群魔月光对应于魔群的唯一共轭类。
• 如 $1^{24}$、$2^{24}/1^{24}$ 和 $3^8$ 等 $\mathrm{Co}_0$-共轭类的框架形状，直接在 (4.7) 中标记了 $E_8$ 图的节点。
• $E_8$ 图的最高根对应于框架形状 $A_1^{\alpha_1}A_2^{\alpha_2}\cdots$ 中最大的 $A_i$，即对应 $\mathrm{Co}_0$-元素的阶。
• 由 $A_1^{\alpha_1}A_2^{\alpha_2}\cdots$ 标记的顶点的价数等于负 $\alpha_i$ 的个数加一。
• eta 乘积 $\frac{\eta(A_1\tau)^{\alpha_1}\eta(A_2\tau)^{\alpha_2}\cdots}{\eta(2A_1\tau)^{\alpha_1}\eta(2A_2\tau)^{\alpha_2}\cdots}$ 给出群 $^s\Gamma$ 的主模形式，从而将其与 $\mathrm{Co}_0$ 的 McKay–Thompson 系列联系起来。