[论文解读] A one--parameter family of polynomials with Galois group M24 over Q(t)

Peter Mueller|arXiv (Cornell University)|Apr 5, 2012

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

一句话总结

该论文构建了一个在ℚ(t)上的单参数多项式族，其伽罗瓦群为罕见的数学家群M24，采用参数化多项式形式 (t − Aₛ(X))² + (X² + 1)Bₛ(X)²。关键结果是，对于所有 s ∈ ℚ ∖ {1}，该族在ℚ(t)上实现M24作为伽罗瓦群，且对应的参数化曲线具有正秩，意味着存在无穷多个分支点均为有理数的有理实现。

ABSTRACT

Granboulan computed an explicit polynomial whose Galois group over the rational function field Q(t) is the Mathieu group M24. By a result of Malle and Matzat, it was known before that such a polynomial exists. Even more, their proof showed that there is a 1-parameter family of such polynomials. In this note we compute this family.

研究动机与目标

• 构建ℚ(t)上一个显式的单参数多项式族，其伽罗瓦群为M24，同时放弃对一个分支点有理性的严格限制条件。
• 证明所有分支点均为有理数的M24扩张的参数化曲线具有正秩，从而蕴含存在无穷多个此类实现。
• 通过避免要求p₀为有理数，提供一个比格朗布兰的特例更简单、更结构化的族。
• 解决一个开放问题：M24实现曲线是否具有足够多的有理点，以产生无穷多个实现。

提出的方法

• 该方法构造形如 (t − Aₛ(X))² + (X² + 1)Bₛ(X)² 的多项式族，其中 Aₛ 和 Bₛ 是依赖于参数 s 的有理系数多项式。
• 利用型为 (12,2,2,2) 的分歧数据——一个12阶分歧群和三个2阶分歧群——来约束多项式 Aₛ 和 Bₛ 的结构。
• 构造依赖于求解由条件 g(Y) − ωᵢY¹² = Aᵢ(Y)²Bᵢ(Y) 对所有 i 都独立于 i 所导出的50个未知数中的49个方程组，其中 D(T) = T³ + pT + q。
• 通过将 A₀ 和 B₀ 表示为 ω 的对称函数，经代数运算并模 ω³ + pω + q 简化，求解该方程组。
• 通过假设函数方程 f(Y) = f(b/Y)，其中 b ∈ ℚ，推导出参数化形式，从而施加对称性条件以约束多项式的形式。
• 最终族被验证对所有 s ≠ 1 的情况均产生伽罗瓦群 M24，而 s = 1 被排除，因其不满足双重传递性。

实验结果

研究问题

• RQ1 是否存在一个在ℚ(t)上的单参数多项式族，其伽罗瓦群为M24，且不要求所有分支点均为有理数？
• RQ2 能否显式计算出所有分支点均为有理数的M24扩张的参数化曲线，并证明其具有正秩？
• RQ3 格朗布兰的复多项式是否为一个更简单、更具结构化的单参数族的特例？
• RQ4 所有分支点均为有理数的型为 (12,2,2,2) 的M24扩张的模空间具有怎样的几何与算术性质？
• RQ5 参数化曲线上有理点的存在是否意味着在ℚ(t)上存在无穷多个此类M24扩张？

主要发现

• 单参数族 (t − Aₛ(X))² + (X² + 1)Bₛ(X)² 在ℚ(t)上对所有 s ∈ ℚ ∖ {1} 的情况均具有伽罗瓦群M24。
• 所有分支点均为有理数的M24扩张的参数化曲线是一条正秩椭圆曲线，意味着存在无穷多个有理实现。
• 当 s = 0 时，显式计算出多项式 A₀ 和 B₀，其次数分别为12和10，得到一个规模适中的具体例子。
• 参数化M24扩张且所有分支点为有理数的曲线具有亏格1且正秩，从而解决了是否存在无穷多个此类实现的问题。
• 该族通过不强制要求 p₀ 为有理数，避免了格朗布兰多项式的复杂性，从而实现了更简洁、更具结构的参数化。
• s = 1 的情况被排除，因为此时伽罗瓦群不满足双重传递性，因此仅为M24的真子群。