\section{Introduction}
The Diophantine problem of finding integral or rational solutions to a set of polynomial equations has been investigated since ancient times.  To this day there is no general method for finding such solutions and    the  techniques used to answer many fundamental  questions are deep and complex.
One of the leading principles in arithmetic geometry is that the geometric structure of an algebraic variety
 determines the arithmetic structure of the set of points over the rational numbers.

 A clear picture of  how the arithmetic mirrors the geometry for varieties is given by curves  defined over a number field $k$. The genus of the curve, a geometric invariant, distinguishes three qualitatively different behaviours for its rational points. For a curve of genus 0, either the set of $k$-rational point is empty or the curve is isomorphic to the projective line, whose $k$-rational points are infinitely many and well-understood. On the other hand, for genus at least 2 we have the:
\begin{MC}
A curve of genus at least 2 defined over a number field $k$ has only finitely many $k$-rational points.
\end{MC}
This is a very deep result, first conjectured by Mordell in \cite{MordellConj} and now known as Faltings Theorem after the ground-breaking proof in \cite{FaltingsTeo}.
In between these two extremes, there are the curves of genus 1.  They can be endowed with the structure of an abelian group and the set of $k$-rational points, when not empty, is a finitely generated group. This is a famous theorem of Mordell, later generalised by Weil to the case of abelian varieties.

\medskip

 Vojta in \cite{Vojta91} gave a new proof of the Mordell Conjecture and then Faltings, in \cite{FaltingsAnnals} and \cite{FaltingsBarsotti}, proved an analogous statement for rational points on subvarieties of abelian varieties, which generalises to points in a finitely generated subgroup $\Gamma$. Basing on these results, Hindry \cite{HindryAutour}  proved  the case of $\Gamma$ of finite rank, known as the Mordell-Lang Conjecture. This was later made quantitative by R\'emond  \cite{gaelLang}.
\begin{MCL}   Let $\Gamma$ be a subgroup of finite rank of an abelian variety $A$. Let $V\subseteq A$ be a  proper subvariety. Then the set $\Gamma\cap V$ is contained in a finite union of translates of proper abelian subvarieties by elements of $\Gamma$.
\end{MCL}

Unfortunately,  even for curves the different proofs of this theorem   are not effective,  in the sense  that they prove the finiteness of the desired set, but do not hint at how this set could be determined. One of the  challenges of the last century has been the search  for  effective methods, but  there is still no known general method for finding all the rational points on a curve.  The few available methods  work under special assumptions and explicit examples are mainly given for curves of genus $2$ or $3$ as discussed below.

The method of Chabauty-Coleman \cite{Chab}  and  \cite{Coleman} provides a bound on the number of rational points on  curves  defined over  a number field $k$ with Jacobian of $k$-rank  strictly smaller than the genus.
In   some   examples the estimate gives the exact number of rational points, so that, possibly in combination with \emph{ad hoc} descent arguments, one can  find the right number of points and list them.
See for example  Flynn \cite{Flynn} for one of the first  explicit applications of the Chabauty-Coleman method, Siksek \cite{Siksek} for investigations on  possible extensions of the method, McCallum and Poonen  \cite{MP}  and  Stoll \cite{Stoll} for  general surveys and also their  references for additional variations and applications of this method.
For curves of genus 2, one can find the rational points using an implementation by Stoll based on~\cite{StollMagma}*{Section~4.4} of the Chabauty-Coleman method combined with the Mordell-Weil Sieve in the Magma computational algebra system~\cite{Magma}; this works when the Mordell-Weil rank of the Jacobian is one and an explicit point of infinite order is known.

The  Manin-Demjanenko method (\cite{Demj},\cite{Manin}) is effective and applies to curves $\mathcal{C}$  defined over a number field $k$ that admit    $m$ morphisms $f_1,\ldots,f_m$ from $\mathcal{C}$ to an abelian variety $A$ all defined over $k$ and linearly independent modulo constants (in the sense that if $\sum_{i=1}^m n_i f_i$ is constant for some integers $n_i$, then $n_i=0$ for all $i$). If $m>\mathrm{rank}A(k)$, then $\mathcal{C}(k)$ is finite and may be found effectively.
However the method is far from being explicit in the sense that it does not give  the dependence of the height  of the rational points, neither  on the curve nor on the morphisms; this makes it difficult for applications. See Serre \cite{serreMWThm} for a description of the method and a few applications. In the papers of Kulesz \cite{KuleszApplicazioneMD},  Girard and Kulesz \cite{Kul2} and  Kulesz, Matera and Schost \cite{Kul3} this method has been used  to find all rational points on  some families of curves  of genus 2 (respectively 3) with  morphisms to special elliptic curves of rank 1 (respectively $\le 2$).   For instance, in \cite{KuleszApplicazioneMD} the curves  have Jacobian  with factors isogenous to $y^2=x^3+a^2 x$, with $a$ a square-free integer and such that the Mordell-Weil group has rank one.  We refer to Section~\ref{App:comparison} of the appendix for a more detailed discussion on the Manin-Demjanenko method, including a comparison with the results of this article.

We also mention that Viada   gave in \cite{ioannali} an effective method which is comparable with the setting of Manin-Demjanenko's result, although different in strategy. She obtains an effective height bound for the $k$-rational points on a transverse curve $\mathcal{C}\subseteq E^N$ where $E$ is an elliptic curve with $k$-rank  at most $N-1$. Also in this case the bounds are not at all explicit and there are no examples.

 A major shortcoming of these methods is that  in general the bounds for the height must be worked out case by case and  this is feasible in practice only when the equations of the curve  are of a very special shape.

\bigskip

In this article we  provide a  good explicit upper bound for the height of the  points in the intersection of a  curve of genus at least $2$ in $E^N$ with the union of all algebraic subgroups of dimension one, where $E$ is an elliptic curve without CM (Complex Multiplication), proving in this setting the explicit Mordell-Lang conjecture for points of rank one. With  some further  technical estimates, the method works also for the CM case.  Our method can be easily applied to find the rational points on curves of a fairly general shape and growing genus.  Moreover we present a variety of explicit examples,   given by curves of genus at least $2$ embedded in $E^2$, with $E$  without CM and $E(k)$ of rank one.   These are precisely the curves  whose Jacobian has  a factor isogenous to such an $E^2$. So the method can be easily applied to curves embedded in $E^2\times A$, where $A$ is an abelian variety. This is also the  first nontrivial setting, as the case of  $E(k)$ of rank zero can be easily treated (see Theorem \ref{prop.transv.A}  and Remark \ref{rem.rank0}).   Many explicit examples mentioned above can be covered by our method, but it also gives many new examples  in which, differently from all previous examples, the genus of the curves tends to infinity  (see also Appendix~\ref{appendix}, in particular Section~\ref{S:examples}).

Compared to the other effective methods  mentioned above, ours is  easy to apply because it provides a simple formula for the  bound  for the height of the rational points.
 Finally, in our settings the method of Chabauty-Coleman cannot be  directly applied, as the rank of the $k$-rational points of the ambient variety  is not smaller than its dimension. Our assumption is instead compatible with the Manin-Demjanenko setting.

The importance of the result is that the dependence of our bound for the height   is completely explicit both on the curve $\mathcal{C}$ and the elliptic curve $E$  and it can be directly computed from the coefficients  of the equations defining the curve.  More precisely, it depends explicitly on the coefficients of a Weierstrass equation for $E$ and on the degree and normalised height of $\mathcal{C}$.

  To give some evidence of the   power  of our method we carry out in this paper the following applications:
  \begin{itemize}
\item  the proof of  the explicit Mordell Conjecture for several families of curves,
\item  the list of all rational points for more than  $10^4$  explicit   curves.
\end{itemize}

\bigskip

To state our main theorem, we first fix the  setting (see  Section \ref{notaz} for more details). Let $E$ be an elliptic curve  given in the form
\begin{equation*}\label{uno}y^2=x^3+Ax+B.\end{equation*}
Via the given equation, we embed $E^N$ into $\P_2^N$ and via the Segre embedding in $\P_{3^N-1}$.

 The degree of a  curve   $\mathcal{C}\subseteq E^N$ is the degree of its image in $\P_{3^N-1}$  and $h_2(\mathcal{C})$ is the normalised height of $\mathcal{C}$, which is defined in terms of the Chow form of the ideal of $\mathcal{C}$, as done  in  \cite{patrice}.  We let $\hat{h}$ be the N\'eron-Tate height  on $E^N$  (normalised as explained in Section \ref{heightsanddegrees}).

 We  finally define the rank for a point  of $E^N$ as the  ${\rm End }(E)$-rank of the ring generated by its coordinates or more in general:
\begin{D}
\label{rank}
 The rank of a point in an abelian variety $A$ is the minimal dimension  of   an algebraic subgroup containing the point.
\end{D}

 We can now state our main result:
 \begin{thm}\label{caso_E^N}
  Let $E$ be an elliptic curve without CM. Let $\mathcal{C}$ be  an irreducible curve of genus at least $2$ embedded in $E^N$. Then every point $P$ of rank at most one on $\mathcal{C}$ has N\'eron-Tate height bounded as
  \begin{align*} \hat{h}(P)\leq& 2\cdot  3^{N-2} N! \deg \mathcal{C} \left( C_1 h_2(\mathcal{C})(\deg\mathcal{C}) +C_2(E)(\deg\mathcal{C})^2 + C_3(E)+c_1(E)+3^{N}\right)+\\ &+3^{N-2} (N-2)!h_2(\mathcal{C})+ Nc_2(E).
 \end{align*}

  Moreover if $N=2$
   \begin{equation*}\label{utile}
  \hat h(P)\leq C_1\cdot h_2(\mathcal{C})\deg\mathcal{C} +C_2(E)(\deg\mathcal{C})^2 +C_3(E)
\end{equation*}
    where
 \begin{align*}
    C_1&=72.251\\
    C_2(E)&=C_1\left(6.019+4c_1(E)\right)\\
    C_3(E)&=4c_2(E),
 \end{align*}
 and the constants $c_1(E)$ and $c_2(E)$ are defined in Table \ref{table1} and depend explicitly on the coefficients of $E$.
 \end{thm}

 \bigskip

Theorem \ref{caso_E^N}  is the combination of Theorem \ref{MAINT} proven in Section \ref{DIMTHMMAIN} and Theorem \ref{IS} proven in Section \ref{nuova}.

 We remark that if $E(k)$ has rank one then the set of $k$-rational points of $\mathcal{C}$ is contained in the set of points of rank one and so  it has height bounded as above.
 We underline that our method to bound the height of the rational points does not require the knowledge of a generator for $E(k)$ to work and that the bound we obtain is also independent on $k$. These aspects are rather important, specifically for applications.

 Our  search for effective and even explicit methods for the height of the $k$-rational points on curves started some years ago in the context of the Torsion Anomalous Conjecture (in short TAC), introduced by
 Bombieri, Masser and Zannier \cite{BMZ1}. It is well known that this very general conjecture on the finiteness of the maximal torsion anomalous varieties implies the Mordell-Lang Conjecture and that effective results in the context of the TAC carry over to effective cases of the Mordell-Lang Conjecture  (see  \cite{via15} for a survey).Several of the methods used in this field are based on a long-established strategy of using theorems of diophantine approximation to obtain results about the solutions to diophantine equations. This general approach goes back at least to Thue and Siegel and has been often applied with success in the field of unlikely intersections as well as in number theory in general  (see \cite{Zan12}   and references there for a nice overview). Despite much effort there are few effective methods in this context and ours is  probably the first explicit one in the setting of abelian varieties.

Our main theorem generalises and drastically improves a previous result obtained in \cite{ExpTAC}
where we considered only weak-transverse curves, i.e. curves not contained in any proper algebraic subgroup (see Definition \ref{deftrans}), a stronger assumption which does not cover all curves of genus $\ge2$ and we could only bound the height of the subset of points of  rank one which are also torsion anomalous. In spite of the more restrictive setting, the bounds obtained in \cite{ExpTAC} are much worse than the present ones and they are  beyond any hope of implementing them in any concrete case.

For instance, in this article, Theorem \ref{IS}, for weak-transverse curves in $E^N$ with $N\ge3$  we obtain
\begin{equation*}
  \hat h(P)\leq 4 (N-1) C_1 h_2(\mathcal{C})\deg\mathcal{C} +(N-1) C_2(E)(\deg\mathcal{C})^2 +N^2C_3(E),
 \end{equation*}
while in \cite{ExpTAC} under the same hypothesis  we got
 \begin{equation*}
 \hat h(P)\leq B_1(N)\cdot 2(N-1) C_1 h_2(\mathcal{C})(\deg\mathcal{C})^{N-1} +B_2(N)\cdot (N-1) C_2(E)(\deg\mathcal{C})^N +N^2 C_3(E)
\end{equation*}
 where
$B_2(N)\geq B_1(N)\geq 10^{27} N^{N^2} (N!)^N$.
 Note that not only the constants here are linear instead of exponential in $N$, but also the exponents  of $\deg \mathcal{C}$ are now independent of $N$ and better already for $N=3$.

 By introducing new key elements in the proof, we go beyond what we could prove in \cite{ExpTAC}; this change in approach leads to improvements of the bounds crucial for the practical implementatation.

 More in detail, this is a sketch of the proof  of the main theorem given in  Sections \ref{deduz} and \ref{DIMTHMMAIN}. At first instance we avoid to  restrict ourselves to  the concept of torsion anomalous points as done in \cite{ExpTAC} and study all points of rank one.  To treat the case of a general $N$   we use a  geometric construction to reduce it to the case of $N=2$. In this case we do a typical  proof of diophantine approximation:  if $P$ is a point in $E^2$ of rank one, we construct a subgroup $H$ of dimension 1 such that the height and the degree of the translate $H+P$ are well controlled. To this aim  we use  some classical results of the geometry of numbers,  in a way that prevents the bounds from growing beyond the computational limits of a computer search. We then conclude the  proof using the Arithmetic B\'ezout Theorem, the Zhang inequality and an optimal choice of the parameters.

Another significant feature of our main theorem is that it can  easily be  applied to find the rational points on curves of quite general shape.  We present here some of these applications,  remarking that, for instance, any curve of genus at least $2$ in $E^2$ with $E(\mathbb{Q})$  of rank one  is suitable for further examples of our method.

Let $E$ be an elliptic curve defined over $\overline{\mathbb{Q}}$. We write
\begin{equation}\label{due}
\begin{split}
y_1^2&=x_1^3+Ax_1+B\\
y_2^2&=x_2^3+Ax_2+B
\end{split}
\end{equation}
for the equations of $E^2$ in $\P_2^2$ using affine coordinates $(x_1,y_1)\times (x_2,y_2)$ and we embed $E^2$ in $\mathbb{P}_8$ via the  Segre embedding.

In Section \ref{sez:criterio}  we give a method  to construct several families of  curves in $E^2$ of growing genus and we show how to  compute   bounds for their degree and normalised height.  In Theorem \ref{caso_poly}  we prove a sharper version of the following  result.
\begin{thm}\label{polyintro}   Assume that $E$ is without CM, defined over a number field $k$ and that $E(k)$ has rank  one.
Let $\mathcal{C}$ be the projective closure of the curve given in $E^2$ by the additional equation $$p(x_1)=y_2,$$ with $p(X)\in k[X]$ a non-constant polynomial  of degree $n$. Then for $P\in \mathcal{C}(k)$ we have
\[\hat h(P)\leq 1301 (2n+3)^2\left(h_W(p)+\log n+2c_6(E)+3.01+2c_1(E)\right)+4c_2(E)\]
where $h_W(p)=h_W(1:p_0:\ldots:p_n)$ is the height of the coefficients of $p(X)$, and the constants $c_6(E)$, $c_1(E)$ and $c_2(E)$  are defined in Table \ref{table1}.
\end{thm}
We then consider  two specific families which have  particularly  small invariants. Clearly these are just examples and many similar others can be  given.
\begin{D}\label{defCn}\label{defDn}
 Let $\{\mathcal{C}_n\}_n$ be the family  of the projective closures of the curves in $E^2$ defined for $n\geq 1$ via the additional equation $$x_1^n=y_2.$$
 Let $\{\mathcal{D}_n\}_n$ be the family  of the projective closures of the curves in $E^2$ defined for $n\geq 1$  via the additional equation $$\Phi_n(x_1)=y_2,$$ where $\Phi_n(x)$ is the $n$-th cyclotomic polynomial.
