No label defined (Q4025969)

[For the entire collection see Zbl 0745.00060.] Let \(k\) be a number field, let \(E\) be an elliptic curve defined over \(k\), let \(\Delta_ E\) and \(j_ E\) denote the discriminant and \(j\)-invariant of \(E\), let \(h(\cdot)\) denote the (absolute, logarithmic) height, let \(\hat h(\cdot)\) denote the Néron-Tate canonical height of a point on \(E\), and let \(S_{E/k}\) denote the number of places of multiplicative reduction of \(E\). This paper proves that given a number field \(k\) there exists a constant \(c>0\), effectively computable and depending only on \([k:\mathbb{Q}]\), such that for all \(E/k\) and all non-torsion points \(P\in E(k)\), \[ \hat h(P)\geq c(S_{E/k}+[k:\mathbb{Q}])^{-6}(\log 2(S_{E/k}+[k:\mathbb{Q}]))^{-5}\max(h(j_ E),2). \] The paper also proves a very similar quantity using the Szpiro quotient \(\sigma_ E\). These theorems provide partial results toward proving a conjecture of \textit{S. Lang} and \textit{J. Silverman}. This conjecture says that given a number field \(k\) there exists a constant \(c(k)>0\) such that for all \(E/k\) and all non-torsion points \(P\in E(k)\), \[ \hat h(P)\geq c(k)\max\{\log(| N_{k/\mathbb{Q}}(\Delta_ E)|),\;h(j_ E)\}. \] The paper proves the two theorems by a transcendence construction on the semiabelian variety over \(E\) constructed from \(P\) regarded as a point in \(\text{Pic}^ 0(E)\).