The Stacks project

Proof. The final assertion means that $\mathcal{F}_ T \to (g_ T)_*g_ T^*\mathcal{F}_ T$ is injective for any morphism $T \to S$. The assumption $\text{Ass}_{X/S}(\mathcal{F}) \subset g(X')$ is preserved by base change, see Divisors, Lemma 31.7.3 and Remark 31.7.4. The same holds for the assumption of flatness and finite type. Hence it suffices to prove the injectivity of the displayed arrow. Let $\mathcal{K} = \mathop{\mathrm{Ker}}(\mathcal{F} \to g_*g^*\mathcal{F})$. Our goal is to prove that $\mathcal{K} = 0$. In order to do this it suffices to prove that $\text{WeakAss}_ X(\mathcal{K}) = \emptyset$, see Divisors, Lemma 31.5.5. We have $\text{WeakAss}_ X(\mathcal{K}) \subset \text{WeakAss}_ X(\mathcal{F})$, see Divisors, Lemma 31.5.4. As $\mathcal{F}$ is flat we see from Lemma 38.13.5 that $\text{WeakAss}_ X(\mathcal{F}) \subset \text{Ass}_{X/S}(\mathcal{F})$. By assumption any point $x$ of $\text{Ass}_{X/S}(\mathcal{F})$ is the image of some $x' \in X'$. Since $g$ is flat the local ring map $\mathcal{O}_{X, x} \to \mathcal{O}_{X', x'}$ is faithfully flat, hence the map

is injective (see Algebra, Lemma 10.82.11). This implies that $\mathcal{K}_ x = 0$ as desired. $\square$

Proof. As $M$ is projective we can find a projective $A$-module $C$ such that $F = M \oplus C$ is a free $A$-module. By replacing $u$ by $u \oplus 1 : F = M \oplus C \to N \oplus C$ we see that we may assume $M$ is free. In this case let $I$ be the ideal of $A$ generated by coefficients of all the elements of $\mathop{\mathrm{Ker}}(u)$ with respect to some (fixed) basis of $M$. The reason this works is that, since $u$ is surjective and $\otimes _ A B$ is right exact, $\mathop{\mathrm{Ker}}(u \otimes 1)$ is the image of $\mathop{\mathrm{Ker}}(u) \otimes _ A B$ in $M \otimes _ A B$. $\square$

Proof. We will use without further mention that $\mathcal{F}$ is universally pure over $S$, see Lemma 38.18.3. By Lemma 38.20.2 and Descent, Lemmas 35.37.2 and 35.39.1 the question is local for the étale topology on $S$. Hence it suffices to prove, given $s \in S$, that there exists an étale neighbourhood of $(S, s)$ so that the theorem holds.

Using Lemma 38.12.5 and after replacing $S$ by an elementary étale neighbourhood of $s$ we may assume there exists a commutative diagram

of schemes of finite presentation over $S$, where $g$ is étale, $X_ s \subset g(X')$, the schemes $X'$ and $S$ are affine, $\Gamma (X', g^*\mathcal{F})$ a projective $\Gamma (S, \mathcal{O}_ S)$-module. Note that $g^*\mathcal{F}$ is universally pure over $S$, see Lemma 38.17.4. Hence by Lemma 38.18.2 we see that the open $g(X')$ contains the points of $\text{Ass}_{X/S}(\mathcal{F})$ lying over $\mathop{\mathrm{Spec}}(\mathcal{O}_{S, s})$. Set

By More on Morphisms, Lemma 37.25.5 $E$ is a constructible subset of $S$. We have seen that $\mathop{\mathrm{Spec}}(\mathcal{O}_{S, s}) \subset E$. By Morphisms, Lemma 29.22.4 we see that $E$ contains an open neighbourhood of $s$. Hence after replacing $S$ by a smaller affine neighbourhood of $s$ we may assume that $\text{Ass}_{X/S}(\mathcal{F}) \subset g(X')$.

Since we have assumed that $u$ is surjective we have $F_{iso} = F_{inj}$. From Lemma 38.23.1 it follows that $u : \mathcal{F} \to \mathcal{G}$ is injective if and only if $g^*u : g^*\mathcal{F} \to g^*\mathcal{G}$ is injective, and the same remains true after any base change. Hence we have reduced to the case where, in addition to the assumptions in the theorem, $X \to S$ is a morphism of affine schemes and $\Gamma (X, \mathcal{F})$ is a projective $\Gamma (S, \mathcal{O}_ S)$-module. This case follows immediately from Lemma 38.23.2.

To see that $Z$ is of finite presentation if $\mathcal{G}$ is of finite presentation, combine Lemma 38.20.2 part (4) with Limits, Remark 32.6.2. $\square$

Proof. Let $\mathcal{I}$ be the ideal sheaf defining $Y$ in $X$ and let $u:\mathcal{O}_ X\to \mathcal{O}_ X/\mathcal{I}$ be the surjection. Then for an $S$-scheme $T$, the closed immersion $Y_ T\to X_ T$ is an isomorphism if and only if $u_ T$ is an isomorphism. Hence the result follows from Theorem 38.23.3. $\square$