[論文レビュー] Goldfeld conjecture for non-hyperelliptic direction

Keunyoung Jeong, Junyeong Park|arXiv (Cornell University)|Feb 25, 2026

Analytic Number Theory Research被引用数 0

ひとこと要約

要約: 本論文は GRH の下で genus 2 曲線 C0: y^2 = x^6 + 1 の非超双曲なツイスト族における平均解析秩の明示的上界を確立し、この族に対して平均秩 1/4 を予想する Goldfeld 型の予測を提案する。

ABSTRACT

Since the curve $y^2 = x^6+1$ has a large automorphism group, there exist twist families arising from non-hyperelliptic directions. In this paper, we give an explicit upper bound on the average analytic rank of such a family, assuming the generalized Riemann hypothesis for the $L$-functions. Also, we propose an analogue of the Goldfeld conjecture for the family following Katz--Sarnak philosophy.

研究の動機と目的

• 非超双曲的方向でのツイストに対する Goldfeld 型予測を導出する動機付けと定式化（各ツイスト同士が超双曲的ツイストを避けるようにする）。
• L 関数の GRH の下でこのツイスト族の平均解析秩の明示的上界を提供する。
• ツイストの代数・ガロア論的構造を記述し、秩分布に寄与する要因を特定する。
• 非超双曲的方向が 1-レベル密度における定数を超双曲的方向と異なる値に導く仕組みを説明する。

提案手法

• 明示公式を用いてツイスト C_d に付随する L 関数のゼロの 1-レベル密度を推定する。
• Frobenius 線形和 a_p(C_d) および a_{p^2}(C_d) を基底曲線 E0: y^2 = x^3 + 1 へと関連づける（Fité–Sutherland の結果）。
• 最近の超双曲代数（DDM+23, BBB+22）を用いてツイストの導体等の局所不変量を計算し、明示公式を適用する。
• C0 のツイストの G_Q 群構造を、C2 × D12 の部分群を分類してツイストパラメータ化（u, v など）を導出する。
• 特定の D12^A 型族について Jacobian の単純性を確保し、超双曲扭曲を避けるための非超双曲的ツイスト解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 GRH の下で非超双曲的ツイスト族 {C_d} の平均解析秩はいくらか？
• RQ2 この非超双曲的方向は Goldfeld 型の 50-50-0% のヒューリスティックに従うのか、それとも非超双曲的設定で異なる極限定数を生むのか？
• RQ3 素数 p が 3 を法としてどのように a_{p^2}(C_d) の寄与に影響するか、1-レベル密度計算での寄与はどのように変化するか？
• RQ4 この族の平均秩の厳密な上界はいくらか？テスト関数を選ぶことで改善できるか？
• RQ5 Katz–Sarnak の哲学に従うこの族の予想平均秩は？

主な発見

• GRH の下で L(C_d, s) に対する平均解析秩は明示的な上界を満たす： (1/|S(X)|) sum_{d in S(X)} g_d ≤ 1/4 + (6+o(1))/σ + O(X^{(3σ/2)-1/2}/log X + X^{σ/2 -1/2}/log X) 。
• この界は σ の自然な選択を与えた場合、条件なしの数値上の上限 18.25 を意味し、期待値からのギャップを示す。
• 著者は Katz–Sarnak の哲学に従い、{C_d} の真の平均解析秩は 1/4 であると予想する。
• 非超双曲的方向は a_{p^2}(C_d) に p 依存的な挙動を導入し、素数 p ≡ 2 (mod 3) が寄与する一方、p ≡ 1 (mod 3) は寄与しないため、ヒューリスティックで 1/4 の定数となり 1/2 ではない。
• 解析は a_p(C_d) および a_{p^2}(C_d) を基底楕円曲線 E0: y^2 = x^3 + 1 を通して表現し、導体を現代的な局所代数（DDM+23, BBB+22）で制御することに依拠する。
• 平方自由な d に対する族 {C_d} は単純なジャコビアンを持ち、超双曲ツイスト族ではなく、非超双曲的ツイスト解析を可能にし、平均秩における超双曲性の絡みを回避する。