[论文解读] Sporadic and Exceptional

Yang‐Hui He, John McKay|arXiv (Cornell University)|May 25, 2015

Advanced Algebra and Geometry参考文献 57被引用 10

一句话总结

本文通过在 del Pezzo 曲面上的经典枚举几何与 $PSL(2,ℝ)$ 的模子群，建立了例外李代数 $E_6$、$E_7$、$E_8$ 与散在单群——魔群、婴孩魔群、菲舍尔群和康威群——之间的新颖数值与几何对应关系。它将 McKay-Thompson 系列的尖点数与 del Pezzo 曲面上的有理曲线及直线数量对应起来，揭示了月光理论、李群理论与代数几何之间的深刻联系。

ABSTRACT

We study the web of correspondences linking the exceptional Lie algebras $E_{8,7,6}$ and the sporadic simple groups Monster, Baby and the largest Fischer group. This is done via the investigation of classical enumerative problems on del Pezzo surfaces in relation to the cusps of certain subgroups of $PSL(2,R)$ for the relevant McKay-Thompson series in Generalized Moonshine. We also study Conway's sporadic group, as well as its association with the Horrocks-Mumford bundle.

研究动机与目标

• 揭示例外李代数 $E_6$、$E_7$、$E_8$ 与散在群魔群、婴孩魔群、菲舍尔群和康威群之间隐藏的结构对应关系。
• 将散在群的表示理论与 del Pezzo 曲面上的经典枚举几何（特别是直线、双切线与三重切线的计数）联系起来。
• 研究与 McKay-Thompson 系列相关的模子群的尖点数如何与 del Pezzo 曲面的几何不变量相一致。
• 探讨 Horrocks-Mumford 线丛如何实现康威群 $Co_1$ 的对称性，并揭示其与 Calabi-Yau 三流形的联系。
• 通过几何与算术数据，提供一个统一框架，将月光理论、McKay 对应关系与例外代数结构联系起来。

提出的方法

• 利用仿射 Dynkin 图 $\widehat{E_6}$、$\widehat{E_7}$、$\widehat{E_8}$ 与正多面体对称群之间的 McKay 对应关系，建立初始的几何-代数联系。
• 分析度为 $dP_1$、$dP_2$、$dP_3$ 的 del Pezzo 曲面上的有理曲线（直线、双切线、三重切线）数量，将其作为与 $E_6$、$E_7$、$E_8$ 的维数和表示相关的不变量。
• 计算与魔群、婴孩魔群及菲舍尔群的 McKay-Thompson 系列相关的同余子群 $\Gamma_0(N)$ 与 $\Gamma(N)$ 的尖点数，并与几何计数进行比较。
• 应用特征标理论与群表示技术，包括有理特征标表与 Brauer 特征标表，研究 Horrocks-Mumford 线丛的对称群 $G_{HM}$。
• 运用代数几何工具，如 $\mathbb{P}^4$ 上的 Koszul 复形与层序列，构造 Horrocks-Mumford 线丛并分析其不变量。
• 使用计算代数系统（MAGMA）计算有理特征标表，并验证 $G_{HM}$ 表示理论中伽罗瓦共轭的抵消现象。

实验结果

研究问题

• RQ1 与魔群、婴孩魔群及菲舍尔群的 McKay-Thompson 系列相关的模子群的尖点数，如何与 del Pezzo 曲面的枚举不变量相关联？
• RQ2 在度为 1、2 和 3 的 del Pezzo 曲面上，哪些几何结构（如直线、双切线）对应于魔群、婴孩魔群及菲舍尔群中对合共轭类？
• RQ3 Horrocks-Mumford 线丛以何种方式实现康威群 $Co_1$ 作为对称群？其构造过程如何与 $E_8$ 和 $E_6$ 相关联？
• RQ4 数值巧合 $744 = 3 \times 248$ 能否通过模形式与 del Pezzo 曲面几何进行几何解释？
• RQ5 在魔群与 $j$-函数之间的月光联系中，$E_8$ 伴随表示的精确作用是什么？其在 $E_7$ 与 $E_6$ 上的推广又如何？

主要发现

• 与魔群 McKay-Thompson 系列相关的 $\Gamma_0(3)$ 子群的尖点数，与度为 1 的 del Pezzo 曲面（$dP_1$）上的直线数完全一致，均为 240。
• 婴孩魔群系列（$\Gamma_0(2)$）的尖点数对应于 $dP_2$ 曲面上的 240 条三重切线，与 $E_7$ 的伴随表示维数一致。
• 菲舍尔群 $3.Fi_{24}'$（$\Gamma_0(1)$）的尖点数与 $dP_3$ 曲面上的 27 条直线完全匹配，对应于 $E_6$ 的基本表示。
• 通过 MAGMA 计算得到的 Horrocks-Mumford 群 $G_{HM}$ 的有理特征标表，揭示了 50 个不可约表示，分为 17 个伽罗瓦轨道，其有理特征标表显示出共轭表示的抵消现象。
• 在 $\mathbb{F}_5$ 上的 Brauer 特征标表确认仅有 5 个不可约表示，与 Horrocks-Mumford 线丛的 5 维结构一致。
• Horrocks-Mumford 线丛通过 $\mathbb{P}^4$ 上的层复形构造，其映射由 $f^+$ 与 $f^-$ 定义，其核与余核构成一个秩为 2 的线丛，其对称群为 $Co_1$，并可嵌入康威群中。