Symmetric Power L-functions of the hyper-Kloosterman Family

C. Douglas Haessig, Steven Sperber

2024-02-21

Abstract:The symmetric power L-function of the hyper-Kloosterman family is a rational function over the integers. Its degree and complex absolute values of its zeros and poles are now known through the work of Fu and Wan. The purpose of this paper is to study the p-adic absolute value of these zeros and poles. In particular, we give a uniform lower bound, independent of the symmetric power, of the q-adic Newton polygon of this $L$-function under suitable conditions. We also give similar results for any other linear algebra operation of the hyper-Kloosterman family, such as tensor, exterior, symmetric powers, or combinations thereof.

Number Theory

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to study the p - adic absolute value problem of the symmetric power L - functions of the hyper - Kloosterman family. Specifically, the authors focus on the following two aspects:

1. **p - adic Cohomology Description**: Give a specific description of the cohomology space of the symmetric power L - functions in p - adic, and prove that under appropriate conditions these cohomology spaces are acyclic (that is, the cohomology in other dimensions except the highest dimension is zero).

2. **p - adic Estimation**: Study the action of the Frobenius mapping on these cohomology spaces, thereby obtaining an estimate of the p - adic absolute value of the roots of the L - functions. In particular, the authors give a unified lower bound estimate, which is independent of the symmetric power.

Expressed in formulas, the main results are as follows:

- For any positive integer \(k\), define the \(k\)-th symmetric power L - function as:
\[
L(\text{Sym}^k K\ell_n / \mathbb{F}_q, T) := \prod_{\bar{t} \in |G_m^n / \mathbb{F}_q|} \prod_{i_0 + \cdots + i_n = k} \left(1 - \pi_0(\bar{t})^{i_0} \cdots \pi_n(\bar{t})^{i_n} T^{\deg(\bar{t})}\right)
\]

- Let \(d_k(n, p) := \#\{(i_0, \ldots, i_n) \in \mathbb{Z}_{\geq 0}^{n + 1} \mid i_0 + \cdots + i_n = k \text{ and } \sum_{j = 0}^n i_j \zeta_j^{n + 1} \equiv 0 \pmod{p}\}\).

- Define \(R(T) := \sum T^{i_1 + 2i_2 + \cdots + n i_n}\), where the sum is taken over all \((i_0, \ldots, i_n) \in \mathbb{Z}_{\geq 0}^{n + 1}\) satisfying \(i_0+\cdots + i_n = k\). Let \(R(T)/(1 + T+\cdots+T^n)=\sum_{i = 0}^{\infty}h_i(n, k)T^i\).

Theorem 1.1 shows that, assuming \(d_k(n, p)=0\), then \(L(\text{Sym}^k K\ell_n / \mathbb{F}_q, T)\) is a polynomial in \(T\), and its \(q\)-adic Newton polygon lies on or above the \(q\)-adic Newton polygon of \(\prod(1 - q^i T)^{h_i(n, k)}\).

Furthermore, the authors also extend their methods to be applicable to other linear algebraic operations (such as tensor products, exterior products, etc.), and obtain similar results. For example, for any linear algebraic operation \(L\), define \(d(L, n, p):=\{(j_1, \ldots, j_m) \in J \mid \sum_{i = 1}^m \zeta_{j_i}^{n + 1}=0 \pmod{p}\}\), and \(R_L(T):=\sum T^{j_1 + j_2+\cdots+ j_m}\), where the sum is taken over all \((j_1, \ldots, j_m) \in J\). Let \(R_L(T)/(1 + T+\cdots+T^n)=\sum_{i = 0}^{\infty}h_i(L, n)T^i\).

Theorem 1.2 shows that, assuming \(d(L, n, p) = 0\), then...