A vanishing theorem for differential operators in positive characteristic (Q969617): Difference between revisions

Let \(X\) be a smooth projective quadric or a flag variety of lines in hyperplanes in a fixed vector space defined over an algebraically closed field \(k\) of positive characteristic \(p\). Let \(F: X\to X\) be the absolute Frobenius morphism. The author proves that \(H^i(X, \text{End}_{{\mathcal O}_X}(F_*{\mathcal O}_X))\) vanishes for \(i>0\) (in case of quadrics the author assumes that \(p\neq 2\)). In case of quadrics the result was also proven by the reviewer using different methods [\textit{A. Langer}, Int. Math. Res. Not. 2008, Article ID rnm145, 26 p. (2008); erratum ibid. 2010, No. 10, 1966--1972 (2010; Zbl 1194.14025)]. It is interesting to note that a similar vanishing does not hold for higher Frobenius push-forwards on even dimensional quadrics (see ibid). The author notes that the derived localization theorem of \textit{R. Bezrukavnikov, I. Mirković} and \textit{D. Rumynin} [Ann. Math. (2) 167, No. 3, 945--991 (2008; Zbl 1220.17009)] implies that for a homogeneous variety \(G/P\) the Frobenius push-forward \(F_*{\mathcal O}_{G/P}\) generates the derived category if the characteristic \(p\) is larger than the Coxeter number of \(G\). Using this result together with his vanishing results the author concludes that in large characteristic \(F_*{\mathcal O}_X\) is a tilting bundle on \(X\).