Frobenius splitting of complete intersections in<i>p</i>ⁿ (Q4338218)

In Ann. Math., II. Ser. 122, 27-40 (1985; Zbl 0601.14043), \textit{V. B. Mehta} and \textit{A. Ramanathan} called a variety \(X\) in characteristic \(p>0\) Frobenius split, if the map \(f^\sharp:{\mathcal O}_X\to F_*{\mathcal O}_X\) associated to the Frobenius morphism \(F:X\to X\) is a split injection. In the paper under review, the author uses the fundamental isomorphism \[ F_*\omega_X^{1-p} \widetilde{\longrightarrow} \Hom(F_*{\mathcal O}_X,{\mathcal O}_X) \] for Gorenstein varieties \(X\), to identify Frobenius splittings of \(X=\mathbb{P}^n\) with those homogeneous polynomials of degree \((n+1)(p-1)\) whose coefficient of \((x_0\cdots x_n)^{p-1}\) is nonzero. Then he shows that, for a complete intersection \(Y=Z(f_1,\dots, f_c)\) in \(\mathbb{P}^n\) of dimension \(\dim Y\geq 1\), all Frobenius splittings of \(Y\) are induced by Frobenius splittings of \(\mathbb{P}^n\). Furthermore, he identifies Frobenius split complete intersections in \(\mathbb{P}^n\) as intersections of components of Frobenius split hypersurfaces of the form \(Z(f^{p-1})\) with a homogeneous polynomial \(f\) of degree \(n+1\).