\end{D}
 In order to directly apply our main theorem we cut these curves on $E^2$, with $E$ varying in the set of  elliptic curves   over $\mathbb{Q}$ without CM and $\mathbb{Q}$-rank one. Several examples of such $E$ have been tabulated below and others can be easily found, for instance in Cremona's tables \cite{Cremona}.

We consider the following elliptic curves:
\begin{align*}
   E_1: y^2&=x^3+x-1,\\
   E_2: y^2&=x^3-26811x-7320618, \\
   E_3: y^2&=x^3-675243x-213578586,\\
   E_4: y^2&=x^3- 110038419x + 12067837188462,\\
   E_5: y^2&= x^3 - 2581990371 x - 50433763600098.
\end{align*}

These are five elliptic curves without CM and of rank one over $\mathbb{Q}$.
The curves $E_1,E_3,E_4,E_5$ are, respectively, the curves  248c.1,10014b.1, 360009g.1 and 360006h.2 of  \cite{Cremona}. The curve $E_2$ was considered by Silverman in \cite{Sil}, Example 3 and it does not appear in the Cremona Tables because its conductor is too big.  The curves $E_3, E_4$ and $E_5$ were chosen because they have generators of the Mordell-Weil group of large height. This choice  may speed-up the computations, but it is not necessary (see Section \ref{SecEx2} for more details)

A remarkable application of our  theorem is the following result, proven in Section \ref{SecEx2}.  If $E$ is an elliptic curve, we denote by $O$ its neutral element.
\begin{thm}\label{curveEsp}
For   the $79600$ curves $\mathcal{C}_n \subseteq E_i\times E_i$ with $1\leq n\leq 19900$ and $i=2,3,4,5$, we have
   $$\mathcal{C}_n(\mathbb{Q})=\{O\times O\}.$$
      For   the $9900$  curves $\mathcal{C}_n \subseteq E_1\times E_1$ with $1\leq n\leq 9900$, we have $$\mathcal{C}_n(\mathbb{Q})=\{O\times O, (1,\pm 1)\times(1,1)\}.$$
 For  the $5600$ curves $\mathcal{D}_n \subseteq E_i\times E_i$ where  $1\leq n\leq 1400$ and $i=2,3, 4,5$ we have
   $$\mathcal{D}_n(\mathbb{Q})=\{O\times O\}.$$
   For  the  $400$ curves $\mathcal{D}_n \subseteq E_1\times E_1$ with $1\leq n\leq 400$ we have
\begin{align*}
D_1(\mathbb{Q})&= \{O\times O,(2,\pm 3)\times(1,1)\}\\
D_2(\mathbb{Q})&=\{O\times O,(2,\pm 3)\times(2,3)\}\\
D_{3^k}(\mathbb{Q})&=\{O\times O,(1,\pm 1)\times(2,3)\}\\
D_{47^k}(\mathbb{Q})&=\{O\times O,(1,\pm 1)\times(13,47)\}\\
D_{p^k}(\mathbb{Q})&=\{O\times O\} \text{ if $p\neq 3,47$ or $p=2$ and $k>1$}\\
D_6(\mathbb{Q})&=\{O\times O,(1,\pm 1)\times(1,1),(2,\pm 3)\times(2,3)\}\\
D_n(\mathbb{Q})&=\{O\times O,(1,\pm 1)\times(1,1)\}\text{ if $n\neq 6$ has at least two distinct prime factors.}
\end{align*}

\end{thm}

 For these curves  the bounds for the height of the rational points are very good  especially for the $\mathcal{C}_n$; in fact they are so good that we can carry out a fast  computer search and determine  all their rational points   for $n$ quite large.
The computations have been executed with the computer algebra system PARI/GP \cite{PARI} using an algorithm by K. Belabas discussed in Section \ref{SecEx2} based on a sieving method.

The computations for the  9900 curves $\mathcal{C}_n$ in $E_1^2$ took about 7 days. The  79600 curves $\mathcal{C}_n$ in $E_i^2, i=2,\dotsc,5$ took about $11$ days, while the computations on the  6000 curves $\mathcal{D}_n$ took about three weeks. A single curve in this range takes between a few seconds and a few minutes, for example $\mathcal{C}_{1000}$ in $E_2^2$ takes about 6.8 seconds.

 In Appendix~\ref{appendix} M.~Stoll completes the study of the rational points on the families $\mathcal{C}_n$ and $\mathcal{D}_n$ for all $n$. More precisely, he proves that for $n$ large enough all rational points on the curves must be integral, by combining our upper bound for the height of the rational points with a lower bound obtained by studying the $\ell$-adic behaviour of points on the curve close to the origin, see Sections \ref{App:nonintegral} and~\ref{S:examples}. Thus our computations are required only for $n$ small. However the data above give an idea of the time needed to find the rational points on other curves with invariants similar to those considered in Theorem \ref{curveEsp}, even when the approach of the Appendix does not apply.

 For a few curves in which the bounds are particularly small, we first used a naive algorithm, which took about 6 weeks for each curve $\mathcal{C}_1$. Then we used a floating point algorithm suggested by J. Silverman:  for each $i=1,\ldots,5$ this algorithm  took about one week for the 10 curves $\mathcal{C}_n\in E_i^2$ with $1\le n\le 10$. The striking improvement in the running time is due to the idea of performing the computations after reducing modulo many primes; arithmetic operations in finite fields are much faster than exact arithmetic.  More details on how to construct suitable new examples are given in Section \ref{sez:criterio}.

\bigskip

The paper is organised as follows: Sections \ref{notaz} and \ref{altezze} contain the notations, definitions and some useful standard results.  In Section~\ref{deduz} we state Theorem~\ref{MAINT} which is a sharper version of our main result for curves in $E^2$. This is crucial for the applications and we   use it to prove Theorem~\ref{caso_E^N}. Section~\ref{DIMTHMMAIN}  is dedicated to the proof of Theorem  \ref{MAINT}.  Sections \ref{sez:criterio}--\ref{SecEx2} are devoted to describe the  families of examples and applications of our main method, proving in particular  Theorem~\ref{polyintro} and Theorem~\ref{curveEsp}.

\section{Notation and preliminaries}\label{notaz}
  In this section we introduce the  notations that we will use in the rest of the article. We define different heights and, among the main technical tools in the theory of height, we recall the Arithmetic B\'ezout Theorem and the Zhang inequality.  We also recall some standard facts on subgroups of $E^N$  and give  some basic  estimates for the degree of the kernel of morphisms on $E^N$.

\bigskip

\subsection{Heights and degrees}\label{heightsanddegrees}
In this article we deal only with varieties defined over the algebraic numbers. We will always identify a variety $V$ with the set of its algebraic points $V({\overline{\Q}})$. Throughout the article $E$ will be an elliptic curve defined over the algebraic numbers and given by a fixed Weierstrass equation
\begin{equation}\label{EqWeierstrass}
E: y^2=x^3+Ax+B
\end{equation}
with $A$ and $B$  algebraic integers  (this assumption is not restrictive). If $E$ is defined over a number field $k$ we write in short $E/k$. As usual, we define the discriminant of $E$ as
\[
 \Delta=-16(4A^3+27B^2)\] and the $j$-invariant  \[j=\frac{-1728(4A)^3}{\Delta}.
\]
We also define
\begin{equation}\label{hWeierE}
h_{\mathcal{W}}(E)=h_W(1:A^{1/2}:B^{1/3})
\end{equation} to be the absolute logarithmic Weil height of the projective point $(1:A^{1/2}:B^{1/3})$. We recall that
 if $k$ is a number field, $\mathcal{M}_k$ is the set of places of $k$ and $P=(P_1:\ldots:P_n)\in \mathbb{P}_n(k)$ is a point in the projective space, then  the absolute logarithmic Weil height of $P$ is defined as
\[h_W(P)=\sum_{v\in \mathcal{M}_k} \frac{[k_v:\mathbb{Q}_v]}{[k:\mathbb{Q}]}\log \max_i \{\abs{P_i}_v\}.\]
We also consider a modified version of the Weil height, differing from it at the archimedean places
\begin{equation}\label{Defh2}
h_2(P)=\sum_{v\text{ finite}}\frac{[k_v:\mathbb{Q}_v]}{[k:\mathbb{Q}]}\log \max_i \{\abs{P_i}_v\} +\sum_{v\text{ infinite}}\frac{[k_v:\mathbb{Q}_v]}{[k:\mathbb{Q}]}\log \left(\sum_i \abs{P_i}_v^2\right)^{1/2}.\end{equation}
If $x$ is an algebraic number, we denote by $h_{\infty}(x)$ the contribution to the Weil height coming from the archimedean places, more precisely
  \[
 h_\infty(x)=\sum_{v\text{ infinite}}\frac{[k_v:\mathbb{Q}_v]}{[k:\mathbb{Q}]} \max \{\log \abs{x}_v, 0\}.\]

 To compute heights and degrees of  subvarieties of $E^N$, we consider them as embedded in $\P_{3^N-1}$ via the following composition  of maps
\begin{equation*}
  E^N \hookrightarrow \P_2^N \hookrightarrow \P_{3^N-1}
\end{equation*}
where the first map sends a point $(X_1,\ldots,X_N)$ to $((x_1,y_1),\dotsc,(x_N,y_N))$, the $(x_i,y_i)$ being the affine coordinates of $X_i$ in the Weierstrass form of $E$, and the second map is the Segre embedding.

\medskip

 For $V$ a subvariety of $E^N$ we consider the canonical height $h(V)$, as defined in \cite{patriceI}; when the variety $V$ reduces to a point $P$, then $h(V)=\hat h(P)$ is the N\'eron-Tate height of the point (see \cite{patriceI}, Proposition 9)  defined as $$\hat h(P)=\lim_{n\rightarrow \infty} \frac{h_W(2^n\cdot P)}{4^n}.$$

In general if $P=(P_1,\dotsc,P_N)\in E^N$, then we have
\begin{equation*}
   h(P)=\sum_{i=1}^N h(P_i)
\end{equation*}
 for $h$ equal to $h_{W},h_2$ and $\hat{h}$.

\medskip

For a subvariety $V\subseteq\P_m$  we denote by $h_2(V)$ the normalised height of $V$ {defined}  in terms of the Chow form of the ideal of $V$, as done  in  \cite{patrice}. This height extends the height $h_2$ defined for points by formula \eqref{Defh2}  (see \cite{Hab08}, page 6 and \cite{BGSGreen}, equation (3.1.6)).

 If $V$ is defined as an irreducible component of the zero-set in $\P_m$ of homogeneous polynomials $f_1,\ldots,f_r$, then by the result at page 347 and Proposition 4 of \cite{patrice} and standard estimates, one can prove that
\[h(V)\leq \sum_{i=1}^r h_W(f_i)\prod_{j\neq i} \deg(f_j)+c \deg(f_1)\cdots \deg(f_r)\]
where $h_W(f_i)$ is the Weil height of the vector of coefficients of $f_i$, considered as a projective point and $c$ is an explicit constant, which can be taken as $c=4m\log m$.

\medskip

The degree of  an irreducible variety $V\subseteq \P_m$ is the maximal cardinality of a finite intersection $V\cap L$, with $L$ a linear subspace of dimension equal to the codimension of $V$.

 The degree is often conveniently computed as an intersection product; we show here how to do it for a curve $\mathcal{C}\subseteq\P_2^N$.

Let $L$ be the class of a line in the Picard group of $\P_2$ and let $\pi_i:\P_2^N\to \P_2$ be the projection on the $i$-th component. Set $\ell_i=\pi_i^*(L)$.
The $\ell_i$'s have codimension 1 in $\P_2^N$ and they generate its Chow ring, which is isomorphic as a ring to $\mathbb{Z}[\ell_1,\dotsc,\ell_N]/(\ell_1^{3},\dotsc,\ell_N^{3})$.

The pullback through the Segre embedding of a hyperplane of $\P_{3^N-1}$ is given by $\ell_1+\dotsb+\ell_N$ as can be seen directly from the the equation of a coordinate hyperplane in $\P_{3^N-1}$.
The degree of $\mathcal{C}$ is therefore given by the intersection product $\mathcal{C}.(\ell_1+\dotsb+\ell_N)$ in the Chow ring of $\P_2^N$.

Assume now that $\mathcal{C}_i:=\pi_i(\mathcal{C})$ is a curve for all $i$; by definition, $\deg\mathcal{C}_i = \deg(\mathcal{C}_i.L)$.

We see that
\begin{equation*}
 \pi_{i*}(\mathcal{C}.\ell_i)=\pi_{i*}(\mathcal{C}.\pi_i^*(L))=\pi_{i*}(\mathcal{C}).L=d_i\mathcal{C}_i.L
\end{equation*}
where $d_i$ is the degree of the map $\mathcal{C}\to\mathcal{C}_i$ given by the restriction of $\pi_i$ to $\mathcal{C}$, and the equality in the middle is given by the projection formula  (see \cite{Fulton}, Example 8.1.7). Taking the degrees we have
\[
\deg(\mathcal{C}.\ell_i)=\deg(\pi_{i*}(\mathcal{C}.\ell_i))=d_i\deg\mathcal{C}_i
\]
so that
\[
 \deg\mathcal{C}=\deg(\mathcal{C}.(\ell_1+\dotsb+\ell_N))=\deg(\mathcal{C}.\ell_1)+\dotsb+\deg(\mathcal{C}.\ell_N)=d_1\deg\mathcal{C}_1+\dotsb+d_N\deg\mathcal{C}_N.
\]

If in particular the curve $\mathcal{C}$ is contained in $E^N$, then all the $\mathcal{C}_i$'s are equal to $E$ and have degree 3.

 Notice that this formula remains true if for some of the $i$'s the restriction of $\pi_i$ to $\mathcal{C}$ is constant, provided that we take 0 as the degree of a constant map.

\medskip

