Lemma 38.9.3. Let $R$ be a ring. Let $R \to S$ be a ring map. Assume

1. $R \to S$ is of finite presentation and flat, and

2. every fibre ring $S \otimes _ R \kappa (\mathfrak p)$ is geometrically integral over $\kappa (\mathfrak p)$.

Then $S$ is projective as an $R$-module.

Proof. We can find a cocartesian diagram of rings

$\xymatrix{ S_0 \ar[r] & S \\ R_0 \ar[u] \ar[r] & R \ar[u] }$

such that $R_0$ is of finite type over $\mathbf{Z}$, the map $R_0 \to S_0$ is of finite type and flat with geometrically integral fibres, see More on Morphisms, Lemmas 37.34.4, 37.34.6, 37.34.7, and 37.34.11. By Lemma 38.9.2 we see that $S_0$ is a projective $R_0$-module. Hence $S = S_0 \otimes _{R_0} R$ is a projective $R$-module, see Algebra, Lemma 10.94.1. $\square$

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).