I'm currently reading Bourgain and Demeter's study guide for the $l^2$ decoupling theorem (https://arxiv.org/pdf/1604.06032.pdf). I have some trouble with understanding the proof of Proposition 8.4.

Let me describe the setting. We define the truncated paraboloid $$ \mathbb{P}^{n-1} = \{(\xi_1,\dotsc,\xi_{n-1},\xi_1^2 + \dotsc + \xi_{n-1}^2) : 0 \leq \xi_i \leq 1\} $$ and the $\delta$-neighborhood of $\mathbb{P}^{n-1}$ above some set $U\subset [0,1]^{n-1}$ $$ N_\delta(U)=\{(\xi_1,\dotsc,\xi_{n-1},\xi_1^2+\dotsc+\xi_{n-1}^2+t):(\xi_1,\dotsc,\xi_{n-1})\in U,0\leq t \leq \delta\}. $$

Let us now restrict ourselves to $n=3$ dimensions. Let $L$ be the line in the $(\xi_1,\xi_2)$-plane given by $\eta=0$ (actually the authors choose $\eta = 1$ but this shouldn't change anything due to translation invariance) and let $S_L = \{(\xi_1,\xi_2)\in [0,1]^2:\text{dist}((\xi_1,\xi_2),L)<\frac{C}{K}\}$ be the fattened line for some constant $C>0$. Next, for a function $g:[0,1]^2\rightarrow \mathbb{C}$ we define the extension operator $$ E_{S_L}g(x,y,z)=\int_{S_L}g(\xi_1,\xi_2)e(\xi_1 x + \xi_2y+(\xi_1^2+\xi_2^2)z)d(\xi_1,\xi_2) $$ where $e(z)=e^{2\pi i z}$, which extends $g$ to $\mathbb{P}^2$. Now we fix some $y\in\mathbb{R}$ and define the restricted operator $$ E_{S_L,y}g(x,z):=E_{S_L}g(x,y,z). $$ So now we are in two dimensions.

The issue I have trouble with is the following: In order to obtain a decoupling inequality the authors claim that one can apply Thm. 5.1 to $E_{S_L,y}g$ which requires $E_{S_L,y}g$ being Fourier supported in $N_{C/K}([0,1])$ for some constant $C$. Their argument why this works is, because $E_{S_L,y}g$ is supported in the $O(K^{-1})$ neighborhood of the parabola $\eta=\xi^2$. But $N_{C/K}([0,1])$ is a strict subset of this neighborhood, so this argument is not sufficient to apply Thm. 5.1.

So to be precise, my question is the following:

How can one show, that $E_{S_L,y}g$ has Fourier support in $N_{C/K}([0,1])$?

By the uncertainty principle this is quite clear to me, but I don't know how to make this rigorous. My approach follows the standard ideas: Instead of $E_{S_L,y}g$ I consider $\phi E_{S_L,y}g$ for some Schwartz function $\phi$ which is Fourier supported in the cube $B(0,1/K)$ centered at the origin and with side length $1/K$. I deduce that $\phi E_{S_L,y}g$ is Fourier supported in the $O(K^{-1})$ neighborhood of the parabola $\eta=\xi^2$. And now I would like to apply Thm 5.1 to $\phi E_{S_L,y}g$, which I can't because of the reason discussed above.

Any help is appreciated. Thanks in advance.