[论文解读] The Birch-Swinnerton-Dyer Conjecture

Jae-Hyun Yang|ArXiv.org|Nov 14, 2006

Algebraic Geometry and Number Theory参考文献 27被引用 3

一句话总结

本文全面概述了 Birch-Swinnerton-Dyer（BSD）猜想，这是千禧年大奖难题之一，将有理数域 ℚ 上椭圆曲线的代数秩与通过其 L 函数得到的解析秩联系起来。文章解释了该猜想的表述，通过 Taniyama-Shimura 定理将其与模形式联系起来，并详细阐述了 Gross-Zagier 与 Gross-Kohnen-Zagier 定理，这些定理将 Heegner 点的高与 Jacobi 形式的傅里叶系数联系起来，从而在算术不变量与解析不变量之间建立了深刻的结构联系。

ABSTRACT

We give a brief description of the Birch and Swinnerton-Dyer Conjecture which is one of the seven Clay problems.

研究动机与目标

• 解释 Birch-Swinnerton-Dyer 猜想作为克雷数学研究所千禧年大奖难题之一。
• 阐明有理数域 ℚ 上椭圆曲线的代数秩与其通过 L 函数得到的解析秩之间的关系。
• 描述模形式、Heegner 点以及 Skoruppa-Zagier 对应关系在推进 BSD 猜想中的作用。
• 将 Gross-Zagier 与 Gross-Kohnen-Zagier 定理作为关键工具，展示 Heegner 点高与 Jacobi 形式傅里叶系数之间的联系。

提出的方法

• 将 BSD 猜想形式化为 ℚ 上椭圆曲线代数秩与解析秩相等。
• 应用 Mordell-Weil 定理，确立 E(ℚ) 的有限生成性，包括扭部分与自由部分。
• 利用 Taniyama-Shimura 定理（由 BCDT 证明）确立所有 ℚ 上椭圆曲线的模性。
• 通过 X₀(N) 上的 CM 点定义 Heegner 点，并通过模参数化 φ_E 映射其像。
• 运用 Skoruppa-Zagier 对应关系，将权为 2、指标为 N 的 Jacobi 形式与权为 2 的 Γ₀(N) 上的模形式关联起来。
• 应用 Gross-Zagier 公式，将 L 函数在 s=1 处的导数与 Heegner 点的典范高联系起来。

实验结果

研究问题

• RQ1 有理数域 ℚ 上椭圆曲线的代数秩如何通过其 L 函数与解析秩关联？
• RQ2 模性（Taniyama-Shimura）在推进 BSD 猜想中起什么作用？
• RQ3 模曲线 X₀(N) 上的 Heegner 点如何与 Jacobi 形式的傅里叶系数关联？
• RQ4 Heegner 点的典范高与 L 函数在 s=1 处的导数之间存在何种精确关系？
• RQ5 Gross-Kohnen-Zagier 定理能否用于通过 Heegner 点刻画 E(ℚ) ⊗ ℝ 的结构？

主要发现

• BSD 猜想提出，有理数域 ℚ 上椭圆曲线 E 的代数秩 r 等于其解析秩，即 L(E,s) 在 s=1 处的零点阶数。
• Taniyama-Shimura 定理表明，每个 ℚ 上的椭圆曲线都是模形式，因此 L(E,s) 等于 Γ₀(N) 上权为 2 的尖点形式的 L 函数。
• Gross-Zagier 定理确立了 L′(E,1) 与 Heegner 点 P_D,r 的典范高成正比，比例常数仅依赖于 E。
• Gross-Kohnen-Zagier 定理表明，两个不同 Heegner 点的高配对与对应 Jacobi 形式的傅里叶系数乘积成正比。
• 推论指出，若函数方程的符号为 -1 且 r=1，则所有 Heegner 点 P_D,r 均为 E(ℚ) ⊗ ℝ 中单个点 P₀ 的有理倍数。
• Heegner 点 P_D,r 位于 E(H(K)) 中，即虚二次域 K 的希尔伯特类域中，并在伽罗瓦作用下不变。