← Radical-FDRS: One-Dimensional Flattening and Elliptic–Chabauty Machinery on the Fixed Slice / R20 and R21 · bad-prime local heights and coupled local images

Radical-FDRS: One-Dimensional Flattening and Elliptic–Chabauty Machinery on the Fixed Slice R20 and R21 · bad-prime local heights and coupled local images unsigned in the source

Bad-Prime Local-Height Sets, Coarse Ω Saturation and the Coupled-Local-Image Correction, and the Exact Finite Quadratic-Chabauty Target Modulo 11^5

R20: computes every bad-prime local-height set and the theorem-level Ω_q, finds their Minkowski sum saturates (all 11^4 multiples of 11, so no root isolation is possible from it), and records that R19's 'global minimal' wording was wrong at q = 2. R21: keeping the two elliptic images coupled at each bad prime shrinks the quadratic-Chabauty target set from 14641 to 721 residue classes mod 11^5 (with the SHA-256 of the list) and fixes the 2-adic strata r = ±3 (8), ±7 (16), ±15 (32), ±1 (256).

Exact local reduction tables and a finite target compression; R20 is a corrigendum round and R21 says the final height audit and the 11-adic root isolation remain open. The pre-publication read-through recomputed the 721 classes of R21, the nine Iwasawa logarithms, the appendix list and the checksum, all matching; the discriminant valuations, Kodaira types and split/non-split data of R20 were also re-verified.

Connections · Connections

PreviousR17–R19 · the quadratic-Chabauty specification and a custom backend · The Quadratic-Chabauty Local Normal Form at p = 11, 11-Saturation with Custom Formal Elliptic Logarithms, and Mazur–Tate 11-Adic Heights with Calibration of the Bielliptic Quadratic-Chabauty Function
NextR22 and R23 · the end of the series and a corrigendum · The Certified Height Audit and First Quadratic-Chabauty Root Filtering, and the QC Pole-Cancellation Corrigendum, the True Mock Branch and a Cross-Prime Mordell–Weil Height Barrier

Loading…