A criterion for transversality of curves and an application to the rational points (Q2231556)

In arithmetic geometry, it is of key interest to find an effective method to compute the finite set of \(K\)-rational points of a complete curve \(C\) over \(K\) of genus \(\geq 2\), with \(K\) a number field. The available methods based on Chabauty-Coleman and variations or Manin-Demjaneko method not always apply. Suppose once for all that \(C\) is embedded in \(E^N\) with \(E\) an elliptic curve \(E:y^2=f(x)=x^3+Ax+B\) with \(A,B\in K\). Assume \(E\) is not CM, and \(C\) is not contained in a translate of a proper algebraic subgroup of \(E^N\) (such curve \(C\) is named \textit{transverse}). In such assumptions, one can explicitly compute all \(K\)-rational points on \(C\), when \(rank_K E(K)< N\) where \(E(K)\) denote the group of \(K\)-points of \(E\) (the rank 1 case in [\textit{S. Checcoli} et al., Forum Math. Sigma 7, Paper No. e31, 62 p. (2019; Zbl 1471.11204)], and with rank \(<N\) in [\textit{F. Veneziano} and \textit{E. Viada}, ``Explicit height bounds for \(K\)-rational points on transverse curves in powers of elliptic curves'', Preprint, \url{arXiv:2006.02538}]). The paper under review observe that \(C\) is \textit{transverse} if and only if the space of differentials of \(C\) has dimension \(N\) over \(\mathbb{C}\), and consider \(C'\) inside \(E^N\) with \(N\geq 2\) defined by \[ C':\begin{cases} y_i^2=f(x_i),\;\;\; 1\leq i\leq N;\\ y_j=p_j(x_{j+1}),\;\; 1\leq j\leq N-1, \end{cases} \] where \((x_i,y_i)\) denote the affine coordinates of the \(i\)-th factor in the product \(E^N\) with \(1\leq i\leq N\) and \(p_1(x),\ldots,p_{N-1}(x)\in K[x]\) non-constant polynomial with coefficients in \(K\). The author in the paper under review proves that \(C'\) is irreducible, has only one point at infinity and it is \textit{transverse}. In the last section, following the techniques developed in [loc. cit., Zbl 1471.11204] obtains an upper bound for the normalized height for the points \(C'(K)\), computing explicitly its degree, and recalling the Zhang's inequality in the setting. Finally, for the use of Néron-Tate height at points, the authors restricts to \(\mathrm{rank}_K(E(K))<N\) by the use of an inequality involving normalized pairing and the degree when \(C'\) is \textit{transverse} [loc. cit., arXiv:2006.02538]. The author obtains such explicit bounds of the Néron-Tate height for the points of \(C'\) with \(N=3\) and \(E=664a1: y^2=x^3-7x+10\) and \(K=\mathbb{Q}\) (where \(\mathrm{rank}_{\mathbb{Q}}(E(\mathbb{Q}))=2\)) in terms of \(d_i\) the degrees of \(p_i(x)\) with \(i=1,2=N-1\).