[論文レビュー] Root numbers and the parity problem

H. A. Helfgott|ArXiv.org|May 30, 2003

Algebraic Geometry and Number Theory参考文献 47被引用数 15

ひとこと要約

本稿は、2つの古典的算術予想、すなわち多項式値における素因数の個数の偶奇の等分布性に関するチャウラの予想と、平方自由なふnowの予想の下で、数体上の非退化な1パラメータ族の楕円曲線における平均根数が0であることを確立する。著者は立方同次多項式に対してチャウラの予想を証明し、算術統計における偶奇問題の解決に重要な一歩を踏み出す。

ABSTRACT

Let E be a one-parameter family of elliptic curves over a number field. It is natural to expect the average root number of the curves in the family to be zero. All known counterexamples to this folk conjecture occur for families obeying a certain degeneracy condition. 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 non-degenerate family E has average root number 0, provided that two classical arithmetical conjectures hold for two homogeneous polynomials with integral coefficients constructed explicitly in terms of E. The first such conjecture -- commonly associated with Chowla -- asserts the equidistribution of the parity of the number of primes dividing the integers represented by a polynomial. We prove the conjecture for homogeneous polynomials of degree 3. The second conjecture used states that any non-constant homogeneous polynomial yields to a square-free sieve. We sharpen the existing bounds on the known cases by a sieve refinement and a new approach combining height functions, sphere packings and sieve methods.

研究の動機と目的

• 数体上の楕円曲線族における根数の分布における偶奇問題を解決すること。
• 2つの古典的算術予想を仮定した下で、非退化族における平均根数が0であることを確立すること。
• 同次立方多項式に対する、素因数の個数の偶奇の等分布性に関するチャウラの予想を証明すること。
• 高さ関数、球充填、ふnow技法を用いて、平方自由値の密度を制御するためのふnow手法を精緻化すること。
• 一般に信じられている「平均根数が0である」という民俗的予想が、退化を除く広範な族のクラスにおいて成り立つことを示すこと。

提案手法

• 局所的根数をグローバルな算術的データに関連付けるために、柔軟関数を用い、族全体での平均化を可能にする。
• 高さ関数と球充填幾何学を用いて、より良い境界を得たふnow法を適用し、平方自由値の密度を制御する。
• 双線形境界とメビウス反転を用いて、μ や λ（リウヴィル関数）などの算術的関数の和を推定する。
• ふnow枠組みを形式化するための公理的条件 (B.1.6)–(B.1.12) を導入し、誤差項が log x のべき乗として減少することを保証する。
• 既約な立方多項式の値におけるリウヴィル関数 λ(n) の平均を分析することにより、立方多項式に対するチャウラの予想を証明する。
• 古典的解析的数論、理想類群論、およびGrößencharaktereを組み合わせて、数体の算術を扱う。

実験結果

リサーチクエスチョン

• RQ1 数体上の1パラメータ族の楕円曲線における平均根数が0であるのは、どのような条件下か？
• RQ2 立方多項式に対して、多項式値における素因数の個数の偶奇の等分布性に関するチャウラの予想は、どの程度成り立つか？
• RQ3 高次多項式列における平方自由値の密度を制御するために、ふnow法を十分に鋭くできるか？
• RQ4 楕円曲線族における退化が、非ゼロの平均根数を生じる理由として果たす役割は何か？
• RQ5 局所的根数の寄与が、どのようにグローバルに組み合わさって族全体の平均根数を決定するか？

主な発見

• チャウラの予想と平方自由ふnowの予想を仮定すれば、任意の数体上の非退化な楕円曲線族において、平均根数は0である。
• 同次立方多項式 f(x,y) に対してチャウラの予想が証明され、f(x,y) が整数に取る値におけるリウヴィル関数 λ(f(x,y)) の平均は O((log log x)² / log x) であることが示された。
• x² + y⁴ ≤ x かつ x² + y⁴ が平方自由であるような整数解 (x,y) の個数は O(x³/⁴ (log log x)² / log x) である。これは以前のふnow境界を改善する。
• 高さ関数と球充填を用いて、ふnow法を精緻化し、平方自由値の密度における誤差項をより強くした。
• 列 an = #{(x,y) ∈ Z² : x² + y⁴ = n} に対して、双線形条件 (B.1.12) が確立され、主要な推定が可能になった。
• 2つの広く信じられている算術的予想を仮定した下で、1パラメータ族の楕円曲線における平均根数が0であるという民俗的予想の条件付き証明が得られた。