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

John F. R. Duncan|ArXiv.org|Nov 13, 2006

Algebraic structures and combinatorial models参考文献 26被引用 9

一句话总结

本文构建了一个秩为 $-28$ 的自对偶增强顶点算子超代数，其全自同构群为鲁德瓦利斯散在群的循环覆叠，补充了此前秩为 $28$ 的构造。计算了该群的所有麦凯-汤普森级数，表明与先前的例子结合后，它们满足亏格零性质，将月光现象扩展至魔群之外。

ABSTRACT

In Part I we introduced the notion of enhanced vertex operator superalgebra, and constructed an example which is self-dual, has rank 28, and whose full symmetry group is a seven-fold cover of the sporadic simple group of Rudvalis. In this article we construct a second enhanced vertex operator superalgebra whose full automorphism group is a cyclic cover of the Rudvalis group. This new example is self-dual and has rank -28. As in Part I, we can compute all the McKay--Thompson series associated to the action of the Rudvalis group explicitly. We observe that these series, when considered together with those of Part I, satisfy a genus zero property.

研究动机与目标

• 将月光现象扩展至不包含于魔群中的鲁德瓦利斯散在群。
• 构造一个新的增强顶点算子超代数，其全自同构群为鲁德瓦利斯群的循环覆叠。
• 计算鲁德瓦利斯群的所有麦凯-汤普森级数并验证其模性质。
• 证明本工作与先前构造的级数组合后满足亏格零性质。
• 通过实现一个不属于魔群的散在群的月光现象，为广义月光提供证据。

提出的方法

• 构建第二个自对偶的增强顶点算子超代数，秩为 $-28$，其自同构群为鲁德瓦利斯群的循环覆叠。
• 利用魏尔代数和辛群结构定义基础的顶点代数框架。
• 应用具有增强结构的顶点代数与顶点算子超代数理论，以确保自对偶性与强消失条件。
• 通过在齐次子空间上的迹计算麦凯-汤普森级数，使用弗雷姆形状与特征公式。
• 通过 $ au \mapsto \tau/2$ 重新缩放模函数，并应用弗里克对合以识别亏格零模群。
• 验证由 $\tilde{F}_g^A$ 和 $\tilde{F}_g^{\forall}$ 张成的函数空间被 $\mathrm{PSL}_2(\mathbb{R})$ 的亏格零离散子群所保持。

实验结果

研究问题

• RQ1 能否在不包含于魔群中的鲁德瓦利斯散在群上实现月光现象？
• RQ2 鲁德瓦利斯群的麦凯-汤普森级数是否生成与亏格零模群相关的函数域？
• RQ3 是否存在一个统一的月光框架，使鲁德瓦利斯群的月光现象超越魔群？
• RQ4 由新构造的秩 $-28$ 与先前的秩 $28$ 例子组合而成的模函数是否满足亏格零性质？
• RQ5 增强顶点算子超代数构造能否用于实现魔群之外的散在群的月光现象？

主要发现

• 构造了一个秩为 $-28$ 的自对偶增强顶点算子超代数，其全自同构群为鲁德瓦利斯群的循环覆叠。
• 对鲁德瓦利斯群中所有共轭类 $g$，显式计算了麦凯-汤普森级数 $\tilde{F}_g^A(\tau)$ 与 $\tilde{F}_g^{\forall}(\tau)$。
• 对每个 $g$，函数 $\tilde{F}_g^A$ 与 $\tilde{F}_g^{\forall}$ 张成一个二维表示，该表示被 $\mathrm{PSL}_2(\mathbb{R})$ 的亏格零离散子群（如 $\Gamma_0(2)+2$, $\Gamma_0(10)$, $\Gamma_0(26)+26$, 或 $\Gamma_0(29)+29$）所保持。
• 弗里克对合 $\tau \mapsto -1/N\tau$ 交换了 $2B$, $10B$, $14ABC$, $26ABC$, 与 $29AB$ 类的两个函数 $\tilde{F}_g^A$ 与 $\tilde{F}_g^{\forall}$，确认了模对偶性。
• 本构造与先前秩 $28$ 例子的麦凯-汤普森级数组合后满足亏格零性质，将月光现象扩展至鲁德瓦利斯群。
• 对于类 $2B$, $10B$, $14ABC$, $26ABC$, 与 $29AB$ 的模函数可表示为戴德金 eta 函数乘积的比值，具体公式如 $\tilde{F}_{2B}^A(\tau) = 2^{14} \frac{\eta(4\tau)^{28}}{\eta(2\tau)^{28}}$。