On a Grauert-Riemenschneider vanishing theorem for Frobenius split varieties in characteristic \(p\) (Q2277037)

This paper is about sheaf cohomology for varieties (schemes) in characteristic \(p>0.\) We assume the presence of a Frobenius splitting [see \textit{V. B. Mehta} and \textit{A. Ramanathan}, Ann. Math., II. Ser. 122, 27-40 (1985; Zbl 0601.14043)]. The main result is that a nonzero higher direct image under a proper map of the ideal sheaf of a compatibly Frobenius split subvariety can not have a support whose inverse image is contained in that subvariety. Earlier vanishing theorems for Frobenius split varieties were based on direct limits and Serre's vanishing theorem, but our theorem is based on inverse limits and Grothendieck's theorem on formal functions. The result implies a Grauert-Riemenschneider type theorem.