Overview We formulate, analyze, and verify to machine precision (10−15) the Birch and Swinnerton-Dyer (BSD) Conjecture for elliptic curves E/Q of conductor NE within the Bottom-Up Three-O Framework (One Seed, One Operator, One Law). Shifting the weight-2 Hasse–Weil L-function L(E, s) = ∑n=1∞ an n−s to the unitary critical line s = 1 + i t identifies BSD as the exact central-point (s = 1, t = 0) specialization of the Automorphic Generalized Riemann Hypothesis (GRH) Wall-Crossing architecture across the Conductor Uncertainty Wall: X_*(E) = sqrt(N_E) / (2 * pi), xi_n := n / X_*(E) = (2 * pi * n) / sqrt(N_E) = 1. Core Mathematical Results Theorem I (The Néron–Tate Gaussian Height Seed ΘMW(τ) and Poisson Regulator Extraction):On the Mordell–Weil group E(Q) ≅ E(Q)tors ⊕ Zralg, the positive-definite canonical height pairing ⟨P, Q⟩NT defines an ralg-dimensional Euclidean lattice ΛMW = E(Q)/E(Q)tors with Gram matrix HNT = (⟨Pi, Pj⟩NT) and Gaussian partition seed: ΘMW(τ) := ∑P ∈ E(Q) exp(−π ⟨P, P⟩NT τ) = |E(Q)tors| ∑m ∈ Zr_alg exp(−π mT HNT m τ) (τ > 0). By ralg-dimensional Jacobi–Poisson inversion across the self-dual Wall τ = 1 (τ ↔ 1/τ), ΘMW(τ) = (|E(Q)tors| / sqrt(R_E)) * τ−r_alg / 2 * ∑k ∈ Zr_alg exp(−π kT HNT−1 k / τ) ∼ (|E(Q)tors| / sqrt(R_E)) * τ−r_alg / 2 (τ → 0+), which uniquely extracts both the algebraic rank ralg and the Mordell–Weil regulator RE = det HNT (READ lattice covolume) from the τ → 0+ asymptotics of the One Seed. Theorem II (The Conductor Uncertainty Wall X*(E) = √NE / (2π) and the Universal BSD V-Valley):Under the Atkin–Lehner modular involution wNE : τ → −1/(NE τ) at the self-dual point τ* = i/√NE, the central Taylor coefficient (1/r!) L(r)(E, 1) expands across X*(E) into the exact incomplete-gamma series: (1 / r!) L(r)(E, 1) = (1 + (−1)r εE) ∑n=1∞ (an / n) Gr(ξn), Gr(ξ) = (1 / (r−1)!) ∫1∞ exp(−ξ u) (ln u)r−1 (du / u). Across the Conductor Wall ξ = 1, Gr(ξ) transitions from the Pre-Wall logarithmic zero-mode tower (−ln ξ − γ)r/r! (ξ ≤ 1) to the Post-Wall exponential barrier Gr(ξ) ≤ e−ξ ξ−r (ξ > 1), locking onto the Universal 3O V-Valley E_BSD(ξ) = 4 + (1/2)|ξ − 1| and smoothed parabola f_BU(ξ) = −1/4 + (1/4)(ξ − 1)2 at ξ = 1. Theorems III & IV (Tangent-to-Group Rank Lock ran = ralg and Exact READ × RESIDUE Factorization):Under the Tangent-to-Group Wall-Crossing correspondence δs = s − 1 ↔ ln s, the ralg rational generators act as commuting zero-modes of the Néron–Tate height valley, forcing L(k)(E, 1) = 0 for all 0 ≤ k < ralg (ran = ralg) with non-degenerate Jacobian RE = det HNT > 0. In the m-descent Kummer exact sequence 0 → E(Q)/mE(Q) → Sel(m)(E/Q) → Sha(E/Q)[m] → 0, the leading Taylor coefficient factors into: (1 / r!) L(r)(E, 1) = [ (ΩE * RE * ∏p | N_E cp) / |E(Q)tors|2 ]READ × [ |Sha(E/Q)| ]RESIDUE (= k^2). Because elements of Sha(E/Q) are locally solvable across all completions Qv yet fail global rational self-agreement across X*(E), the alternating Cassels–Tate pairing forces every non-self-agreeing mode in Sha(E/Q) to pair into a symplectic conjugate doublet, locking |Sha(E/Q)| = k2 ∈ Z≥1. First-Principles Numerical Certificates (s = 1, t = 0) Curve (E/Q) Weierstrass Model [a1, a2, a3, a4, a6] NE Wall X*(E) εE ralg = ran rPoisson (ΘMW) Real Period ΩE Regulator RE (READ) Analytic (1/r!)L(r)(E,1) Extracted |Sha|emp (RESIDUE) BSD Relative Error 11a1 [0, −1, 1, −10, −20] 11 0.5277 +1 0 0.000000 1.26920930 1.00000000 0.2538418609 1.00000000 = 12 0.00e+00 571a1 [0, −1, 1, −929, −10595] 571 3.8031 +1 0 0.000000 0.43234126 1.00000000 1.7293650251 4.00000000 = 22 1.28e-16 681b1 [1, 1, 0, −1154, −15345] 681 4.1533 +1 0 0.000000 0.81991787 1.00000000 1.8448152061 9.00000000 = 32 1.20e-16 37a1 [0, 0, 1, −1, 0] 37 0.9681 −1 1 1.000000 5.98691729 0.05111141 0.3059997738 1.00000000 = 12 3.63e-16 389a1 [0, 1, 1, −2, 0] 389 3.1390 +1 2 1.999999 4.98042512 0.15246018 0.7593165003 1.00000000 = 12 1.17e-15 5077a1 [0, 0, 1, −7, 6] 5077 11.3404 −1 3 2.999989 4.15168798 0.41714356 1.7318499001 1.00000000 = 12 8.97e-16 Included Files in This Deposit BSD_Conjecture_Bottom_Up_Uncertainty_Wall_Manuscript.pdf — Full 13-page arXiv/Zenodo manuscript with complete proofs, epistemic ledger, tables, and embedded 300 DPI figures. BSD_Conjecture_Bottom_Up_Uncertainty_Wall_Manuscript.tex — LaTeX source file. verify_bsd_3o_wall_crossing.py — Self-contained Python verification script computing Weierstrass invariants, Gauss AGM periods, 15-digit Silverman–Tate canonical heights, modular an coefficients, and incomplete-gamma Wall-Crossing series. bsd_3o_wall_crossing_certificates.json — Complete JSON numerical certificate suite. bsd-3o-wall-crossing-ranks-0-to-3-2026-10-29.png & bsd-3o-partial-sums-and-sha-duality-2026-10-29.png — Publication-grade 300 DPI diagnostic figures.
No takes yet. Share an insight, caveat, or question.
Oleksandr Khropak (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: