[論文レビュー] An explicit Gross-Zagier formula related to the Sylvester Conjecture

Hu, Yueke, Jie Shu+1 more|arXiv (Cornell University)|Aug 17, 2017

Algebraic Geometry and Number Theory被引用数 3

ひとこと要約

この論文は、楕円曲線 $E_p: x^3 + y^3 = p$ および $E_{3p^2}: x^3 + y^3 = 3p^2$ に対して明示的な Gross-Zagier 公式を確立し、$p \equiv 4,7 \pmod{9}$ かつ $3 \not\equiv \square \pmod{p}$ の条件下で、$|\text{X}(E_p)| \cdot |\text{X}(E_{3p^2})|$ の 3-部分が Birch と Swinnerton-Dyer 予想の予測と一致することを証明する。この結果は、算術幾何学と Heegner 点の手法を用いて、立方和に関する Sylvester 予想の重要なケースを解決する。

ABSTRACT

Let $p\equiv 4,7\mod 9$ be a rational prime number such that $3\mod p$ is not a cubic residue. In this paper we prove the 3-part of the product of the full BSD conjectures for $E_p$ and $E_{3p^3}$ is true using an explicit Gross-Zagier formula, where $E_p: x^3+y^3=p$ and $E_{3p^2}: x^3+y^3=3p^2$ are the elliptic curves related to the Sylvester conjecture and cube sum problems.

研究の動機と目的

• 特定の合同条件の下で、楕円曲線 $E_p: x^3 + y^3 = p$ および $E_{3p^2}: x^3 + y^3 = 3p^2$ に対して、Birch と Swinnerton-Dyer 予想の 3-部分を解決すること。
• $E_p$ および $E_{3p^2}$ の Shafarevich-Tate 群の位数の積についての明示的 Gross-Zagier 公式を確立し、特に 3-主成分に注目すること。
• 既存のランクおよび Shafarevich-Tate 群の有限性に関する結果を拡張し、BSD 予想における欠落している 3-部分を扱うこと。
• Heegner 点と $L$-値を通じて、Sylvester 予想と BSD 予想の間の精密な算術的関係を提供すること。
• 与えられた条件下で、両曲線についての BSD 公式の $3$-進付値が、予測された位数と一致することを確認すること。

提案手法

• Gross-Zagier 公式を用いて、$E_p$ の $L$-関数の微分を Néron-Tate の Heegner 点の高さと関連付ける。
• 虚二次体の $ {M}_2(\mathbb{Q})$ への埋め込みおよび複素乗法の理論を応用し、$X_0(3^5)$ 上に Heegner 点を構成する。
• $3$-進 $L$-関数と $p$-進 $L$-値を用いて、BSD 公式の $3$-主成分を分析する。
• 局所的根数と符号の計算を適用し、$E_p$ の解析的ランクが 1 で、$E_{3p^2}$ が 0 であることを確認し、BSD 予想と整合する。
• 関数等式と $L$-関数の特別値を用いて、BSD 公式の両辺の $3$-進付値を比較する。
• 類体理論と射類体を用いて、テストベクトルを構成し、自動形式の文脈での局所積分を計算する。

実験結果

リサーチクエスチョン

• RQ1 $p \equiv 4,7 \pmod{9}$ かつ $3$ が $p$ を法として立方剰剰非であるとき、楕円曲線 $E_p: x^3 + y^3 = p$ に対して、BSD 予想の 3-部分が成り立つかどうか。
• RQ2 Sylvester 予想の予測に従って、$|\text{X}(E_p)| \cdot |\text{X}(E_{3p^2})|$ の正確な $3$-進付値は何か。
• RQ3 $E_p$ および $E_{3p^2}$ の Shafarevich-Tate 群の位数の積について、明示的な Gross-Zagier 公式を導出できるか。
• RQ4 Tamagawa 数、ねじれ部分群、実周期は、これらの曲線の BSD 公式の $3$-主成分にどのように寄与するか。
• RQ5 与えられた算術的条件下で、両曲線についての $3$-主成分の BSD 公式は、$L$-値と高さのデータと整合的か。

主な発見

• 条件 $p \equiv 4,7 \pmod{9}$ かつ $3$ が $p$ を法として立方剰剰非であるとき、$E_p$ および $E_{3p^2}$ の BSD 予想の 3-部分が検証された：$|\text{X}(E_p)| \cdot |\text{X}(E_{3p^2})|$ の $3$-進付値は、BSD 公式の予測と一致する。
• 条件を満たす $p$ に対して、$E_p$ の解析的ランクは 1 で、$E_{3p^2}$ のランクは 0 であり、BSD 予想と整合的である。
• 積 $|\text{X}(E_p)| \cdot |\text{X}(E_{3p^2})|$ は非ゼロの有理数であり、その $3$-進付値は BSD 公式の予測と正確に一致する。
• 生成子の $E_p(\mathbb{Q})$ における Néron-Tate の高さと、$s=1$ における $L$-値が、$3$-主成分を除いて BSD 公式と一致することが示された。
• Tamagawa 数とねじれ部分群の位数が計算され、$3$-主成分の BSD 公式に正しく寄与することが判明した。
• 証明は、$X_0(3^5)$ 上に Heegner 点を構成し、そのモジュラー媒介化による像を計算することで、$3$-主成分レベルでの Gross-Zagier 公式の検証に依拠している。