Abstract view
On a Conjecture of Birch and SwinnertonDyer


Published:20050401
Printed: Apr 2005
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 SwinnertonDyer 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, 11M06 show english descriptions
Other Dirichlet series and zeta functions {For local and global ground fields, see 11R42, 11R52, 11S40, 11S45; for algebrogeometric methods, see 14G10; see also 11E45, 11F66, 11F70, 11F72} $\zeta (s)$ and $L(s, \chi)$
11M41  Other Dirichlet series and zeta functions {For local and global ground fields, see 11R42, 11R52, 11S40, 11S45; for algebrogeometric methods, see 14G10; see also 11E45, 11F66, 11F70, 11F72} 11M06  $\zeta (s)$ and $L(s, \chi)$
