Abstract:In this paper power saving bounds for general Kloosterman sums for all Weyl elements for $\mathrm{GL}_n$ for $n>2$ are proven, improving the trivial bound by Dąbrowski and Reeder. This is achieved by representing the sums in an explicit way as exponential sums and bounding these through applications of the Weil bound.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
The main objective of this paper is to provide better bounds for the generalized Kloosterman sums (for all Weyl elements), thereby improving the trivial bounds proposed by Dąbrowski and Reeder. Specifically, the author achieves this goal by expressing these sums as exponential sums and applying the Weil bound.
#### Background and Motivation
The classical Kloosterman sum is defined as:
\[ S(m,n;c) := \sum_{x \in (\mathbb{Z}/c\mathbb{Z})^*} e\left(\frac{mx + nx^{-1}}{c}\right) \]
where \( m, n \in \mathbb{Z} \) and \( c \in \mathbb{Z}^+ \). These sums play an important role in number theory, for example, they appear in the Fourier coefficients of the classical Poincaré series, and are thus crucial in the study of the relative trace formula.
For the classical Kloosterman sum, Weil proved the following bound:
\[ |S(m,n;c)| \leq \tau(c) c^{1/2} (m,n,c)^{1/2} \]
where \(\tau(c)\) is the divisor function. This result was generalized to power moduli by Salié.
However, in more general cases, such as the generalized Kloosterman sum, obtaining similar bounds becomes more complicated. In particular, calculating the size of the set \( X(n) \) to obtain the trivial bound is itself a profound result.
#### Main Contributions of the Paper
The main contribution of this paper is to provide an explicit parameterization for all allowed Weyl elements in \( GL_{N + 1} \) and obtain better bounds using the Weil bound. Specifically, the author proves the following theorem:
**Theorem 1**: Let \( n = c \cdot w \in GL_{N+1} \), with the exponent vector \( r \), for an allowed Weyl element \( w \) of length \( l(w) \), and characters \( \psi \) and \( \psi' \), for all \( \epsilon > 0 \), we have
\[ Kl_p(\psi, \psi', n) \ll_\epsilon C^{l(w)/2} \left( \prod_{1 \leq k \leq n} p^{r_k} \right)^{1 - \frac{1}{4l(w)} + \epsilon} \]
where \( C := \max_{1 \leq j \leq n} \max(|\psi_j|_p^{-1/2}, |\psi'_j|_p^{-1/2}) \).
Furthermore, for \( \Gamma_0(q) \), when \( q \) is a power of \( p \), there is a similar bound:
\[ Kl_{\Gamma_0(q)}(\psi, \psi', n) \ll_\epsilon C^{l(w)/2} \left( \prod_{1 \leq k \leq n} p^{r_k} \right)^{1 - \frac{1}{4l(w)} + \epsilon} \]
#### Significance
This result improves the trivial bounds of Dąbrowski and Reeder, especially for long Weyl elements, with a four - fold saving factor. This is of great significance when dealing with Poincaré series or relative trace formulas, enabling a better understanding of the size of these sums, and thus being widely applied in number theory and related fields.
In conclusion, this paper successfully provides better bounds for the generalized Kloosterman sum by introducing a new parameterization method and applying the Weil bound, promoting the further development of this field.