[论文解读] Explicit Polynomials Having the Higman-Sims Group as Galois Group over Q(t)

Dominik Barth, Andreas Wenz|arXiv (Cornell University)|Nov 14, 2016

Algebraic Geometry and Number Theory参考文献 3被引用 3

一句话总结

本文通过一个具有0亏格且单缘群对应于刚性有理三元组的贝利图，构造了ℚ(t)上度为100的显式有理函数，其伽罗瓦群为Higman-Sims群HS及其自同构群Aut(HS)。作者利用代数与几何方法计算出显式多项式，通过置换群理论与判别式分析验证了单缘群，从而解决了ℚ(t)上HS的逆伽罗瓦问题。

ABSTRACT

We compute explicit polynomials having the sporadic Higman-Sims group HS and its automorphism group Aut(HS) as Galois groups over the rational function field Q(t).

研究动机与目标

• 在有理函数域ℚ(t)上解决Higman-Sims单群HS及其自同构群Aut(HS)的逆伽罗瓦问题。
• 构造显式有理函数f(X) = p(X)/q(X)，其度为100，且单缘群同构于Aut(HS)。
• 利用代数与几何技术验证多项式p(X) - tq(X) ∈ ℚ(t)[X]的伽罗瓦群恰好为Aut(HS)。
• 提供两个不同的度为100的贝利图，分别对应于Aut(HS)的两个0亏格刚性有理生成三元组。
• 展示一种利用置换三元组与有理刚性计算高次贝利图的方法，适用于单群。

提出的方法

• 基于S₁₀₀中满足x·y·z = 1且亏格为0的刚性有理三元组(x, y, z)，构造一个度为100、单缘群同构于Aut(HS)的贝利图f: ℙ¹(ℂ) → ℙ¹(ℂ)。
• 定义f(X) = p(X)/q(X) = 1 + r(X)/q(X)，其中p(X)、q(X)与r(X)为具有整数系数及特定因式分解的显式计算多项式。
• 使用Magma验证置换三元组(x, y, z)生成Aut(HS)，满足辫子关系，且亏格为0，从而确保在ℚ上存在唯一的贝利图。
• 应用Riemann-Hurwitz公式，确认f为在0、1与∞处三枝分支覆盖，其循环类型与给定置换匹配。
• 通过分析p(X) - tq(X) ∈ ℚ(t)[X]的伽罗瓦群，代数验证单缘群，表明其为一个本原的三阶置换群，其子度为1、22与77。
• 通过检查p(X) - tq(X)的判别式在ℚ(t)中是否为完全平方，判断伽罗瓦群是HS还是Aut(HS)；结果表明其不是平方，从而确认群为Aut(HS)。

实验结果

研究问题

• RQ1 能否在ℚ(t)上构造一个度为100、单缘群同构于Aut(HS)的显式贝利图？
• RQ2 多项式p(X) - tq(X) ∈ ℚ(t)[X]的伽罗瓦群是否等于Aut(HS)，且如何通过代数方法验证？
• RQ3 是否存在两个不同的Aut(HS)的0亏格刚性有理生成三元组，且它们是否产生具有相同单缘群的不同贝利图？
• RQ4 能否利用多项式p(X) - tq(X)的判别式来区分ℚ(t)上伽罗瓦群HS与Aut(HS)？
• RQ5 与贝利图相关的dessin d’enfant的结构是怎样的，其如何反映单缘群的性质？

主要发现

• 作者构造了一个在ℚ(t)上度为100的显式贝利图f(X) = p(X)/q(X)，其单缘群同构于Aut(HS)，该图源自一个0亏格的刚性有理三元组。
• 多项式p(X) - tq(X) ∈ ℚ(t)[X]的伽罗瓦群同构于Aut(HS)，通过判别式分析确认其在ℚ(t)中不是完全平方。
• 从第二个刚性有理三元组构造了另一个度为100的贝利图，得到另一个显式多项式，其在ℚ(t)上的伽罗瓦群为Aut(HS)。
• 证明了p(X) - (2t² + 1)q(X)的伽罗瓦群为HS，因为其判别式在ℚ(t)中是完全平方，从而与前一情形区分开来。
• 单缘群通过几何方法（通过dessin d’enfant及x与y的循环结构）与代数方法（通过置换群理论与子度分析）双重验证。
• 确认有理函数f(X) = p(X)/q(X)为ℂℙ¹上的三枝分支覆盖，其在0、1与∞处分支，分支类型与x、y、z的循环结构一致。