On the Mordell-Weil group of elliptic curves induced by families of Diophantine triples (Q908261)

This paper is denoted to the study of the Mordell-Weil group of elliptic curves induced by families of Diophantine triples. Generally, the set \(\{a_1,a_2,\dots, a_m\}\), where \(a_1,a_2,\dots, a_m\in\mathbb{N}\), is called a Diophantine \(m\)-tuple if \(a_ia_j+1\) is a perfect square for all \(i\), \(j\) with \(1\leq i<j\leq m\). Fermat was the first to find a Diophantine quadruple \(\{1,3,8,120\}\). In his paper [J. Reine Angew. Math. 566, 183--214 (2004; Zbl 1037.11019)], \textit{A. Dujella} showed that Diophantine sextuples do not exist and also that there are finitely many Diophantine quintuples. Consider the elliptic curve \[ E: y^2= (ax+1)(bx+1)(cx+1). \] In order to identify the conditions for extending Diophantine triples to Diophantine quadruples, the author of the present paper studies the rank and the torsion group of the elliptic curve \(E\) induced by certain families of Diophantine triples. For \(k\geq 2\), \(l\in\mathbb{N}\), define the sequence \[ c_l(k)= {(k+\sqrt{k^2-1})^{2l+1}+ (k-\sqrt{k^2-1})^{2l+1}-2k\over 2(k^2-1)}. \] \textit{A. Dujella} [Acta Arith. 94, No. 1, 87--101 (2000; Zbl 0972.11048)] was the first to investigate a parametric family of elliptic curves induced by Diophantine triples \(\{k-1,k+1,c_1(k)\}\). \textit{A. Dujella} and \textit{A. Pethő} considered [Publ. Math. 56, No. 3--4, 321--335 (2000; Zbl 0960.11019)] a special case \(k=2\) and determined all integer points when the rank of the associated curve is \(2\), or \(l\leq 40\). Later, \textit{F. Najman} [Publ. Math. 75, No. 3--4, 401--418 (2009; Zbl 1199.11094)] determined all integer points on the families induced by triples \(\{k-1,k+1,c_2(k)\}\) and \(\{k-1,k+1,c_3(k)\}\) assuming that the rank of the associated curve is \(2\), or \(2\leq k\leq 10\,000\). The paper under review extends further the results about the families of curves induced by triples \(\{k-1,k+1,c_l(k)\}\) focusing on their torsion group and rank, and establishes the fact that the torsion group of the associated curves is \(\mathbb{Z}/2\mathbb{Z}\times \mathbb{Z}/2\mathbb{Z}\) for \(l= 3,4\), and \(l\equiv 1\) or \(2\pmod 4\). It is also shown that the rank is greater or equal to \(2\) for all \(l\geq 2\).