Gauss--Heilbronn Sums and Coverings of Deligne--Lusztig Type Curves

We study exponential sums on Witt vectors, known as Gauss–Heilbronn sums, and the curves whose Frobenius traces realize these sums via a Deligne–Lusztig type construction. For 3-typical Witt vectors of length two, we analyze Gauss–Heilbronn sums, from which we fully determine the Frobenius slopes of the associated curves.

💡 Research Summary

This paper establishes a profound connection between exponential sums over Witt vectors, known as Gauss–Heilbronn sums, and the geometry of algebraic curves constructed via a Deligne–Lusztig type framework. The central object of study is a family of affine curves, denoted C_m,n,l,q, defined over a finite field F_q. These curves are constructed as the fiber product of the Lang isogeny L_q on the ring scheme W_n of l-typical Witt vectors of length n and a closed immersion of the affine line sending a parameter t to the Witt vector (t^m, 0, …, 0). The key geometric property is that the Frobenius traces on the cohomology of these curves precisely realize the Gauss–Heilbronn exponential sums.

The authors perform a detailed analysis, distinguishing between the cases where the characteristic p of the base field is equal to or different from the prime l defining the Witt vectors. When p ≠ l, the ghost map provides a ring isomorphism to an additive group, simplifying the defining equations. When p = l, the structure of Witt addition is more intricate, and the authors carefully analyze the order and Swan conductor of characters involved.

The paper’s most significant contributions are concentrated on the case of length n=2 and the prime l=3. The main results are fourfold:

1. Explicit L-polynomial Factorization (Theorem A): For n=2 and l=3, the L-polynomial of the curve C_1,2 is shown to factor completely into a product of quadratic polynomials of the form (1 + S_ξ T + qT^2), where S_ξ = Σ_{x∈F_q} ξ(x,0) is the Gauss–Heilbronn sum associated with a primitive character ξ of W_2,q. This generalizes Carlitz’s famous formula for cubic exponential sums.
2. Uniform p-adic Valuation (Theorem B): In the case p = l = 3 and q = 3^f, the authors prove that the 3-adic valuation v_p(S_ξ) of the Gauss–Heilbronn sum is constant and equal to f/3 for all primitive characters ξ. This result is novel because it holds uniformly for all f ≥ 1, extending beyond the previously known case of f=1 (i.e., q=p). The proof employs a geometric argument comparing the exponential sums to Frobenius traces of certain known supersingular curves.
3. Determination of Frobenius Slopes for C_2,2 (Theorem C): Applying the valuation result from Theorem B, the authors determine the complete set of Frobenius slopes for the curve C_2,2 (with m=2, n=2, p=l=3) to be {1/2, 1/3, 2/3, 1/6, 5/6}.
4. Analysis of Covering Curves C_P,2 (Theorem D): The paper further studies finite étale coverings C_P,2 of the base curve C_1,2, parameterized by separable F_p-linearized polynomials P. For n=2 and p=l=3, an explicit formula for the L-polynomial of C_P,2 is derived. A striking consequence is that all such covering curves have Frobenius slopes exactly equal to {1/3, 2/3}. This family of curves generalizes the well-known van der Geer–van der Vlugt curves.

Methodologically, the work seamlessly blends tools from number theory (Witt vectors, Stickelberger’s theorem) and algebraic geometry (Deligne–Lusztig constructions, monodromy theory, ℓ-adic cohomology, Grothendieck–Ogg–Shafarevich formula). By providing a geometric incarnation of Gauss–Heilbronn sums, the paper not only yields precise arithmetic information about these sums but also enlarges the class of curves whose p-adic properties (Frobenius slopes) can be explicitly and fully determined.