Simplicity of Lyapunov spectra and boundaries of non-conical strictly convex divisible sets
Let $Ω$ be a strictly convex divisible subset of the $n$-dimensional real projective space which is not an ellipsoid. Even though $\partialΩ$ is not $C^2$, Benoist showed that it is $C^{1+α}$ for some $α>0$, and Crampon established that $\partialΩ$ actually possesses a sort of anisotropic Hölder regularity -- described by a list $α_1\leq\dots\leqα_{n-1}$ of positive real numbers -- at almost all of its points. In this article, we show that $\partialΩ$ is maximally anisotropic in the sense that this list of approximate regularities of $\partialΩ$ does not contain repetitions. This result is a consequence of the simplicity of the Lyapunov spectrum of the Hilbert geodesic flow for every equilibrium measure associated to a Hölder potential.