[論文レビュー] Explicit Kummer Theory for Elliptic Curves

Davide Lombardo, Sebastiano Tronto|arXiv (Cornell University)|Sep 11, 2019

Algebraic Geometry and Number Theory参考文献 19被引用数 7

ひとこと要約

本稿では、ℚ 上の楕円曲線の有理点の除法点によって生成される Kummer拡張の次数に対する明示的で一様な上限を確立する。ガロアコhomologyおよびℓ-進表現を用いて、ℚ 上の楕円曲線で、非捩れ有理点が任意の n > 1 で割り切れないものについて、[ℚ(E[N], N⁻¹α) : ℚ(E[N])] が絶対定数 c に対して少なくとも cN² のオーダーで増大することを証明する。

ABSTRACT

Let $E$ be an elliptic curve defined over a number field $K$, let $α\in E(K)$ be a point of infinite order, and let $N^{-1}α$ be the set of $N$-division points of $α$ in $E(\bar{K})$. We prove strong effective and uniform results for the degrees of the Kummer extensions $[K(E[N],N^{-1}α) : K(E[N])]$. When $K=\mathbb{Q}$, and under a minimal assumption on $α$, we show that the inequality $[\mathbb{Q}(E[N],N^{-1}α) : \mathbb{Q}(E[N])] \geq cN^2$ holds with a constant $c$ independent of both $E$ and $α$.

研究の動機と目的

• 数体 K 上の楕円曲線 E に対して、K(E[M], N⁻¹α)/K(E[M]) の次数に対する明示的で効果的かつ一様な上限を提供すること。
• K = ℚ で、α ∈ E(ℚ) が E(ℚ)/E(ℚ)tor 内で任意の n > 1 で割り切れないとき、次数比 N²/[ℚ(E[N], N⁻¹α) : ℚ(E[N])] が絶対定数によって有界であることを確立すること。
• 一般には Kummer 理論が一様でないことに起因する失敗を分析し、End_K(E) ≠ ℤ の場合にその境界が成り立たないことを示すこと。
• ガロア表現およびコホモロジー的手法を用いて、境界定数 C を ℓ-進およびアデール的寄与に分解すること。
• 一般の数体では一様性が成立しないにもかかわらず、点 α に対して最小限の算術的条件を満たせば、ℚ 上での一様境界が成り立つことを証明すること。

提案手法

• torsion モジュール E[M] のガロアコホモロジーを用いて、Kummer 拡張の構造とその次数を研究すること。
• 境界定数 C を ℓ-進的およびアデール的欠陥に分解し、各々をガロア群が ℓ-進 Tate モジュールに作用する様子を分析することで扱うこと。
• E および α に関連する明示的なガロア表現の計算を用いて、C を E の不変量および α の高さの関数として有界化すること。
• 特に、mod-p 表現が全射であるような素数 p に対して、mod-p および mod-N ガロア像に関する結果を適用すること。
• GL₂(ℤ/Nℤ) 内の J(2) の正規化群の構造と PGL₂(𝔽_p) の性質を用いて、アーベル商への共役作用を制御すること。
• 問題をスカラーおよびアーベル的群作用に還元するために、普遍的指数 M = lcm{exp PGL₂(𝔽_p) : p ∈ 𝒯₀} を導入し、共役作用を自明にする。

実験結果

リサーチクエスチョン

• RQ1 絶対定数 c が E や α に依存しない限り、[ℚ(E[N], N⁻¹α) : ℚ(E[N])] の次数が cN² で下から有界化可能か？
• RQ2 楕円曲線 E および点 α にどのような条件を課すと、Kummer 拡張の次数比 N²/[K(E[M], N⁻¹α) : K(E[M])] が一様に有界化されるか？
• RQ3 End_K(E) ≠ ℤ の場合に一様境界が成り立たないのはなぜか？また、複素乗法が一様性の欠如を妨げる役割を果たすのはどのような仕組みか？
• RQ4 次数比における境界定数 C は、ℓ-進表現および α の可除性の性質を用いてどのように明示的に計算可能か？
• RQ5 ガロアコホモロジーや GL₂(ℤ/Nℤ) の構造が、ガロア群が Kummer 拡張に作用するのを制御する上で果たす役割は何か？

主な発見

• E/ℚ で、α ∈ E(ℚ) が E(ℚ)/E(ℚ)tor 内で任意の n > 1 で割り切れないとき、[ℚ(E[N], N⁻¹α) : ℚ(E[N])] は絶対定数 c > 0 に対して [ℚ(E[N], N⁻¹α) : ℚ(E[N])] ≥ cN² を満たす。
• End_K(E) = ℤ のとき、K(E[M], N⁻¹α) : K(E[M]) の比における境界定数 C は、E の ℓ-進ガロア表現および α の可除性の性質から明示的に計算可能である。
• End_K(E) ≠ ℤ の場合、ℚ 上での一様境界は成り立たない。これは、複素乗法を持つ楕円曲線を用いた反例によって示される。
• 定数 C は ℓ-進的およびアデール的寄与に分解され、アデール的寄与は適切な素数における PGL₂(𝔽_p) の指数によって制御される。
• g² による J(2)ab への共役作用は、M = lcm{exp PGL₂(𝔽_p) : p ∈ 𝒯₀} のべきに上げることで自明になるため、Kummer 拡張の次数は一様に有界である。
• 証明は、mod-p 表現が全射であるような素数 p でガロア作用を還元し、中心的要素を用いて J(2) 上の作用を単純化することに依存している。