Greatest prime divisors of polynomial values over function fields (Q2921807)

In this well-written paper, the author obtains ``a strong result for the function field analogue of a classical problem in number theory''.NEWLINENEWLINEThe main result includes the following. Suppose that \(K\) is the function field of a smooth projective curve defined over the finite field \(\mathbb F_q\), and that non-zero \(F \in K[x]\) is squarefree and non-separable, then there is a constant \(\lambda = \lambda(F)\) such that \(\delta(\, F(f)\,) > \log_q\,\text{ht}\, f - \lambda\) for all \(f\in K\) for which \(F(f)\) is non-constant. Here \(\delta(f) = \max_{P\in \text{supp}(f) }\, \deg P\), and the height of \(f\) is \(\text{ht}\, f = \deg(f)_0 = \deg (f)_{\infty}\) (the degree of the zero, and hence polar, component of the divisor defined by \(f\)). One of the main tools is a form of the ABC-conjecture for function fields.