Technical Summary: Exotic and Inverted Kloosterman Sums Over Semisimple Algebras

Problem Statement

The paper addresses the extension of "exotic" Kloosterman sums and "inverted" Kloosterman sums from the setting of commutative finite étale algebras to the non-commutative setting of finite-dimensional semisimple algebras over a finite field $\mathbb{F}_q$.

Classical Kloosterman sums are fundamental objects in the theory of exponential sums. Variants, such as inverted Kloosterman sums (where the additive character is applied to the inverse of the trace), arise in the study of Ramanujan graphs. Previous work by Deligne and Katz generalized these sums to commutative étale algebras. More recently, exponential sums over matrix groups (e.g., by Erdélyi–Tóth, Zelingher, and Fu–Li) have been studied. This paper aims to unify these directions by defining and analyzing these sums over general semisimple $\mathbb{F}_q$-algebras, which, by Wedderburn's theorem, are isomorphic to products of matrix algebras over finite field extensions.

The core challenge lies in handling the non-commutativity of the underlying algebras and the specific structure of the reduced trace and reduced norm, particularly when establishing reduction formulae that relate these non-commutative sums to the well-understood commutative (étale) case.

Methodology

The authors employ a combination of algebraic decomposition and combinatorial group theory, specifically utilizing the Bruhat decomposition of general linear groups.

1. Algebraic Structure:

   • Let $M$ be a finite-dimensional semisimple algebra over $\mathbb{F}_q$. By Wedderburn's theorem, $M \simeq \prod_{i=1}^k M_{n_i}(\mathbb{F}_{q^{d_i}})$.
   • The authors define the Kloosterman sum $Kl_M(a; \chi)$ and the inverted Kloosterman sum $IKl_M(a; \chi)$ using the reduced trace ($\text{Trd}$) and reduced norm ($\text{Nrd}$) maps, restricted to invertible elements with a fixed reduced norm $a$.
   • They restrict their analysis to "determinant-type" multiplicative characters $\chi$, which factor through the determinant map to the center of the algebra.

2. Reduction via Bruhat Decomposition:

   • The primary technique involves decomposing the group of invertible elements $M^\times$ using the Bruhat decomposition of the constituent general linear groups $GL_{n_i}(\mathbb{F}_{q^{d_i}})$.
   • The sum is partitioned into cells indexed by the Weyl group $W = \prod S_{n_i}$.
   • Standard Case: For the standard Kloosterman sum, the authors show that contributions from non-identity Weyl group elements vanish due to the linear independence of additive characters. This reduces the sum over the non-commutative algebra $M$ to a sum over a commutative étale algebra $B' = \prod \mathbb{F}_{q^{d_i}}^{n_i}$, scaled by a power of $q$.
   • Inverted Case: For the inverted sums, the vanishing of non-identity cells does not occur automatically. The authors analyze the trace function on the unipotent radical of the Borel subgroup. They prove that for non-identity Weyl elements, the trace function becomes a non-constant affine-linear function. Using a lemma regarding the sum of $\psi(L(z)^{-1})$ over affine spaces, they show these terms contribute a specific correction term rather than vanishing.

3. Estimation:

   • Once the reduction formulae are established, the authors apply existing square-root cancellation estimates for exotic Kloosterman sums over commutative étale algebras (established by Katz) to derive bounds for the semisimple algebra case.

Key Contributions and Results

1. Reduction Formulae

The paper establishes explicit reduction formulae that express Kloosterman sums over a semisimple algebra $M$ in terms of sums over a commutative étale algebra $B'$.

• Theorem 1.6 (Standard Sums): For a determinant-type character $\chi$, the Kloosterman sum over $M$ reduces exactly to the sum over $B'$ scaled by a factor of $q^N$, where $N = \sum d_i \binom{n_i}{2}$.
  $$Kl_M(a; \chi) = q^N Kl_{B'}(a; \eta)$$
  This generalizes a formula by Kim for the case of a single matrix algebra with the trivial character.

• Theorem 1.10 (Inverted Sums): The reduction for inverted sums includes an explicit correction term depending on whether the character $\eta$ (induced on $B'$) is trivial on the kernel of the norm map $\nu$.

  • If $\eta$ is non-trivial on $\ker(\nu)$, the reduction is clean: $IKl_M(a; \chi) = q^N IKl_{B'}(a; \eta)$.
  • If $\eta$ is trivial on $\ker(\nu)$ (i.e., $\eta = \rho \circ \nu$), a correction term appears:
    $$IKl_M(a; \chi) = q^N IKl_{B'}(a; \eta) - \rho(a) \frac{\#M^\times - \#B_M}{q(q-1)}$$
    where $B_M$ is the product of groups of invertible upper triangular matrices.

2. Square-Root Cancellation Estimates

By combining the reduction formulae with Katz's estimates for étale algebras, the authors derive square-root cancellation bounds for the sums over semisimple algebras.

• Theorem 1.11: The paper provides explicit bounds for $|IKl_M(a; \chi)|$ (and the corrected version for the trivial kernel case).
  • The bounds are of the form $C \cdot q^{(n-1)/2}$, where $n = \dim_{\mathbb{F}_q} M$.
  • The constant $C$ depends on the characteristic $p$ of the field and the dimension parameters. Specifically, in the "wild" case where $p$ divides the dimension sum $m = \sum d_i n_i$, the coefficient is $m$, whereas in the "tame" case ($p \nmid m$), it is $2m$.

3. Characterization of Determinant-Type Characters

The paper clarifies that the assumption of "determinant-type" characters is automatic for all semisimple algebras except for factors isomorphic to $M_2(\mathbb{F}_2)$. In the exceptional case of $GL_2(\mathbb{F}_2) \simeq S_3$, the sign character provides a non-determinant-type character.

Significance and Claims

The authors position this work as a natural extension of the theory of exotic Kloosterman sums from the commutative to the non-commutative realm.

• Unification: The results unify the study of exponential sums over matrix groups with the theory of exotic sums over étale algebras.
• Special Feature of Reduced Trace: A significant theoretical insight (Remark 3.8) is that the vanishing of non-identity Bruhat cells in the standard Kloosterman sum is a special feature of the reduced trace on products of general linear groups. The authors note that for general representations of reductive groups, non-identity cells do not necessarily vanish, and square-root cancellation is not guaranteed without genericity conditions on the matrix coefficients.
• Explicit Correction: For inverted sums, the paper highlights that unlike the standard case, a non-trivial correction term can appear when the character is trivial on the kernel of the norm map. This term is explicitly calculated and shown to be necessary for the reduction formula to hold.

The paper does not propose new applications or future experimental directions but focuses on establishing the theoretical framework and precise estimates for these sums, relying on the established machinery of Katz and the combinatorial properties of Bruhat decompositions.