AI 中文总结
研究孪生素数椭圆曲线E_p的解析秩与代数秩，利用2-Selmer计算和Cassels-Tate配对，在低余秩BSD假设下证明二者相等、Tate-Shafarevich群有限并给出精确BSD公式。
AI 中文摘要
设 $p\ge 7$ 且 $p$ 与 $p-2$ 均为素数。我们利用 Qiu-Zhang 的经典 $2$-Selmer 计算和 Cassels-Tate 配对研究 $E_p:y^2=x(x-2)(x-p)$。这些计算给出：当 $p\equiv 3,5\pmod{8}$ 时 $2^\infty$-Selmer 余秩为 1，当 $p\equiv 7\pmod{8}$ 时余秩为 0。假设 2026 年 10 月 OpenAI 数学发布中宣布的低余秩 Birch-Swinnerton-Dyer 论断，我们推导出在这些情形下解析秩与代数秩相等、完整 Tate-Shafarevich 群的有限性以及精确的 BSD 首项公式。$2$-primary Tate-Shafarevich 群是平凡的，剩余因子具有奇数的平方阶。我们精确地识别出在 $p\equiv 1\pmod{8}$ 类中遗留的障碍。附录给出了在此所用坐标下已知 Selmer 维数的局部下降证明。
英文摘要
Let $p\ge 7$ and suppose that $p$ and $p-2$ are prime. We study $E_p:y^2=x(x-2)(x-p)$ using the classical $2$-Selmer calculation of Qiu-Zhang and the Cassels-Tate pairing. These give $2^\infty$-Selmer corank one for $p\equiv 3,5\pmod{8}$ and corank zero for $p\equiv 7\pmod{8}$. Assuming the low-corank Birch-Swinnerton-Dyer statement announced in the October 2026 OpenAI mathematics release, we deduce equality of the analytic and algebraic ranks in these cases, finiteness of the full Tate-Shafarevich group, and the exact BSD leading-term formula. The $2$-primary Tate-Shafarevich group is trivial, and the remaining factor has odd square order. We identify precisely the obstruction left in the class $p\equiv 1\pmod{8}$. An appendix gives a local descent proof of the known Selmer dimensions in the coordinates used here.
Comments8 pages
