[论文解读] Constructing the ordinary character tables of some Atlas groups using character theoretic methods

Thomas Breuer|arXiv (Cornell University)|Apr 4, 2016

Finite Group Theory Research参考文献 12被引用 3

一句话总结

本文使用 GAP 和高级代数技术，通过特征标理论计算了五个散在 Atlas 群——Th、J₄、2.²E₆(2)、2.²E₆(2).2 和 2.B——的普通特征标表。通过利用子群和商群的特征标表、LLL 降维以及正交嵌入枚举，作者通过系统性构造验证了 Atlas 表的正确性，解决了这些复杂群在已发表证明中长期存在的漏洞。

ABSTRACT

We compute the character tables of the following groups with character theoretic methods, using known information about the conjugacy classes and about the character tables of some subgroups and factor groups: $Th$, $J_4$, $2.{}^2E_6(2)$, $2.{}^2E_6(2).2$, and $2.B$.

研究动机与目标

• 提供对五个散在 Atlas 群——Th、J₄、2.²E₆(2)、2.²E₆(2).2 和 2.B——的普通特征标表的严格、特征标理论验证。
• 解决 Th、J₄ 以及 ²E₆(2) 和 B 的 2-扩张的特征标表缺乏已发表证明的问题，尽管这些群已被包含在《有限群 Atlas》和 GAP 的特征标表库中。
• 证明这些群的特征标表可以利用已知的子群和商群数据，结合先进的计算代数技术，系统性地重建。
• 通过依赖 B 特征标表的假设正确性，验证 2.B 的特征标表，从而完成对全部五个群的验证链。

提出的方法

• 作者使用 GAP 的特征标表库，并实现特征标理论方法，从已知的子群和商群表中重建每个群的不可约特征标。
• 对特征函数空间中的格基进行 LLL 降维，以高效计算诱导特征标的整系数线性组合。
• 枚举正交嵌入，以识别满足正交性和整数性条件的有效不可约特征标集合。
• 该方法依赖于从子群到全群的融合映射，利用已知的共轭类融合和元素阶数数据，限制可能的特征标表解。
• 使用幂映射和中心化子阶数，交叉验证多个子群和全群之间共轭类结构的一致性。
• 该过程通过检查范数条件（例如，内积 = 2）和与群阶数一致的次数和，对候选特征标表进行迭代过滤。

实验结果

研究问题

• RQ1 能否仅使用特征标理论方法和子群数据，严格重构汤普森群 Th 的普通特征标表，而不依赖未经验证的外部来源？
• RQ2 在计算代数的框架下，散在群 J₄、2.²E₆(2)、2.²E₆(2).2 和 2.B 的特征标表在多大程度上可以基于已知的子群和商群特征标表进行构造？
• RQ3 哪些计算技术——如 LLL 降维和正交嵌入——可以系统性地应用于验证大型散在群候选特征标表的整数性和正交性？
• RQ4 如何利用子群到全群的共轭类融合来约束并验证全特征标表的结构？
• RQ5 为何 2.B 的某些候选特征标表解会失败，哪些条件能将其排除，特别是当考虑从 B 诱导的特征标时？

主要发现

• 通过利用德姆波尔夫群 2⁵.L₅(2) 的子群数据，成功重构了 Th 的特征标表，通过特征标理论计算确认了 Atlas 表的正确性。
• 对于 J₄，利用子群 2¹¹:M₂₄ 构建了特征标表，其幂映射和融合数据一致，验证了 Atlas 表。
• 通过分析来自多个子群（包括 F₄(2)、Fi₂₂ 和 O⁻₁₀(2)）的共轭类融合，计算了 2.²E₆(2) 的特征标表，并验证了元素阶数和幂映射。
• 通过利用外自同构和来自 2×F₄(2)×2 与 3×2.U₆(2).2 类型子群的融合数据，扩展 2.²E₆(2) 表，构建了 2.²E₆(2).2 的特征标表。
• 对于 2.B，构造依赖于 B 特征标表的假设正确性；尽管存在多个候选解，但经过范数和次数和约束过滤后，仅有一个一致的特征标表被保留。
• 所有尝试使用替代诱导特征标集构建 2.B 特征标表的方案均因范数条件不一致（例如，存在零次数的范数-2 特征标）而失败，从而确认了 Atlas 表的唯一性和正确性。