1: \begin{abstract}

2:   This paper is the second part of the series \emph{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.

3:   

4:   In this paper, we study additive combinatorial properties for shifted ideals, i.e. 

5:   the structure of sets of the form $E\pm E$, where $E$ is a collection of shifted ideals of the polynomial ring $\mathbb{F}_{p}[x_{1},\dots,x_{d}]$ and we identify two ideals if their difference contains the zero polynomial. We show that under appropriate definitions, the set $E\pm 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\'edi theorem, the Rusza's quasi triangle inequality and a weak form of the Pl\"unnecke-Rusza theorem in the setting of shifted ideals. We also show that for a special class of maps $\xi$ from $\mathbb{F}_{p}^{d}$ to the collection of all shifted ideals of   $\mathbb{F}_{p}[x_{1},\dots,x_{d}]$, if the set $\xi(\mathbb{F}_{p}^{d})+\xi(\mathbb{F}_{p}^{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.

6:   \end{abstract}