Abstract:We calculate the trivial factors of the L-functions for both finite and p-adic infinite symmetric products of the Kloosterman sheaf.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to determine the trivial factors of the symmetric - power L - functions of the Kloosterman sheaf, and how these trivial factors change with the integer \(k\). Specifically, the author studies the trivial factors of the L - functions of the symmetric powers of Kloosterman sums over finite fields and explores the behavior of these factors as \(k\) varies.
### Main problem description
1. **Determination of trivial factors**: For a given positive integer \(k\), determine the trivial factors of \(L(k, n, T)\). Here, \(L(k, n, T)\) is the L - function of the \(k\)-th symmetric power of the Kloosterman sheaf.
2. **Change of trivial factors**: Study how these trivial factors change as \(k\) changes, especially the specific forms of the trivial factors when \(k\) takes different values.
3. **Properties of infinite symmetric - power L - functions**: Combine p -adic and l -adic methods to prove the p -adic integrality of the infinite symmetric - power L - function \(L_p(s, n, T)\) and give the distribution of its zeros.
### Specific content
- **Definition and background**:
- The paper first introduces the Kloosterman sum and its corresponding Kloosterman sheaf, and defines the symmetric - power L - function \(L(k, n, T)\).
- Mentions the work of Deligne and Sperber, and explains the construction and properties of the Kloosterman sheaf.
- **Study of trivial factors**:
- By studying the behavior of local factors at 0 and infinity, the specific form of the trivial factors is determined.
- In particular, for the case \(n = 2\), Robba has already studied the problem of trivial factors, but this paper extends it to the general case.
- **Infinite symmetric - power L - functions**:
- Defines the p -adic infinite symmetric - power L - function \(L_p(s, n, T)\) and proves that it is a p -adic entire function.
- Gives the zero - distribution of \(L_p(s, n, T)\), especially the multiplicity of its zeros at \(T = q^{-j}\).
### Conclusion
Through the above research, the author not only solves the problem of the trivial factors of the symmetric - power L - functions of the Kloosterman sheaf, but also provides a theoretical basis for further research on the properties of infinite symmetric - power L - functions. This provides important tools and methods for understanding the broader L - function theory.
### Mathematical formula representation
For example, for the expression of the trivial factor:
\[
\det(I - F_0T,(Sym^k(Kl_n))^{I_0})=\prod_{u = 0}^{\left\lfloor\frac{k(n - 1)}{2}\right\rfloor}(1 - q^uT)^{m_k(u)},
\]
where \(m_k(u)\) is determined by the following series expansion:
\[
\frac{(1 - x^n)\cdots(1 - x^{n + k - 2})(1 - x^{n + k - 1})}{(1 - x^2)\cdots(1 - x^{k - 1})(1 - x^k)}=\sum_{u = 0}^{\infty}m_k(u)x^u.
\]
These formulas show the specific structure of the trivial factors and help to understand the law of their change as \(k\) changes.