Let $X$ be a noetherian scheme over $\mathbb{C}$, and let $E$ be a locally free sheaf of finite rank over $X$. Then we have the projective bundle $f: \mathbb{P}(E)\rightarrow X$.

Now $f$ is a flat morphism and we have $f_{*}\mathcal{O}_{\mathbb{P}(E)}=\mathcal{O}_X$ and $R^if_{*}\mathcal{O}_{\mathbb{P}(E)}=0$ for $i\geq 1$.

So according to this question and the following answers we should get for every coherent sheaf $H\in Coh(X)$ an isomorphism $f_{*}f^{*}H\cong H$ and for $i\geq 1$ we should have $R^if_{*}f^{*}H=0$. $(*)$

Is there a direct way to see that we have the two facts in $(*)$ for any noetherian $X$ without using the derived category? Or is this wrong in this generality?

I'm asking because in the answers to my question here, it is sugested to use the projection formula for $f$ to see the vanishing of higher direct images of sheaves $G$ with the property $f^{*}f_{*}G\cong G$. But the usual projection formula $R^if_{*}(G\otimes f^{*}H)\cong (R^if_{*}G)\otimes H$, e.g. Hartshorne Exercise III.$8.3$ needs the sheaf $H$ on $X$ to be locally free. In this case we don't have an arbitrary morphism but a flat one and we have the fact $f_{*}\mathcal{O}_{\mathbb{P}(E)}=\mathcal{O}_X$ resp. $R^if_{*}\mathcal{O}_{\mathbb{P}(E)}=0$ for $i\geq 1$ so maybe it works also for coherent sheaves on $X$.