Situation 75.7.8. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of algebraic spaces over $S$. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. For any scheme $T$ over $Y$ we will denote $\mathcal{F}_ T$ the base change of $\mathcal{F}$ to $T$, in other words, $\mathcal{F}_ T$ is the pullback of $\mathcal{F}$ via the projection morphism $X_ T = X \times _ Y T \to X$. Since the base change of a flat module is flat we obtain a functor

75.7.8.1
$$\label{spaces-flat-equation-flat} F_{flat} : (\mathit{Sch}/Y)^{opp} \longrightarrow \textit{Sets}, \quad T \longrightarrow \left\{ \begin{matrix} \{ *\} & \text{if } \mathcal{F}_ T \text{ is flat over }T, \\ \emptyset & \text{else.} \end{matrix} \right.$$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).