The $C^{p'}$-regularity conjecture near $p=2$

Abstract: We prove the $C<sup>{p&#39;}$-regularity conjecture in every dimension when $p&gt;2$ is sufficiently close to $2$. To this end, we establish improved Hölder estimates for the gradients of $p$-harmonic functions. These estimates also determine the first-order asymptotics of the optimal gradient Hölder exponent in every dimension. The proof combines compactness, harmonic rigidity of the limiting profiles, and a sharp uniform gap estimate for the first variation of the gradient excess.