Lemma 76.6.6. Let $Y$ be an algebraic space over a scheme $S$. Let $g : X' \to X$ be a flat morphism of algebraic spaces over $Y$ with $X$ locally of finite type over $Y$. Let $\mathcal{F}$ be a finite type quasi-coherent $\mathcal{O}_ X$-module which is flat over $Y$. If $\text{Ass}_{X/Y}(\mathcal{F}) \subset g(|X'|)$ then the canonical map

$\mathcal{F} \longrightarrow g_*g^*\mathcal{F}$

is injective, and remains injective after any base change.

Proof. The final assertion means that $\mathcal{F}_ Z \to (g_ Z)_*g_ Z^*\mathcal{F}_ Z$ is injective for any morphism $Z \to Y$. Since the assumption on the relative assassin is preserved by base change (Lemma 76.6.2) 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 on Spaces, Lemma 70.2.5. We have $\text{WeakAss}_ X(\mathcal{K}) \subset \text{WeakAss}_ X(\mathcal{F})$, see Divisors on Spaces, Lemma 70.2.4. As $\mathcal{F}$ is flat we see from Lemma 76.4.4 that $\text{WeakAss}_ X(\mathcal{F}) \subset \text{Ass}_{X/Y}(\mathcal{F})$. By assumption any point $x$ of $\text{Ass}_{X/Y}(\mathcal{F})$ is the image of some $x' \in |X'|$. Since $g$ is flat the local ring map $\mathcal{O}_{X, \overline{x}} \to \mathcal{O}_{X', \overline{x}'}$ is faithfully flat, hence the map

$\mathcal{F}_{\overline{x}} \longrightarrow (g^*\mathcal{F})_{\overline{x}'} = \mathcal{F}_{\overline{x}} \otimes _{\mathcal{O}_{X, \overline{x}}} \mathcal{O}_{X', \overline{x}'}$

is injective (see Algebra, Lemma 10.82.11). Since the displayed arrow factors through $\mathcal{F}_{\overline{x}} \to (g_*g^*\mathcal{F})_{\overline{x}}$, we conclude that $\mathcal{K}_{\overline{x}} = 0$. Hence $x$ cannot be a weakly associated point of $\mathcal{K}$ and we win. $\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).