2 problems

Radicality conjecture. The ideal $I_M$ is radical for every prime $p\geq 5$.

Let $f$ define a nonsingular hypersurface $X_f=\{f=0\}$, and let $H_f=H^{\cdot}_{dR}(X_f)$ be its de Rham cohomology, equipped with the Gauss–Manin connection and Frobenius maps…