Square-free values of multivariate polynomials over function fields in linear sparse sets

Abstract

Let f be a square-free polynomial in Fq[t][x] where Fq is a field of q elements. We view f as a polynomial in the variable x with coefficients in the ring Fq[t]. We study squarefree values of f in sparse subsets of Fq[t] which are given by a linear condition. The motivation for our study is an analogue problem of representing square-free integers by integer polynomials, where it is conjectured that setting aside some simple exceptional cases, a square-free polynomial f in Z[x] takes infinitely many square-free values. Let c(t) be a polynomial in Fq[t] of degree less than m, and let k < m be coprime to q. A consequence of the main result we show, is that if q is sufficiently large with respect to m and the degrees of f in t and x, then there exist $β_1,β_2$ in Fq such that $f(t,c(t)+β_1t^k+β_2)$ is square-free. Moreover, as q tends to infinity, the last is true for almost all $β_1$ and $β_2$ in Fq. The main result shows that a similar result holds also for other cases. We then generalize the results to multivariate polynomials.