[論文レビュー] 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 − Aₛ(X))² + (X² + 1)Bₛ(X)² を用いて、ℚ(t) 上の多項式の1パラメータ族を構成し、そのガロア群が例外的単純群 M24 であることを示している。主な結果は、すべての 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 である明示的な1パラメータ族の多項式を構成し、1つの分岐点の有理数性という制限的条件を緩和すること。
• すべての分岐点が有理数である M24 拡大のパラメータ曲線が正のランクを示すことを証明し、それにより無限個のこのような実現が存在することを示すこと。
• p₀ が有理数であるという制約を避けることで、Granboulan の特殊化よりも単純で構造的な族を提供すること。
• M24 実現曲線が十分に多くの有理点を持ち、無限個の実現をもたらすかどうかという未解決の問題を解決すること。

提案手法

• 多項式の形 (t − Aₛ(X))² + (X² + 1)Bₛ(X)² を用いて族を構成し、Aₛ と Bₛ はパrameter s に依存する有理係数多項式である。
• 12階の単位根と3つの2階の単位根を持つ (12,2,2,2) 型の分岐データを用いて、多項式 Aₛ と Bₛ の構造を制約する。
• g(Y) − ωᵢY¹² = Aᵢ(Y)²Bᵢ(Y) が i に依存しない条件から導かれる50個の未知数における49個の連立方程式系を解く。D(T) = T³ + pT + q である。
• ω における対称式を用いて A₀ と B₀ を表現し、代数的操作と ω³ + pω + q による剰余をとることで、s に関する多項式係数が得られる。
• 関数方程式 f(Y) = f(b/Y) （b ∈ ℚ）を仮定することでパラメータ化が導かれ、多項式の形を制約する対称性条件が得られる。
• 最終的な族は、すべての s ≠ 1 に対してガロア群が M24 であることが検証され、s = 1 は二重推移性に失敗するため除外される。

実験結果

リサーチクエスチョン

• RQ1 ℚ(t) 上の多項式の1パラメータ族で、ガロア群が M24 であり、すべての分岐点が有理数である必要がないものは存在するか？
• RQ2 すべての分岐点が有理数である M24 拡大のパラメータ曲線を明示的に計算し、正のランクを示すことができるか？
• RQ3 Granboulan の複素多項式は、より単純かつ構造的な1パラメータ族の特殊化であると見なせるか？
• RQ4 すべての分岐点が有理数である (12,2,2,2) 型の M24 拡大のモジュライ空間の幾何学的・算術的性質は何か？
• RQ5 パラメータ曲線上に有理点が存在することは、ℚ(t) 上で無限個の M24 拡大が存在することを示唆するか？

主な発見

• すべての s ∈ ℚ ∖ {1} に対して、1パラメータ族 (t − Aₛ(X))² + (X² + 1)Bₛ(X)² は ℚ(t) 上でガロア群 M24 を持つ。
• すべての分岐点が有理数である M24 拡大のパラメータ曲線は正のランクの楕円曲線であり、無限個の有理数実現が存在することを示唆する。
• s = 0 の場合、A₀ と B₀ は明示的に計算され、それぞれ次数12および10の多項式となり、比較的小さな例が得られる。
• すべての分岐点が有理数である M24 拡大をパラメータ化する曲線は genus 1 であり、正のランクを示す。これにより、無限個のこのような実現が存在するかどうかの疑問が解決される。
• p₀ が有理数である必要がないため、Granboulan の多項式の複雑さを避けることで、より構造的かつ単純なパラメータ化が得られる。
• s = 1 は除外される。なぜなら、この場合ガロア群が二重推移的でないため、M24 の真の部分群となるからである。