Structural Lemmas for the First-Prime Window of the Weil Quadratic Form
We prove six structural results for the local Weil quadratic form $Q_W^L$ on $L^2(-L,L)$ in the interval $\tfrac{1}{2}\log 2 < L < \tfrac{1}{2}\log 3$, the first-prime window where only the prime $n = 2$ contributes to the explicit formula. Our main technical contribution () is an algebraisation showing that the matric...