Higher Reciprocity, Cassels Pairings, and Selmer Towers for the 3/5 Congruent Number Problem
In the authors' words
We study the arithmetic of the elliptic curves \[ A_m:y^2=x(x-m)(x+4m) \] attached to the congruent number problem. A difference of ternary representation numbers controls the relevant central -values. For the ordinary Cassels pairing degenerates; we construct an explicit -cover and show that the next Cassels--Tate pairing is governed by the normalized representation defect, equivalently by a factorial character, a Pell symbol, and a class number congruence. For composite parameters we compute the ordinary Cassels matrices of four twists and, in the two prime case, a degree governing field for their joint distribution. The same higher descent extends to larger radicals: a second rational pushout determines the full row of the next pairing. We also determine two explicit Selmer towers with four dimensional ordinary radical, and all finite -power Selmer groups when the ordinary radical is one dimensional.
Appeared: Tuesday, September 22. arXiv. Preprint, not yet peer-reviewed.