On a Grauert-Riemenschneider vanishing theorem for Frobenius split varieties in characteristic p

Abstract

This paper is about sheaf cohomology for varieties (schemes) in characteristic $p>0$. We assume the presence of a Frobenius splitting. (See V.B. Mehta and A. Ramanathan, Frobenius splitting and cohomology vanishing for Schubert varieties, Annals of Math. 122 (1985), 27--40). The main result is that a non-zero 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.

4 pages, LaTeX

Cited by in corpus (7)

• Richardson Varieties Have Kawamata Log Terminal Singularities
• Coherent sheaves and quantum Coulomb branches I: tilting bundles from integrable systems
• The Space of Triangles, Vanishing Theorems, and Combinatorics
• Higher cohomology vanishing of line bundles on generalized Springer's resolution
• Frobenius splitting of equivariant closures of regular conjugacy classes
• On the flatness of local models for the symplectic group
• On the flatness of models of certain Shimura varieties of PEL-type