Phase relations and pyramids

We develop tools to study the averaged Fourier uniformity conjecture and extend its known range of validity to intervals of length at least $\exp (C(\log X{)}^{1\mathrm{/}2}(\log \log X{)}^{1\mathrm{/}2})$.