Effective results on linear dependence for elliptic curves (Q1708453)

Let \(E\) be an elliptic curve defined over \(\mathbb{Q}\) and suppose that the rank \(r\) of \(E\) is positive. For a given subgroup \(\Gamma\) of \(E(\mathbb{Q})\) and sufficiently large \(x>1\) the authors give upper and lower bounds on the canonical height of a rational point \(Q\) which is not in the group \(\Gamma\) but belongs to the reduction of \(\Gamma\) modulo every prime \(p\leq x\) of good reduction for \(E\). The point \(Q\) satisfying such a condition is called \textit{a \(x\)-pseudolinearly dependent point}. The main result of the paper concerning the upper bound, states that provided \(s<r\), where \(s\) is the rank of \(\Gamma\), there is a point \(Q\in E(\mathbb{Q})\setminus \Gamma\) such that the following inequality holds \[ \hat{h}(Q)\leq \exp(2x+O(x/(\log x)^2)). \] Under additional conditions for \(s\) the above inequality can be improved. In the case of a lower bound the authors proved that if \(s=0\), then for any sufficiently large \(x\) and any \(x\)-pseudolinearly dependent point \(Q\), we have \[ \hat{h}(Q)\geq \frac{1}{\# \Gamma} \frac{x}{\log x}+ O(x/(\log x)^2). \] A stronger upper bound can be obtained under assumption \(\operatorname{End}_{\mathbb{Q}}(E)=\mathbb{Z}\) and \(r\geq 2, 1\leq s < r\).