Remarks on the Birch-Swinnerton-Dyer conjecture

Jae-Hyun Yang

DOI: https://doi.org/10.48550/arXiv.1706.01781

2017-06-05

Abstract:We give a brief description of the Birch-Swinnerton-Dyer conjecture and present related conjectures. We describe the relation between the nilpotent orbits of SL(2,R) and CM points.

Number Theory

What problem does this paper attempt to address?

The problem that this paper attempts to solve is related to the understanding of the Birch - Swinnerton - Dyer (BSD) conjecture and the research on related issues. Specifically, the BSD conjecture is one of the seven Millennium Prize Problems in mathematics, which mainly involves the relationship between the algebraic rank and the analytic rank of elliptic curves.

### Specific content of the BSD conjecture:
Let \(E\) be an elliptic curve defined over the field of rational numbers \(\mathbb{Q}\). Then the algebraic rank of the elliptic curve \(E\) is equal to its analytic rank. That is:

\[
r_{\text{alg}}(E)=r_{\text{an}}(E)
\]

where:
- The **algebraic rank** \(r_{\text{alg}}(E)\) refers to the rank of the free part of the group of rational points \(E(\mathbb{Q})\) on the elliptic curve \(E\).
- The **analytic rank** \(r_{\text{an}}(E)\) refers to the order of the zero of the \(L\)-function \(L(E, s)\) of the elliptic curve \(E\) at \(s = 1\).

### Main contributions of the paper:
1. **Explanation of the BSD conjecture**: It describes in detail the content and background of the BSD conjecture.
2. **Related conjectures**: It introduces other conjectures related to the BSD conjecture and discusses the relationships between them.
3. **Modular forms and Heegner points**: It explores the relationship between the modular curve \(X_0(N)\) of height Heegner points and the Fourier coefficients of semi - integral weight modular forms or Jacobi forms corresponding through the Sko ruppa - Zagier correspondence.
4. **Work of the Bhargava school**: It briefly reviews the work of Bhargava et al. in Selmer group calculations, especially their partial proof of the BSD conjecture.
5. **Relationship between unipotent orbits of \(SL(2,R)\) and CM points**: It describes the relationship between unipotent orbits and CM points and proposes several conjectures related to the BSD conjecture.

### Related formulas:
- The \(L\)-function of the elliptic curve \(E\) is defined as:

\[
L(E, s)=\prod_{p\mid\Delta_E}(1 - a_p p^{-s})^{-1}\cdot\prod_{p\nmid\Delta_E}(1 - a_p p^{-s}+p^{1 - 2s})^{-1}
\]

where \(\Delta_E\) is the discriminant of the elliptic curve \(E\), and \(a_p\) is the coefficient of the local \(L\)-factor.

- For \(\tau\) satisfying certain conditions, the BSD conjecture holds for the elliptic curve \(E_\tau\), that is:

\[
r_{\text{alg}}(E_\tau)=r_{\text{an}}(E_\tau)
\]

In summary, this paper aims to deeply explore the BSD conjecture and related issues, provide theoretical support and propose new research directions.