Higher F-injective singularities

We introduce the concept of higher $F$-injectivity, a generalisation of $F$-injectivity. We prove that an isolated singularity over a field of characteristic zero is $k$-Du Bois if it is $k$-$F$-injective after reductions modulo infinitely many primes $p$. Under the ordinarity conjecture, we also establish the converse. As an application, we study Frobenius liftable hypersurfaces.