Lemma 70.3.2. Let $S$ be a scheme. Let $f : X \to Y$ be an affine morphism of algebraic spaces over $S$. Let $\mathcal{F}$ be a quasi-coherent $\mathcal{O}_ X$-module. If $X$ is locally Noetherian, then we have

$\text{WeakAss}_ Y(f_*\mathcal{F}) = f(\text{WeakAss}_ X(\mathcal{F}))$

Proof. Choose a scheme $V$ and a surjective étale morphism $V \to Y$. Set $U = X \times _ Y V$. Then $U \to V$ is an affine morphism of schemes and $U$ is locally Noetherian. By our definition of weakly associated points the problem is reduced to the morphism of schemes $U \to V$. This case is treated in Divisors, Lemma 31.6.2. $\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).