[论文解读] Moonshine for Rudvalis's sporadic group I

John F. R. Duncan|ArXiv.org|Sep 15, 2006

Algebraic structures and combinatorial models被引用 4

一句话总结

本文引入了具有精细共形结构的增强顶点算子超代数（VOSA），构建了一个自对偶的VOSA，其秩为28，其完整对称群为7阶循环群与散在的鲁德瓦利斯群的直积。本文建立了该群作用下的双变量麦凯-汤普森级数，证明了其模不变性，并给出了显式表达式，从而实现了对一个不包含于魔群中的散在群的非魔群月光现象的实现。

ABSTRACT

We introduce the notion of vertex operator superalgebra with enhanced conformal structure, which is a refinement of the notion of vertex operator superalgebra. We exhibit several examples, including a particular one which is self-dual, and whose full symmetry group is a direct product of a cyclic group of order seven with the sporadic simple group of Rudvalis. We thus obtain an analogue of Monstrous Moonshine for a sporadic group not involved in the Monster. Two variable analogues of the usual McKay--Thompson series are naturally associated to the action of the Rudvalis group on this object, and we provide explicit expressions for all the series arising.

研究动机与目标

• 开发一种具有增强共形结构的顶点算子超代数的精细框架，将VOA理论扩展至魔群之外。
• 构建一个秩为28的自对偶VOSA，其完整自同构群为C7与散在的鲁德瓦利斯群的直积。
• 为鲁德瓦利斯群定义并计算双变量麦凯-汤普森级数，类比于魔群月光现象。
• 在SL2(Z)作用下建立这些级数的模不变性，将朱的模理论推广至雅可比形式。
• 为VOSA提供证据，证明其为唯一无小元素的秩28自对偶增强VOSA，类比于V♮与VB♮。

提出的方法

• 引入具有增强共形结构的顶点算子超代数的概念，通过引入额外的超共形对称性，对标准VOA进行精炼。
• 通过线性群与克利福德代数模的未扭和扭构造，构建一个特定的VOSA，记为A_Ru。
• 利用凯莱代数对鲁德瓦利斯群的单项式描述，定义该群在VOSA上的作用。
• 将双变量特征函数定义为E_m类中的雅可比形式，其中m = 28，并通过泊松求和与theta函数恒等式证明其在SL2(Z)作用下的变换性质。
• 应用朱的VOA模理论，并将其推广至U(1)-VOA，用雅可比形式替代模形式。
• 通过分析A_Ru的分次特征及其在鲁德瓦利斯群不可约表示下的分解，推导出双变量麦凯-汤普森级数的显式表达式。

实验结果

研究问题

• RQ1 一个不包含于魔群中的散在群，能否作为具有增强共形结构的自对偶顶点算子超代数的完整对称群被实现？
• RQ2 与鲁德瓦利斯群在该VOSA上作用相关的双变量麦凯-汤普森级数的显式表达式是什么？
• RQ3 这些级数在SL2(Z)作用下的变换行为如何？它们是否满足类比于魔群月光现象的模不变性？
• RQ4 VOSA A_Ru能否被表征为唯一无非平凡小元素（秩为1/2或1）的秩28自对偶增强VOSA？
• RQ5 朱的VOA模理论在多大程度上可推广至U(1)-VOA，使用雅可比形式？

主要发现

• VOSA A_Ru的双变量特征属于E_28类，并生成由SL2(Z)中由S和T²生成的子群作用下的一个一维表示。
• A_Ru的特征是权为0、指标为28的雅可比形式，其系数与鲁德瓦利斯群的不可约表示匹配，例如784 = 1 + 783 和 92512 = (2)378 + 406 + 91350。
• 这些级数在SL2(Z)作用下表现出模不变性，其变换规律由theta函数上的泊松求和公式导出。
• A_Ru的特征在奇荷子空间中为零，且对p^m与p^{-m}的系数对称，首个非零项出现在度数0和1/2处。
• 同伦子空间在鲁德瓦利斯群不可约表示下的分解结构与魔群月光中观察到的类似，例如196884 = 1 + 196883。
• VOSA A_Ru是自对偶的，且无非平凡的小元素（度数为1/2或1），支持其为具有该对称群的唯一此类秩28对象的猜想。