On Lev's periodicity conjecture

Abstract: We classify the sum-free subsets of ${\mathbb F}_3^n$ whose density exceeds $\frac16$. This yields a resolution of Vsevolod Lev's periodicity conjecture, which asserts that if a sum-free subset ${A\subseteq {\mathbb F}_3^n}$ is maximal with respect to inclusion and aperiodic (in the sense that there is no non-zero vector $v$ satisfying $A+v=A$), then $|A|\le \frac12(3^{n-1}+1)$ -- a bound known to be optimal if $n\ne 2$, while for $n=2$ there are no such sets.