Non-Semistable Family Theorem Schema

文件開頭就先自我設限:「本文件不是定理宣稱,而是列出完整 proof obligations」。候選定理的形狀是:令 $E/\mathbb Q$ 為 optimal、analytic-rank-0 的橢圓曲線,不要求 semistable;令 $\mathcal D(E)$ 是使 Banwait–Huang Theorem 2.14 某分支成立的 squarefree twist parameter family;對 $d\in\mathcal D(E)$,已知候選輸出 $L(E_d,1)\ne0$ 與 $\operatorname{BSD}(E_d,2)$;若能再證 $\forall p>2,\ \operatorname{BSD}(E_d,p)$,則 $\operatorname{BSD}(E_d)$ 成立。文件列出五條 bridge hypotheses(FW-H1/H2/H3 對 base $E$ 成立、H1/H2 在 twist 下保持、$d$ 的 splitting conditions 使 H3 witness 局部保持、FW Corollary 的 period/Manin normalization 與 Banwait BSD convention 相容、$L(E_d,1)\ne0$ 可直接供給 FW rank-zero corollary),全部成立才能得到 $\forall d\in\mathcal D(E),\ \mathrm{BSD}(E_d)$。文件誠實點名目前最危險的兩個 gap:Gap A 是 03、04 篇反覆強調的 $\forall p>2$ 尚未 finite-ized;Gap B 則是新的——Fouquet–Wan Corollary 中的 modular-form period 到 Néron period,在小質數 $p$ 的 Manin constant 處理需要乾淨拼接,兩套 BSD convention 不能想當然地直接對接。文件最後給出一條務實的第一版策略:用 FW 處理「large/generic odd primes」,保留 Banwait 已有的 small-prime theorems 處理 $3,5,7$,對 $p=2$ 保留原本的 Theorem 2.14——這種 hybrid theorem 可能比試圖用單一框架處理一切更容易發表與驗證。