FTA for Exponential Sums: Stratification & Bounds

• FTA for Exponential Sums is a framework that stratifies sums by analyzing singular loci in algebraic varieties.
• It employs explicit equations to partition parameter spaces, leading to sharp quantitative bounds and square-root cancellation in optimal cases.
• The approach bridges elementary algebraic geometry with advanced cohomological methods, making cancellation estimates computationally accessible.

The Fundamental Theorem Approach (FTA) for exponential sums denotes a class of structural, stratificational, and computational methods for analyzing exponential sums arising in number theory, algebraic geometry, and harmonic analysis. In the context of Lapkova–Xiao, FTA refers specifically to explicit stratification, dimension bounds, and sharp estimates for sums over solutions to algebraic equations modulo prime powers, exemplified in sums of the form

$$S(h; p^2) = \sum_{x \in V_F(\mathbb{Z}/p^2\mathbb{Z})} \exp\left(\frac{h \cdot x}{p^2}\right)$$

where $F \in \mathbb{Z}[x_1, \dots, x_n]$ is a nonsingular homogeneous polynomial, $V_F$ is its affine zero locus, and $h \in \mathbb{Z}^n$.

1. Algebraic Formulation of Exponential Sums and the Singular Locus

Given a homogeneous nonsingular polynomial $F(x_1, \dots, x_n) \in \mathbb{Z}[x_1, \dots, x_n]$ and a prime $p$ of good reduction, the affine hypersurface $V_F \subset \mathbb{A}^n$ is defined by $F(x) = 0$. The exponential sum modulo $p^2$ for a parameter vector $h = (h_1, ..., h_n) \in \mathbb{Z}^n$ is

$$S(h; p^2) = \sum_{x \in V_F(\mathbb{Z}/p^2\mathbb{Z})} \exp\left(\frac{h_1 x_1 + ... + h_n x_n}{p^2}\right)$$

with $\exp(t/p^2) = e^{2\pi i t/p^2}$ the additive character on $\mathbb{Z}/p^2\mathbb{Z}$.

To organize the analysis, one stratifies the parameter space $\mathbb{A}^n_{\mathbb{F}_p}$—the reduction of $h$ modulo $p$—according to the dimension of the algebraic variety

$$W_{F,h} \subset \mathbb{A}^n_{\mathbb{F}_p} = \left\{ y \in \mathbb{A}^n_{\mathbb{F}_p}: \begin{array}{l} F(y) = 0\ h_i \partial_j F(y) = h_j \partial_i F(y) \ \forall\, 1 \leq i < j \leq n \end{array} \right\}$$

which is the singular locus of the intersection of $F(y) = 0$ and $h \cdot y = 0$. Algebraic stratification is then given by

$$G_{F, j} = \{ h \in \mathbb{F}_p^n: \dim W_{F,h} \geq j \}$$

with a descending filtration

$$G_{F,0} \supset G_{F,1} \supset ... \supset G_{F,n}$$

where each $G_{F, j}$ is an algebraic subvariety of codimension $>j$.

2. Stratification Theorem and Quantitative Cancellation

The foundational result is codified as Lapkova–Xiao's main theorem (Lapkova et al., 2020):

• For each $j = 0, 1, ..., n$, $G_{F, j}$ has codimension $>j$ in $\mathbb{A}^n$.
• If $h$ mod $p \notin G_{F, j}(\mathbb{F}_p)$ (i.e., $\dim W_{F,h} \leq j-1$), then

$|S(h; p^2)| \ll_F p^{n+j-2}$

with "open stratum" $h \notin G_{F,1}(\mathbb{F}_p)$ yielding square-root cancellation, $|S(h; p^2)| \ll p^{n-1}$.

The proof leverages decomposition $x = y + pz$ for $x \in \mathbb{Z}/p^2\mathbb{Z}$, analysis of bilinear exponential sums

$$T_p(a, b, c) = \sum_{z \in (\mathbb{F}_p)^n, \ b \cdot z = c} \exp\left(\frac{a \cdot z}{p}\right)$$

whose vanishing is controlled by a set of bilinear relations among $a$ and $b$. The dominant contributions arise when $a_i b_j \equiv a_j b_i \pmod{p}$ for all $i < j$. The sum $T_p$ is then bounded, and the total is controlled by the size of $W_{F, h}(\mathbb{F}_p)$, itself bounded by Lang–Weil type point-counts, giving $|W_{F,h}(\mathbb{F}_p)| \ll p^{j-1}$ for $\dim W_{F,h} \leq j-1$.

3. Comparison to Cohomological Stratification and Fouvry–Katz

Fouvry–Katz's abstract stratification theorem for exponential sums (modulo $p$ and $p^k$) utilizes advanced tools from $\ell$-adic cohomology—specifically vanishing theorems and monodromy arguments—to produce a filtration

$$\mathbb{A}^n = G_0 \supset G_1 \supset ... \supset G_n$$

with cancellation bounds of type $|S_F(h; p)| \ll p^{(n+j-1)/2}$ on the complement of $G_j$. The Lapkova–Xiao approach reconstructs these strata explicitly by equations deriving from singular-locus geometry, thereby mirroring the stratification philosophy of Fouvry–Katz while remaining elementary, avoiding perverse-sheaf machinery.

The principal improvements are:

• Explicit equations for strata $G_{F, j}$ and a direct proof that $\codim\,G_{F, j} > j$.
• Quantitative bounds $|S(h; p^2)| \ll p^{n+j-2}$, sharper in this context.

4. Concrete Calculations in Low Dimension

For $n=2$, let $F(x_1, x_2)$ be a nonsingular binary form of degree $d \geq 2$. $W_{F,h}$ attains dimension $1$ only for $h_1 = h_2 = 0$; for all $h \not\equiv 0 \pmod{p}$, $\dim W_{F,h} = 0$. Accordingly,

$|S(h; p^2)| \ll p^{2+0-2} = 1$

demonstrating perfect square-root cancellation except at $h \equiv 0 \pmod{p}$, where $|S(0; p^2)| \approx p^2$.

5. Structural and Quantitative Control: Geometric Stratification Perspective

The FTA provides both a geometric and quantitative account of the cancellation phenomena for exponential sums:

Structural control: Explicit construction of the strata $G_{F, j}$ from singular loci defined by partial-derivative rank conditions.

Quantitative control: On each stratum complement, sharp bounds of the form $|S(h; p^2)| = O_F(p^{n+j-2})$.

This stratified picture, rooted in elementary algebraic geometry and point counting rather than deep cohomology, enables precise management of cancellation in exponential sums over algebraic varieties modulo prime powers, and illuminates the underlying geometric mechanisms controlling exponential sum estimates.

6. Significance and Distinction of the FTA

The FTA as formalized in Lapkova–Xiao (Lapkova et al., 2020) combines:

• Explicit geometric stratification (by singular loci dimensions) of parameter spaces governing exponential sums.
• Elementary analytical machinery (decomposition of variables, point-counting via Lang–Weil), leading to practical and sharp bounds.
• A direct analogue to the cohomological stratifications of Fouvry–Katz, but with explicit algebraic underpinning, making the stratification tangible and computationally accessible.

The approach not only recovers classical cancellation phenomena (square-root bounds, stratified estimates) but also supplies a paradigm for understanding the interaction between algebraic structure (singular loci, critical strata) and analytic behavior (cancellation, point count) in the theory of exponential sums.