Abstract:The $C$-function of $T$-adic exponential sums is studeid. An explicit arithmetic bound is established for the Newton polygon of the $C$-function. This polygon lies above the Hodge polygon. It gives a sup-Hodge bound of the $C$-function of $p$-power order exponential sums.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the relationship between the Newton polygon and the Hodge polygon of the C - function of T - adic exponential sums. Specifically, the author attempts to establish an explicit arithmetic bound such that the Newton polygon of the C - function lies above this bound and this bound is higher than the Hodge polygon. In this way, the author hopes to provide a stronger upper bound (sup - Hodge bound) to describe the C - function of exponential sums of p - power order.
### Problem Background
1. **T - adic Exponential Sums**: Defined as
\[
S_f(k, T)=\sum_{x \in (\mathbb{F}_q^k)^n}(1 + T)^{\text{Tr}_{\mathbb{Z}_{q^k}/\mathbb{Z}_p}(f(x))} \in \mathbb{Z}_p[[T]]
\]
where \( f(x) \) is a polynomial, \( T \) is a formal variable, \( \mathbb{F}_q \) is a finite field, and \( \mathbb{Z}_p \) is the ring of p - adic integers.
2. **C - function**: Defined as
\[
C_f(s, T)=\exp\left(\sum_{k = 1}^{\infty}-(q^k - 1)^{-n}S_f(k, T)\frac{s^k}{k}\right)
\]
This is a power series in a single variable \( s \) with coefficients in the \( T \)-adic complete field \( \mathbb{Q}_p((T)) \).
3. **Hodge Polygon**: Defined as a convex function whose slopes are given by \( \deg(a) \), where \( a \in M(\Delta) \) and \( M(\Delta) \) is the set of integral points of the polytope \( \Delta \).
4. **Newton Polygon**: For the C - function \( C_f(s, T) \), its Newton polygon is determined by the \( T \)-adic valuations of its coefficients.
### Main Contributions
The author's main contributions are the establishment of the following two theorems:
1. **Theorem 1.8**: Proved that the arithmetic polygon \( p_\Delta\geq(p - 1)H_\Delta^{\infty} \), that is, the arithmetic polygon lies above the Hodge polygon.
2. **Theorem 1.9**: If \( p>3D \), then the \( T \)-adic Newton polygon of the C - function lies above the arithmetic polygon \( p_\Delta \), that is:
\[
\text{T - adic NP of }C_f(s, T)\geq\text{ord}_p(q)p_\Delta
\]
### Significance
Through these results, the author provides more precise bounds for understanding the C - function of T - adic exponential sums, which is of great significance for studying this special type of exponential sums and their related properties. In addition, these results can also be applied to other fields of mathematics, such as number theory, algebraic geometry, etc., especially when dealing with p - adic L - functions and exponential sums.
In summary, the main objective of this paper is to better understand and describe the Newton polygon of the C - function of T - adic exponential sums by establishing a stronger upper bound (sup - Hodge bound).