{"id":"arxiv/2608.11969","url":"https://arxiv.org/abs/2608.11969","tags":["math.NT"],"score":0,"title":"A $p$-part Birch and Swinnerton-Dyer Formula over Totally Imaginary Quadratic Extension of Totally Real Fields","domain":"math.NT","source":"arxiv","authors":["Haidong Li"],"reviews":0,"subject":"math.NT","summary":"This article studies a modular semistable elliptic curve $E$ over a totally real number field $F$ such that, upon base change to a totally imaginary quadratic extension $K$, it has analytic rank one. Assuming the Iwasawa main conjecture, along with a substantial number of assumptions, we prove a variant of the $p$-part of the Birch and Swinnerton-Dyer formula over $K$, where $p$ is an odd prime. More precisely, up to a $p$-adic unit, we have $$ \\frac{L'(E/K,1)}{Ω^{\\mathrm{cong}}_{\\mathbf{f}} \\operatorname{Reg}(E/K)} = \\# Sha(E/K)[p^\\infty]\\prod_{u} c_u(E/K), $$ where…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-12","reactions":{}}