[论文解读] Generalized Moonshine IV: Monstrous Lie algebras

Scott Carnahan|arXiv (Cornell University)|Aug 30, 2012

Algebraic structures and combinatorial models参考文献 27被引用 31

一句话总结

本文通过从蒙特斯特模 $V^\natural$ 的扭模出发，运用弦论式量子化程序，构建了具有蒙特斯特群中中心化子投影作用的无穷维李代数。证明了对弗里克元素而言，这些作用的特征标为 Hauptmoduln，从而完全解决了蒙特斯特模 $V^\natural$ 的不可约扭模情形下诺顿的广义月光猜想。

ABSTRACT

For each element of the Fischer-Griess Monster sporadic simple group, we construct an infinite dimensional Lie algebra equipped with a projective action of the centralizer of that element. Our construction is given by a string-theoretic "add a spacetime torus and quantize" functor applied to an abelian intertwining algebra that is formed from a family of twisted modules of the Monster vertex operator algebra. We prove that for all Fricke elements in the Monster, the characters of centralizers acting on the corresponding irreducible twisted modules are Hauptmoduln. From these results, we resolve Norton's Generalized Moonshine Conjecture.

研究动机与目标

• 解决诺顿关于广义月光的未解猜想，该猜想将怪兽月光推广至怪兽群中可交换元素对的情形。
• 利用顶点算子代数技术，为怪兽群中的每个元素构造具有投影中心化子作用的李代数。
• 证明对弗里克元素而言，这些作用的加权迹（特征标）为 Hauptmoduln，从而确认模不变性。
• 建立一个一致的框架，连接顶点算子代数、BRST上同调与博赫尔斯-卡克-莫代尔李代数。
• 为不可约扭 $V^\natural$-模完全解决广义月光猜想。
• 验证 $SL_2(\mathbb{Z})$-变换性质与共轭不变性，符合猜想要求。

提出的方法

• 对由怪兽顶点算子代数 $V^\natural$ 的扭模构建的阿贝尔互换代数，应用“添加时空环面并进行量子化”的函子。
• 使用旧协变量子化与 BRST 上同调，从顶点代数输入构造李代数结构。
• 利用维拉索罗代数的预备知识，定义 $L_0$-分次与构造中的谱流。
• 利用博赫尔斯-卡克-莫代尔性质，确保李代数具有实简单根并满足分母恒等式。
• 应用李代数与其上同调之间的比较定理，验证所构造代数的结构。
• 利用弗里克相容性与 $g$-有理性，通过模不变性将中心化子作用的特征标与 Hauptmoduln 联系起来。

实验结果

研究问题

• RQ1 怪兽群中的每个元素 $g$ 是否都可在其由 $V^\natural$ 构造的无穷维李代数上，实现其中心化子的规范投影作用？
• RQ2 中心化子作用在扭 $V^\natural$-模上的特征标是否为弗里克元素的 Hauptmoduln？
• RQ3 特征标上的 $SL_2(\mathbb{Z})$-作用是否符合诺顿猜想所要求的变换性质？
• RQ4 能否通过此李代数构造，完全解决不可约扭 $V^\natural$-模情形下的广义月光猜想？
• RQ5 扭模的 $L_0$-谱是否与特征标的模性质一致？

主要发现

• 对每个 $g \in \mathbb{M}$，本文构造了一个具有中心化子 $C_{\mathbb{M}}(g)$ 的规范投影作用的无穷维李代数，通过时空环面扩张的量子化实现。
• 当 $g$ 为弗里克元素时，证明了此类李代数为博赫尔斯-卡克-莫代尔代数，并具有实简单根。
• 对弗里克元素，不可约 $g$-扭 $V^\natural$-模上中心化子作用的特征标被证明为 Hauptmoduln。
• 特征标的 $SL_2(\mathbb{Z})$-协变性得以确立，确认了诺顿猜想中的模变换性质。
• 函数 $Z(g,h;\tau) = \operatorname{Tr}(\tilde{h} q^{L_0 - 1} | V^\natural(g))$ 要么为常数，要么为 Hauptmoduln，满足猜想的条件 (3)。
• 广义月光猜想得到完整解决：对扭 $V^\natural$-模，所有五个条件（包括 $SL_2(\mathbb{Z})$-不变性与 $J$-函数表征）均已验证。