[論文レビュー] Rank distribution in a family of cubic twists

Mark E. Watkins|ArXiv.org|Dec 21, 2004

Analytic Number Theory Research参考文献 18被引用数 15

ひとこと要約

この論文は、楕円曲線 $X_0(27)$ の立方捩じりに関する数値データを拡張し、中心 $L$-値が消える（したがって正のランクを示す）偶数符号の捩じりの割合が、$x^{0.935}$ のように増加することを発見した。これは、以前の予想とは異なり、正の密度ではなく0に近づく傾向を示唆する。解析では、$m$ の算術的性質、タマガワ数、およびランダム行列理論を統合し、対数補正を加えた精密化された漸近的モデルを支持する。

ABSTRACT

In 1987, Zagier and Kramarz published a paper in which they presented evidence that a positive proportion of the even-signed cubic twists of the elliptic curve $x^3+y^3=1$ should have positive rank. We extend their data, showing that it is more likely that the proportion goes to zero.

研究の動機と目的

• Zagier および Kramarz が提示した $X_0(27)$ の立方捩じりのランク分布に関する数値的証拠を拡張し、特に偶数符号の捩じりで正のランクを示すものの割合を対象とする。
• 観察された中心 $L$-値が消える捩じりの割合が、導手の上限が増加するにつれて正の密度に安定するのか、それとも0に近づくのかを調査する。
• $m$ の算術的性質（例：素因数の個数）が中心 $L$-値が消える確率に与える影響を分析する。
• Tate–Shafarevich群のサイズの分布と、中心 $L$-値および関数方程式の符号との関連を調査する。
• 特に素数を法とする合同類について、ランダム行列理論および $L$-関数のモーメントに基づくヒューリスティックモデルを検証・精緻化する。

提案手法

• 導手 $N$ が立方数でない $m \leq 10^7$ で、関数方程式の符号 $\epsilon = +1$（偶数符号）であるものについて、中心 $L$-値 $L(E_m,1)$ を、系列展開 $L(E_m,1) = 2\sum_n \frac{a_m(n)}{n} e^{-2\pi n / \sqrt{N}}$ を用いて計算した。ここで $a_m(n)$ は、ヘッケ固有値から得られる乗法的係数である。
• 関数方程式の符号 $\epsilon = \prod_p \epsilon_p$ を、$m$ における3進的条件とリジュー記号を用いて計算し、偶数符号のケースに制限した。
• $x$ までの消える $L$-値の個数に対して対数対数回帰を適用し、$x^{0.935}$ のように増加することが判明した。これは、以前のモデルが予測する $x^{5/6}$ とは一致しない。
• $m$ の算術的構造（素因数の個数）が消える確率に与える影響を分析し、素因数が多ければ多いほど消える確率が高くなることを示した。
• 素数 $p \equiv 1 \pmod{3}$ における合同類ごとの $L$-値の消える頻度について、$L$-関数のモーメントと、$d \equiv q \pmod{p}$ における和のキャンセルを根拠としたヒューリスティックを構築した。
• ランダム行列理論を用いて、モーメント和における $k = -1/2$ の選択を正当化し、異なる合同類におけるカウント比が観測データと一致することを示した。

実験結果

リサーチクエスチョン

• RQ1 導手の上限が増加するにつれて、$X_0(27)$ の偶数符号の立方捩じりで中心 $L$-値が消える割合は、正の定数に収束するのか、それとも0に近づくのか？
• RQ2 $m$ に含まれる素因数の個数は、$L(E_m,1) = 0$ となる確率にどのように影響するのか。これは3-descent や算術的制約で説明可能か？
• RQ3 合同類 $p \equiv 1 \pmod{3}$ における $L$-値の観測された分布は、$L$-関数係数のモーメントとキャンセルを根拠としたヒューリスティックで説明可能か？
• RQ4 導手 $d \equiv 1 \pmod{9}$ で $L(E_d,1) = 0$ となる素因数捩じりの数の漸近的挙動は何か。また、精密化されたモデルが予測する $T^{5/6} (\log T)^{-5/8}$ の形に従うか？
• RQ5 Tate–Shafarevich群のサイズ $|{\text{Ш}}|$ は、中心 $L$-値が消えることや $m$ の算術的性質とどのように相関するか？

主な発見

• 導手 $x$ までの偶数符号の立方捩じりで中心 $L$-値が消えるものの数は、漸近的に $x^{0.935}$ のように増加する。これは、割合が正の密度ではなく0に近づくことを示唆する。
• $m \leq 10^7$ の範囲で、偶数符号の $m$ のうち17.7% が $L(E_m,1) = 0$ であり、$m \leq 70000$ 時の23.3% や $m \leq 10^6$ 時の20.5% から減少傾向にあることが判明した。
• 素因数の個数が増えるほど、消える確率が高くなる：素数では6.1%、6個以上の素因数を持つ $m$ では51.4% にまで上昇する。
• 素数 $m \equiv 1 \pmod{9}$ の場合、$L(E_d,1) = 0$ となる捩じりの数は、$c T^{5/6} (\log T)^{-5/8}$（$c \approx 1/6$）の形で増加すると推定され、精密化された漸近的モデルを支持する。
• 合同類 $p$（例：$p=7,13$）における消える $L$-値の観測比は、予測された $\sqrt{(p+1 - a_q(p))}$ の比と一致しており、モーメント和とランダム行列理論に基づくヒューリスティックを支持する。
• モーメント和 $\sum_d L(E_d,1/2)^k$ における $k = -1/2$ のヒューリスティックは、観測された合同類頻度を説明できる。主な寄与は、$d \equiv q \pmod{p}$ のとき $a_d(p^r)$ が固定される $n = p^r$ の項に起因する。