Let $f:X\to Y$ be a proper morphism, and $\mathcal{F}$ be a coherent sheaf on the small \'{e}tale site $X_{et}$, flat over $Y$. For each geometric point $\bar{y}\to Y$, regard the pull back $\mathcal{F}_{\bar{y}}$ as a coherent sheaf for the Zarisky topology on $X_{\bar{y}}$. Define the following function $h^i(\bar{y},\mathcal{F})=\dim_{\Omega(\bar{y})}H^i(X_{\bar{y}},\mathcal{F}_{\bar{y}})$. I want to know whether the theorems Chap III 12.8, 12.9, 12.11 in Hartshorne are still true for this function $h^i$ on all geometric points? I appreciate it if anyone can give a reference if the statements are true.

Maybe I need to explain my concern by distinguishing a geometric point and a point. Let $\bar{y}\to Y$ be a geometric point of $Y$ with the image $y\in Y$. Let $k(y)$ denote the residue field of the point $y$, and $\Omega(\bar{y})$ denote the separably algebraically closed field containing $k(y)$. I think the statements would follow from the following statement $\dim_{\Omega(\bar{y})}H^i(X_{\bar{y}},\mathcal{F}_{\bar{y}})=\dim_{k(y)}H^i(X_y,\mathcal{F}_y)$. But this is not obvious to me. Am I being stupid?