The greatest common valuation of \(\phi_n\) and \(\psi_n^2\) at points on elliptic curves (Q1981580)

Let \(K\) be a finite extension of the \(p\)-adic field \(\mbox{Q}_p\), \(\pi\) a uniformiser for \(K\), and \(v\) a normalized valuation of \(K\). Let \(E\) be an elliptic curve defined over \(K\) by a minimal Weierstrass model, and \(\{\psi_n(X, Y )\}_{n\geq 1}\) the sequence of associated division polynomials. Also, consider the sequence of polynomials, \(\{\phi_n(X, Y )\}_{n\geq 1}\), such that \[x([n]P) = \frac{\phi_n(x(P), y(P))}{\psi_n^2(x(P), y(P))}, \] for any point, \(P = (x(P), y(P)) \in E(K)\). Let \(\lambda_v : E(K)\setminus \{O\} \rightarrow R\) be the local height function for \( E\) at \(v\). In this paper, for every point \(P\in E(K)\) of infinite order and \(n\geq 1\), the quantity \(k_{n,v}(P) = \min\{v(\phi_n(P)),v(\psi^2(P))\}\) is computed. More precisely, if \(P\) modulo \(\pi\) is non-singular, then \[k_{n,v}(P) = \min\{0, n^2v(x(P))\},\] and if \(P\) modulo \(\pi\) is singular, then \[ k_{n,v}(P) = -2\frac{[K : \mbox{Q}_p]}{ \log |k|} \lambda_v(P) n^2 + \epsilon_{v,n}(P),\] where \(\epsilon_{v,n}(P)\) is explicitly given. Note that this result improves significantly previous estimates.