[論文レビュー] On the behaviour of root numbers in families of elliptic curves

H. A. Helfgott|arXiv (Cornell University)|Aug 10, 2004

Algebraic Geometry and Number Theory参考文献 23被引用数 32

ひとこと要約

本稿は、ℚ 上の1パラメータ族の楕円曲線における根数の分布を調査し、ℚ(T) 上に少なくとも1つの乗法的還元を持つ族に対しては、2つの古典的算術予想を仮定すると、平均根数が0であることを証明する。乗法的還元のない族については、平均根数の明示的な無限積公式を導出し、ℤ の算術的性質と局所根数によって支配される非ランダムで規則的な振る舞いを示す。

ABSTRACT

Let E be a one-parameter family of elliptic curves over Q. We prove that the average root number is zero for a large class of families of elliptic curves of fairly general type. Furthermore, we show that any family E with at least one point of multiplicative reduction over Q(t) has average root number 0, provided that two classical arithmetical conjectures hold for two polynomials constructed explicitly in terms of E. The behaviour of the root number in any family E without multiplicative reduction over Q(t) is shown to be rather regular and non-random; we give expressions for the average root number in this case.

研究の動機と目的

• ℚ 上の1パラメータ族の楕円曲線における根数 W(E) の統計的挙動を理解すること。
• ℚ(T) 上での乗法的還元の有無に応じて、平均根数が0または非ゼロとなる条件を特定すること。
• 乗法的還元のない族における平均根数の明示的公式を、局所根数の無限積として導出すること。
• 平均根数と、例えば Möbius 関数や Liouville 関数の算術級数への離散性に関する深い算術予想との関係を確立すること。
• 特定の族に対しては未解決の予想に依存しない結果を提示すること。

提案手法

• グローバル根数公式 W(E) = -∏ₚ Wₚ(E) を用い、各素数 p における局所寄与に分解することで、グローバルな符号を分析する。
• 相反則とヒルベルト記号を用いて、局所根数 Wₚ(E) を p を法とするリーマン記号と二次剰余に表現する。
• p進近傍における根数の局所的定数性の理論を応用し、グローバルな平均値を p進積分と無限積に還元する。
• 命題 7.12 を適用し、ℤ² の格子陪集合における Möbius 関数と Liouville 関数の条件付き等分布性を用いて、根数符号の等分布性を示す。
• 例えば y² = x(x+a)(x+b) といった楕円曲線の明示的パラメトライゼーションを用いて還元型を解析し、モジュラー算術により局所根数を計算する。
• Möbius 離散性予想や3次 L 関数の偶奇問題といった予想に依存し、特殊な場合に未解決の予想に依存しない結果を得る。

実験結果

リサーチクエスチョン

• RQ1 ℚ 上の1パラメータ族の楕円曲線における平均根数が0になる条件は何か？
• RQ2 ℚ(T) 上で乗法的還元がない場合、平均根数の正規性と構造にどのような影響を与えるか？
• RQ3 平均根数が局所根数の無限積としてどの程度明示的に表現可能か？
• RQ4 平均根数と算術級数における算術関数 μ や λ の関係は何か？
• RQ5 一般の結果が未解決の予想に依存する中で、特定の族に対して未解決の予想に依存しない結果を得ることは可能か？

主な発見

• ℚ(T) 上に少なくとも1つの乗法的還元を持つ任意の1パラメータ族について、2つの標準的予想が成り立つ限り、平均根数は0である。
• ℚ(T) 上で乗法的還元のない族については、平均根数が局所根数と算術関数を含む無限積として与えられ、一般に非ゼロである。
• f₁(t) = -5 - 2t²、f₂(t) = 2 + 5t² である族 y² = x³ - 1/48 f₁(t)f₂(t)(f₁³ - f₂³)²x - 1/864 (f₁³ + f₂³)(f₁³ - f₂³)³ に対して、平均根数は -0.15294… であり、この結果は未解決の予想に依存しない。
• a,b ∈ ℤ である族 y² = x(x+a)(x+b) については、Möbius 関数と Liouville 関数の格子陪集合における等分布性を用いて、平均根数が0であることが示された。
• 乗法的還元を持つ族の平均根数が0であるという結果は、2つの古典的予想の真偽に依存するが、これらの予想が既知に成り立つ特定の族では未解決の予想に依存しない。
• 本稿では、乗法的還元が存在しない場合、根数の分布はランダムではなく、局所因子の無限積に符号化された予測可能で算術的依存のパターンに従うことが示された。