Abstract:This paper is the fourth and the last part of the series "Spherical higher order Fourier analysis over finite fields", aiming to develop the higher order Fourier analysis method along spheres over finite fields, and to solve the Geometric Ramsey Conjecture in the finite field setting. In this paper, we proof a conjecture of Graham on the Remsey properties for spherical configurations in the finite field setting. To be more precise, we show that for any spherical configuration $X$ of $\mathbb{F}_{p}^{d}$ of complexity at most $C$ with $d$ being sufficiently large with respect to $C$ and $\vert X\vert$, and for some prime $p$ being sufficiently large with respect to $C$, $\vert X\vert$ and $\epsilon>0$, any set $E\subseteq \mathbb{F}_{p}^{d}$ with $\vert E\vert>\epsilon p^{d}$ contains at least $\gg_{C,\epsilon,\vert X\vert}p^{(k+1)d-(k+1)k/2}$ congruent copies of $X$, where $k$ is the dimension of $\text{span}_{\mathbb{F}_{p}}(X-X)$. The novelty of our approach is that we avoid the use of harmonic analysis, and replace it by the theory of spherical higher order Fourier analysis developed in previous parts of the series.

On the calculation of the ramified Siegel series

Supercongruences arising from Ramanujan-Sato Series

On a higher-order version of a formula due to Ramanujan

On $p$-adic Siegel Eisenstein series from a point of view of the theory of mod $p^m$ singular forms

The Kudla-Rapoport conjecture at a ramified prime for $U(1, 1)$

Counting wildly ramified quartic extensions with prescribed discriminant and Galois closure group

Arithmetic Siegel-Weil formula on $\mathcal{X}_0(N)$: singular terms

Residue of some Eisenstein series

Spherical higher order Fourier analysis over finite fields IV: an application to the Geometric Ramsey Conjecture

On the Siegel series in terms of lattice counting

Fiercely ramified cyclic extensions of p-adic fields with imperfect residue field

On p-adic Siegel–Eisenstein series from a point of view of the theory of mod singular forms

Spherical Functions on 2-adic Ramified Hermetian Spaces

Continued fraction expression of the Mathieu series

Zero-Dimensional Shimura Varieties and Central Derivatives of Eisenstein Series

On a formula of spin sums, Eisenstein-Kronecker series in higher genus Riemann surfaces

Exponential sums over singular binary quartic forms and applications

On the regularized products of some Dirichlet series

An asymptotic expansion for a Lambert series associated to Siegel cusp forms of degree $n$

Multiplicative relations for Fourier coefficients of degree 2 Siegel eigenforms

A New Regularized Siegel-Weil Type Formula. Part I