Abstract:This paper is the second 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 study additive combinatorial properties for shifted modules, i.e. the structure of sets of the form $E\hat{+} E$, where $E$ is a collection of shifted modules of the polynomial ring $\mathbb{R}[x_{1},\dots,x_{d}]$ and we identify two modules if their difference contains the zero polynomial. We show that under appropriate definitions, the set $E\hat{+} E$ enjoys properties similar to the conventional setting where $E$ is a subset of an abelian group. In particular, among other results, we prove the Balog-Gowers-Szemerédi theorem, the Rusza's quasi triangle inequality and a weak form of the Plünnecke-Rusza theorem in the setting of shifted modules. We also show that for a special class of maps $\xi$ from $\mathbb{Z}_{K}^{d}$ to the collection of all shifted modules of $\mathbb{R}[x_{1},\dots,x_{d}]$, if the set $\xi(\mathbb{Z}_{K}^{d})+\xi(\mathbb{Z}_{K}^{d})$ has large additive energy, then $\xi$ is an almost linear Freiman homomorphism. This result is the crucial additive combinatorial input we need to prove the spherical Gowers inverse theorem in later parts of the series.

Spherical functions on the space of $p$-adic unitary hermitian matrices

Spherical functions on symmetric spaces of Friedberg-Jacquet type

Spherical Functions on 2-adic Ramified Hermetian Spaces

Spherical functions of symmetric forms and a conjecture of Hironaka

Harmonic analysis on certain spherical varieties

On the spherical partition algebra

Spherical Witt vectors and integral models for spaces

On the fundamental group of a spherical variety

Spherical varieties and non-ordinary families of cohomology classes

Spherical Characters in Families: the unitary Gan-Gross-Prasad case

Local zeta functions for a class of p-adic symmetric spaces (II)

Symmetric Powers of Symmetric Bilinear Forms, Homogeneous Orthogonal Polynomials on the Sphere and an Application to Compact Hyperkähler Manifolds

Spherical higher order Fourier analysis over finite fields I: equidistribution for nilsequences

Spherical higher order Fourier analysis over finite fields II: additive combinatorics for shifted ideals

Ehrhart polynomials, Hecke series, and affine buildings

Scattering and a Plancherel formula for real reductive spherical spaces

Spherical functions on homogeneous superspaces

Matrix Spherical Functions for $(\mathrm{SU}(n+m),\mathrm{S}(\mathrm{U}(n)\times \mathrm{U}(m)))$: Two Specific Classes

The spherical Hall algebra of $\overline{\operatorname{Spec}(\mathcal{O}_K)}$

Characterizing Hilbert spaces using Fourier transform over the field of p-adic numbers

An explicit construction of the unitarily invariant quaternionic polynomial spaces on the sphere