The Birch–Swinnerton–Dyer Rank Problem: Reduction of the Analytic Rank Two Case

Let E/Q be an elliptic curve, and define r_alg = rank_Z E(Q), and r_an = ord_(s=1) L(E,s). The Birch-Swinnerton-Dyer rank conjecture asks for r_alg = r_an. This manuscript studies the first unresolved analytic-rank case, r_an = 2. The standard Mordell-Weil, Kummer-Selmer, and p-parity formulas are written in a form that keeps the Mordell-Weil contribution and the divisible Tate-Shafarevich contribution separate. Two elementary algebraic results are then proved: an exterior-power criterion for membership in a subspace of a short exact sequence, and the complete invariant-factor profile of a finite-length module over a discrete valuation ring. These formulas show precisely what additional arithmetic input would be required to convert a higher Selmer or Iwasawa-theoretic class into Mordell-Weil rank. The argument reaches the implication L''(E,1) is non-zero implies E(Q) tensor Q_p is non-zero. but this implication is not established here in the generality of the Clay problem. Consequently, the argument does not prove the analytic-rank-two case of the Birch-Swinnerton-Dyer conjecture.