Lemma 35.32.8. Let $f : X \to X'$ be a morphism of schemes over a base scheme $S$. Assume $\{ X \to S\}$ is an fpqc covering (for example if $f$ is surjective, flat and quasi-compact). Then the pullback functor of Lemma 35.31.6 is a fully faithful functor from the category of descent data relative to $X'/S$ to the category of descent data relative to $X/S$.

Proof. We may factor $X \to X'$ as $X \to X \times _ S X' \to X'$. The first morphism has a section, hence induces an equivalence of categories of descent data by Lemma 35.32.6. The second morphism is an fpqc covering hence induces a fully faithful functor by Lemma 35.32.4. $\square$

There are also:

• 2 comment(s) on Section 35.32: Fully faithfulness of the pullback functors

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