Effective results on linear dependence for elliptic curves (Q1708453)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Effective results on linear dependence for elliptic curves |
scientific article |
Statements
Effective results on linear dependence for elliptic curves (English)
0 references
23 March 2018
0 references
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\).
0 references
canonical height
0 references
elliptic curve
0 references
linear dependence
0 references
pseudolinearly dependent point
0 references
pseudomultiple
0 references
0 references
0 references