We recall now two classical results on heights that will be important in the proof of our  theorems.
The first is an explicit version of the Arithmetic B\'ezout Theorem, as proved in \cite{patrice}, Th\'eor\`eme 3:
\begin{thm}[Arithmetic B\'ezout Theorem]\label{AriBez}
 Let $X$ and $Y$ be irreducible closed subvarieties of $\P_m$ defined over  the algebraic numbers. If $Z_1,\dotsc,Z_g$ are the irreducible components of $X\cap Y$, then
 \[
  \sum_{i=1}^g h_2(Z_i)\leq\deg(X)h_2(Y)+\deg(Y)h_2(X)+C_0(\dim X,\dim Y, m)\deg(X)\deg(Y)
 \]
where
\begin{equation*}
 C_0(d_1,d_2,m)=\left(\sum_{i=0}^{d_1}\sum_{j=0}^{d_2} \frac{1}{2(i+j+1)}\right)+\left(m-\frac{d_1+d_2}{2}\right)\log2.
\end{equation*}

\end{thm}

The second result is Zhang's inequality. In order to state it, we define the essential minimum $ \mu_2(X)$ of an irreducible algebraic subvariety $X\subseteq\P_m$ as

\[
  \mu_2(X)=\inf\{\theta\in\mathbb{R}\mid\{P\in X\mid  h_2(P)\leq\theta\}\text{ is Zariski dense in }X\}.
\]
The following is  a special case of \cite{Zhang95}, Theorem 5.2:
\begin{thm}[Zhang's inequality]\label{Zhang}
Let $X\subseteq\P_m$ be an irreducible algebraic subvariety. Then
\begin{equation}\label{zhangh2}
\mu_2(X)\leq\frac{h_2(X)}{\deg X}\leq(1+\dim X)\mu_2(X).
\end{equation}
\end{thm}
We also define a different essential minimum for subvarieties of $E^N$, relative to the height function $\hat h$:
\[
 \hat\mu(X)=\inf\{\theta\in\mathbb{R}\mid\{P\in X\mid \hat h(P)\leq\theta\}\text{ is Zariski dense in }X\}.
\]
Using the definitions and a simple limit argument, one sees that Zhang's inequality holds also with $\hat{\mu}$, namely
\begin{equation}\label{Zhangh^}\hat\mu(X)\leq\frac{h(X)}{\deg X}\leq(1+\dim X)\hat\mu(X).\end{equation}

\subsection{Algebraic Subgroups of $E^N$}\label{absub}
We recall that the uniformisation theorem  implies that $E(\mathbb{C})$ is isomorphic, as complex Lie group, to $\mathbb{C}/\Lambda$ for a unique lattice  $\Lambda \subset \mathbb{C}$. The $N$-th power of this isomorphism gives the analytic uniformisation $\mathbb{C} ^N / {\Lambda}^N \stackrel{\sim}{\rightarrow} E^N(\mathbb{C} )$
of $E^N$ (see for instance  \cite{SilvermanArithmeticEllipticCurves}, Section VI, Theorem 5.1 and Corollary 5.1.1).
  Through the exponential map from the tangent space of $E^N$ at the origin to $E^N$, the Lie algebra of an abelian subvariety of $E^N$ is identified with a complex vector subspace $W \subset \mathbb{C} ^N$ for which $W \cap {\Lambda}^N$ is a lattice of full rank in $W$. The \emph{orthogonal complement} $B^\perp$ of an abelian subvariety $B \subset E^N$  is the abelian subvariety  with Lie algebra corresponding to  the orthogonal complement of the Lie algebra of $B$ with respect to the canonical Hermitian structure of $\mathbb{C} ^N$ (see for instance \cite{BG06} 8.2.27 and 8.9.8 for more details).

\section{Basic estimates for heights}\label{altezze}
This is a self-contained technical section in which we give several explicit estimates on heights, used later. The  readers who wish to skip these technical results may refer to the following table for the definition of the relevant  constants. The notation  was introduced in Section \ref{notaz}.

\subsection*{Summary of Constants}

  For ease of reference, we collect here  the definition of the constants $c_1,\dotsc,c_{7}$ that will intervene in our computations. Some of these quantities have a sharper expression when the curve $E$ is  defined over $\mathbb{Q}$
   and we deal with rational points.

\begin{table}[htb]
\newcommand{\mc}[3]{\multicolumn{#1}{#2}{#3}}

\begin{center}
\caption{}\label{table1}
\begin{tabular}[c]{|c|>{\centering\arraybackslash}m{5cm}|>{\centering\arraybackslash}m{7.5cm}|}
\hline
&\vspace{0.02cm}&\\
   & For  $E/\overline{\mathbb{Q}}$ and $P\in E(\overline{\mathbb{Q}})$ & For $E/\mathbb{Q}$  and $P\in E(\mathbb{Q})$\\
\hline
&\vspace{0.1cm}&\\
\centering
$c_1(E)$ & $\frac{h_W(\Delta)+h_\infty(j)}{4}+\frac{h_W(j)}{8}+$ \newline $+\frac{h_W(A)+h_W(B)}{2}+3.724$ & $\min\left(\frac{\log\abs{\Delta}+h_\infty(j)}{4}+\frac{h_W(j)}{8}+\frac{\log(\abs{A}+\abs{B}+3)}{2}+\right.$ $\left. \phantom{minn}+2.919, {\phantom{\frac{\frac{1}{1}}{1}}} 3h_{\mathcal W}(E)+4.709  \right)$\\
&\vspace{0.1cm}&\\
\hline
&\vspace{0.1cm}&\\
\centering
$c_2(E)$ & $\frac{h_W(\Delta)+h_\infty(j)}{4}+\frac{h_W(A)+h_W(B)}{2}+4.015$ & $\min\left(\frac{\log\abs{\Delta}+h_\infty(j)}{4}+\frac{\log(\abs{A}+\abs{B}+3)}{2}+ 3.21,\right.$ $\left. \phantom{minn} \frac{3h_{\mathcal W}(E)}{2}+2.427\right)$\\
&\vspace{0.1cm}&\\
\hline
&\vspace{0.1cm}&\\
$c_3(E)$ & {$\frac{h_W{(\Delta)}}{12}+\frac{h_\infty(j)}{12}+1.07$}&\\
&\vspace{0.1cm}&\\
\hline
&\vspace{0.1cm}&\\
$c_4(E)$ & {$\frac{h_W(j)}{24}+\frac{h_W{(\Delta)}}{12}+\frac{h_\infty(j)}{12}+0.973$}&\\
&\vspace{0.1cm}&\\
\hline
&\vspace{0.1cm}&\\
$c_{5}(E)$ & $c_1(E)$ & $3h_{\mathcal{W}}(E)+6\log2$\\
&\vspace{0.1cm}&\\
\hline
&\vspace{0.1cm}&\\
$c_6(E)$ & $\frac{h_W(A)+h_W(B)+\log5}{2}$ & $\frac{\log( 3+\abs{A}+\abs{B})}{2}$\\
&\vspace{0.1cm}&\\
\hline
&\vspace{0.1cm}&\\
$c_{7}(E)$ & $\frac{h_W(A)+h_W(B)+\log3}{2}$ & $\frac{\log(1+\abs{A}+\abs{B})}{2}$\\
&\vspace{0.1cm}&\\
\hline
 \end{tabular}
\end{center}
\end{table}

 All the above constants are computed below. More precisely, the constants $c_1(E)$ and $c_2(E)$, first appearing in Theorem \ref{caso_E^N}, are computed in Proposition \ref{prop.confronto.h2h^}, by combining bounds of Silverman and Zimmer. The constants $c_3(E)$ and $c_4(E)$ come from formula \eqref{BoundSilvermanAltezze} proved in \cite{SilvermanDifferenceHeights} Theorem 1.1. Moreover $c_{5}(E)$  is given in Zimmer's bound  \cite{ZimmerAltezze},  p.~40 recalled in  \eqref{stima_zimmer}. Finally $c_6(E)$ and $c_{7}(E)$ are proved in Lemma \ref{lem.confronto.h2hx}.

 \vspace{0.8cm}

We now give the details for determining these constants.

If $P$ is a point in $\mathbb{P}_m$, from the definition of $h_W$ and $h_2$, we have \begin{equation}\label{hWeil}h_W(P)\leq h_{2}(P)\leq h_W(P)+\log(m+1)/2.\end{equation}

If $P\in E$, then, from \cite{SilvermanDifferenceHeights}, Theorem 1.1, we have
\begin{equation}\label{BoundSilvermanAltezze}
-c_4(E) \leq \frac{\hat h(P)}{3}-\frac{h_W(x(P))}{2}\leq c_3(E)
\end{equation}
where \[c_3(E)=\frac{h_W(\Delta)}{12}+\frac{h_\infty(j)}{12}+1.07\]
and \[c_4(E)=\frac{h_W(j)}{24}+\frac{h_W(\Delta)}{12}+\frac{h_\infty(j)}{12}+0.973\]
(notice that the N\'eron-Tate height used by Silverman in \cite{SilvermanDifferenceHeights} is one third of our $\hat h$, as defined in \cite{patriceI}).

If $E/\mathbb{Q}$ and $P\in E(\mathbb{Q})$, Zimmer \cite{ZimmerAltezze},  p.~40, proved that:
 \begin{equation}\label{stima_zimmer}
-\frac{3h_{\mathcal W}(E)}{2}-\frac{7}{2}\log 2\leq  h_{W}(P)-\hat h(P)\leq 3h_{\mathcal W}(E)+6\log 2.
\end{equation}

 We remark that Silverman's bound is better than Zimmer's one for elliptic curves with big coefficients. Nevertheless we included here Zimmer's estimates because they are sharper in  some of our examples.

 \medskip

In the following lemma we compare $h_2$ and $h_W$ for points in $E$.
\begin{lem}\label{lem.confronto.h2hx}
For every point $P\in E$ we have
 \begin{align}\notag\abs{h_2(P)-\frac{3}{2}h_W(x(P))}\leq c_6(E),\\ \notag \abs{h_2(P)-h_W(y(P))}\leq c_6(E),\\
 \notag \abs{h_W(y(P))-\frac{3}{2}h_W(x(P))}\leq c_{7}(E)
 \end{align}
where
$$c_6(E)= \frac{h_W(A)+h_W(B)+\log 5}{2}$$
and $$c_{7}(E)=\frac{h_W(A)+h_W(B)+\log 3}{2}.$$
  If moreover $E/\mathbb{Q}$  we may take the sharper values
$$c_6(E)=\frac{\log( \abs{A}+\abs{B}+3)}{2}$$
and $$c_{7}(E)=\frac{\log(\abs{A}+\abs{B}+1)}{2}.$$
\end{lem}
\begin{proof}
 We write both $h_W$ and $h_2$ in terms of local contributions and bound each of them.
 Let $P=(x,y)\in E$ and let $k$ be a number field of definition for $P$ and $E$. Let us first compare $h_2(P)$ and $h_W(x(P))$.

For every place $v$ of $k$, we set $\lambda_v=[k_v:\mathbb{Q}_v]/[k:\mathbb{Q}]$.

 By the definitions of $h_W$ and $h_2$, if $v$ is a non-archimedean place, then the contribution to the difference $h_2(P)-\frac{3}{2}h_W(x(P))$ coming from $v$ is
 \[\lambda_v\left(\log \max ( 1, \abs{x}_v,\abs{y}_v)-\frac{3}{2}\log \max ( 1, \abs{x}_v)\right).\]
 We see that if $\abs{x}_v\leq 1$ then $\abs{y}_v\leq 1$ as well, because $A$ and $B$ are algebraic integers, and this contribution is 0. If instead $\abs{x}_v> 1$, then $\abs{y}_v^2=\abs{x^3+Ax+B}_v=\abs{x}_v^3$ thanks to the ultrametric inequality, and the contribution is again 0.

 If $v$ is an archimedean place, then the contribution coming from $v$ is
 \begin{align*}
  &\lambda_v\left(\frac{1}{2}\log (1+ \abs{x}_v^2+\abs{y}_v^2)-\frac{3}{2}\log \max ( 1, \abs{x}_v)\right)=\\
  =&\frac{\lambda_v}{2}\left(\log (1+ \abs{x}_v^2+\abs{x^3+Ax+B}_v)-3\log \max ( 1, \abs{x}_v)\right).
 \end{align*}
If $\abs{x}_v\leq 1$ this quantity is at most $\frac{\lambda_v}{2}\log (3+\abs{A}_v+\abs{B}_v)$.
If $\abs{x}_v> 1$ we write
\[\log (1+ \abs{x}_v^2+\abs{x^3+Ax+B}_v)-3\log \abs{x}_v=\log\left(\frac{1}{\abs{x}_v^3}+\frac{1}{\abs{x}_v}+\abs{1+\frac{A}{x^2}+\frac{B}{x^3}}_v\right),\]
 which is again at most  $\frac{\lambda_v}{2}\log (3+\abs{A}_v+\abs{B}_v)$.
 If $E$  is defined over $\mathbb{Q}$, then  the sum of all $\lambda_v$, for $v$ ranging in the archimedean places, is 1 and we get the bound in the statement. If this is not the case, then we check that
 \[\log(3+a+b)\leq\log 5 +\max(0,\log a)+\max(0,\log b) \qquad \forall a,b>0\]
 so that the difference is bounded by
 \[\sum_{v \text{ archimedean}}\lambda_v\frac{\max(0,\log\abs{A}_v)+\max(0,\log\abs{B}_v)+\log 5}{2}=\frac{h_W(A)+h_W(B)+\log 5}{2}.\]

 Let us now compare $h_2(P)$ and $h_W(y(P))$. Just as in the case discussed above, the non-archimedean absolute values give no contribution. Let $v$ be an archimedean absolute value. The quantity to bound is
  \begin{align*}
  &\lambda_v\left(\frac{1}{2}\log (1+ \abs{x}_v^2+\abs{y}_v^2)-\log \max ( 1, \abs{y}_v)\right).
 \end{align*}
 We consider two cases:

 If $\abs{x}_v^2\leq 1+\abs{A}_v+\abs{B}_v$ then one easily checks that
 \[\frac{1}{2}\log (1+ \abs{x}_v^2+\abs{y}_v^2)-\log \max ( 1, \abs{y}_v)\leq\frac{1}{2} \log(3+\abs{A}_v+\abs{B}_v)\]
 for all values of $\abs{y}_v$.

 If $\abs{x}_v^2 > 1+\abs{A}_v+\abs{B}_v$ then \[\abs{y}^2_v\geq\abs{x}_v^2\abs{x}_v-\abs{Ax}_v-\abs{B}_v>\abs{x}_v+\abs{B}_v\abs{x}_v-\abs{B}_v>\abs{x}_v>1\]
 and therefore the quantity to bound is
   \begin{align*}
  \frac{\lambda_v}{2}\log \left(1+ \frac{\abs{x}_v^2+1}{\abs{x^3+Ax+B}_v}\right).
 \end{align*}
 To see that
 \[\abs{x}_v^2+1\leq(2+\abs{A}_v+\abs{B}_v)\cdot\abs{x^3+Ax+B}_v\]
 we write
 \begin{multline*}
  (2+\abs{A}_v+\abs{B}_v)\cdot\abs{x^3+Ax+B}_v\geq\\
  \geq(2+\abs{A}_v+\abs{B}_v)\abs{x}_v^3-(2+\abs{A}_v+\abs{B}_v)(\abs{Ax}_v+\abs{B}_v)>\\
  >\abs{x}_v^3+(1+\abs{A}_v+\abs{B}_v)^2\abs{x}_v-(2+\abs{A}_v+\abs{B}_v)(\abs{Ax}_v+\abs{B}_v)  \geq \abs{x}_v^2+1.
 \end{multline*}
The bound in the statement now follows as in the first case.
The bound between $h_W(x(P))$ and $h_W(y(P))$ is proved analogously.
\end{proof}

The following proposition combines in a single statement the bounds by Silverman and Zimmer that we recalled before and Lemma \ref{lem.confronto.h2hx}. It gives a bound between $\hat{h}$ and $h_2$  for a point in $E^N$.   This estimate is used in the proof of our main theorem.

\begin{propo}\label{prop.confronto.h2h^}
Let  $P\in E^N$. Then
 \begin{equation*}
 -Nc_2(E)\leq h_2(P)-\hat h (P)\leq Nc_1(E),
\end{equation*}
where
$$ c_1(E)=\frac{h_W(\Delta)+h_\infty(j)}{4}+\frac{h_W(j)}{8}+\frac{h_W(A)+h_W(B)}{2}+3.724,$$
$$ c_2(E)=\frac{h_W(\Delta)+h_\infty(j)}{4}+\frac{h_W(A)+h_W(B)}{2}+4.015.$$
Moreover, if $E/\mathbb{Q}$ and $P\in E(\mathbb{Q})$ one can take
$$c_1(E)=\min\left(\frac{\log\abs{\Delta}+h_\infty(j)}{4}+\frac{h_W(j)}{8}+\frac{\log(\abs{A}+\abs{B}+3)}{2}+2.919,3h_{\mathcal W}(E)+4.709\right),$$
$$ c_2(E)=
                \min\left(\frac{\log\abs{\Delta}+h_\infty(j)}{4}+\frac{\log(\abs{A}+\abs{B}+3)}{2}+ 3.21, \frac{3h_{\mathcal W}(E)}{2}+2.427\right).$$
\end{propo}
\begin{proof}
The general bounds are obtained by \eqref{BoundSilvermanAltezze} combined with Lemma \ref{lem.confronto.h2hx}.
When $E$  is defined over $\mathbb{Q}$ and the point $P\in E(\mathbb{Q})$, they can be sharpened by taking the minimum between the bounds obtained combining \eqref{BoundSilvermanAltezze}  with Lemma \ref{lem.confronto.h2hx} and the ones obtained combining \eqref{stima_zimmer}  with  \eqref{hWeil}.
\end{proof}

\bigskip

Using Proposition \ref{prop.confronto.h2h^} we immediately deduce the following relation  between the two essential minima $\mu_2(X)$ and $\hat{\mu}(X)$ introduced in Section \ref{notaz}, for any  irreducible subvariety $X$ of $E^N$. We have
\begin{equation}\label{mu2mu^}
-Nc_2(E)\leq \mu_2(X)-\hat\mu(X)\leq  Nc_1(E)
\end{equation}
where the constants are defined in Proposition \ref{prop.confronto.h2h^}.

Finally, using \eqref{mu2mu^}, \eqref{zhangh2} and \eqref{Zhangh^} we  get: \begin{equation}\label{confrontohh2}
 \frac{h_2(X)}{1+\dim X}-Nc_1(E)\deg X\leq h(X)\leq (1+\dim X)\left(h_2(X)+Nc_2(E)\deg X\right).
\end{equation}

\section{Main results and consequences}\label{nuova}\label{deduz}
 In this section we prove a sharper version of Theorem \ref{caso_E^N}. The proof  relies on a geometrical induction on the dimension $N$ of the ambient variety. We split the statement and the proof in two parts: the base of the induction  given by $N=2$ is  Theorem \ref{MAINT}, and we postpone its proof to Section~\ref{DIMTHMMAIN}; the inductive step given for  $N\geq 3$ is  Theorem \ref{IS}.
Finally we give some  more general formulations of our main theorem and  additional remarks.

It is evident that our Theorem \ref{caso_E^N} in the Introduction is a direct consequences of Theorems \ref{MAINT} and  \ref{IS}, where the bounds in the Theorem \ref{caso_E^N} are less sharp. This sharper version and the finer constants for points overs $\mathbb{Q}$ are used in the applications to keep the bounds for the height of the rational points on a curve as small as possible.

In our context, we  characterise arithmetically  points by their rank (see Definition \ref{rank}), while geometrically we characterise a  curve by its transversality property.

\begin{D}\label{deftrans}
A curve $\mathcal{C}$ in an abelian variety $A$ is  transverse (resp. weak-transverse) if it is irreducible and it is not contained in any translate (resp. in any torsion variety).

Here by translate (resp. torsion variety) we mean a finite union of translates of proper algebraic subgroups of $A$ by points (resp.  by torsion points).
\end{D}

We remark that curves of genus $1$ are translates of an elliptic curve and  that, in an abelian variety $A$ of dimension 2, a curve has genus at least $2$ if and only if it is transverse. Thus, for $\mathcal{C}$ in $E^2$ assuming transversality is equivalent to the assumption that the genus is at least $2$.  Then it is equivalent to state the following theorem for transverse curves.
\begin{thm}[Base of the reduction]\label{MAINT}
Let $E$ be an elliptic curve without CM. Let $\mathcal{C}$ be  an irreducible curve in $E^2$ of genus $\ge 2$.
Then every point $P$ on $\mathcal{C}$ of rank  $\le1$  has height bounded as:
   \begin{equation*}
  \hat h(P)\leq C_1\cdot h_2(\mathcal{C})\deg\mathcal{C} +C_2(E)(\deg\mathcal{C})^2 +C_3(E)
\end{equation*}
  where
\begin{align*}
    C_1&=72.251\\
    C_2(E)&=C_1\left(6.019+4c_1(E)\right)\\
    C_3(E)&=4c_2(E),
 \end{align*}
  and  the constants $c_1(E)$ and $c_2(E)$ are defined in Table \ref{table1}.
\end{thm}

The proof of this theorem is the content of the following Section \ref{DIMTHMMAIN}.\\

 We now show how to use Theorem~\ref{MAINT} to prove the following sharper version of our main Theorem \ref{caso_E^N} for $N\ge3$. The central idea is to argue by induction and project $\mathcal{C}$ from $E^N$ to $E^n$ for $n<N$ in such a way that the projection is transverse and its height and degree are well controlled. In order to obtain better bounds, we study different cases according to the geometric conditions satisfied by $\mathcal{C}$.
  \begin{thm}[Reduction Step]
 \label{IS}
  Let $E$ be an elliptic curve without CM. Let $N\ge3$ be an integer.
 If $\mathcal{C}$ is  an irreducible curve of genus at least $2$ embedded in $E^N$, then every point  $P$ of  rank at most one in $\mathcal{C}$ has N\'eron-Tate height bounded as
 \begin{align*}
  \hat h(P)\leq& 2\cdot3^{N-2} N! C_1 h_2(\mathcal{C})(\deg\mathcal{C})^2 +\frac{3^{N-2} N!}{2}C_2(E)(\deg\mathcal{C})^3 +3^{N-2}(N-2)!h_2(\mathcal{C})+\\&+\deg\mathcal{C} (3^{N-2} (N-2)!)\left(N(N-1)\left(\frac{C_3(E)}{2}+c_1(E)\right)+C_0(N)\right)+Nc_2(E).
 \end{align*}
 If $\mathcal{C}$ is weak-transverse we get
      \begin{equation*}
  \hat h(P)\leq 4 (N-1) C_1 h_2(\mathcal{C})\deg\mathcal{C} +(N-1) C_2(E)(\deg\mathcal{C})^2 +N^2C_3(E).
 \end{equation*}
  If furthermore $\mathcal{C}$ is transverse, then    \begin{equation*}
  \hat h(P)\leq N C_1 h_2(\mathcal{C})\deg\mathcal{C} + \frac{N}{2} C_2(E)(\deg\mathcal{C})^2 +\frac{N}{2}C_3(E).
 \end{equation*}
Here  \begin{align*}
C_0(N)&=(3^N-3/2) \log 2 +\sum_{i=1}^{N-1}\frac{1}{i}-\frac{1}{2N}\\
    C_1&=72.251\\
    C_2(E)&=C_1\left(6.019+4c_1(E)\right)\\
    C_3(E)&=4c_2(E),
 \end{align*}
 and the constants $c_1(E)$ and $c_2(E)$ are defined in Table \ref{table1}.
 \end{thm}

  \begin{proof}
If $P$ has rank 0 then it is a torsion point and its height is trivial. So we assume that $P$ has rank  one.

   We first suppose that $\mathcal{C}$ is also transverse in $E^N$.
 Let $\pi:E^N\to E^2$ be the projection on any two coordinates. Since $\mathcal{C}$ is transverse in $E^N$, then $\pi(\mathcal{C})$ is a  transverse curve in $E^2$.

 By Lemma 2.1 in \cite{MW90} we have that $\deg\pi(\mathcal{C})\leq \deg\mathcal{C}$.
 Clearly $h_2(\pi(P))\leq h_2(P)$ for every point $P$ in $E^N$, therefore $\mu_2(\pi(\mathcal{C}))\leq\mu_2(\mathcal{C})$.  By Theorem~\ref{Zhang}, we have  that \[h_2(\pi(\mathcal{C}))\leq 2\mu_2(\pi(\mathcal{C}))\deg\pi(\mathcal{C})\leq 2 \mu_2(\mathcal{C})\deg\mathcal{C}\leq 2h_2(\mathcal{C}).\]

Let now $P=(P_1,\dotsc,P_N)\in\mathcal{C}$ be a point of rank one. Up to a reordering of the factors of $E^N$ we may assume that $\hat h(P_1)\geq \hat h(P_2)\geq\dotsb\geq\hat h(P_N)$ and let $\pi$ be the projection on the first two coordinates.
  Then \begin{equation}\label{boundP1P2}\hat h(P)\leq \hat h(P_1)+(N-1)\hat h(P_2)\leq \frac{N}{2}\hat h(\pi(P)).\end{equation}
  We apply Theorem~\ref{MAINT} to bound the height of  $\pi(P)$ on $\pi(\mathcal{C})$ in $E^2$, obtaining
  \begin{align*}
  \hat h(\pi(P))&\leq C_1\cdot h_2(\pi(\mathcal{C}))\deg\pi(\mathcal{C}) +C_2(E)(\deg\pi(\mathcal{C}))^2 +C_3(E)\\
                &\leq 2 C_1\cdot h_2(\mathcal{C})\deg\mathcal{C} +C_2(E)(\deg\mathcal{C})^2 +C_3(E).
  \end{align*}

 Substituting this estimate in formula \eqref{boundP1P2} we get the wished bound for $\mathcal{C}$  transverse.\\

 Suppose now  that $\mathcal{C}$ is weak-transverse, but it is not transverse.  If the set of points of $\mathcal{C}$ of rank one is empty   nothing has to be proven.   We show that if  it   is not empty, then we can  reduce to the case of  a transverse curve in $E^{N-1}$.

 Since $\mathcal{C}$ is not transverse,   but weak-transverse, it is contained in a proper non-torsion translate of minimal dimension $H+Q$, where $H$ is a proper abelian subvariety of $E^N$  and  $Q$ is a point in   the orthogonal complement $H^{\perp}$ of $H$,  defined in Section \ref{absub}.

 We now prove that $\dim H^{\perp}=1$.
 Let $P$ be a point of $\mathcal{C}$ of rank one. Since  $Q$ is the component  of $P$ in $H^{\perp}$, we deduce  that $Q$ has rank at most one. But $Q$ cannot be torsion, so it has rank one and    $\dim H^\perp=1$.

Up to a reordering of the coordinates of  $P=(P_1,\dotsc,P_N)$, we can assume that    $\hat h(P_1)\geq \hat h(P_i)$ for all $i=1,\dotsc,N$.
We denote by $\pi_i:E^N\to E^{N-1}$ the natural projection which omits the $i$-th coordinate.

Assume first that there exists an index $i\neq 1$ such that the restriction of $\pi_i$ to $H$ is surjective. In this case $\pi_i(\mathcal{C})$ is a transverse curve in $E^{N-1}$.
We easily see that $\mu_2(\pi_i(\mathcal{C}))\leq \mu_2(\mathcal{C})$; by Lemma~2.1 of \cite{MW90} $\deg\pi_i(\mathcal{C})\leq\deg\mathcal{C}$; by Zhang's inequality  $h_2(\pi_i(\mathcal{C}))\leq 2h_2(\mathcal{C})$.

So if $N=3$ we apply Theorem \ref{MAINT} and if $N>3$ we apply the first part of the proof to $\pi_i(\mathcal{C})$ transverse in $E^{N-1}$ obtaining
\begin{align*}
   \hat h(\pi_i(P))&\leq (N-1)C_1\cdot h_2(\pi_i(\mathcal{C}))\deg\pi_i(\mathcal{C}) +\frac{N-1}{2}C_2(E)(\deg\pi_i(\mathcal{C}))^2 +\frac{N-1}{2}C_3(E)\\
               &\leq 2(N-1)C_1\cdot h_2(\mathcal{C})\deg\mathcal{C} +\frac{N-1}{2}C_2(E)(\deg\mathcal{C})^2 +\frac{N-1}{2}C_3(E).
 \end{align*}
 Moreover, the height of $P$ is easily bounded as $\hat h(P)\leq 2\hat h(\pi_i(P))$, because the first coordinate has maximal height for $P$ and it is in the projection as $i\not=1$. This gives the desired bound for $\mathcal{C}$ weak-transverse.

 We are left with the case where  the restriction of $\pi_i$ to $H$ is not surjective for all $i\neq 1$. Then $H\supseteq\ker\pi_i$ for all $i\neq 1$ and  by counting dimensions $H=\{O\}\times E^{N-1}$. Therefore $Q$ is, up to a torsion point,  the first component $P_1$ of the point $P$ and
 \begin{equation}\label{eq.15}
    \hat h(P)\leq N\hat h(P_1)= N\hat h(Q).
 \end{equation}
Using  \cite{preprintPhilippon} we obtain $\hat h(Q)=\hat\mu(\mathcal{C})-\hat\mu(\mathcal{C}-Q)\leq\hat\mu(\mathcal{C})\leq\frac{h(\mathcal{C})}{\deg\mathcal{C}}$.  Substituting this in \eqref{eq.15} and using \eqref{confrontohh2} we have
 \[
    \hat h(P)\leq N\frac{h(\mathcal{C})}{\deg\mathcal{C}}\leq 2N\left(\frac{h_2(\mathcal{C})}{\deg \mathcal{C}}+Nc_2(E)\right),
 \]
 where $c_2(E)$ is defined in Table \ref{table1}. This concludes the weak-transverse case as this  bound is smaller then the one in the statement.

\medskip

We finally treat the case of $\mathcal{C}$ of genus at least $2$, but not weak-transverse. Let $H+Q$ be the translate of smallest dimension containing $\mathcal{C}$ with $Q\in H^{\perp}$, where this time there are no conditions on the rank of $Q$. Then $\mathcal{C}-Q$ is transverse in $H$ and  the dimension of $H$ is at least $2$ otherwise $\mathcal{C}=H+Q$ would have genus $1$. Consider the natural projections $\pi:E^N\to  E^{\dim H}$ that omit some $d=N-\dim H$ coordinates. For a question of dimensions, at least one projection $\pi$ is surjective when restricted to $H$. Thus the image  $\pi(\mathcal{C})$ is transverse in $E^{\dim H}$.   Moreover, like in the previous cases, we have $\deg \pi(\mathcal{C})\leq \deg\mathcal{C}$ and $h_2(\pi(\mathcal{C}))\leq 2h_2(\mathcal{C})$. We can then apply   the first part of the proof to $\pi(\mathcal{C})$ transverse in $E^{\dim H}$ to get
\begin{equation}\label{eq1}\hat h(\pi(P))\leq 2 (N-d) C_1 h_2(\mathcal{C})\deg\mathcal{C} + \frac{N-d}{2} C_2(E)(\deg\mathcal{C})^2 +\frac{N-d}{2}C_3(E).\end{equation}
 To bound $h_2(P)$ we first remark that $P$ is a component of  $\mathcal{C} \cap (\ker \pi+\pi(P)),$ otherwise $\mathcal{C}-Q \subseteq \ker \pi+\pi(P)\cap H \subsetneq H$ would not be transverse in $H$. We then use the Arithmetic B\'ezout  Theorem for  $\mathcal{C} \cap (\ker \pi+\pi(P)),$  where we bound   $h_2(\ker \pi+\pi(P))$ using  Zhang's Inequality,   equation \eqref{mu2mu^}  and that  $\hat \mu(\ker \pi+\pi(P))=\hat h(\pi(P))$ by \cite{preprintPhilippon}. All of this gives
\begin{align}\label{bh2Ppreciso}
h_2(P)\leq& (1+d)(\deg\ker\pi)\hat h(\pi(P))\deg\mathcal{C}+(\deg\ker\pi) h_2(\mathcal{C})+\\
\notag&+\left((1+d)Nc_1(E)+C_0(1,d,3^N-1)\right)(\deg\ker\pi) \deg\mathcal{C},
\end{align}
where
 \begin{align*}
  C_0(1,d,3^N-1)&=\sum_{i=1}^{d+2}\frac{1}{i}-\frac{d+3}{2(d+2)}+\left(3^N-\frac{d+3}{2}\right)\log 2
 \end{align*}
where is defined in the Arithmetic B\'ezout Theorem \ref{AriBez}.

 Clearly $d\leq N-2$ and $\deg\ker\pi=3^{d}d!\leq 3^{N-2}(N-2)!$, so
 setting \[C_0(N)=(3^N-3/2) \log 2 +\sum_{i=1}^{N-1}\frac{1}{i}-\frac{1}{2N}\] we have
\[
  C_0(1,d,3^N-1)\leq C_0(N)
\]
and
\begin{align}\label{bh2P}
h_2(P)\leq&  3^{N-2}(N-1)! \hat h(\pi(P))\deg\mathcal{C}+3^{N-2} (N-2)! h_2(\mathcal{C})+\\
\notag&+3^{N-2} (N-2)!\left(N(N-1)c_1(E)+C_0(N)\right)\deg\mathcal{C}.
\end{align}

 Finally, substituting \eqref{eq1} into \eqref{bh2P} and using Proposition \ref{prop.confronto.h2h^} to compare $\hat h(P)$ and $h_2(P)$, we get the  bound in the statement.
 \end{proof}

Clearly, if $E$ and $\mathcal{C}$ are defined over $k$ and $E(k)$ has rank one then the set $\mathcal{C}(k)$ of $k$-rational points of $\mathcal{C}$ is a subset of  the set of points on $\mathcal{C}$ of rank one, thus of height bounded as above. We now show how a similar  strategy applies to curves transverse in an abelian variety   with a factor $E^2$.  The bounds are explicit when an embedding of the abelian variety in some projective space is given, even though this happens rarely for abelian varieties of higher dimension.
 \begin{propo}\label{prop.transv.A}
    Let $E$ be an elliptic curve   and $A$ an abelian variety, both defined over a number field $k$;  let $E$ be embedded in $\mathbb{P}_2$ through equation \eqref{EqWeierstrass} and let us fix an embedding of $A$  in some projective space.
  \begin{itemize}
\item[(a)]
  Assume that $E$ is without CM.
    Let $\mathcal{C}$ be a  curve transverse in $E^2\times A$.
    Then  every point  $P$ in $\mathcal{C}$ of rank at most one has:
\begin{align*}
   h_2(P)&\leq h_2(A)(1+\dim A)\deg\mathcal{C}+\deg A \left(h_2(\mathcal{C})+C_0 \deg \mathcal{C}\right)+(1+\dim A)\deg A\\
&\left(\left(C_3(E) +2c_1(E)\right)\deg\mathcal{C}+2C_1(E) h_2(\mathcal{C})(\deg\mathcal{C})^2+C_2(E)(\deg\mathcal{C})^3\right).
 \end{align*}
  \item[(b)]
  Assume that  $E(k)$ has rank zero. Let $\mathcal{C}$ be a  curve over $k$ weak-transverse in $E\times A$. Then for every point  $P\in \mathcal{C}(k)$  we have:
\begin{align*}
   h_2(P)&\leq  (1+\dim A)\left(2c_1(E) \deg A +h_2(A)\right)\deg\mathcal{C} +\deg A h_2(\mathcal{C})+C_0 \deg A \deg \mathcal{C}.
 \end{align*}
  \item[(c)]
  Assume that $E$ is without CM and that $E(k)$ has rank one.
    Let $\mathcal{C}$ be a  curve over $k$ transverse in $E^2\times A$.
    Then for every point  $P\in \mathcal{C}(k)$ we have:
\begin{align*}
   h_2(P)&\leq h_2(A)(1+\dim A)\deg\mathcal{C}+\deg A \left(h_2(\mathcal{C})+C_0 \deg \mathcal{C}\right)+(1+\dim A)\deg A\\
&\left(\left(C_3(E) +2c_1(E)\right)\deg\mathcal{C}+2C_1(E) h_2(\mathcal{C})(\deg\mathcal{C})^2+C_2(E)(\deg\mathcal{C})^3\right).
 \end{align*}
 \end{itemize}
  Here the constants $C_1, C_2(E), C_3(E)$ are defined in Theorem~\ref{caso_E^N},  $C_0$  in Theorem \ref{AriBez}  and $ c_1(E)$ in Table \ref{table1}.
 \end{propo}
\begin{proof}
 Part (c) is an immediate corollary   of part (a).

 To prove parts (a) and (b), we use Theorem \ref{MAINT} and  the same strategy as in the proof of Theorem~\ref{IS} above.

 Let $P$ be a point in $\mathcal{C}$ of rank one in case (a), respectively a $k$-rational point in case (b), and let  $\pi: E^2\times A \to E^2$ be the natural projection on $E^2$ for the case (a) and let  $\pi: E\times A \to E$ be the natural projection on  $E$ for the case (b).

   The point $P$ is a component of $\mathcal{C}$ intersected with $A'=\{\pi(P)\}\times A$, in case (a) because the curve $\mathcal{C}$ is transverse, in case (b) because $\mathcal{C}$ is weak-transverse and $\pi(P)$ is a torsion point. By the Arithmetic B\'ezout Theorem we deduce
 \begin{equation}\label{A3}
  h_2(P)\leq h_2(A')\deg\mathcal{C} +h_2(\mathcal{C})\deg A' +C_0 \deg \mathcal{C}\deg A'
 \end{equation}
 where the constant $C_0$ is explicitly given in Theorem \ref{AriBez}.

Clearly $\deg A'= \deg A$, so we are left to bound $h_2(A')$.

Using Zhang's Inequality
we get
  \begin{align}\label{formu}
   h_2(A')&\leq (1+\dim A)\deg A \mu_2(A')=  (1+\dim A)\deg A \left(h_2(\pi(P))+\mu_2(A)\right).
  \end{align}
 Moreover $\mu_2(A)\leq h_2(A)/\deg A$ and $h_2(\pi(P))\leq \hat h(\pi(P))+2c_1(E)$  by Proposition \ref{prop.confronto.h2h^}. Thus
  \begin{align}\label{A2}
   h_2(A')&\leq
     (1+\dim A)\left(\deg A \left(\hat h(\pi(P))+2c_1(E)\right)+h_2(A)\right).
  \end{align}

  In  case (b), $\pi(P)$ is a torsion point, so  $\hat h(\pi(P))=0$ and we directly deduce the bound.

  To bound $\hat h(\pi(P))$ in  case (a), we apply Theorem \ref{MAINT} to the curve $\pi(\mathcal{C})$ transverse in $E^2$ and we use that $\deg\pi(\mathcal{C})\leq \deg\mathcal{C}$ by \cite{MW90} Lemma 2.1 and  $\mu_2(\pi(\mathcal{C}))\leq\mu_2(\mathcal{C})$ by the definition of essential minimum  and thus $h_2(\pi(\mathcal{C}))\le 2 h_2(\mathcal{C})$ by Zhang's inequality. We obtain
 \begin{align}\label{A1}
  \hat h(\pi(P))\leq 2 C_1\cdot h_2(\mathcal{C})\deg\mathcal{C} +C_2(E)(\deg\mathcal{C})^2 +C_3(E).
  \end{align}

 Combining \eqref{A1},\eqref{A2} and \eqref{A3} we get the bound in part (a).

\end{proof}

  \begin{remark}\label{rem.rank0}
 Using the universal property of the Jacobian one can extend the above argument to any curve such that the Jacobian has a factor $E$ of rank zero or $E^2$  with $E$ of rank one.

 In addition in Proposition \ref{prop.transv.A} case (b), with $k=\mathbb{Q}$, the number of rational points of $\mathcal{C}$ is easily bounded using Mazur's theorem (\cite{Mazur}, Theorem 8) and B\'ezout's theorem, giving $$\sharp \mathcal{C}(\mathbb{Q}) \le  16 \deg A \deg \mathcal{C}.$$
 Similarly, a bound for the number of $k$-rational points can be given using B\'ezout Theorem and the bound of Parent (\cite{Parent99}) for the size of the torsion group in terms of the degree of $k$.

 \end{remark}

\bigskip

As a final remark in this section we notice that the bounds given in Theorem \ref{MAINT} use, among others, the estimates of Proposition \ref{prop.confronto.h2h^}. We give here a more intrinsic formulation of our result, where the dependence on the  height bounds of Proposition \ref{prop.confronto.h2h^} is explicitly given.
\begin{teo}\label{MAINTprimo}
 Let $E$ be an elliptic curve without CM. Let $\mathcal{C}$ be a transverse curve in $E^2$.
Let $d_2(E),d_1(E)>0$ be two constants such that
  \begin{equation}\label{eq:1}
 -d_2(E)\leq h_2(Q)-\hat h (Q)\leq d_1(E) \quad \forall Q\in E(\overline{\mathbb{Q}}).
\end{equation}
Then for every point  $P$ in $\mathcal{C}$ of rank at most one, we have:
\begin{equation*}
  \hat h(P)\leq D_1\cdot h_2(\mathcal{C})\deg\mathcal{C} +D_2(E)(\deg\mathcal{C})^2 +D_3(E)
\end{equation*}
 where
 \begin{align*}
    D_1&=72.251\\
    D_2(E)&=D_1\left(6.019+4d_2(E)\right)\\
    D_3(E)&=4d_1(E).
 \end{align*}
\end{teo}
This formulation might help for potential future applications; indeed in different elliptic curves one can prove different versions of the bounds in \eqref{eq:1} and possibly improve, in special cases, the bounds in our main theorem.

\section{The proof of the main Theorem for $N=2$}\label{DIMTHMMAIN}
In this section we first prove the new key estimate at the base of the bound in  Theorem \ref{MAINT} and then we show how to conclude its proof.

\subsection{Bounds for the degree and the height of a translate}\label{bounddegalt}
Here we  prove some general bounds for the degree and the height of a proper translate $H+P$ in $E^2$ in terms of $\hat h(P)$ and of the coefficients of the equation defining the algebraic subgroup $H$.

\begin{propo}\label{boundsotto}Let $P=(P_1,P_2)$ be a point in $E^2$, where $E$ is without CM. Let $H$ be a component of the  algebraic subgroup in $E^2$ defined by the equation $\alpha X_1+\beta X_2=O$, with $u=(\alpha,\beta)\in \mathbb Z^2\setminus\{(0,0)\}$. Then
$$\deg (H+P)\leq 3||{u}||^2$$
where $||{u}||$ denotes the euclidean norm of $u$,
$$h(H+P)\leq 6\hat h(u(P)),$$
 and
$$h_2(H+P)\leq 6\hat h(u(P))+12||u||^2c_1(E)$$
where $u(P)=\alpha P_1+\beta P_2$  and $c_1(E)$ is defined in Table \ref{table1}.
\end{propo}

\begin{proof}
{\bf A bound for the degree of $H+P$.}

We compute the degree of $H+P$ as explained in Section \ref{heightsanddegrees}.
 The map ${\pi_2}:H+P\to E$ has degree $\alpha^2$; then
\[\deg((H+P).\ell_2)=\alpha^2\deg E= 3\alpha^2.\]
The same holds exchanging $\alpha$ with $\beta$ and $\ell_2$ with $\ell_1$.
Therefore computing the degree as intersection product we get
\begin{equation}\label{gradoH+P}
  \deg (H+P)= 3(\alpha^2+\beta^2)=3||{u}||^2.
\end{equation}

{\bf A bound for the height of $H+P$.}
Let $P=(P_1,P_2)$ be a point in $E^2$.
Let $H$ be a component of the  algebraic subgroup defined by the vector $u=(\alpha,\beta)\in \mathbb{Z}^2$.
Let $u^{\perp}=(-\beta,\alpha)$.
Then $u^{\perp}$ defines an  algebraic subgroup $H^\perp$, and for any point $P\in E^2$ there exist two points $P_0\in H$, $P^\perp\in H^\perp$,  unique up to torsion points in $H\cap H^\perp$, such that $P=P_0+P^\perp$.
Let
\[ U = \left( \begin{array}{cc}
\alpha & \beta \\
-\beta & \alpha \\
\end{array} \right).\]
be the $2\times 2$ matrix with rows $u$ and $u^\perp$.

We remark that $u(P_0)=0$ because $P_0\in H$, and $u^\perp(P^\perp)=0$ as $P^\perp\in H^\perp$. Therefore
\begin{equation*}
UP^\perp=
\left(
\begin{array}{c}
u(P^\perp)\\
0\\
\end{array}
\right)
=
\left(
\begin{array}{c}
u(P_0+P^\perp)\\
0
\end{array}
\right)
=
\left(
\begin{array}{c}
u(P)\\
0
\end{array}
\right).
\end{equation*}
We have that $U U^{t}=U^t U=(\det U) I_2$, hence
\begin{equation*}
[\det U]P^\perp=U^tUP^\perp=U^t\left(
\begin{array}{c}
u(P)\\
0
\end{array}
\right).
\end{equation*}
Computing canonical heights we have
\begin{align*}\label{hP}
\notag(\det U)^2\hat h(P^\perp)&=\hat h([\det U]P^\perp)=\hat h\left(U^t\left(
\begin{array}{c}
u(P)\\
0
\end{array}
\right)\right)=\hat h \left(\left( \begin{array}{cc}
\alpha & -\beta \\
\beta & \alpha \\
\end{array} \right)\left(\begin{array}{c}
u(P)\\
0
\end{array}\right)\right)=\\
&=(\alpha^2+\beta^2)\hat h(u(P))=(\det U)\hat h(u(P)),
\end{align*}
and so
\begin{equation*}
   \hat h(P^\perp)=\frac{\hat h(u(P))}{\det U}.
\end{equation*}
By \cite{preprintPhilippon} we know that
\[
\hat\mu(H+P)=\hat h(P^\perp)
\]
and therefore, by Zhang's inequality \eqref{Zhangh^}
\begin{align*}
\notag h(H+P)&\leq 2(\deg H)\hat\mu(H+P)=2(\deg H)\hat h(P^\perp)= \\
\label{ultimarigacost}&=2 \frac{(\deg H)}{\det U} \hat h(u(P))=2 \frac{(\deg H)}{||{u}||^2} \hat h(u(P)).
\end{align*}
Analogously for $h_2$ using \eqref{zhangh2} and \eqref{mu2mu^}we obtain
\begin{align*}h_2(H+P)\leq & 2 (\deg H) \mu_2(H+P)\leq 2 \deg H\left(\hat \mu(H+P)+2c_1(E)\right)=\\&=2 \deg H\left(\frac{\hat h(u(P))}{\det U}+2c_1(E)\right)=2 \deg H\left(\frac{\hat h(u(P))}{||{u}||^2}+2c_1(E)\right).\end{align*}

By  \eqref{gradoH+P}  we get
\[
 \deg H\leq 3 ||u||^2,
\]
which leads to the bounds for $h(H+P)$ and $h_2(H+P)$ in the statement.\qedhere
\end{proof}

\subsection{Geometry of numbers}\label{geonum}
In this section  we use a classical result from the Geometry of Numbers to prove a sharp technical lemma that will be used to build  an auxiliary translate so that both its degree and height are small.

\begin{lem}\label{trapezio}
  Let $L\in\mathbb{R}[X_1,X_2]$ be a linear form and let $1<\kappa$. If
  \[T\geq \frac{\kappa}{\sqrt{2}(\kappa-1)^{1/4}},\] then there exists $u\in\mathbb{Z}^2\setminus\{(0,0)\}$ such that
  \begin{align*}
     ||{u}||&\leq T\\
   \abs{L(u)}&\leq \frac{\kappa||L||}{T},
  \end{align*}
  where    $||{u}||$ denotes the euclidean norm of $u$, $||{L}||$ the euclidean norm of the vector of the coefficients of $L$ and $|L(u)|$ is the absolute value of $L(u)$.
\end{lem}
\begin{proof}
 Let $\mathscr{S}_T\subseteq \mathbb{R}^2$ be the set of points $(x,y)$ satisfying the two inequalities
 \begin{align*}
  \sqrt{x^2+y^2}&\leq T\\
  \abs{L(x,y)}&\leq \kappa||L||/T.
 \end{align*}
Geometrically $\mathscr{S}_T$ is the intersection between a circle of radius $T$ and a strip of width $2\kappa/T$, as presented in the following figure (the set $\mathscr{S}_T$ is lightly shaded).
\begin{figure}[ht!]
\centering
\includegraphics[width=40mm]{illustrazione.pdf}
\caption{The set $\mathscr{S}_T$}
\end{figure}

The statement of the theorem is equivalent to $\mathscr{S}_T\cap \mathbb{Z}^2\neq (0,0)$.
By Minkowski's Convex Body Theorem if the set $\mathscr{S}_T$ has an area bigger than 4, then the intersection  $\mathscr{S}_T\cap \mathbb{Z}^2$ contains points other than the origin.

The area of $\mathscr{S}_T$ is bigger than four times the area of the dark grey trapezoid in the picture, which can be easily computed as
\[\frac{\kappa}{2T}\left(T+\sqrt{T^2-\frac{\kappa^2}{T^2}}\right).\]
Therefore we need to check that
\begin{align*}
 \frac{\kappa}{2T}\left(T+\sqrt{T^2-\frac{\kappa^2}{T^2}}\right)\geq 1.
 \end{align*}
 This is trivially true for all $\kappa\geq 2$ (notice that $\frac{\kappa}{\sqrt{2}(\kappa-1)^{1/4}}\geq\sqrt{\kappa}$). If $1<\kappa<2$ an easy computation shows that the inequality holds as soon as $T\geq\frac{\kappa}{\sqrt{2}(\kappa-1)^{1/4}}$.
\end{proof}

\subsection{The auxiliary subgroup}\label{auxH}
In Proposition \ref{Prop3.1nostrocaso} we apply our Lemma \ref{trapezio} to construct  the auxiliary translate $H+P$ used in the proof  of Theorem \ref{MAINT}.
\begin{lem}\label{lem75} Let $E$ be without CM.
 Let $P=(P_1,P_2)\in E^2$ be a  point of  rank one.
Then there exists a linear form $L\in \mathbb{R}[X_1,X_2]$ with $||L||= 1$ and $$\hat h(t_1 P_1+t_2 P_2)= |L(\mathbf{t})|^2 \hat h(P)$$
for all $\mathbf{t}=(t_1,t_2)\in \mathbb{Z}^2$.
\end{lem}
\begin{proof}
Let $g$ be a generator for $\langle P_1,P_2\rangle_\mathbb{Z}$ and let $a,b\in \mathbb{Z}$ and $T_1,T_2$ torsion points   such that $P_1=[a] g+T_1$ and $P_2=[b] g+T_2$. Thus $\hat h(P)=\hat h(ag)+\hat h(bg)=(a^2+b^2)\hat h(g)$.
Consider the linear form $$L(X_1,X_2)=\frac{a X_1+b X_2}{\sqrt{a^2+b^2}}.$$
Then for all $\mathbf{t}=(t_1,t_2)\in \mathbb{Z}^2$ we have:

\begin{align*}
 \hat h(t_1 P_1+t_2 P_2)&=\hat h([at_1+bt_2]g)=(at_1+bt_2)^2 \hat h(g)=\\
 &=\frac{(a t_1+b t_2)^2}{a^2+b^2}\hat h(P) =\abs{L(\mathbf{t})}^2 \hat h(P).\qedhere
\end{align*}
\end{proof}

We can now construct the auxiliary translate.
\begin{propo}\label{Prop3.1nostrocaso} Let $E$ be  without CM. Let  $P\in  E^2$ be a point of  rank one.
Let $1<\kappa$ and $T\geq \frac{\kappa^2}{2(\kappa-1)^{1/2}}$.

Then there exists an elliptic curve $H\subseteq E^2$ such that
\begin{align*}
\deg(H+P)&\leq 3 T,\\
h_2(H+P)&\leq \frac{6\kappa^2}{T}\hat h(P)+12Tc_1(E)
\end{align*}
 where $c_1(E)$ is defined in Table \ref{table1}.
\end{propo}
\begin{proof}
By Lemma \ref{lem75}, there exists a linear form $L\in\mathbb{R}[X_1,X_2]$ with $||L||=1$ such that
$\hat h(t_1 P_1+t_2 P_2)= |L(\mathbf{t})|^2 \hat h(P)$ for all vectors $t=(t_1,t_2)\in \mathbb{Z}^2$.

By Lemma \ref{trapezio}, applied to $L$, $\kappa$ and $\sqrt{T}$, there exists $u\in\mathbb{Z}^2$ such that $||u||\leq \sqrt{T}$ and $\abs{L(u)}\leq \kappa||L||/\sqrt{T}= \kappa/\sqrt{T}$.

Consider the subgroup defined by the equation $u(X)=O$ and denote by $H$ the irreducible component containing $O$.
By Proposition \ref{boundsotto}, we have that $$\deg (H+P)\leq 3||{u}||^2$$  and
$$h_2(H+P)\leq 6\hat h(u(P))+12||u||^2c_1(E)$$.

Combining these bounds with the above inequalities, we get that
\begin{align*}
 \deg (H+P)&\leq 3T,\\
h_2(H+P)&\leq \frac{6\kappa^2}{T}\hat h(P)+12Tc_1(E).\qedhere
\end{align*}
\end{proof}

\subsection{Conclusion of the Proof of Theorem \ref{MAINT}}\label{SecProofMain}
 In this section  we conclude  the proof of Theorem \ref{MAINT}. We shall approximate a point of rank one with a translate constructed as above. Combing the Arithmetic B\'ezout Theorem and a good choice of  the parameters we conclude that the height of $P$ is bounded.

 \begin{proof}[Proof of Theorem \ref{MAINT}]
 If $P$ has rank zero then its height is zero and the statement is true.

 Let $T$ and $\kappa$ be real numbers with $\kappa>1$ and $\sqrt{T}\geq \kappa/\sqrt{2}(\kappa-1)^{1/4}.$
We apply Proposition \ref{Prop3.1nostrocaso} to the point $P$ of rank one, thus obtaining an elliptic curve $H$ with
\begin{align}\label{bounds}
 \deg (H+P)&\leq 3T,\\
\notag h_2(H+P)&\leq \frac{6\kappa^2}{T}\hat h(P)+12Tc_1(E).
\end{align} The values of the free parameters $T$ and $\kappa$ will be chosen later.

We now want to bound $\hat h(P)$  in terms of $\deg (H+P)$ and $h_2(H+P)$.

Notice that the point $P$ is a component of the intersection $\mathcal{C}\cap (H+P)$, because otherwise $\mathcal{C}=H+P$,
contradicting the fact that $\mathcal{C}$ has genus $\ge2$. Therefore we can apply the Arithmetic B\'ezout Theorem to the intersection
$\mathcal{C}\cap (H+P)$, obtaining:
\begin{equation*}\label{boundh2}
h_2(P)\leq h_2(\mathcal{C})\deg H+ h_2(H+P)\deg \mathcal{C}+C_0(1,1,8)\deg H\deg \mathcal{C}
\end{equation*}
where $C_0(1,1,8)=\frac{7}{6}(1+6\log 2)\leq 6.019$.

By Proposition \ref{prop.confronto.h2h^} we have $\hat h(P)\leq h_2(P)+2c_2(E)$
 so, using the bounds in formula \eqref{bounds}, we get
\begin{align*}
 \hat h(P)\leq 3 T h_2(\mathcal{C})+\frac{6 \kappa^2}{T}\hat h(P)\deg \mathcal{C}+3 T \deg \mathcal{C}\left(4c_1(E)+C_0(1,1,8)\right)+2c_2(E).
\end{align*}

\bigskip

Let now
\begin{align*}
 c_{8}(\mathcal{C})&=6\deg \mathcal{C},\\
 c_9(\mathcal{C},E)&=3 h_2(\mathcal{C})+3\deg \mathcal{C} (4c_1(E)+C_0(1,1,8)), \\
 c_{10}(\mathcal{C},E)&=2c_2(E),
\end{align*}
so that
\begin{equation}\label{eq_ottim}
\hat h(P)\leq c_{8}\frac{\kappa^2}{T}\hat h(P)+c_9 T+c_{10}.
\end{equation}
We set
\begin{align*}
 \kappa&=1+\frac{1}{16c_{8}^2}\\
 T&=c_{8}\kappa^2\left(1+\sqrt{1+\frac{c_{10}}{\cundicic_9\kappa^2}}\right).
\end{align*}

Notice that $1<\kappa$, $T\geq \frac{\kappa^2}{2\sqrt{k-1}}$, so our assumptions on $\kappa$ and $T$ are verified.
Furthermore
\begin{equation}\label{eq_boundT}
 2c_{8}\kappa^2\leq T\leq 2c_{8}\kappa^2+\frac{c_{10}}{2c_9}
\end{equation}
and the coefficient of $\hat h(P)$ on the right hand side of \eqref{eq_ottim} is smaller than 1, so we can bring it to the left hand side and express $\hat h(P)$ in terms of the rest. After simplification, and using the definition of $T$, \eqref{eq_ottim} becomes
\begin{equation*}
  \hat h(P)\leq 2c_9 T +c_{10}=\frac{c_9 T^2}{c_{8} \kappa^2}.
\end{equation*}
Using \eqref{eq_boundT} this simplifies to
\begin{equation}\label{final}
  \hat h(P)\leq 4\cundicic_9\kappa^2+2c_{10}.
\end{equation}
After substituting everything back and noticing that  $\kappa\leq 1+\frac{1}{576}$, the last inequality \eqref{final} becomes the bound in the statement of the theorem.
\end{proof}
\begin{remark}  Theorem \ref{MAINT}' is proven in an analogous way, replacing Proposition \ref{prop.confronto.h2h^} and the constants $c_1(E),c_2(E)$ with relation \eqref{eq:1}  and the constants $d_1(E) $, $d_2(E)$.
\end{remark}

\section{Transversality and invariants for a large family of curves in $E^2$}\label{sez:criterio}
In this section we give a simple criterion to prove the transversality of a curve in $E^2$. We also show an easy argument to explicitly bound the height and the degree of a large class of curves.

\begin{lem}\label{remark.transversality}
 Let $\mathcal{C}\subseteq E^2$ be an irreducible curve. Assume that:
\begin{enumerate}[(i)]
\item\label{hyp1}  $\mathcal{C}$ is not of the form $\{P\}\times E$ or $E\times \{P\}$  for some point $P\in E$;
\item\label{hyp2} for every point $(P_1,P_2)\in\mathcal{C}$ the point $(-P_1,P_2)$ also belongs to $\mathcal{C}$.
\end{enumerate}
Then $\mathcal{C}$ is transverse.
\end{lem}

\begin{proof}
By  \eqref{hyp1}, the curve  $\mathcal{C}$ is not $\{P\}\times E$, so the natural  projection $\mathcal{C}\rightarrow E$ on the first coordinate is surjective. Thus $\mathcal{C}$ contains at least one point $(P_1,P_2)$ with $P_1$ not a torsion point in $E$. By \eqref{hyp2}, then $\mathcal{C}$ contains also the point $(-P_1,P_2)$. Observe that the only non-transverse curves in $E^2$ are translates. So
 if $\mathcal{C}$  were not transverse, then it would be a  translate  $H+Q$ of  an elliptic curve $H$ by  a point $Q=(Q_1,Q_2)$. Therefore the difference $(P_1,P_2)-(-P_1,P_2)=(2P_1,0)$ would belong to  $H$, and so would all its multiples. This implies  that  $H=E\times \{0\}$ and $\mathcal{C}=E\times \{Q_2\}$,   contradicting  \eqref{hyp1}.
\end{proof}
This last  lemma is useful to show the transversality of the following curves.
\begin{thm}\label{remark.irreducibility}
Let $E$ be defined over  a number field $k$.
 Let $E^2$ be given as in (\ref{due}) and  let $\mathcal{C}$ be the  projective closure of the curve in $E^2$ given by the additional equation
\[p(x_1)=y_2,\]
where $p(X)=p_0 X^n+p_1 X^{n-1}+\ldots+p_n$ is a non-constant polynomial in $k[X]$ of degree $n$ having $m$ coefficients different from zero.

Then $\mathcal{C}$ is transverse and its degree and normalised height are bounded as
\[\deg\mathcal{C}= 6n+9\]
and
\[h_2(\mathcal{C})\leq 6(2n+3)\left(h_W(p)+\log m+2c_6(E)\right)\]
where $h_W(p)=h_W(1:p_0:\ldots:p_n)$ is the height of the polynomial $p(X)$  and $c_6(E)$ is defined in Table \ref{table1}.
\end{thm}
\begin{proof}
The transversality of $\mathcal{C}$ follows from Lemma \ref{remark.transversality}, once we have proved that $\mathcal{C}$ is irreducible.
To this aim, it is enough to check that the ideal generated by $y_1^2-x_1^3-Ax_1-B$ and $x_2^3-Ax_2+B-p(x_1)^2$ is a prime ideal in $k(x_1)[x_2,y_1]$.  This follows by observing that both polynomials are irreducible over $k(x_1)$ and involve only one of the two unknowns, with coprime exponents.
 To check the irreducibility of $x_2^3-Ax_2+B-p(x_1)^2$  we observe that a root $f(x_1)$ of this polynomial over  $k(x_1)$ gives a morphism $x_1\mapsto (f(x_1),p(x_1))$ from $\P_1$ to $E$, but such a morphism cannot exist.

 The degree of $\mathcal{C}$ is computed as an intersection product as explained in Section \ref{heightsanddegrees}.
    The preimage in $\mathcal{C}$ of a generic point of $E$ through the projection on the first component consists of 3 points. The preimage through the projection on the second component has generically $2n$ points.
 Therefore $\deg\mathcal{C}=3(2n+3)$.

We now want to estimate the height of $\mathcal{C}$.
By Zhang's inequality we have
$h_2(\mathcal{C})\leq 2\deg\mathcal{C}\mu_2(\mathcal{C}).$
We compute an upper bound for $\mu_2(\mathcal{C})$
by constructing an infinite set of points on $\mathcal{C}$ of bounded height.
 Let $Q_\zeta=((\zeta,y_1), (x_2,y_2))\in \mathcal{C}$, where $\zeta \in \overline{\mathbb{Q}}$ is a root of unity. Clearly there exist infinitely many such points on $\mathcal{C}$. Using the equations of $\mathcal{C}$ and classical estimates on the Weil height we have:
\[h_W(\zeta)=0,\] \[h_W(y_2)\leq h_W(1:p_0:\ldots:p_n)+\log m.\]

By  Lemma \ref{lem.confronto.h2hx}  we get:
\[ h_2(\zeta,y_1)\leq c_6(E), \]
\[ h_2(x_2,y_2)\leq h_W(1:p_0:\ldots:p_n)+\log m+c_6(E)\]
where $c_6(E)$ is defined in Table \ref{table1}.
Thus for all points $Q_\zeta$ we have
\[h_2(Q_\zeta)=h_2(x_1,y_1)+h_2(\zeta,y_2)\leq h_W(1:p_0:\ldots:p_n)+\log m+2c_6(E).\]
By the definition of essential minimum, we deduce \[\mu_2(\mathcal{C})\leq h_W(1:p_0:\ldots:p_n)+\log m+2c_6(E).\]
Finally, by Zhang's inequality (\ref{zhangh2}) $$h_2(\mathcal{C})\leq 2\deg\mathcal{C}\mu_2(\mathcal{C})\leq 6(2n+3)\left(h_W(1:p_0:\ldots:p_n)+\log m+2c_6(E)\right)$$ as wished.
\end{proof}
 We now apply Theorem \ref{MAINT} in order to prove an effective Mordell theorem for the large family of curves defined above. The following theorem is a sharper version of Theorem \ref{polyintro} in the Introduction. If $P$ is a rational point on one of our curves, we also give bounds for the integers $a,b$ such that $P=([a]g,[b]g)$, where $g$ generates $E(k)$. These bounds are used in the algorithm in Section \ref{SecEx2} to list all the rational points and their shape explains why a $g$ with large height is advantageous for us.

  \begin{thm}\label{caso_poly}  Assume that $E$ is without CM, defined over a number field $k$ and that $E(k)$ has rank one.
Let $\mathcal{C}$ be the  projective closure of the curve given in $E^2$ by the additional equation $$p(x_1)=y_2,$$ with $p(X)\in k[X]$ a non-constant polynomial  of degree $n$ having $m$ non-zero coefficients.

 If $P\in \mathcal{C}(k)$ then
\[\hat h(P)\leq 1300.518 (2n+3)^2\left(h_W(p)+\log m+2c_6(E)+3.01+2c_1(E)\right)+4c_2(E)\]
where $h_W(p)=h_W(1:p_0:\ldots:p_n)$ is the height of the polynomial $p(X)$ and the constants $c_6(E)$, $c_1(E)$ and $c_2(E)$  are defined in Table \ref{table1}.

Writing $P=([a]g,[b]g)$ where $a$ and $b$ are integers and $g$ is a generator of $E(k)$ we have that
\[
 \max(\abs{a},\abs{b})\leq\left(\frac{\hat h(P)}{\hat h(g)}\right)^{1/2}.
\]
\end{thm}
\begin{proof}
Let $P\in \mathcal{C}(k)$.
 In view of Theorem \ref{remark.irreducibility}, we can apply  Theorem \ref{MAINT} to $\mathcal{C}$ in $E^2$ and,  using the bounds for $\deg\mathcal{C}$ and $h_2(\mathcal{C})$ computed in Theorem \ref{remark.irreducibility}, we obtain the desired upper bound for $\hat h(P)$.  The bound on $\abs{a}$ and $\abs{b}$ follows from the equality $(a^2+b^2)\hat h(g)= \hat h(P)$.
\end{proof}

\section{Estimates for the  family $\mathcal{C}_n$}\label{SecEx}

 In  the  following two sections we study two special families of curves. The rough idea is to  cut a transverse curve in $E^2$ with an equation with few small integral coefficients and choosing $E$ without CM defined by a Weierstrass equation with small integral coefficients and with $E(\mathbb{Q})$ of rank one.  A generator of large height can help in the implementation, but it does not play any role in the height bounds.
  Such a choice of the curve keeps the bound for the height of its rational points very small, so small that we can implement a computer search and  list  them all.

In this section  we investigate the family $\{\mathcal{C}_n\}_n$ of curves given in  Definition \ref{defCn}, i.e. cut in $E^2$ by the additional equation  $x_1^n=y_2$.

As a direct application of  Theorem  \ref{remark.irreducibility} with $p(x_1):=x_1^n$ we have:
\begin{cor}\label{gradoaltezzaCn}
For every $n\geq 1$, the curve $\mathcal{C}_n$ is transverse in $E^2$  and its degree and normalised height are bounded as
\begin{align}
\begin{split}
 \notag  \deg \mathcal{C}_n&= 6n+9,\\
 \notag  h_2(\mathcal{C}_n)&\leq 6(2n+3)\log( 3+\abs{A}+\abs{B}).
\end{split}
\end{align}
\end{cor}

Even if it is not necessary for the results of this paper, it is interesting to remark that the genus of the curves in the family $\{\mathcal{C}_n\}_n$ is unbounded  for generic  rational integers $A$ and $B$, as shown by the following lemma.
\begin{lem}\label{genus}
Suppose that the coefficients $A$ and $B$ of the elliptic curve $E$ are rational integers such that $-3A$ and $-3\Delta$ are not squares, where  $\Delta$ is the discriminant of $E$, and $B(2A^3+B^2)(3A^3+8B^2)\neq 0$. Then the curve $\mathcal{C}_n$ of Definition \ref{defCn} has genus $4n+2$.
\end{lem}
\begin{proof}
 Consider the morphism $\pi_n:\mathcal{C}_n\to\P_1$ given by the function $y_2$. The morphism $\pi_n$ has degree $6n$, because for a generic value of $y_2$ there are three possible values for $x_2$, $n$ values for $x_1$, and two values of $y_1$ for each $x_1$.

 Let $\alpha_1,\alpha_2,\alpha_3$ be the three distinct roots of the polynomial $f(T)=T^3+AT+B$;  let also $\beta_1,\beta_2,\beta_3,\beta_4$ be the roots of the polynomial $g(T)=27T^4-54BT^2+4A^3+27B^2$, which are the values such that $f(T)-\beta_i^2$ has multiple roots. If $-3A$ and  $-3\Delta$ are not squares then the polynomial $g(T)$ is irreducible over $\mathbb{Q}$  (\cite{BiquadraticIrreducibility}, Theorem 2); in particular, the $\beta_i$ are all distinct.

The $\beta_i$ have degree $4$ over $\mathbb{Q}$, and therefore they cannot be equal to any of the $\alpha_j^n$, which have degree at most $3$.
Also for all $n$ the three $\alpha_j^n$ are distinct, otherwise the ratio $\alpha_i/\alpha_j$ would be a root of 1 inside the splitting field of a polynomial of degree 3, which is easily discarded (if the ratio is 1, then $\Delta=0$, if the ratio is $-1$ then $B=0$, if the ratio is $i$ then $2A^3+B^2=0$, if the ratio is a primitive third root of unity, then $A=0$, if the ratio is a primitive sixth root of unity, then $3A^3+8B^2=0$).

The morphism $\pi_n$ is ramified over $\beta_1,\beta_2,\beta_3,\beta_4,0,\alpha_1^n,\alpha_2^n,\alpha_3^n,\infty$.
{Each of the points $\beta_i$ has} $2n$ preimages of index 2 and $2n$ unramified preimages. The point 0 has 6 preimages ramified of index $n$. The points $\alpha_i^n$ have 3 preimages ramified of index 2 and $6n-6$ unramified preimages.
The point at infinity is totally ramified.

By Hurwitz formula
\begin{align*}
2-2g(\mathcal{C}_n)&=\deg\pi_n (2-2g(\P_1))-\sum_{P\in \mathcal{C}_n}(e_P-1)\\
2-2g(\mathcal{C}_n)&=12n-(4\cdot 2n +6(n-1)+3\cdot 3 +6n -1)\\
g(\mathcal{C}_n)&=4n+2.\qedhere
\end{align*}
\end{proof}

 We remark that the five curves $E_1,\dotsc,E_5$ satisfy the hypotheses of Lemma \ref{genus}.

We now prove an effective Mordell theorem for the family $\{\mathcal{C}_n\}_n\subseteq E^2$.

The bound for the canonical height of a point $P\in\mathcal{C}_n(k)$ is a simple corollary of Theorem \ref{caso_poly}  while, for this specific family, we sharpen the bounds for the integers $a,b$ such that $P=([a]g,[b]g)$, where $g$ generates $E(k)$. This improvement speeds up the computer search.
We use here some technical height bounds proved in Section \ref{altezze}.
\begin{thm}\label{remark_Cn}
Let $E$ be an elliptic curve  defined over a number field $k$, without CM and such that $E(k)$ has rank one. Let $\{\mathcal{C}_n\}_n$ be the family of curves of Definition \ref{defCn}.
For every $n\geq 1$ and every point $P\in \mathcal{C}_n(k)$ we have
\[\hat h(P)\leq 1300.518\left(2c_6(E)+3.01+2c_1(E)\right)(2n+3)^2+4c_2(E).\]

Writing
$P=([a]g,[b]g)$ where  $a$ and $b$ integers and $g$ is a generator of $E(k)$, we have that
\[\abs{a}\leq \left(\frac{3\hat h(P)+3c_{5}(E)+6nc_3(E)}{(2n+3)\hat h(g)}\right)^{1/2}\]
and
\[|b|\leq \left(\frac{2n\hat h (P)+6 n c_4(E)+9 c_3(E)+3c_{7}(E)}{(2n+3)\hat h(g)}\right)^{1/2}.\]
Here the constants $c_1(E),\dots,c_{7}(E)$ are defined in Table \ref{table1}.

\end{thm}
\begin{proof}
 From Theorem \ref{caso_poly} applied to $p(x_1):=x_1^n$  we have
\[\hat h(P)\leq 1300.518\left(2c_6(E)+3.01+2c_1(E)\right)(2n+3)^2+4c_2(E).\]
By the  definition of $\hat{h}$ on $E^2$ and the standard properties of the N\'eron-Tate height, we have
\[
 \hat{h}(P)=\hat h([a]g)+\hat h([b]g)=(a^2+b^2)\hat{h}(g),
\]
and \begin{equation}\label{equacurva}(x([a]g))^n=y([b]g)\end{equation} because $P$ is on the curve with equation $x_1^n=y_2$.

Combining the bounds \eqref{equacurva} with \eqref{BoundSilvermanAltezze}, \eqref{hWeil}  (resp. \eqref{stima_zimmer} if $k=\mathbb{Q}$) and Proposition \ref{prop.confronto.h2h^},  proved in Section \ref{altezze}, we get
\begin{align*}
 \frac{2}{3}na^2\hat{h}(g)&\leq n h_W(x([a]g))+2nc_3(E)= h_W(y([b]g))+2nc_3(E)\leq \\
 &\leq h_W([b]g)+2nc_3(E)\leq h_2([b]g)+2nc_3(E)\leq \hat h([b]g)+c_{5}(E)+2nc_3(E)=\\
 & \leq b^2\hat{h}(g)+c_{5}(E)+2nc_3(E)
\end{align*}
where $c_{5}(E)=c_1(E)$ in general, while if $k=\mathbb{Q}$ one can take $c_{5}(E)=3 h_{\mathcal{W}}(E)+6\log2$.
Therefore
\[
 \frac{2n+3}{3}a^2\hat h(g)\leq \hat h(P)+c_{5}(E)+2nc_3(E).
\]
which gives the bound in the statement.

Using \eqref{BoundSilvermanAltezze} and Lemma \ref{lem.confronto.h2hx},  proved in Section \ref{altezze}, we get
\begin{align*}b^2\hat h(g)&\leq \frac{3}{2} h_W(x([b]g)) +3 c_3(E)\leq  h_W(y([b]g))+c_{7}(E)+3 c_3(E)=\\
\notag &=n h_W(x([a]g))+c_{7}(E)+3 c_3(E)
\leq  \\ \notag &\leq \frac{2na^2}{3}\hat h (g)+2n c_4(E)+c_{7}(E)+3 c_3(E)
\end{align*}
 where $c_{7}(E)=(h_W(A)+h_W(B)+\log3)/2$ and, if $k=\mathbb{Q}$ one can take $c_{7}(E)=\log(1+\abs{A}+\abs{B})/2$.
Therefore
\begin{align*}
\notag \frac{2n+3}{3}b^2\hat h(g)\leq  \frac{2n}{3}\hat h (P)+2n c_4(E)+c_{7}(E)+3 c_3(E)
\end{align*}
which gives the desired bound.
\end{proof}
 We remark that the bound for $|a|$ in Theorem \ref{remark_Cn} grows like $\sqrt n$ (while the one for $|b|$ grows like $n$).

\section{Estimates for the  family $\mathcal{D}_n$}
\label{Dn}
We can do similar computations for the family $\mathcal{D}_n$ of Definition \ref{defDn}. Thanks to the arithmetic properties of the cyclotomic polynomials we can prove a better bounds for $h_2(\mathcal{D}_n)$ than the one that follows directly from Theorem~\ref{remark.irreducibility}.

\begin{propo}\label{gradoaltezzaDn}
For every $n\geq 2$, the curve $\mathcal{D}_n$ is transverse in $E^2$ and its degree and normalised height are bounded as
\begin{align}
\begin{split}
 \notag  \deg \mathcal{D}_n&= 6\varphi(n)+9,\\
 \notag  h_2(\mathcal{D}_n)&\leq 6(2\varphi(n)+3)\left(2^{\omega_2(n)}\log2+2c_6(E)\right),
\end{split}
\end{align}
where $\varphi(n)$ is the Euler function, $\omega_2(n)$ is the number of distinct odd prime factors of $n$, and $c_6(E)$ is defined in Table \ref{table1}.
\end{propo}
\begin{proof}
Transversality and the bound for the degree follow directly from Theorem~\ref{remark.irreducibility}.

Now we follow the same strategy as in the proof of Theorem~\ref{remark.irreducibility} and we construct an infinite set of points on $\mathcal{D}_n$ of bounded height, getting an upper bound for $\mu_2(\mathcal{D}_n)$.

 Let $Q_\zeta=((\zeta,y_1), (x_2,y_2))\in \mathcal{D}_n$, where $\zeta \in \overline{\mathbb{Q}}$ is a root of unity. Clearly there exist infinitely many such points on $\mathcal{D}_n$.

 We claim that for every root of unity $\zeta$ and for every $n\geq1$ we have:
 \[h_W(\Phi(\zeta))\leq 2^{\omega_2(n)}\log2,\]
 where $\omega_2(n)$ is the number of distinct odd prime factors of $n$.
 To show this, we first show that we can assume $n$ to be squarefree.

 Let $r$ be the radical part of $n$. Then we have that $\Phi_n(x)=\Phi_r(x^{n/r})$ and if $\zeta$ is a root of 1 so is $\zeta^{n/r}$.

 We can also assume $n$ to be odd, because if $n=2d$ with $d$ odd, then $\Phi_n(x)=\Phi_d(-x)$.

 Now we write
 \[\Phi_n(x)=\prod_{d\mid n}(x^d-1)^{\mu(n/d)},\]
 where $\mu(n)$ is the M{\"o}bius function, and we observe that when $n$ is odd and squarefree than there are exactly $2^{\omega_2(n)}$ factors in the product, and that $h_W(\zeta^d-1)\leq 2\log 2$ for all $\zeta$ and $d$.

 Using the equations of $\mathcal{D}_n$ we have:
\[h_W(y_2)\leq 2^{\omega_2(n)}\log2.\]
Thus by Lemma \ref{lem.confronto.h2hx}
\[ h_2(\zeta,y_1)\leq c_6(E), \quad h(x_2,y_2)\leq 2^{\omega_2(n)}\log2+c_6(E) \]
and, using \eqref{hWeil}, for all points $Q_\zeta$ we have
\[h_2(Q_\zeta)=h_2(x_1,y_1)+h_2(\zeta,y_2)\leq 2^{\omega_2(n)}\log2+2c_6(E).\]
By the definition of essential minimum, we deduce \[\mu_2(\mathcal{D}_n)\leq 2^{\omega_2(n)}\log2+2c_6(E).  \]
and by Zhang's inequality
$h_2(\mathcal{D}_n)\leq 2\deg\mathcal{D}_n\mu_2(\mathcal{D}_n)$ which gives the bounds in the statement.
\end{proof}

To give an idea of the growth of the bounds above in terms of $n$, we recall that $\frac{n}{\log\log n}\ll\varphi(n)\ll n$ and that $\omega_2(n)$ has a normal value of $\log\log n$.\\

Now a direct application of Theorem~\ref{MAINT} gives the following:
\begin{cor}\label{CoroDn}
Let $E$ be an elliptic curve without CM such that $E(k)$ has rank one. Let $\{\mathcal{D}_n\}_n$ be the family of curves of Definition \ref{defDn}.
For every $n\geq 2$ and every point $P\in \mathcal{D}_n(k)$ we have
\[\hat h(P)\leq 1300.518\left(2^{\omega_2(n)}\log2+2c_6(E)+3.01+2c_1(E)\right)(2\varphi(n)+3)^2+4c_2(E)\]
where the constants $c_1(E)$, $c_2(E)$ and $c_6(E)$ are defined in Table \ref{table1}.
Writing $P=([a]g,[b]g)$ where $a$ and $b$ are integers and $g$ is a generator of $E(k)$ we have that
\[
 \max\left(\abs{a},\abs{b}\right)\leq\left(\frac{\hat h(P)}{\hat h(g)}\right)^{1/2}.
\]
\end{cor}
\begin{proof}
 The bound on $\hat h(P)$ is a direct application of  Theorem~\ref{MAINT} and the bound on $a$ and $b$ follows from Theorem \ref{caso_poly}.
\end{proof}

\section{Rational points on  explicit curves}\label{SecEx2}
 In this section we prove Theorem \ref{curveEsp} from the Introduction, which gives all the rational points of  several curves.
 The strategy here is to build many examples  by keeping fixed  the equation $$x_1^n=y_2$$  or $$ \Phi_n(x_1)=y_2$$ in $\P_2\times\P_2$ and taking many different elliptic curves $E$ in order to define the curves $\mathcal{C}_n$  and $\mathcal{D}_n$ in $E^2$; see Definition \ref{defCn}.
We also recall that for $i=1,2,3,4,5$ we defined:
\begin{align*}
   E_1: y^2&=x^3+x-1\\
  \notag E_2: y^2&=x^3-26811x-7320618 \\
  \notag E_3: y^2&=x^3-675243x-213578586\\
  \notag E_4: y^2&=x^3- 110038419x + 12067837188462\\
  \notag E_5: y^2&= x^3 - 2581990371 x - 50433763600098.
\end{align*}

For these elliptic curves the discriminant and the $j$-invariant are the following:
   \begin{align}\label{DJ}
      &\Delta(E_1)=-496, 		&j(E_1)&=\frac{6912}{31}, 		\\
  \notag    &\Delta(E_2)=-21918062700048384, 	&j(E_2)&=-\frac{979146657}{10069019}, 	\\
  \notag    &\Delta(E_3)=-1765662163329024,	&j(E_3)&=-\frac{15641881075729}{811134},\\
   \notag   &\Delta(E_4)=-62828050697723854898526892032, &j(E_4)&=-\frac{2507136440062325499}{1068992890181390681},\\
   \notag   &\Delta(E_5)=2830613675881894730558078976, &j(E_5)&=\frac{874525671242290400569417}{1300365970941935616}.
   \end{align}
We recall that all CM elliptic curves have an integral $j$-invariant; this shows that the curves $E_i$ are without CM for $i=1,\ldots,5$.

 Using a databases of elliptic curve data such as \cite{Cremona} or~\cite{lmfdb}, we checked that for every $i\neq 2$, $E_i$ has no torsion points defined over $\mathbb{Q}$ and that $E_i(\mathbb{Q})$ has rank one. We also found in the tables an explicit generator $g_i$ for $E_i(\mathbb{Q})$ and we computed  $\hat h(g_i)$ using  the function \texttt{ellheight} of PARI/GP \cite{PARI} (notice that the canonical height of PARI/GP is two thirds of ours).
  A generator for the curve $E_2$, which has a conductor too big to appear in Cremona's tables, was given in \cite{Sil}, Example 3.
Collecting these informations we have that the generators of $E_i(\mathbb{Q})$ are:
\begin{align*}
   g_1&=(1,1), \\
 \notag  g_2&=\left(\frac{290083549425751}{23921262225},\frac{4940195839487330160124}{3699782022029625}\right), \\
 \notag  g_3&=\left(\frac{930273}{484},-\frac{796052583}{10648}\right),	\\
 \notag  g_4&=\left(\frac{3228005993902971489}{128791448271424},\frac{7316042869129182048724448529}{1461606751179427091968}\right),\\
 \notag  g_5&=\left(\frac{-9750023890880795040300239250862047101114}{335283704622805743122062106485469025},\right.\\
   &\left.\frac{47202993140158532858227353349489655613892905428267026719866}{194141629146024723477365694402532030141467059091092625}\right).
\end{align*}
where
\begin{align}\label{hgen}
&\hat h(g_1)\geq 0.377, &\hat h(g_2)\geq 47.888, &&\hat h(g_3)\geq 17.649, \\
\notag &\hat h(g_4)\geq 60.674, &\hat h(g_5)\geq 136.823. &
\end{align}
We can now state our bounds for the 5 families of curves $\{\mathcal{C}_n\}_n$ in $E_i^2$.
\begin{thm}\label{teoEsempi}
Let $P\in \mathcal{C}_n(\mathbb{Q})\subseteq E^2$ where $E$ is one of the curves  $E_i$ for $i=1,\ldots,5$. We write $P$ in terms of the generator $g_i$ as $P=([a]g_i,[b]g_i)$.
Then
\begin{enumerate}
   \item If $E=E_1$ we have
   \begin{align*}
      \hat h(P)&\leq 73027 \cdot n^2+219081\cdot n +164320,\\
      \abs{a}&\leq \left(\frac{581115 \cdot n^2+1743376\cdot n+1307618}{2n+3}\right)^{1/2},\\
      \abs{b}&\leq \left(\frac{387410\cdot n^3 + 1162229\cdot n^2 + 871760 \cdot n + 54}{2n+3}\right)^{1/2}.
   \end{align*}
   \item If $E=E_2$ we have
   \begin{align*}
   \hat h(P)&\leq 311345 \cdot n^2+934033\cdot n+700566,\\
   \abs{a}&\leq \left(\frac{19505\cdot n^2+58515\cdot n+43889}{2n+3}\right)^{1/2},\\
   \abs{b}&\leq \left(\frac{13004\cdot n^3+39010\cdot n^2+29260\cdot n+2}{2n+3}\right)^{1/2}.
   \end{align*}
   \item If $E=E_3$ we have
   \begin{align*}
      \hat h(P)&\leq 373925\cdot n^2+1121775\cdot n+841382,\\
      \abs{a}&\leq \left(\frac{63561\cdot n^2+190683\cdot n+143021}{2n+3}\right)^{1/2},\\
      \abs{b}&\leq \left(\frac{42374 \cdot n^3+127121\cdot n^2+95349\cdot n+5}{2n+3}\right)^{1/2}.
   \end{align*}
   \item If $E=E_4$ we have
   \begin{align*}
      \hat h(P)&\leq 534732\cdot n^2 + 1604195\cdot n + 1203216,\\
      \abs{a}&\leq \left(\frac{26440 \cdot n^2 + 79320\cdot n +   59494}{2n+3}\right)^{1/2},\\
      \abs{b}&\leq \left(\frac{17627 \cdot n^3 + 52880 \cdot n^2 +  39663 \cdot n +2}{2n+3}\right)^{1/2}.
   \end{align*}
   \item If $E=E_5$ we have
   \begin{align*}
      \hat h(P)&\leq 566995\cdot n^2 + 1700984\cdot n +  1275813,\\
      \abs{a}&\leq \left(\frac{12433\cdot n^2 + 37297\cdot n +  27974}{2n+3}\right)^{1/2},\\
      \abs{b}&\leq \left(\frac{8289\cdot n^3 + 24865\cdot n^2 +18650\cdot n +1}{2n+3}\right)^{1/2}.
   \end{align*}
\end{enumerate}
\end{thm}
\begin{proof}
   The proof is an application of Theorem \ref{remark_Cn}. First, we need to compute all the invariants intervening in the bounds. Notice that $\deg \mathcal{C}_n$, $h_2(\mathcal{C}_n)$ are bounded in Corollary \ref{gradoaltezzaCn}, while $\Delta(E_i)$ and $j(E_i)$ are bounded in \eqref{DJ} and a lower bound for $\hat h(g_i)$ is given in \eqref{hgen}.

We are left to estimate
 $h_{\mathcal{W}}(E_i)=h_W(1: A^{1/2}_i:B_i^{1/3})$ as defined in \eqref{hWeierE}. We obtain:
   \begin{align*}
      &h_\mathcal{W}(E_1)=0,
      &h_{\mathcal W}(E_2)\leq 5.269,
      &&h_\mathcal{W}(E_3)\leq 6.712,\\
      &h_\mathcal{W}(E_4)\leq 10.041,
      &h_\mathcal{W}(E_5)\leq 10.836,
   \end{align*}
 In addition, by Table \ref{table1} we get:
  \begin{align*}
     &c_1(E_1)\leq 4.709, 	&c_2(E_1)&\leq 2.423,	&c_3(E_1)&\leq 2.037, 	&c_4(E_1)&\leq 2.31,\\
     &c_1(E_2)\leq 20.515, &c_2(E_2)&\leq 10.33,	&c_3(E_2)&\leq 4.587, 	&c_4(E_2)&\leq 5.353,\\
     &c_1(E_3)\leq 24.843, &c_2(E_3)&\leq 12.494,	&c_3(E_3)& \leq 5.394, 	&c_4(E_3)&\leq 6.563,\\
     &c_1(E_4)\leq 34.83,  &c_2(E_4)&\leq 17.487,	&c_3(E_4)&\leq 6.667, 	&c_4(E_4)&\leq 8.336, \\
     &c_1(E_5)\leq 37.216, &c_2(E_5)&\leq 18.68,	&c_3(E_5)&\leq 7.456, 	&c_4(E_5)&\leq 9.656.
   \end{align*}
and
 \begin{align*}
     &c_{5}(E_1)\leq 4.159,	&c_6(E_1)&\leq 0.805,   &c_{7}(E_1)&\leq 0.55,\\
     &c_{5}(E_2)\leq 9.428,	&c_6(E_2)&\leq 7.905,   &c_{7}(E_2)&\leq 7.904,\\
     &c_{5}(E_3)\leq 10.871,	&c_6(E_3)&\leq 9.592,    &c_{7}(E_3)&\leq 9.592,\\
     &c_{5}(E_4)\leq 14.2,	&c_6(E_4)&\leq 15.061,    &c_{7}(E_4)&\leq 15.061, \\
     &c_{5}(E_5)\leq 14.995, 	&c_6(E_5)&\leq 15.776,    &c_{7}(E_5)&\leq 15.776.
   \end{align*}

We can now replace all the above values  in the formulas of Theorem \ref{remark_Cn} and obtain the bounds in our statement.
\end{proof}

 We have an analogous result for the 5 families curves $\mathcal{D}_n$ in $E_i^2$, which we write for simplicity for the subfamilies consisting of all elements for which the index $n$ is a prime.
\begin{thm}\label{teoEsempiDn}
Let $P\in \mathcal{D}_n(\mathbb{Q})\subseteq E^2$ where $E$ is one of the curves  $E_i$ for $i=1,\ldots,5$. We write $P$ in terms of the generator $g_i$ as $P=([a]g_i,[b]g_i)$. Assume that $n$ is a prime number.
Then
\begin{enumerate}
   \item If $E=E_1$ we have
   \begin{align*}
      \hat h(P)&\leq 80239 n^2+80239 n+20070,\\
     \max\left( \abs{a},\abs{b}\right)&\leq \sqrt{212834 n^2+212834 n+53235}.
   \end{align*}
   \item If $E=E_2$ we have
   \begin{align*}
   \hat h(P)&\leq 318556 n^2 +318556 n+79681 ,\\
  \max\left( \abs{a},\abs{b}\right)&\leq \sqrt{6653 n^2+6653 n+1664}.
   \end{align*}
   \item If $E=E_3$ we have
   \begin{align*}
      \hat h(P)&\leq 381137 n^2+381137 n+95335,\\
      \max\left( \abs{a},\abs{b}\right)&\leq \sqrt{21596 n^2+21596 n+5401}.
   \end{align*}
   \item If $E=E_4$ we have
   \begin{align*}
      \hat h(P)&\leq 541943 n^2+541943 n+135556,\\
     \max\left( \abs{a},\abs{b}\right)&\leq \sqrt{8933 n^2+8933 n+2235 }.
   \end{align*}
   \item If $E=E_5$ we have
   \begin{align*}
      \hat h(P)&\leq 574207 n^2+574207 n+143627,\\
     \max\left( \abs{a},\abs{b}\right)&\leq \sqrt{4197 n^2+4197 n+1050} .
   \end{align*}
\end{enumerate}
\end{thm}
\begin{proof}
 These bounds are a direct application of Corollary~\ref{CoroDn}. The relevant numerical constants  are already listed in the proof of Theorem~\ref{teoEsempi}.
\end{proof}

With these sharp estimates we are ready to implement the computer search up to the computed bounds for the rational points on our curves, and so to prove  Theorem \ref{curveEsp}.

 To perform the computer search, we used the PARI/GP \cite{PARI} computer algebra system, an open source program
freely available at \url{http://pari.math.u-bordeaux.fr}

We first tried to implement a naive algorithm that performs the multiples of the points $g_i$ on the elliptic curve using PARI's implementation of the exact arithmetic of the elliptic curve over the rationals. This has proved far too time-consuming and was only done for $n=1$.

Then we used a more efficient algorithm pointed out by Joseph H. Silverman. The idea is to identify the elliptic curve $E$ with a quotient $\mathbb{C}/\Lambda$ and see the multiplication by $a$ on $E$ as induced by the multiplication by $a$ in $\mathbb{C}$.
This algorithm is quite fast and capable of performing the computations up to about $n=50$.

The algorithm that we used in our final computation  is due to K. Belabas and uses a sieving technique.
 It is  very general and it can be applied to any of the curves of Theorem \ref{caso_poly} when $k=\mathbb{Q}$, although we performed the computations only for curves belonging to the families $\mathcal{C}_n$ and $\mathcal{D}_n$.

The idea is that, in order to test which of a finite but very big number of points actually lie on the curve, we test when this happens modulo many big primes.

We are very thankful to K. Belabas for  providing us the sieving algorithm presented in the following proof.

\begin{proof}[Proof of Theorem \ref{curveEsp}]
Theorem \ref{curveEsp}  is now a consequence of Theorem \ref{teoEsempi} and Theorem \ref{teoEsempiDn} and an extensive computer search.

For each of the curves $E_i$ and for each $n$, Theorem \ref{teoEsempi} gives us upper bounds for the integers $a,b$ such that $([a]g_i,[b]g_i)\in\mathcal{C}_n$, therefore we only need to check which of finitely many points lie on the curve $\mathcal{C}_n$ (resp. $\mathcal{D}_n$).

Even though, as remarked in the Introduction, the computations for large $n$ are superseded by the results in Section~\ref{S:examples} of the appendix, we think it is worthwhile, for future applications, to give some details on how they were performed.   In particular, we present here the  PARI code  used to implement Belabas' algorithm in the general case for curves $\mathcal{C}$ as in Theorem \ref{caso_poly}, cut in $E^2$ by the additional equation $p(x_1)=y_2$, with $p(X)$ a polynomial in $\mathbb{Z}[X]$.  The algorithm can possibly  be adapted to curves of different shapes.

We fix  the polynomial $p(X)$, called  \texttt{Pol(X)} in the code, of degree $n$ and we start by initialising the following variables
\begin{verbatim}
A,B,Ba,g,ntest
\end{verbatim}
where \texttt{A} and \texttt{B} are the coefficients of the Weierstrass model of $E$,  \texttt{Ba} is the ceiling of the bound on $\abs{a}$ obtained for the chosen polynomial $p(X)$, \texttt{g} is the generator of $E(\mathbb{Q})$ and \texttt{ntest} is a parameter used to decide when to stop the sieving process.

Then we define the following program, that we indent here for readability
\begin{verbatim}
0   E = ellinit([A,B]);
1   D=abs(E.disc);
2   Sievea() =
3   {
4     p = nextprime(Ba);
5     L = [1..Ba];
6     cnt = 1;
7     while(1,
8       if(
9       if(denominator(g[1]
10      oldnL = #L;
11      ag = [0];
12      Ep = ellinit(E, p);
13      Lp = List([]);
14      for (a = 1, Ba,
15        ag = elladd(Ep, ag, g);
16        if (#ag == 1, listput(Lp, a); next);
17        x = ag[1];
18        xp = Mod(x,p);
19        if(polrootsmod('X^3 + A*'X + B - Pol(xp)^2, p), listput(Lp, a)) ;
20      );
21      listsort(Lp);
22      L = setintersect(L, Vec(Lp));
23      if (#L == oldnL, cnt++, cnt = 0);
24      if (#L == 0 || cnt > ntest, break);
25      p = nextprime(p+1);
26    );
27    printf("L
28  }
\end{verbatim}
The core of the algorithm is the \texttt{while} loop in line 7. This loop iterates over the prime \texttt{p}, which is initialised  in line 3 to a value bigger than \texttt{Ba}. At each iteration the algorithm takes the list \texttt{L}, which initially contains all positive values of $a$ up to the bound  \texttt{Ba}, and checks for which of these values there exists a point $([a]g,[b]g)$ on the curve $\mathcal{C}_n$ reduced modulo \texttt{p}. This check is done in the \texttt{for} loop at line 13. The $a$ that correspond to points modulo \texttt{p} are stored in the list \texttt{Lp} and the values of $a$ that do not correspond to a point are removed from the list \texttt{L} at line 21. The algorithm then changes the prime number \texttt{p} to the next one, and the loop starts again.
The check at  lines 8 and 9 ensures that the primes of bad reduction for the curve \texttt{E} and those that divide the denominator of the generator are discarded.
The algorithm keeps sieving through the list \texttt{L} until either the list becomes empty, which proves that there are no rational points, or \texttt{ntest} iterations pass without any value of $a$ being discarded. When this happens the program outputs these values of $a$, which are candidate solutions and need to be investigated further.

 In our explicit examples we found that setting \texttt{ntest} to  25  was enough, and no candidate solution was ever found other than those arising from rational points on $E_1\times E_1$.
\end{proof}

 The variable \texttt{Ba}, and hence the length of the list \texttt{L} in line 5, is directly proportional to the square root of the height of the coefficients of the Weierstrass model of $E$ and inversely proportional to the square root of the
height of the generator of $E(\mathbb{Q})$, which explains the speed improvement when the generator has a big height compared to the coefficients.

We remark that with a simple modification this algorithm can be made deterministic by stopping the iteration in a suitably-chosen way depending on the degree and the coefficients of the curve. However this increases, in general, the running time compared to a good heuristic choice of the parameter \texttt{ntest}.

 When adapting the algorithm to other examples,  if for a certain choice of \texttt{ntest} the above algorithm returns a list of possible values, one can either increase \texttt{ntest} or directly check the values with the floating point algorithm.\\

 We finally notice that for our method it is not necessary to know  {\em a priori}  a generator $g$ of $E(\mathbb{Q})$.
 Indeed  we can argue  as follows. Theorem \ref{caso_poly} gives the bound $\hat{h}(P)\le D$ for  any  rational point on $\mathcal{C}$. Thus we only need to search for a generator $g$ of $E(\mathbb{Q})$ such that  $\hat{h}(g)\leq\hat{h}(P)$, otherwise $\mathcal{C}(\mathbb{Q})$ is trivially empty.   To this purpose, one can use a suitable search algorithm for generators  of height at most $D$ on elliptic curves of rank one, as described in \cite{Sil}. For instance with Silverman's Canonical Height Search Algorithm finding a generator of $E(\mathbb{Q})$ takes about $O(\sqrt{N_E}+D)$, where $N_E$ is the conductor of $E$. This is also one of the few algorithms that can deal with curves of high conductor.

\section*{Acknowledgments}
We are indebted to K. Belabas for writing the algorithm to conclude the proof of Theorem \ref{curveEsp} and for his kind answers on some technical aspects of PARI/GP.  We are thankful to M. Stoll for his  useful remarks  which helped us to improve the paper and for his nice appendix. We warmly thank J. H. Silverman for his useful suggestions and for his interest in our work. We are grateful to P. Philippon for answering some questions on the comparison of several height functions. We also thank \"O. Imamoglu for her comments on an earlier version of this paper. S. Checcoli's work has been funded by the ANR project Gardio 14-CE25-0015. E. Viada thanks the FNS (Fonds National Suisse) Project PP00P2-123262/1 for the financial support.

\medskip

\noindent Sara Checcoli:
 Institut Fourier,
100 rue des Maths,
BP74 38402 Saint-Martin-d'H\`eres Cedex, France.
email: sara.checcoli@ujf-grenoble.fr
\medskip\\
Francesco Veneziano:
Mathematisches Institut,
Universit\"{a}t Basel,
Spiegelgasse 1,
CH-4051 Basel,
Switzerland.
email: francesco.veneziano@unibas.ch
\medskip\\
Evelina Viada:
ETH Zurich, R\"amistrasse 101, 8092, Z\"urich, Switzerland and
Mathematisches Institut,
Georg-August-Universit\"at,
Bunsenstra\ss e 3-5,
D-D-37073, G\"ottingen,
Germany.
email: evelina.viada@math.ethz.ch.

\newpage