Primitive divisors of sequences associated to elliptic curves over function fields (Q2075837)

Let \(E\) be an elliptic curve over a function field \(K\) of a nice curve \(C\) over a field \(k\) of characteristic \(p\). In this paper the author deals with a sequence of points \(nP+Q\) where \(P\) is a point of infinite order and \(Q\) is a torsion point. Every point \(R\) on \(E\) defines a section \(\sigma\) on the associated elliptic surface \(\mathcal{E}\). We consider for the morphism \(\sigma:C\rightarrow\mathcal{E}\) a divisor \(\sigma^{*}_{R}(\mathcal{O})\) where \(\mathcal{O}\) is the image of the zero section. For any point \(nP+Q\) one has an effective divisor \(D_{nP+Q}:= \sigma^{*}_{nP+Q}(\mathcal{O})\). The author studies the primitive divisors in this sequence given a fixed order \(r\) of the torsion point \(Q\) and the characteristic of the algebraically closed field \(k\). The results of this paper are direct analogues of the statements from [\textit{M. Verzobio}, Res. Number Theory 7, No. 2, Paper No. 37, 29 p. (2021; Zbl 1479.11099)], however the methods are quite different. If the field \(k\) characteristic is \(0\) or at least \(17\), the author proves that for a torsion point of order \(r\geq 2\) there exists a primitive divisors in the sequence \(D_{nP+Q}\). For characteristics \(5,7,11\) and \(13\) some additional restrictions are imposed on the order of the point \(Q\). The main proof method uses techniques developed in the paper [\textit{P. Ingram} et al., J. Aust. Math. Soc. 92, No. 1, 99--126 (2012; Zbl 1251.11008)] and their extension to positive characteristics developed in [\textit{B. Naskręcki}, New York J. Math. 22, 989--1020 (2016; Zbl 1417.11110)].