Good elliptic curves with a specified torsion subgroup (Q2079472)

An ABC triple \((a,b,c)\) is said to be good if \(\mathrm{rad}(abc)<\max (|a|,|b|,|c|)\). Under the equivalence of ABC conjecture and the modified Shapiro's conjecture for elliptic curves, an elliptic curve \(E\) defined over \(\mathbb Q\) is said to be good if \(N_E^6<\max (|c_{4,E}|^3,c_{6,E}^2)\), where \(N_E\) is the conductor of \(E\) and \(c_{4,E},c_{6,E}\) are invariants of the global minimal model of \(E\). It is well-known that there are infinitely many good ABC triples. The author proves that there are infinitely many good non-isomorphic elliptic curves \(E\) defined over \(\mathbb Q\) with \(E(\mathbb Q)_{\mathrm{tor}}\simeq T\) for each \(T\) one of possible fifteen torsion subgroups of the group of \(\mathbb Q\)-rational points of elliptic curves defined over \(\mathbb Q\). The proof is constructive. For each \(T\), he gives a family of elliptic curves \(F_T(a,b)\) of two parameters \(a,b\in\mathbb Z\). With some assumptions on \(a\) and \(b\), he shows that \(F_T(a,b)(\mathbb Q)_{\mathrm{tor}}\simeq T\) and gives explicitly the minimal discriminant \(D_T\) of \(F_T\) and the coefficients \(A_T=c_{4,F_T}, B_T=c_{6,F_T}\). Using the identity \(1728D_T+B_T^2=A_T^3\), he constructs a sequence of good ABC triples for \(T \ne C_1,C_2,C_5\) as following way. Find a good positive ABC triple \(P_0^T=(a_0,b_0,c_0)\) with \((a_0,b_0,c_0)\) satisfying some given assumptions depending on \(T\). For \(n\ge 1\), recursively he defines good ABC triples \(P_n^T=(1728D_T(a_{n-1},b_{n-1}),B_T(a_{n-1},b_{n-1})^2,A_T(a_{n-1},b_{n-1})^3)\). For \(T=C_1,C_2\), put \(P_n^T=P_n^{C_8}\). Then for \(T\ne C_5\), \(F_T(a_n,b_n)\) are good elliptic curves and for \(T=C_5\), \(F(1,2^n)\) are good elliptic curves.