Let $X$ be a proper scheme defined over an algebraically closed field of characteristic $p > 0$. Let $F : X\rightarrow X$ be the absolute Frobenius morphism. What is the dimension of $H^0(X, F_*\mathcal{O}_X)$?
Frobenius morphism and global sections of direct image of structure sheaf
4
$\begingroup$
algebraic-geometry
1 Answers
3
F is a finite morphism, so affine, so $H^i(X, \mathcal{O}_X) = H^i(X, F_*\mathcal{O}_X)$ for all i.
-
0For the $H^0$, indeed, but anon gives a result working for high degree cohomology too. – 2011-05-29