[论文解读] Constructing Majorana Representations

Markus Pfeiffer, Madeleine Whybrow|arXiv (Cornell University)|Mar 28, 2018

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

一句话总结

本文提出了一套完整的算法，用于构造有限群的马约拉纳表示，恢复并扩展了Á. Seress于2012年未发表的工作。该方法通过利用群作用、Norton不等式和有理数线性代数，系统地构建马约拉纳代数——一种由幂等轴生成的非结合、交换的实代数，从而得到了新的例子，包括两个此前未知的3-闭代数。

ABSTRACT

Majorana theory was introduced by A. A. Ivanov as an axiomatic framework in which to study objects related to the Monster simple group and the Griess algebra. Since its inception, it has been used to construct a number of new and important subalgebras of the Griess algebra. The objects at the centre of the theory are known as Majorana algebras and can be studied either in their own right, or as Majorana representations of finite groups. In this paper, we present an algorithm to construct the Majorana representations of a given group. We also list a number of groups for which we have constructed Majorana representations, including some which give new examples of Majorana algebras. This work is inspired by that of A. Seress.

研究动机与目标

• 重建并实现Á. Seress在去世后未被恢复的、关于构造有限群马约拉纳表示的未发表算法。
• 将算法扩展至2-闭表示之外，涵盖一般情况和3-闭情形，从而扩大可构造马约拉纳代数的范围。
• 提供一个完全可复现的计算框架，使用GAP实现，能够从群数据构建马约拉纳代数并验证其同构类型。
• 识别新的马约拉纳代数例子，特别是那些为3-闭但非2-闭的代数，推动此类结构的分类研究。
• 通过计算工具系统性地探索，解决马约拉纳理论中的开放问题，例如同形状但非同构的代数是否存在。

提出的方法

• 该算法通过将具有$G$-不变对合集合$T$的有限群$G$嵌入到魔群中，确保$T$映射到魔群的$2A$类对合，从而构造马约拉纳表示。
• 它采用马约拉纳理论的公理框架，强制执行公理M1–M7，包括Norton不等式和每个马约拉纳轴在伴随作用下的特征空间分解。
• 该方法计算马约拉纳对合$\tau(a)$及其关联的$\sigma(a)$变换在代数上的作用，保持乘积和内积结构不变。
• 所有线性代数运算均在有理数域上进行，以避免浮点数误差，通过求解大规模方程组来确定代数结构和基。
• 该算法系统性地探索由轴对生成的二面体子代数，利用代数的形状（如$2A,3C$）指导构造过程，从而缩小搜索空间。
• 实现基于GAP，完整代码与结果已发布于https://github.com/mwhybrow92/MajoranaAlgebras，支持可复现性和进一步扩展。

实验结果

研究问题

• RQ1 Seress关于构造马约拉纳表示的未发表算法能否被完全重建并实现为计算算法？
• RQ2 在2-闭情形之外，能否构造出新的马约拉纳代数，特别是那些为3-闭但非2-闭的代数？
• RQ3 是否存在同形状但非同构的马约拉纳代数？该算法能否帮助识别此类候选对象？
• RQ4 将算法扩展至$A_8$和$M_{12}$等更大群的计算可行性如何？这些群涉及非常庞大的线性系统。
• RQ5 该算法能否被适配以在一般域（包括有限域）上运行，从而探索其他代数设定？

主要发现

• 该算法成功恢复了Á. Seress此前构造的所有2-闭马约拉纳表示，包括$L_2(11)$、$M_{11}$、$S_4$、$A_5$、$L_3(2)$等群的表示，确认了实现的正确性。
• 该方法构造了两个新的3-闭马约拉纳代数，它们并非2-闭，从而扩展了此类代数的已知类别。
• 对于群$M_{11}$，该算法生成了一个286维的马约拉纳代数，包含165个轴，2-闭部分有781个生成元，且具有非2-闭结构。
• 该算法为$L_2(11)$构造了一个101维的马约拉纳代数，包含55个轴，2-闭部分有176个生成元，形状为$(2A,3A)$。
• 该实现成功构建了$A_7$的一个196维代数，包含105个轴，2-闭部分有406个生成元，形状为$(2A,3A)$。
• 位于https://github.com/mwhybrow92/MajoranaAlgebras的代码库提供了完整的可复现性，包含所有构造出的表示及其结构数据。