[论文解读] Applications of vertex algebra covering procedures to Chevalley groups and modular moonshine

Robert L. Griess, Ching Hung Lam|arXiv (Cornell University)|Aug 10, 2013

Algebraic structures and combinatorial models参考文献 16被引用 6

一句话总结

本文通过整数形式和覆盖过程，将Chevalley群构造推广至交换环上的顶点代数，证明在特征2和3时，ADE与BCFG型的约化顶点代数具有极大自同构群，其同构于例外Chevalley群。关键贡献在于通过顶点代数覆盖技术，证明了散在群$F_3$嵌入$E_8(3)$，从而完成了Borcherds-Ryba的模月光程序。

ABSTRACT

A vertex operator algebra of lattice type ADE has a standard integral form which extends a Chevalley basis for its degree 1 Lie algebra. This integral form may be used to define a vertex algebra over a commutative ring $R$ and to get a Chevalley group over $R$ of the same type, acting as automorphisms of this vertex algebra. We define vertex algebras of types BCFG over a commutative ring and certain reduced VAs, then get analogous results about automorphism groups. In characteristics 2 and 3, there are exceptionally large automorphism groups. A covering algebra idea of Frohardt and Griess for Lie algebras is applied to the vertex algebra situation. We use integral form and covering procedures for vertex algebras to complete the modular moonshine program of Borcherds and Ryba for proving an embedding of the sporadic group $F_3$ in $E_8(3)$.

研究动机与目标

• 将Chevalley群构造从李代数推广至任意交换环上的顶点代数，使用整数形式。
• 将Frohardt与Griess的覆盖代数过程从李代数推广至顶点代数，尤其在正特征情形下。
• 通过模掉范数理想，解决特征2和3时顶点代数中异常自同构群的行为。
• 通过顶点代数方法，证明散在群$F_3$嵌入$E_8(3)$，从而完成Borcherds与Ryba的模月光程序。
• 定义并分析约化顶点代数及其自同构群，特别是在月光与格顶点算子代数（VOA）的背景下。

提出的方法

• 使用ADE型格VOA的标准整数形式，在交换环$R$上构造经典顶点代数。
• 为$R$上ADE型与BCFG型的顶点代数定义Chevalley基与Chevalley群，确保群作用保持顶点代数结构。
• 将Frohardt与Griess的覆盖代数过程应用于顶点代数，利用图自同构诱导整数形式的包含关系。
• 将约化顶点代数定义为固定点子代数模范数理想的商，从而在特征2和3时实现异常自同构群。
• 使用Moonshine VOA $V^\natural$的${\mathbb{Z}}[1/2]$-形式及其模范数元素$\nu$的商，构造$^gV$，这是模月光中的关键对象。
• 利用$C(g)/\langle g \rangle$与$F_3$的同构关系，以及248维格实现，通过顶点代数自同构群将$F_3$嵌入$E_8(3)$。

实验结果

研究问题

• RQ1 如何通过整数形式，将Chevalley群构造从李代数推广至任意交换环上的顶点代数？
• RQ2 覆盖代数过程在产生特征2和3时顶点代数的异常自同构群中起什么作用？
• RQ3 通过模掉范数理想构造的约化顶点代数，为何能产生超出预期的自同构群，尤其在模月光的背景下？
• RQ4 能否利用顶点代数覆盖方法，通过证明$F_3$嵌入$E_8(3)$，完成模月光程序？
• RQ5 对于怪兽群中奇数阶元素$g$，顶点代数$^gV = (V^\natural[1/2])^g / \nu(V^\natural[1/2])$的精确结构是什么？

主要发现

• ADE型格顶点算子代数的标准整数形式可延拓为任意交换环$R$上的Chevalley群，其作用为顶点代数的自同构。
• 在特征2和3时，约化顶点代数（模范数理想）的自同构群为例外Chevalley群，例如特征3时为$G_2(F)$，特征2时为$B_3(F)$。
• 通过图自同构将覆盖代数过程应用于顶点代数，可得到如$IV_{A_2} < IV(G_2) < IV_{D_4}$的包含关系，从而实现异常自同构群的构造。
• 特征3下$A_2$型约化顶点代数的自同构群同构于$G_2(F)$，证实了其行为与李代数类似，具有异常性。
• $^gV = (V^\natural[1/2])^g / \nu(V^\natural[1/2])$的构造为$C(g)/\langle g \rangle \cong F_3$提供了一个模，该结构是$F_3$嵌入$E_8(3)$的基础。
• 本文通过证明$F_3$嵌入$E_8(3)$，完成了模月光程序，方法包括顶点代数覆盖技术和将$F_3$实现为怪兽群中$3C$元素中心化子的商。