[论文解读] Classification of Groups with Strong Symmetric Genus up to Twenty-Five

Nathan Fieldsteel, Tova Lindberg+3 more|arXiv (Cornell University)|Mar 25, 2011

Geometric and Algebraic Topology参考文献 11被引用 4

一句话总结

本论文使用 GAP 中的计算群论，对强对称亏格不超过 25 的所有有限群进行了分类，扩展了 May 和 Zimmerman 的先前分类工作。作者实现了一种程序，用于识别作为紧致黎曼曲面最小亏格上保向自同构群的群，确认了亏格 2–4 的已知结果，并提供了亏格 2–25 的完整群计数列表，其中最大计数（167）出现在亏格 25，原因是不存在阶为 2016 的 Hurwitz 群。

ABSTRACT

The strong symmetric genus of a finite group is the minimum genus of a compact Riemann surface on which the group acts as a group of automorphisms preserving orientation. A characterization of the infinite number of groups with strong symmetric genus zero and one is well-known and the problem is finite for each strong symmetric genus greater than or equal to two. May and Zimmerman have published papers detailing the classification of all groups with strong symmetric genus two through four. Using the computer algebra system GAP, we extend these classifications to all groups of strong symmetric genus up to twenty-five. This paper outlines the approach used for the extension.

研究动机与目标

• 将强对称亏格的有限群分类从亏格 4 扩展至亏格 25。
• 为每个满足 g ≤ 25 的亏格提供所有同构类型的有限群的完整且经计算验证的列表。
• 通过证明阶为 2016 的 Hurwitz 群不存在，解决亏格 25 处的计算瓶颈，从而完成分类。
• 将完整的分类数据和 GAP 代码公开，以供未来研究使用。

提出的方法

• 作者使用 GAP 的 Small Groups Library，系统枚举了阶至 2016 的所有有限群同构类型，此为强对称亏格 25 所需的最大阶。
• 他们实现了一种程序，用于测试从 Fuchsian 群到候选群的曲面核满同态，利用 Riemann-Hurwitz 公式来约束可能的签名。
• 对每个群，通过检查该群是否不作用于更小亏格的曲面上（排除亏格 0 和 1 的群）来验证亏格的最小性。
• 他们应用引理 2.3，基于 Fuchsian 签名来界定群的阶，特别关注大群的 (0;2,3,7) 签名。
• 他们使用 GAP 的 Perfect Groups Library 验证了不存在阶为 2016 的完全群，从而消除了 (0;2,3,7) 签名为亏格 25 的可能性。
• 该程序经过优化，每个群仅在找到一个有效曲面核满同态后即停止，以确保效率。

实验结果

研究问题

• RQ1 哪些有限群忠实作用于亏格 g（g 从 2 到 25）的紧致黎曼曲面上，且不作用于更小亏格的曲面上？
• RQ2 对于每个不超过 25 的亏格，此类群的完整同构类型列表是什么？
• RQ3 为何此类群的数量在亏格 25 达到峰值（167 个），且该趋势是否与 Fuchsian 签名的结构有关？
• RQ4 该分类能否扩展至亏格 25 以上？其计算与理论障碍是什么？
• RQ5 是否存在由 (0;2,3,7) 签名产生的强对称亏格 25 的群？若存在，其性质如何？

主要发现

• 对强对称亏格 2–25 的群分类已完成，并通过 GAP 验证，结果与先前对亏格 2–4 的分类一致。
• 群的数量在亏格 9（55 个群）、17（129 个群）和 25（167 个群）显著增加，表明在形如 2^n + 1 的亏格处存在结构性趋势。
• 不存在阶为 2016 的群作用于亏格 25 的曲面上，因为不存在阶为 2016 的完全群，从而消除了 (0;2,3,7) 签名为可能。
• 由于不存在阶为 2016 的 Hurwitz 群，亏格 25 的分类得以完成，否则该阶的群将为大阶群所必需。
• 数据和代码已公开发布于 http://math.arizona.edu/~sp2008/，可供未来研究用于更高亏格的分析。
• 在所有不超过 25 的亏格中，群的最大数量为 167，出现在亏格 25，下一个峰值预计出现在亏格 33（2^5 + 1）。