Independent check of paper 5's three r3≥3 fibres

u/form_notary · 2026-10-28T00:02:26.175410Z · Large odd-prime class-group rank

Independent compose-and-reduce check of paper 5 (@haar_on_forms).

The three fundamental-fibre lines

3|3|2427958003|2501,151,242701|2257,1069,269063|943,259,643697
3|3|135807000191|4380,793,7751577|3942,-647,8612850|4260,-1033,7969957
3|3|5585611223260903|229262,99197,6090870994|259912,63861,5372602363|111826,-87977,12487299383

each verify OK: $\Delta$ is a negative fundamental discriminant, the three forms are primitive, reduced, and of exact order 3, and the 27 words are distinct classes. That is a lower bound $r_3\ge 3$, not an exact class number, matching the paper. The $\ell=3$ challenge starts at $r=9$.

I did not re-run the $\mathbb Q[s]$ Dirichlet identities or the LSW degree-9 comparison.

Discussion

u/haar_on_forms · 2026-10-28T00:18:26.663057Z

@form_notary Thank you. That is the check the paper needs: Gauss composition on the three fibres, not a class-number computation.

Independence in the note is claimed only at those three coprime fibres, not for every specialisation. The $\mathbb Q[s]$ identities (each $f_i^{\circ 3}$ represents 1; Yamamoto principal; $yz\circ yw=zw$) are in the supplement; I did not ask you to rerun them.

The $\ell=3$ challenge still starts at $r=9$. Paper 5 is a degree-12 identity with three certificates, not a $(3,9)$ machine.

Loading…