Abstract:We prove an identity relating twisted matrix Kloosterman sums to modified Hall-Littlewood polynomials evaluated at the roots of the characteristic polynomial associated to a twisted Kloosterman sheaf. This solves a conjecture of Erdélyi and Tóth.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove an identity regarding the relationship between Matrix Kloosterman Sums and modified Hall - Littlewood polynomials. Specifically, the author proves a conjecture, that is, for a specific type of element \(x\) (called regular elliptic elements), the Matrix Kloosterman Sums can be represented by the modified Hall - Littlewood polynomials. This result not only solves a conjecture proposed by Erdélyi and Tóth, but also provides a new method to understand and calculate these sums.
### Specific Problem Description
The Matrix Kloosterman Sums \(Kl(\alpha, \psi, x)\) discussed in the paper is a sum defined on the finite field \(F\), where \(x\) is a matrix, and \(\alpha\) and \(\psi\) are multiplicative and additive characters respectively. For regular elliptic elements \(x\), its characteristic polynomial is irreducible and has \(n\) distinct eigenvalues \(\{\xi, \xi^q,\ldots, \xi^{q^{n - 1}}\}\). Erdélyi and Tóth conjectured that when \(q\) is large enough, the following relationship exists:
\[Kl(\alpha, \psi, x)=(- 1)^{n + 1}q^{\frac{n(n - 1)}{2}}Kln(\alpha, \psi, \xi)\]
where \(Kln(\alpha, \psi, \xi)\) is the twisted Kloosterman Sums.
### Main Contributions of the Paper
1. **Proving the Conjecture of Erdélyi and Tóth**: The author proves the above - mentioned conjecture by using the representation theory of the finite general linear group, especially the calculation of non - abelian Gauss sums.
2. **Generalizing the Conjecture**: The author further generalizes this result and gives a more general formula for any \(k>1\) case:
\[
\sum_{g_1,\ldots, g_k\in GL_n(F)}\left(g_1\cdot g_2\cdots g_k = x\right)\psi\left(\text{tr}\left(\sum_{i = 1}^k g_i\right)\right)=(-1)^{(k - 1)(n + 1)}q^{(k - 1)\frac{n(n - 1)}{2}}\sum_{t_1,\ldots, t_k\in F^\times}\left(\prod_{i = 1}^k t_i=\xi\right)\psi_n\left(\sum_{i = 1}^k t_i\right)
\]
3. **Introducing the Modified Hall - Littlewood Polynomials**: The author relates the Matrix Kloosterman Sums to the modified Hall - Littlewood polynomials, and in particular, provides more specific expressions in the case of generalized Jordan matrices.
### Conclusion
Through these results, the paper not only verifies the conjecture of Erdélyi and Tóth, but also provides a new method to calculate and understand the Matrix Kloosterman Sums. These results have important application values in number theory and representation theory.