A Two-Witness Criterion for Strong BSD in Positive-Density Non-Semistable Quadratic-Twist Families

把 29 篇針對單一曲線 696.e1 的完整證明,正式抽象成一條可重用的充分判準,狀態欄同樣自陳「不宣稱新穎性或優先權」。Definition 2.1 定義「two-witness BSD certificate」七條件:(T1) 2-primary anchor;(T2) $S_3$ two-division field;(T3) controlled non-semistability(唯一 additive 質數是 $2$);(T4) 第一個 ramification witness(質數 $3$,$v_3(\Delta_E)=1$);(T5) nonsplit Fouquet–Wan witness(存在 $\lambda\ne3$ 使 $E$ 在 $\lambda$ nonsplit multiplicative 且 $v_\lambda(\Delta_E)=1$);(T6) residual irreducibility;(T7) optimality after twisting——文件特別註明這最後一條是刻意加入,只為了讓 period comparison 不依賴任何輔助 isogeny 論證。Theorem 4.1 證明:任何滿足 T1-T7 的曲線,都有一個正密度質數族 $\mathcal P_E$($\delta(\mathcal P_E)=\frac{[L_E\cap K_E:\mathbf Q]}{3[K_E:\mathbf Q]}>0$)使其每個 quadratic twist 都滿足 strong BSD,證明結構與 29 篇完全平行(七步驟涵蓋 2-part、殘餘不可約性、加法扭轉質數、good ordinary、fixed multiplicative、good supersingular、窮盡),只是把固定的 $29$ 換成任意滿足條件的 $\lambda$。696.e1 在這裡降格為 Corollary 5.1——只是 $\lambda=29$ 時的一個具體實例,不再是主角。第 6 節「What the criterion does and does not say」是全文最誠實的部分:明確承認 valuation-one 的假設比必要條件更強,只是為了讓每個奇質數的 witness 均勻、不需要例外質數稽核;並明確指出兩個立即可做的推廣方向——gcd-witness 判準(把 valuation 1 換成「gcd 沒有奇質因子」這種更寬鬆的條件)、odd-additive 延伸(允許有限多個奇 additive 質數,逐一驗證 Fouquet–Wan 的 local 條件)。文件把整體架構收成一句話:finite base certificate → positive-density Chebotarev support → all-prime BSD routing。