On quadratic progression sequences on smooth plane curves (Q2182174)

Let \(C:\;F(x,y,z)=0\) be a smooth projective curve defined over a number field \(k\) and write \[ \Gamma_{n}(C,k)=\bigcup_{L:\;[L:k]=n}C(L) \] for the set of points of degree \(\leq n\) lying on \(C\). Moreover, let us recall that a sequence \(P_{i}=(x_{i},y_{i},z_{i})\), \(i\in\mathbb{N}\), of points in \(C(k)\) (resp. \(\Gamma_{n}(C,k)\)) is called a rational (resp. \(n\)-level) geometric (arithmetic) progression sequence on \(C\), if the set \(\{x_{i}:\;i\in\mathbb{N}\}\) forms a geometric progression (an arithmetic progression) in the field \(k\). If \(n=2\) we will say quadratic (point, progression) instead of 2-level (point, progression). In the paper under review, the authors deal with the question concerning the existence of an infinite arithmetic and geometric progressions sequence of \(n\)-level points on plane curves defined over a number field \(k\). The first main result of the paper is Theorem 4.5 which states that a quadratic geometric (resp. arithmetic) progression sequence on a smooth plane quartic curve \(C\) over a number field \(k\) is always of finite length. This result can be seen as a complement of \textit{D. Abramovich} and \textit{J. Harris}'s [Compos. Math. 78, No. 2, 227--238 (1991; Zbl 0748.14010)] and \textit{J. Harris} and \textit{J. H. Silverman}'s [Proc. Am. Math. Soc. 112, No. 2, 347--356 (1991; Zbl 0727.11023)] results, characterizing smooth projective curves of genus \(\geq 2\) having infinite sequence of quadratic points. The second main result is Theorem 5.2 which shows the existence of an infinite \(n\)-level progression on a smooth plane curve \(C:\;F(X,Y,Z)=0\), where \(F\) is homogeneous polynomial of degree \(d\geq 4\), provided that \(n\geq \operatorname{gon}(C,k)\). Here, the number \(\operatorname{gon}(C,k)\) is the gonality of the curve \(C\), i.e., the lowest degree of a morphism from \(C\) to the projective line.