Let $S$ be a connected scheme, let $\pi : \mathbb{P}_{S}^{r} \to S$ be projective $r$-space over $S$, and let $\mathcal{E}$ be a flat and locally finitely presented $\mathcal{O}_{\mathbb{P}_{S}^{r}}$-module. Is $\pi_{\ast}(\mathcal{E}(n))$ (nonzero and) flat and locally finitely presented for $n \gg 0$?
Remarks: If $S$ is a Noetherian scheme, the answer is "yes" using usual cohomology and base change theorems. I included "connected" because I am assuming we could otherwise construct an example with $S$ being an infinite disjoint union of fields. The case when $S$ is quasi-compact reduces to the case when $S$ is affine, but I don't even know about the affine case. Say $S = \operatorname{Spec} A$; we may write $A$ as a filtered colimit $A = \varinjlim_{\lambda \in \Lambda} A_{\lambda}$ where each $A_{\lambda}$ is a finite type $\mathbb{Z}$-subalgebra of $A$. Set $S_{\lambda} := \operatorname{Spec} A_{\lambda}$. Then we can descend $\mathcal{E}$ to vector bundles $\mathcal{E}_{\lambda}$ on $\mathbb{P}_{S_{\lambda}}^{r}$ for large enough $\lambda$. Let's fix some $\lambda$. By the case whenSerre vanishing [1, III, Theorem 5.2], we may replace $S$$\mathcal{E}_{\lambda}$ by $\mathcal{E}_{\lambda}(n)$ to assume that $\mathrm{H}^{i}(\mathbb{P}_{A_{\lambda}}^{r},\mathcal{E}_{\lambda}) = 0$ for $i > 0$. By [2, Section 4, second Theorem] there is Noetheriana finite complex (the "Grothendieck complex") $$ K^{\bullet} = \{0 \to K^{0} \to \dotsb \to K^{n} \to 0\} $$ of finitely generated projective $A_{\lambda}$-modules and, we'd be done iffor each $\Gamma(\mathbb{P}_{S_{\lambda}}^{r},\mathcal{E}_{\lambda}) \otimes_{A_{\lambda}} A \to \Gamma(\mathbb{P}_{S}^{r} , \mathcal{E})$ is an$i \ge 0$, a functorial isomorphism $$ \mathrm{H}^{i}(\mathbb{P}_{B}^{r} , \mathcal{E}_{\lambda}|_{\mathbb{P}_{B}^{r}}) \simeq \mathsf{h}^{i}(K^{\bullet} \otimes_{A_{\lambda}} B) $$ for someevery $\lambda$$A_{\lambda}$-algebra $B$. ByNow Tag 01Z0, the map$\mathsf{h}^{i}(K^{\bullet}) = 0$ for $\varinjlim_{\lambda \in \Lambda} \Gamma(\mathbb{P}_{S_{\lambda}}^{r} , \mathcal{E}_{\lambda}) \to \Gamma(\mathbb{P}_{S}^{r} , \mathcal{E})$$i > 0$ which means $K^{\bullet}$ is an isomorphism but I don't knowa direct sum of complexes of the form $\{\mathrm{id}_{P} : P \to P\}$ and a complex consisting of a single finitely generated projective $A_{\lambda}$-module at degree $0$. Thus we may assume that $K^{i} = 0$ if $i \ne 0$. Then $K^{0} \simeq \Gamma(\mathbb{P}_{A_{\lambda}}^{r} , \mathcal{E}_{\lambda})$, and the above gives $\Gamma(\mathbb{P}_{A}^{r} , \mathcal{E}) \simeq \Gamma(\mathbb{P}_{A_{\lambda}}^{r} , \mathcal{E}_{\lambda}) \otimes_{A_{\lambda}} A$. (I guess this helpsargument should work if we replace $\mathbb{P}_{S}^{r}$ by a flat projective finitely presented morphism $X \to S$ that descends to some $S_{\lambda}$.)
I am guessing that the difficulty is "flatness" but I also don't know whether the "locally finitely presented" part is true, thus I will include the following subquestion:
Let $S$ be an affine scheme, let $\pi : \mathbb{P}_{S}^{r} \to S$ be projective $r$-space over $S$, and let $\mathcal{E}$ be a locally finitely presented $\mathcal{O}_{\mathbb{P}_{S}^{r}}$-module. Is $\pi_{\ast}\mathcal{E}$ necessarily finitely presented?
References:
[1] Hartshorne, Algebraic Geometry
[2] Mumford, Abelian Varieties, Tata Institute of Fundamental Research Studies in Mathematics (1970)
Keywords: Noetherian approximation, cohomology and base change, higher direct images, not Noetherian