Abstract:Let $E/\mathbb Q$ be an elliptic curve and for each prime $p$, let $N_p$ denote the number of points of $E$ modulo $p$. The original version of the Birch and Swinnerton-Dyer conjecture asserts that $\prod \limits _{p \leq x} \frac{N_p}{p} \sim C (\log x) ^{\text{rank}(E(\mathbb Q))}$ as $x \to \infty$. Goldfeld showed that this conjecture implies both the Riemann Hypothesis for $L(E, s)$ and the modern formulation of the conjecture i.e. that $\text{ord}_{s=1} L(E, s)= \text{rank}(E(\mathbb Q))$. In this paper, we prove that if we let $r=\text{ord} _{s=1}L(E, s)$, then under the assumption of the Riemann Hypothesis for $L(E, s)$, we have that $\prod \limits _{p \leq x} \frac{N_p}{p} \sim C (\log x)^r$ for all $x$ outside a set of finite logarithmic measure. As corollaries, we recover not only Goldfeld's result, but we also prove a result in the direction of the converse. Our method of proof is based on establishing the asymptotic behaviour of partial Euler products of $L(E, s)$ in the right-half of the critical strip.

What problem does this paper attempt to address?

This paper attempts to solve the problem of the asymptotic behavior of the Euler product of the elliptic curve $L$-function, especially the relationship between the original version and the modern version of the Birch and Swinnerton - Dyer (BSD) conjecture. Specifically, the author aims to explore whether the modern BSD conjecture can imply the original BSD conjecture under the assumption that the Riemann hypothesis holds, and also studies the behavior of part of the Euler product on the right side of the critical strip. ### Main problems: 1. **Original BSD conjecture**: For an elliptic curve $E /\mathbb{Q}$ defined over the field of rational numbers, the original BSD conjecture asserts that \[ \prod_{p\leq x}\frac{N_p}{p}\sim C(\log x)^{\text{rank}(E(\mathbb{Q}))} \] where $N_p$ represents the number of points of the elliptic curve $E$ modulo $p$, and $C$ is a constant depending on $E$. 2. **Modern BSD conjecture**: The modern BSD conjecture is expressed in terms of the $L$-function $L(E, s)$ and asserts that \[ \text{ord}_{s = 1}L(E, s)=\text{rank}(E(\mathbb{Q})) \] that is, the order of the zero of the $L$-function at $s = 1$ is equal to the rank of the group of rational points on the elliptic curve $E$. 3. **Main results**: The author proves that under the premise that the Riemann hypothesis holds, for almost all $x$ (that is, excluding a set of finite logarithmic measure), we have \[ \prod_{p\leq x}\frac{N_p}{p}\sim C(\log x)^r \] where $r=\text{ord}_{s = 1}L(E, s)$, and $C = \frac{r!}{L^{(r)}(E, 1)}\cdot\sqrt{2e^\gamma}$, $\gamma$ is the Euler constant, and $L^{(r)}(E, s)$ is the $r$-th derivative of $L(E, s)$. ### Key conclusions: - **Corollary A**: If the original BSD conjecture holds, then the modern BSD conjecture also holds. - **Corollary B**: Suppose that the Riemann hypothesis holds and the modern BSD conjecture holds, then the original BSD conjecture also holds on the set excluding a finite logarithmic measure. ### Method: The author proves these results by studying the asymptotic behavior of the partial Euler product of the $L$-function on the right side of the critical strip. Specifically, they use the explicit formula technique and improve the estimation of the error term, thus obtaining more refined results. ### Summary: The main contribution of this paper is to establish the connection between the original BSD conjecture and the modern BSD conjecture, and under the assumption that the Riemann hypothesis holds, provide a proof of the equivalence between these two conjectures. In addition, the author also improves the error term estimation in previous work, making the results more accurate.

Euler Product Asymptotics for $L$-functions of Elliptic Curves

Euler Products at the Centre and Applications to Chebyshev's Bias

Quantitative upper bounds related to an isogeny criterion for elliptic curves

On anticyclotomic variants of the $p$-adic Birch and Swinnerton-Dyer conjecture

On the arithmetic of a family of twisted constant elliptic curves

L-series and their 2-adic and 3-adic valuations at s=1 attached to CM elliptic curves

Anticyclotomic $p$-adic $L$-functions for Rankin--Selberg product

A formulation for p-adic versions of the Birch and Swinnerton-Dyer conjectures in the supersingular case

A $p$-adic arithmetic inner product formula

On Larsen's conjecture on the ranks of Elliptic Curves

The Lang-Trotter Conjecture for the elliptic curve $y^2=x^3+Dx$

A note on $ L(1) $ of Hecke $ L-$series associated to the elliptic curves with CM by $ \sqrt{-3} $

Zeta elements for elliptic curves and applications

A visual perspective on the Birch and Swinnerton-Dyer conjecture through a family of approximations of $L$-functions

On the Birch-Swinnerton-Dyer conjecture for modular abelian surfaces

Rank growth of elliptic curves in $S_4$ and $A_4$ quartic extensions of the rationals

Horizontal $p$-adic $L$-functions

On obstructions to the Euler system method for Rankin-Selberg convolutions

On Rubin's variant of the p-adic Birch and Swinnerton-Dyer conjecture II

Conditional estimates for $L$-functions in the Selberg class

Rank growth of elliptic curves in nonabelian extensions