[論文レビュー] Drinfeld modules with maximal Galois action on their torsion points

David Zywina|arXiv (Cornell University)|Oct 19, 2011

Algebraic Geometry and Number Theory参考文献 21被引用数 8

ひとこと要約

本稿は、一般特徴を持つ有限生成体上に、2ランクの明示的ドリンフェルトモジュラーを構成し、そのねじれ点へのガロア表現の像が最大である、すなわち GL₂(Â) に開集合として含まれる、すなわち最大のガロア作用を達成する。セールの楕円曲線に対する構成と類似した方法を用いて、著者は明示的な例を提示し、全ねじれモジュールへのガロア表現の像が、A のプロファイント完備化上の全一般線形群であることを証明した。これは2ランクの場合の最大性を裏付けた。

ABSTRACT

To each Drinfeld module over a finitely generated field with generic characteristic, one can associate a Galois representation arising from the Galois action on its torsion points. Recent work of Pink and Rütsche has described the image of this representation up to commensurability. Their theorem is qualitative, and the objective of this paper is to complement this theory with a worked out example. In particular, we give examples of Drinfeld modules of rank 2 for which the Galois action on their torsion points is as large as possible. We will follow the approach that Serre used to give explicit examples of his openness theorem for elliptic curves. Using our specific examples, we will numerically test analogues of some well-known elliptic curve conjectures.

研究の動機と目的

• 一般特徴を持つ有限生成体上に、ねじれ点へのガロア表現の像が最大である2ランクのドリンフェルトモジュラーの明示的かつ具体的な例を提供すること。
• ピンクとルーツェの定性的な開像定理を補完するために、ガロア表現の像が明示的に決定可能な計算可能な例を構成すること。
• 楕円曲線に関するよく知られた予想（例えば、セールの開像定理、モジュラー性、サトウ＝タイト予想）の類似物を、ドリンフェルトモジュラーの文脈で数値的に検証すること。
• 最大のガロア作用を有するようなモジュラーが2ランクの場合に存在することを示し、従来はランク1の例しか知られていなかった文献の空白を埋めること。

提案手法

• q ≥ 5 で奇数の F_q(T) と表される関数体 K 上に、特定の多項式 φ_T = T + τ + cτ² を用いて定義される2ランクのドリンフェルトモジュラー φ を構成する。ここで c ∈ F_q(T) は注意深く選ばれる。
• A = F_q[T] のプロファイント完備化 Â を用いて、全ねじれモジュール lim← φ[𝔞] への作用から生じるガロア表現 ρ_φ: G_K → GL₂(Â) を分析する。
• 異なる素イデアル λ₁, λ₂ に対して、主イデアル 𝔞 = λ₁λ₂ での像の構造を用い、正規部分群と有限体上の PGL₂ と GL₂ の同型に関する群論的議論を通じて、GL₂(A/𝔞) に含まれる像 H が全群に等しいことを示す。
• GL₂(F_q) の自己同型に関するフアの定理を適用し、PGL₂(F_{λ₁}) と PGL₂(F_{λ₂}) の任意の同型が GL₂ に引き上げられることを示し、トレースと行列式の不変量を用いて非自明な体同型を除外することで、像が全群であることを示す。
• 像が不変量 tr²/det を保存することを用い、この不変量が体同型を自明なものに強いることを示し、像が全群でなければ矛盾が生じることを示す。これにより、像が GL₂(A/𝔞) 全体に等しいことが導かれる。
• すべてのイデアル 𝔞 における結果を統合し、ρ_φ の像が GL₂(Â) に開集合として含まれることを結論づけ、さらにプロファイント位相において既に稠密であるため、像は全群に等しいと結論づける。

実験結果

リサーチクエスチョン

• RQ1 一般特徴を持つ有限生成体上に、ねじれ点へのガロア表現の像が最大である2ランクのドリンフェルトモジュラーを明示的に構成できるか？
• RQ2 2ランクのドリンフェルトモジュラーの全ねじれモジュールへのガロア表現の像は、GL₂(Â) に一致するか？
• RQ3 モジュラー性やサトウ＝タイト予想などの楕円曲線に関する予想の類似物を、ドリンフェルトモジュラーの文脈で数値的証拠として得られるか？
• RQ4 ねじれ点へのガロア表現の像が GL₂(Â) に開集合として含まれるための条件は何か？ また、このような例はどのように明示的に構成できるか？

主な発見

• 本稿は、q ≥ 5 で奇数の K = F_q(T) 上に、特定の c ∈ F_q(T) を用いて φ_T = T + τ + cτ² で定義される2ランクのドリンフェルトモジュラー φ を明示的に構成し、全ねじれモジュールへのガロア表現の像が全 GL₂(Â) に等しいことを示した。
• A の任意の非ゼロイデアル 𝔞 に対して、ガロア表現 ρ_φ,𝔞: G_K → GL₂(A/𝔞) の像は、全群 GL₂(A/𝔞) に等しい。これはねじれ点への作用の最大性を裏付けた。
• グローバルなガロア表現 ρ_φ: G_K → GL₂(Â) の像は GL₂(Â) に開集合として含まれ、さらにプロファイント位相において閉集合でもあるため、全群 GL₂(Â) に等しい。これは最大のガロア作用が達成されたことを確認する。
• 証明は、GL₂(F_λ) の任意の真の正規部分群が可解的であり、対角トーラスに含まれることを示し、PGL₂(F_λ₁) と PGL₂(F_λ₂) の唯一の可能な同型は体同型によって誘導されることを示す。この体同型は自明でなければならず、それ以外の場合は矛盾が生じる。
• 不変量 tr²/det はガロア作用で保存され、この不変量が体の残差体間の同型を自明なものに強いる。像が全群でなければ矛盾が生じるため、像が全群に等しいことが証明される。
• この例は、モジュラー性やサトウ＝タイト予想などの楕円曲線の予想の類似物をドリンフェルトモジュラーの文脈で数値的に検証する明示的な設定を提供する。