[论文解读] A new construction of the moonshine vertex operator algebra over the real number field

Masahiko Miyamoto|ArXiv.org|Jan 13, 1997

Algebraic structures and combinatorial models参考文献 18被引用 5

一句话总结

本文提出了一种在实数域上构造月光顶点算子代数（VOA）V^{ atural}的新方法，确立了其正定双线性形式，并证明其完整自同构群为魔群。该方法基于格点顶点代数与群 orbifold 构造，生成了一类具有有限自同构群的无限族共形顶点代数，并计算了魔群元素在V^{ atural}上的迹形式。

ABSTRACT

We give a new construction of the moonshine VOA V^{ atural} over the real number field. We proved that V^{ atural} has a positive definite invariant bilinear form and its full automorphism group is the Monster simple group. We also construct an infinite series of meromorphic VOAs whose full automorphism groups are finite. We calculate the trace form on V^{ atural} for some element of the Monster.

研究动机与目标

• 提供一种基于实数的新月光顶点算子代数V^{ atural}的构造方法。
• 确立V^{ atural}允许一个正定不变双线性形式。
• 证明所构造的V^{ atural}的完整自同构群正是魔单群。
• 通过该方法系统构造一类具有有限自同构群的无限族共形VOA。
• 计算魔群特定元素在V^{ atural}上作用的迹形式。

提出的方法

• 该构造利用与实数域上李希格点相关的格点顶点代数。
• 通过考虑格点VOA的自同构应用群 orbifold 理论，生成新的VOA。
• 使用特定的对合定义orbifold构造，从而得到月光VOA V^{ atural}。
• 通过顶点算子的构造与性质，证明了正定不变双线性形式的存在性。
• 通过分析VOA的对称结构，将完整自同构群识别为魔群。
• 利用VOA的特征标理论与模不变性，计算魔群元素的迹形式。

实验结果

研究问题

• RQ1 能否使用一种新方法，在实数域上构造月光顶点算子代数V^{ atural}？
• RQ2 所构造的V^{ atural}是否允许一个正定不变双线性形式？
• RQ3 所构造的V^{ atural}的完整自同构群是否精确为魔单群？
• RQ4 能否通过此方法系统构造一类具有有限自同构群的无限族共形VOA？
• RQ5 魔群特定元素在V^{ atural}上作用的迹形式是什么？

主要发现

• 通过格点与orbifold方法，成功在实数域上构造了月光VOA V^{ atural}。
• V^{ atural}代数允许一个正定不变双线性形式，确认了其幺正结构。
• V^{ atural}的完整自同构群被识别为魔单群。
• 通过相同方法构造了一类具有有限自同构群的无限族共形VOA。
• 利用VOA的模性质，显式计算了魔群某些元素在V^{ atural}上作用的迹形式。
• 该构造提供了月光VOA的实数域实现，解决了其代数结构的基础性问题。