Fedder type criteria for quasi-$F$-splitting I

Yobuko recently introduced the notion of quasi-$F$-splitting and quasi-$F$-split heights, which generalize and quantify the notion of Frobenius-splitting, and proved that quasi-$F$-split heights coincide with Artin-Mazur heights for Calabi-Yau varieties. In this paper, we prove Fedder type criteria for quasi-$F$-splittings of complete intersections, and in particular, obtain a simple formula to compute Artin-Mazur heights of Calabi-Yau hypersurfaces. As one of its applications, we prove that there exist Calabi-Yau varieties of arbitrarily high Artin-Mazur height over $\mathbb{F}_2$. We also give explicit defining equations of quartic K3 surfaces over $\mathbb{F}_{3}$ realizing all the possible Artin-Mazur heights.