[論文レビュー] Plane quartic twists of X(5,3)

J.A. Fernandez, Josep González+1 more|ArXiv.org|Jan 28, 2005

Algebraic Geometry and Number Theory被引用数 3

ひとこと要約

本稿では、Gℚ → PGL₂(𝔽₃) への奇数かつ全射なガロア表現 ϱ に対応する、モジュラー曲線 X(5,3) のねじれ曲線 X(5,3)ρ に対して、ℚ 上の明示的平面四次曲線モデルを構成する手法を提示する。表現 ϱ の分解体を定義する四次多項式を用いて、ガロアコhomology および自己同型群作用を通じて、ねじれ曲線の有理数モデルを計算し、 genus 3 の曲線に明示的な有理点をもたらす。主な貢献は、与えられた射影的 mod 3 ガロア表現を実現する次数 5 の二次 ℚ-曲線を特定するための計算フレームワークの構築である。

ABSTRACT

Given an odd representation of the absolute Galois group of Q onto PGL(2,3) and a positive integer N, there exists a twisted modular curve defined over Q whose rational points classify the quadratic Q-curves of degree N realizing the representation. The paper gives a method to provide an explicit plane quartic model for this curve in the genus-three case N=5.

研究の動機と目的

• N=5 および p=3 の場合の、モジュラー曲線 X(N,p)ρ のねじれ曲線に対する有理数平面四次曲線モデルを明示的に構成する手法を提供すること。
• 与えられた奇数かつ全射なガロア表現 ϱ: Gℚ → PGL₂(𝔽₃) を実現する次数 5 の二次 ℚ-曲線の分類に取り組むこと。
• ガロアコhomology および自己同型群作用を用いた計算フレームワークを構築し、表現 ϱ の分解体からこのようなモデルを生成すること。
• 四次多項式を用いた明示的例を通じて、手法の実行可能性を示し、具体的な四次方程式を導出すること。

提案手法

• 方法は、X(5,3) → X⁺(5) の自己同型群 W(5,3) ≅ PGL₂(𝔽₃) に同型であるガロア群 Gℚ からの 1-コサイクル ξ = ϱ ∘ ε を用いて、ねじれ曲線 X(5,3)ρ を構成する。
• X(5,3) の有理数モデルを出発点とし、X₀(5) および X(3) の標準モデルから得られ、PGL₂(𝔽₃) 内の位数 2 の行列に対応する特定の対合の選択を行う。
• ガロア作用が自己同型群に与える影響を記述する行列 Θ ∈ GL₄(ℚ) を用いて、Galois 準同型写像 Ψ: X(5,3)ρ → X(5,3) を計算する。
• 元の平面四次曲線モデル X(5,3) を Θ で変換することで、ℚ 上の係数をもつ新しい四次方程式が得られ、最終的なモデルが得られる。
• 与えられた四次多項式 f(X) ∈ ℤ[X] の分解体が ϱ と同じであることを前提とし、必要なガロア作用を定義する。
• Magma などの計算代数システムを用いて構成を検証し、有理点の計算とジャコビアンのランク解析を通じて、得られたモデルの妥当性を確認する。

実験結果

リサーチクエスチョン

• RQ1 与えられた奇数かつ全射なガロア表現 ϱ: Gℚ → PGL₂(𝔽₃) に対応する、モジュラー曲線 X(5,3) のねじれ曲線 X(5,3)ρ に対して、ℚ 上の明示的平面四次曲線モデルをどのように構成できるか。
• RQ2 表現 ϱ の分解体と、X(5,3)ρ 上の有理点の定義体との間にはどのような関係があるか。
• RQ3 ジャコビアンのランクが 3 以上である場合、Chabauty-Coleman 法を用いて X(5,3)ρ 上のすべての有理点を特定することは可能か。
• RQ4 標準的手法（例：Chabauty-Coleman）が失敗する状況において、実際の計算でこのようなモデルを生成・検証するための計算技術は何か。

主な発見

• 本稿では、不可約四次多項式 f(X) = X⁴ - 3X² + 2X + 3 によって定義されるガロア表現に対応する、X(5,3)ρ に対する ℚ 上の明示的平面四次方程式を提供する。
• モデルは次の式で与えられる： -9XY(2X+Y)(9X+8Y) + 9(6X³ + 62X²Y + 66XY² + 15Y³)Z + 3(27X² - 104XY - 83Y²)Z² - 3(94X + 7Y)Z³ + 191Z⁴ = 0。
• 無限遠点に4つの有理点が存在する：[0:1:0]、[1:0:0]、[1:-2:0]、および [8:-9:0]。それぞれが表現 ϱ を実現する次数 5 の ℚ-曲線に対応する。
• 対応する ℚ-曲線の j-不変量は明示的に計算され、j₁ = (−8√11)³(10 + 3√11)、j₂ = (6(110 + 31√11))³(10 + 3√11)、j₃ = (12(10 − √11))³(10 + 3√11)、j₄ = (2(−6878815950 + 2118474913√11)/53⁵)³(10 + 3√11) である。
• ジャコビアン J(X(5,3)ρ) のランクが 3 以上であることが示され、Chabauty-Coleman 法によるすべての有理点の特定は不可能である。