Infinitely many elliptic curves of rank exactly two. II (Q2010764)

This article is a continuation of that by \textit{D. Byeon} and \textit{K. Jeong} [Part I, Proc. Japan Acad., Ser. A 92, No. 5, 64--66 (2016; Zbl 1350.11064)]. Assuming the parity conjecture, the author gives infinite families of elliptic curves \(E\) rational over \(\mathbb Q\) such that the rank of the group of \(\mathbb Q\)-rational points \(E(\mathbb Q)\) is exactly \(2\) and the order of its torsion subgroup is \(2\) or \(3\). These families are composed by the elliptic curves \(E_{pq}\) and \(A_{rs}\) parametrized by infinite many pairs of distinct prime numbers \((p,q)\) and \((r,s)\) such that \(2a^2=p+q\) for \(a\in\mathbb Z\), \(p\equiv 15, q\equiv 3 \pmod{16})\) and \(2b^3=27r+s\) for \(b\in\mathbb Z\), \(r\equiv 2, s\equiv 7 \pmod 9\) respectively. For such pairs \((p,q)\) (resp.\((r,s)\)), \(E_{pq}\) (resp.\(A_{rs}\)) is defined by the equation: \(y^2=x^3-pqx\) (resp., \(y^2=x^3+r^2s^2\)). By applying the method of descent via \(2\)-isogeny (resp.\(3\)-isogeny) to \(E_{pq}\) (resp., \(A_{rs}\)), the author shows that \(E_{pq}(\mathbb Q)\simeq\mathbb Z^i\times \mathbb Z/2\mathbb Z\) and that \(A_{rs}(\mathbb Q)\simeq\mathbb Z^i\times \mathbb Z/3\mathbb Z\) with \(1\le i\le 2\) and further that the root numbers of \(E_{pq}\) and \(A_{rs}\) are \(1\). Under the parity conjecture, since the root number is \(1\) implies that the rank of the group of rational points is even, the rank of \(E_{pq}(\mathbb Q)\) and \(A_{rs}(\mathbb Q)\) are \(2\).