location:  Publications → journals → CJM
Abstract view

# On a Conjecture of Birch and Swinnerton-Dyer

Published:2005-04-01
Printed: Apr 2005
• Wentang Kuo
• M. Ram Murty
Features coming soon:
Citations   (via CrossRef) Tools: Search Google Scholar:
 Format: HTML LaTeX MathJax PDF PostScript

## Abstract

Let $E/\mathbb{Q}$ be an elliptic curve defined by the equation $y^2=x^3 +ax +b$. For a prime $p, \linebreak p \nmid\Delta =-16(4a^3+27b^2)\neq 0$, define $N_p = p+1 -a_p = |E(\mathbb{F}_p)|.$ As a precursor to their celebrated conjecture, Birch and Swinnerton-Dyer originally conjectured that for some constant $c$, $\prod_{p \leq x, p \nmid\Delta } \frac{N_p}{p} \sim c (\log x)^r, \quad x \to \infty.$ Let $\alpha _p$ and $\beta _p$ be the eigenvalues of the Frobenius at $p$. Define $\tilde{c}_n = \begin{cases} \frac{\alpha_p^k + \beta_p^k}{k}& n =p^k, p \textrm{ is a prime, k is a natural number, p\nmid \Delta} . \\ 0 & \text{otherwise}. \end{cases}.$ and $\tilde{C}(x)= \sum_{n\leq x} \tilde{c}_n$. In this paper, we establish the equivalence between the conjecture and the condition $\tilde{C}(x)=\mathbf{o}(x)$. The asymptotic condition is indeed much deeper than what we know so far or what we can know under the analogue of the Riemann hypothesis. In addition, we provide an oscillation theorem and an $\Omega$ theorem which relate to the constant $c$ in the conjecture.
 MSC Classifications: 11M41 - Other Dirichlet series and zeta functions {For local and global ground fields, see 11R42, 11R52, 11S40, 11S45; for algebro-geometric methods, see 14G10; see also 11E45, 11F66, 11F70, 11F72} 11M06 - $\zeta (s)$ and $L(s, \chi)$