← Radical-FDRS:一維展平與固定切片的橢圓—Chabauty 機制 / R13–R16 · 典範覆蓋與篩的飽和

Radical-FDRS:一維展平與固定切片的橢圓—Chabauty 機制 R13–R16 · 典範覆蓋與篩的飽和 原文未署名

Kummer 扭轉等價、典範橢圓 Chabauty 覆蓋與殘餘傳輸、典範覆蓋篩,及典範第二橢圓商與歷史 E_− 的識別

R13:R12 的商閘與歷史 G2E.5 的閘 f_old = 2 − x(在 E_0 上)只差 Kummer 類 [x](沿 2-同源拉回後平凡),合併兩條譜系。R14:選定 E_0 上的典範覆蓋 r² = 2 − x,奇指標代理 Q = (1, 961408/950625)(奇指標在 mod 17 被認證),把 R11 的封包傳輸過去並消除撓歧義,給出典範虧格 2 六次式 Y² = (2 − r²)(M²r⁴ − 2M²r² + L²)。R15:在典範覆蓋上、兩個新質數 11,532,251 與 15,721,883(投影階 2^19)做有限質數篩,沒有消除任何 R11 的類——一個負面(沒有進展)的計算結果,所以橢圓/二次 Chabauty 是下一步。R16:把第二個商明確化並識別為歷史的整係數 E_−,所以 Jac(H_can) ~ E_0 × E_− 的秩 2 = g(普通 Chabauty 失敗、二次 Chabauty 的維度準則成立);在同兩個質數上的對偶商篩同樣什麼也沒消除。

四份精確的結構與傳輸定理,加兩個誠實報告的「沒有進展」計算;每份狀態行都寫不是證明(R16 第 40 節:「不證明固定切片的不存在性定理」)。 秩 1 的輸入是繼承的;R13 第 35 節保留了在 E_0 上與在 E_0′ 上的區別,並更正「兩個覆蓋在 E_0 上相同」的非正式說法。R14 的 mod-17 證書、R15 的計數與階與 R16 的非同源(a_17 = −6 對 2)在上架前的通讀中重驗。

連接 · Connections

本文提供英文原文的全文譯本;原文仍是研究主張的權威來源。翻譯不代表獨立數學驗證,也不提升原有證據層級。

載入中…