Pairing pythagorean pairs

Abstract

A pair (a,b) of positive integers is a pythagorean pair if a2+b2=□ (i.e., a2+b2 is a square). A pythagorean pair (a,b) is called a double-pythapotent pair if there is another pythagorean pair (k,l) such that (ak,bl) is a pythagorean pair, and it is called a quadratic pythapotent pair if there is another pythagorean pair (k,l) which is not a multiple of (a,b), such that (a2k,b2l) is a pythagorean pair. To each pythagorean pair (a,b) we assign an elliptic curve Γa,b with torsion group Z/2Z×Z/4Z, such that Γa,b has positive rank over Q if and only if (a,b) is a double-pythapotent pair. Similarly, to each pythagorean pair (a,b) we assign an elliptic curve Γa with torsion group Z/2Z×Z/8Z, such that Γa has positive rank over Q if and only if (a,b) is a quadratic pythapotent pair. Moreover, in the later case we obtain that every elliptic curve Γ with torsion group Z/2Z×Z/8Z is isomorphic to a curve of the form Γa, where (a,b) is a pythagorean pair. As a side-result we get that if (a,b) is a double-pythapotent pair, then there are infinitely many pythagorean pairs (k,l), not multiples of each other, such that (ak,bl) is a pythagorean pair; the analogous result holds for quadratic pythapotent pairs.