Abstract:We give results on the asymptotic in Waring's problem over function fields that are stronger than the results obtained over the integers using the main conjecture in Vinogradov's mean value theorem. Similar estimates apply to Manin's conjecture for Fermat hypersurfaces over function fields. Following an idea of Pugin, rather than applying analytic methods to estimate the minor arcs, we treat them as complete exponential sums over finite fields and apply results of Katz, which bound the sum in terms of the dimension of a certain singular locus, which we estimate by tangent space calculations.
What problem does this paper attempt to address?
This paper attempts to solve the asymptotic formula of Waring's problem in function fields. Specifically, the author tries to give stronger results in function fields, which are stronger than those obtained in the integer domain using the main conjecture of Vinogradov's mean - value theorem. In addition, similar estimates also apply to the Manin conjecture for Fermat hypersurfaces in function fields.
### Main problem description
1. **Asymptotic formula of Waring's problem**:
The goal of the paper is to study the asymptotic behavior of Waring's problem in function fields and provide a more precise asymptotic formula. For given positive integers \(k\) and \(s\), and a polynomial \(f\in F_q[T]\), the author hopes to estimate the number of polynomial tuples \((a_1,a_2,\ldots,a_s)\) that satisfy the following condition:
\[
\sum_{i = 1}^s a_i^k=f
\]
where \(\deg(a_i)\leq e\).
2. **Improved dependence relationship**:
The author, by introducing a new geometric method, regards the minor arcs as complete exponential sums over finite fields and applies Katz's results to estimate these sums. This method allows them to obtain a linear dependence relationship of \(s\) on \(k\), thus improving the best - known bounds.
3. **Application of Manin's conjecture**:
In addition, the author also shows how to apply these results to the Manin conjecture for Fermat hypersurfaces in function fields, further expanding the scope of the research.
### Mathematical expressions
The asymptotic formula is:
\[
\#\{a\in(F_q[T])^s\mid\deg(a_i)\leq e,\sum_{i = 1}^s a_i^k = f\}=(1 + o(1))q^{e(s - k)+s-1}\ell_\infty(f)\prod_{\pi\in F_q[T]}\ell_\pi(f)
\]
where:
\[
\ell_\infty(f)=\lim_{r\rightarrow\infty}\frac{\#\{b\in(F_q[u]/u^r)^s\mid\sum_{i = 1}^s b_i^k\equiv u^{ke}f(u^{-1})\mod u^r\}}{q^{r(s - 1)}}
\]
\[
\ell_\pi(f)=\lim_{r\rightarrow\infty}\frac{\#\{b\in(F_q[T]/\pi^r)^s\mid\sum_{i = 1}^s b_i^k\equiv f\mod\pi^r\}}{q^{r(s - 1)\deg(\pi)}}
\]
### Conclusion
Through the new geometric method, the author not only improves the asymptotic formula of Waring's problem in function fields but also provides new insights into the Manin conjecture. This method makes the dependence relationship of \(s\) on \(k\) more linear and is applicable to larger \(q\) and \(p\).