Let $\mathbb{J}_q^k[t]$ denote the additive closure of the set of $k$th powers in the polynomial ring $\mathbb{F}_q[t]$, defined over the finite field $\mathbb{F}_q$ having $q$ elements. We show that when $s\ge k+1$ and $q \ge k^{2k+2}$, then every polynomial in $\mathbb{J}_q^k[t]$ is the sum of at most $s$ $k$th powers of polynomials from $\mathbb{F}_q[t]$. When $k$ is large and $s \ge (\frac{4}{3}+o(1)) k\log k$, the same conclusion holds without restriction on $q$. Refinements are offered that depend on the characteristic of $\mathbb{F}_q$.
References
P. Deligne, La conjecture de Weil. I, Inst. Hautes Études Sci. Publ. Math. 43 (1974), 273--307. MR340258 10.1007/BF02684373 P. Deligne, La conjecture de Weil. I, Inst. Hautes Études Sci. Publ. Math. 43 (1974), 273--307. MR340258 10.1007/BF02684373
L. Gallardo and L. Vaserstein, The strict Waring problem for polynomial rings, (preprint). MR2464848 05486357 10.1016/j.jnt.2008.07.009 L. Gallardo and L. Vaserstein, The strict Waring problem for polynomial rings, (preprint). MR2464848 05486357 10.1016/j.jnt.2008.07.009
S.R. Ghorpade and G. Lachaud, Étale cohomology, Lefschetz theorems and number of points of singular varieties over finite fields, Mosc. Math. J. 2 (2002), 589--631. MR1988974 S.R. Ghorpade and G. Lachaud, Étale cohomology, Lefschetz theorems and number of points of singular varieties over finite fields, Mosc. Math. J. 2 (2002), 589--631. MR1988974
W.M. Schmidt, A lower bound for the number of solutions of equations over finite fields, J. Number Theory 6 (1974), 448--480. MR360598 0298.12010 10.1016/0022-314X(74)90043-2 W.M. Schmidt, A lower bound for the number of solutions of equations over finite fields, J. Number Theory 6 (1974), 448--480. MR360598 0298.12010 10.1016/0022-314X(74)90043-2
L.N. Vaserstein, Waring's problem for algebras over fields, J. Number Theory 26 (1987), 286--298. MR901241 0624.10049 10.1016/0022-314X(87)90085-0 L.N. Vaserstein, Waring's problem for algebras over fields, J. Number Theory 26 (1987), 286--298. MR901241 0624.10049 10.1016/0022-314X(87)90085-0
L.N. Vaserstein, Waring's problem for commutative rings, J. Number Theory, 26 (1987), 299--307. MR901242 10.1016/0022-314X(87)90086-2 L.N. Vaserstein, Waring's problem for commutative rings, J. Number Theory, 26 (1987), 299--307. MR901242 10.1016/0022-314X(87)90086-2
L.N. Vaserstein, Ramsey's theorem and Waring's problem for algebras over fields, The arithmetic of function fields (Columbus, OH, 1991), Ohio State Univ. Math. Res. Inst. Publ. 2, de Gruyter, Berlin, 1992, pp. 435--441. MR1196531 0817.12002 L.N. Vaserstein, Ramsey's theorem and Waring's problem for algebras over fields, The arithmetic of function fields (Columbus, OH, 1991), Ohio State Univ. Math. Res. Inst. Publ. 2, de Gruyter, Berlin, 1992, pp. 435--441. MR1196531 0817.12002
A. Weil, Numbers of solutions of equations in finite fields, Bull. Amer. Math. Soc. 55 (1949), 497--508. MR29393 0032.39402 10.1090/S0002-9904-1949-09219-4 euclid.bams/1183513798
A. Weil, Numbers of solutions of equations in finite fields, Bull. Amer. Math. Soc. 55 (1949), 497--508. MR29393 0032.39402 10.1090/S0002-9904-1949-09219-4 euclid.bams/1183513798