Given a scheme $X$ with generic point p and a quasi-coherent sheaf $F$ on $X$. Viewing $X$ as a scheme over $Spec(\mathbb{Z})$, let us assume $f: X \rightarrow Spec(\mathbb{Z})$ is a proper map.

What conditions have $X$ and $F$ to satisfy, so that one can embed the $\mathbb{Z}$-module $F(X)=H^0(X,F)$ in $F_p$, respectively when is the restriction map $h: F(X) \rightarrow F_p$ injective?

Are there some mild conditions, like $X$ integral and $F$ coherent or torsion free?