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

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\).