MATH-PROGRAMME · Documentary Treatment · BSD-001
The Hidden Music of Elliptic Curves
A guided journey to the Birch and Swinnerton–Dyer conjecture
The rational points on a curve and the silence of its analytic function at one central point are conjectured to measure the same hidden rank.
A note to the reader
## Wonder first; the open boundary always visible An elliptic curve may be written in a line, yet its rational points can resist every direct search. Birch and Swinnerton–Dyer proposes that this arithmetic difficulty is reflected exactly by a complex analytic object assembled from point counts at every prime. The conjecture remains open. This browser edition is a derivative, source-normalized exposition. The plates provide memory and atmosphere; text inside them is decorative. The definitions, equations, source links, campaign records, and trust labels govern the mathematics. **Edition status:** Open Millennium Prize Problem; documentary exposition; no proof claim.For every elliptic curve $E/\mathbb{Q}$, the Mordell–Weil rank is conjectured to equal the order of vanishing of $L(E,s)$ at $s=1$. The universal leading-term formula and the general finiteness of the Tate–Shafarevich group remain open.
Numerical agreement, parity, Selmer bounds, family averages, one-prime results, $p$-adic formulas, and the analytic-rank-zero-or-one theorem terrain do not by themselves establish the universal complex conjecture.
Chapter I
## The ancient question of rational solutions Over the real numbers, a cubic curve is a continuous shape. Over the rational numbers, its points form a sparse constellation. The question is not merely whether a point exists, but whether all rational points can be described by finitely many instructions.An elliptic curve over $\mathbb{Q}$ is a smooth projective genus-one curve equipped with a rational base point. In a short Weierstrass model it may be written $E:y^2=x^3+Ax+B$ with $4A^3+27B^2\ne0$.
Chapter II
## A curve that adds Draw a line through two rational points on a nonsingular cubic. The line meets the cubic a third time; reflecting that third intersection across the horizontal axis defines the sum. Tangency supplies doubling. The geometry hides rational formulas, so rational points add to rational points.The group of rational points is finitely generated: $E(\mathbb{Q})\cong\mathbb{Z}^r\oplus E(\mathbb{Q})_{\mathrm{tors}}$. The integer $r$ is the algebraic rank.
Arithmetic ledger
Rational points
Torsion subgroup
Rank and regulator
Analytic ledger
Prime point counts
Euler product
Central zero and leading term
Chapter III
## Counting at every prime Reduce a suitable integral equation modulo a prime $p$ and count its points over the finite field $\mathbb{F}_p$. At a prime of good reduction define $$a_p=p+1-\#E(\mathbb{F}_p).$$ The local factor is $$L_p(E,s)=\left(1-a_pp^{-s}+p^{1-2s}\right)^{-1},$$ with separate factors at bad primes. Their Euler product defines the Hasse–Weil $L$-function in its initial half-plane of convergence.Every elliptic curve over $\mathbb{Q}$ is modular. Consequently its $L$-function has analytic continuation and a functional equation centred at $s=1$. This web edition uses that theorem; it does not reconstruct its proof.
Chapter IV
## One number in two languages The public face of the conjecture is the equality $$\operatorname{rank}E(\mathbb{Q})=\operatorname{ord}_{s=1}L(E,s).$$ The left side counts independent rational generators. The right side counts how many derivatives vanish before the first nonzero Taylor coefficient appears at the central point. The strong form predicts more. If $r=\operatorname{rank}E(\mathbb{Q})$ and the Tate–Shafarevich group is finite, then—after fixing standard conventions— $$\frac{L^{(r)}(E,1)}{r!}=\frac{\Omega_E\,\operatorname{Reg}(E/\mathbb{Q})\,\#\operatorname{Sha}(E/\mathbb{Q})\,\prod_p c_p}{\#E(\mathbb{Q})_{\mathrm{tors}}^2}.$$ Period measures the real geometry; the regulator measures the arithmetic lattice; Tamagawa numbers record bad-prime component defects; torsion corrects finite symmetry; the Tate–Shafarevich group records locally soluble torsors that may fail globally.Rank equality, finiteness of $\operatorname{Sha}$, and the normalized leading-term formula are logically distinct. A theorem about one of them does not silently prove the others.
Chapter V
## Islands of theorem, ocean of conjecture Modularity and Mordell–Weil finite generation are theorems. Gross–Zagier and Kolyvagin establish the decisive low-rank terrain: for elliptic curves over $\mathbb{Q}$ of analytic rank zero or one, algebraic rank agrees with analytic rank and the Tate–Shafarevich group is finite.Analytic rank $0$ or $1$ yields the matching Mordell–Weil rank and finite $\operatorname{Sha}$ for elliptic curves over $\mathbb{Q}$, through modularity, Gross–Zagier, and Kolyvagin.
For every elliptic curve over $\mathbb{Q}$: equality of algebraic and analytic rank, finiteness of $\operatorname{Sha}$, and the complete complex leading-term formula.
Geometry writes the instrument. Arithmetic chooses the notes. Analysis reveals the score.
Technical appendix A
## Elliptic curves and the Mordell–Weil group For a short Weierstrass model $E:y^2=x^3+Ax+B$, the discriminant is $\Delta=-16(4A^3+27B^2)\ne0$. The projective point $O=[0:1:0]$ is the identity. For distinct $P=(x_1,y_1)$ and $Q=(x_2,y_2)$ with $x_1\ne x_2$, $$m=\frac{y_2-y_1}{x_2-x_1},\qquad x_3=m^2-x_1-x_2,\qquad y_3=-y_1+m(x_1-x_3).$$ Then $P+Q=(x_3,y_3)$. Associativity is not a consequence of the picture alone; it belongs to the algebraic-group structure. The canonical height pairing on a basis $P_1,\ldots,P_r$ of the free part yields $$\operatorname{Reg}(E/\mathbb{Q})=\det\bigl(\langle P_i,P_j\rangle\bigr),$$ with the empty determinant convention $1$ when $r=0$.Technical appendix B
## The $L$-function and analytic rank The Euler product converges absolutely initially for $\operatorname{Re}(s)>3/2$. Modularity identifies it with the $L$-series of a weight-two newform. A standard completed normalization is $$\Lambda(E,s)=N^{s/2}(2\pi)^{-s}\Gamma(s)L(E,s),$$ satisfying $\Lambda(E,s)=w_E\Lambda(E,2-s)$. The analytic rank is $$r_{\mathrm{an}}(E)=\operatorname{ord}_{s=1}L(E,s).$$ The root number gives $(-1)^{r_{\mathrm{an}}}=w_E$. This is analytic parity, not by itself the algebraic rank equality.Technical appendix C
## The strong formula and normalization discipline Authors distribute real periods, archimedean factors, completed-function terms, and local conventions differently. A claimed comparison must first reconcile those choices. The formula displayed here uses the incomplete Hasse–Weil $L$-function and a standard real-period convention.A missing period component, factorial, torsion square, bad-prime factor, or completed-function term can create a false disagreement—or a false proof. Symbol matching is not normalization matching.
Technical appendix D
## Selmer groups, descent, and the hidden term Kummer theory yields $$0\longrightarrow E(\mathbb{Q})/nE(\mathbb{Q})\longrightarrow \operatorname{Sel}_n(E/\mathbb{Q})\longrightarrow \operatorname{Sha}(E/\mathbb{Q})[n]\longrightarrow0.$$ For a prime $p$, $$0\longrightarrow E(\mathbb{Q})\otimes\mathbb{Q}_p/\mathbb{Z}_p\longrightarrow \operatorname{Sel}_{p^\infty}(E/\mathbb{Q})\longrightarrow \operatorname{Sha}(E/\mathbb{Q})[p^\infty]\longrightarrow0.$$ Descent converts an infinite search into finite covering and local-solubility problems and can give an upper bound on rank. The upper bound is sharp only after the relevant Tate–Shafarevich contribution is controlled.Selmer corank is not automatically Mordell–Weil rank. A nontrivial $p$-primary Tate–Shafarevich contribution may remain.
Technical appendix E
## Known results and claim-level trust matrix | Claim | Trust class | Qualification | |---|---|---| | $E(\mathbb{Q})$ is finitely generated | established | Mordell–Weil theorem | | Every elliptic curve over $\mathbb{Q}$ is modular | imported established | supplies continuation and functional equation | | Analytic rank $0$ or $1$ gives matching algebraic rank and finite $\operatorname{Sha}$ | imported established | exact low-rank terrain | | Universal rank equality | open | no finite computation, parity theorem, or family result promotes it | | Universal finiteness of $\operatorname{Sha}$ | open | separate from rank equality | | Universal complex leading-term formula | open | requires every normalization and arithmetic factor | | A fixed-curve rigorous computation | bounded evidence or certificate | does not imply the universal statement | | A $p$-adic or one-prime theorem | hypothesis-sensitive theorem terrain | not identical to the global complex formula | | Illuminated plates | pedagogical | never authoritative proof diagrams |This web edition changes presentation, not theorem strength. It does not prove BSD, provide a new reduction, independently verify the complete literature, or make a novelty or priority claim.
Sources and programme crosswalk
## The governing literature and campaign recordAndrew Wiles, The Birch and Swinnerton–Dyer Conjecture, official Millennium Problem description.
B. J. Birch and H. P. F. Swinnerton-Dyer, “Notes on elliptic curves II” (1965).
Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor, “On the modularity of elliptic curves over $\mathbb{Q}$” (2001).
Benedict Gross and Don Zagier, “Heegner points and derivatives of $L$-series” (1986).
V. A. Kolyvagin and D. Yu. Logachev, “Finiteness of the Shafarevich–Tate group and the group of rational points for some modular abelian varieties” (1989/1990).
Clay Mathematics Institute: Birch and Swinnerton–Dyer Conjecture.
Edition record
This is the first conversion built on the immutable Poincaré reference contract. It tests the shared reader against arithmetic geometry, local-to-global diagrams, layered conjecture statements, dense notation, and a stronger distinction among theorem, imported result, evidence, and open claim.
The web edition is derivative. The committed pointer is a source record; the checksum-locked complete illustrated source bundle is the authoritative source artifact. MathJax 3.2.2 is a version-pinned network enhancement, and the source TeX remains present when it is unavailable.
Web claim boundary: Browser-native, source-normalized exposition of rational points, the Mordell–Weil group, the Hasse–Weil L-function, low-rank theorem terrain, and the strong BSD formula. Numerical agreement, parity, Selmer bounds, family results, one-prime theorems, and $p$-adic analogues are not promoted to the universal complex conjecture.
- Rendered PDF
- 16,582,087 bytes ·
36254378e11fd22a067944838341ae04fedbd13e5ea588180023874d7ba49ce9·metadata_only - Complete LaTeX source
- 50,500 bytes ·
9b7b95702a5305c51e66e026d44ddf3003029808edb3009ed1b2fcbc92e6b2b4·metadata_only - Authoritative complete illustrated source bundle
- 16,995,210 bytes ·
c0782575453227311630e17c443a4dea08091b3a3824bc23a1af17f5bd0d8377·metadata_only