Optimal homological vanishing: cancellation of character sums and Patterson's conjecture over $\mathbb{F}_q[t]$

Many arithmetic sums over function fields can be expressed in terms of $H_i(B_n, V^{\otimes n})$ for some braided vector space $V$, and a vanishing line for these homology groups gives power-savings cancellation for the arithmetic sum.

We prove an explicit vanishing line for $H_i(B_n,V^{\otimes n})$ depending only on the homology up to some finite $n$.

Moreover, as the range of $n$ increases, the slope of the resulting vanishing line converges to the optimal slope.

We also apply our methods to two different families of arithmetic sums.

Firstly, we prove an upper bound for the bias of higher order Gauss sums over function fields, extending Patterson's conjecture beyond the cubic and quartic cases over number fields, and we conjecture this bound is sharp for orders that are prime powers.

Secondly, we show that over Galois $G$-extensions, almost all character sums exhibit near square-root cancellation.