Proof.
Part (1) follows from the following statement: If $T' \to T$ is a surjective flat morphism of algebraic spaces over $Y$, then $\mathcal{F}_{T'}$ is flat over $T'$ if and only if $\mathcal{F}_ T$ is flat over $T$, see Morphisms of Spaces, Lemma 67.31.3. Part (2) follows from Limits of Spaces, Lemma 70.6.12 if $f$ is also quasi-separated (i.e., $f$ is of finite presentation). For the general case, first reduce to the case where the base is affine and then cover $X$ by finitely many affines to reduce to the quasi-separated case. Details omitted.
$\square$
Comments (0)