[Paper Review] The Birch-Swinnerton-Dyer Conjecture

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

Algebraic Geometry and Number Theory27 references3 citations

TL;DR

This paper provides a comprehensive overview of the Birch-Swinnerton-Dyer (BSD) Conjecture, a Millennium Prize Problem linking the algebraic rank of an elliptic curve over ℚ to the analytic rank via its L-function. It explains the conjecture’s formulation, connects it to modularity via the Taniyama-Shimura theorem, and details the Gross-Zagier and Gross-Kohnen-Zagier theorems linking Heegner point heights to Fourier coefficients of Jacobi forms, offering a deep structural link between arithmetic and analytic invariants.

ABSTRACT

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

Motivation & Objective

• To explain the Birch-Swinnerton-Dyer Conjecture as one of the Clay Mathematics Institute's Millennium Prize Problems.
• To clarify the connection between the algebraic rank of an elliptic curve over ℚ and its analytic rank via the L-function.
• To describe the role of modular forms, Heegner points, and the Skoruppa-Zagier correspondence in advancing the BSD conjecture.
• To present the Gross-Zagier and Gross-Kohnen-Zagier theorems as key tools linking Heegner point heights to Fourier coefficients of Jacobi forms.

Proposed method

• Formalizing the BSD Conjecture as the equality of algebraic and analytic ranks for elliptic curves over ℚ.
• Applying the Mordell-Weil theorem to establish finite generation of E(ℚ), with torsion and free parts.
• Using the Taniyama-Shimura theorem (proven by BCDT) to establish modularity of all elliptic curves over ℚ.
• Defining Heegner points via CM points on X₀(N) and their images under the modular parametrization φ_E.
• Employing the Skoruppa-Zagier correspondence to relate Jacobi forms of weight 2 and index N to modular forms of weight 2.
• Applying the Gross-Zagier formula to relate the derivative of the L-function at s=1 to the canonical height of Heegner points.

Experimental results

Research questions

• RQ1 How does the algebraic rank of an elliptic curve over ℚ relate to the analytic rank via its L-function?
• RQ2 What is the role of modularity (Taniyama-Shimura) in advancing the BSD conjecture?
• RQ3 How do Heegner points on modular curves X₀(N) connect to Fourier coefficients of Jacobi forms?
• RQ4 What is the precise relationship between the canonical height of Heegner points and the derivative of the L-function at s=1?
• RQ5 Can the Gross-Kohnen-Zagier theorem be used to characterize the structure of E(ℚ) ⊗ ℝ via Heegner points?

Key findings

• The BSD Conjecture posits that the algebraic rank r of an elliptic curve E over ℚ equals its analytic rank, defined by the order of vanishing of L(E,s) at s=1.
• The Taniyama-Shimura theorem implies that every elliptic curve over ℚ is modular, so L(E,s) equals the L-function of a cusp form of weight 2 on Γ₀(N).
• The Gross-Zagier theorem establishes that L′(E,1) is proportional to the canonical height of a Heegner point P_D,r, with proportionality constant depending only on E.
• The Gross-Kohnen-Zagier theorem shows that the height pairing of two distinct Heegner points is proportional to the product of Fourier coefficients of the corresponding Jacobi form.
• The corollary states that all Heegner points P_D,r are rational multiples of a single point P₀ in E(ℚ) ⊗ ℝ, provided the sign of the functional equation is -1 and r=1.
• The Heegner point P_D,r lies in E(H(K)), the Hilbert class field of an imaginary quadratic field K, and is invariant under Galois action.