Abstract:Let $P$ be a non-torsion point on an elliptic curve defined over a number field $K$ and consider the sequence $\{B_n\}_{n\in \mathbb{N}}$ of the denominators of $x(nP)$. We prove that every term of the sequence of the $B_n$ has a primitive divisor for $n$ greater than an effectively computable constant that we will explicitly compute. This constant will depend only on the model defining the curve.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the existence of primitive divisors in elliptic divisibility sequences (EDS) and their efficient computation. Specifically, the author aims to prove that for an elliptic curve \(E\) defined over a number field \(K\) and a non - torsion point \(P\in E(K)\), there exists an effectively computable constant \(C(E / K,M)\) such that when \(n > C(E / K,M)\), each term \(B_{n}\) in the EDS sequence has a primitive divisor.
### Problem Background
The elliptic divisibility sequence \(\{B_{n}\}_{n\in\mathbb{N}}\) is a sequence of integral ideals formed by the denominators of the multiple points \(nP\) of a point \(P\) on an elliptic curve. A primitive divisor means that a prime ideal \(\mathfrak{p}\) can only divide \(B_{n}\) and cannot divide any previous \(B_{i}\) (\(i < n\)). The existence of such divisors is very important for understanding the properties of the sequence.
### Existing Results
Before this, Silverman in [7] proved that when \(E\) is defined over the field of rational numbers \(\mathbb{Q}\), for sufficiently large \(n\), \(B_{n}\) must contain a primitive divisor. Cheon and Hahn in [1] extended this result to an arbitrary number field \(K\), but their proof relied on Siegel's ineffective theorem about integral points on elliptic curves, so the resulting result was also ineffective (that is, it was not possible to explicitly compute the specific value of \(n\)).
### Main Contributions of the Paper
The main contribution of this paper is to make the above results effective. By introducing new technical means, especially by making fine estimates of the height functions at finite and infinite places, the author successfully gives an explicit constant \(C(E / K,M)\) such that for all \(n > C(E / K,M)\), \(B_{n}\) contains a primitive divisor. This constant only depends on the model \(M\) of the elliptic curve \(E\) and the number field \(K\).
### Formula Summary
To ensure the correctness and readability of the formulas, the following are the key formulas involved in the paper:
1. **Height Function**:
\[
h(R)=\frac{1}{[K:\mathbb{Q}]}\sum_{\nu\in M_{K}}n_{\nu}h_{\nu}(R)
\]
where \(h_{\nu}(R)=\max\{0,\log|x(R)|_{\nu}\}\)
2. **Canonical Height**:
\[
\hat{h}(R)=\frac{1}{2}\lim_{N\rightarrow\infty}\frac{h(2^{N}R)}{4^{N}}
\]
3. **Key Inequality**:
\[
\hat{h}(P)n^{2}\leq n^{1/2}(2C_{2}+4 + 2C_{E}+\log C_{4})
\]
4. **Final Constant**:
\[
C(E / K,M)=\max\left\{C_{1},V'_{1},V'_{2},\exp(D),\exp(e^{h}),e^{30},\left(\frac{2C'_{2}+4 + 2C_{E}+\log C_{4}}{J_{E}}\right)^{2/3}\right\}
\]
These formulas and the derivation process ensure the validity and accuracy of the paper's conclusions.