Lemma 35.35.6 (0243)—The Stacks project

Loading [MathJax]/extensions/tex2jax.js

Table of contents
Part 2: Schemes
Chapter 35: Descent
Section 35.35: Fully faithfulness of the pullback functors
Lemma 35.35.6 (cite)

numberstags

Lemma 35.35.6. Let $f : X' \to X$ be a morphism of schemes over a base scheme $S$. Assume there exists a morphism $g : X \to X'$ over $S$, for example if $f$ has a section. Then the pullback functor of Lemma 35.34.6 defines an equivalence of categories between the category of descent data relative to $X/S$ and $X'/S$.

Proof. Let $g : X \to X'$ be a morphism over $S$. Lemma 35.35.5 above shows that the functors $f^* \circ g^* = (g \circ f)^*$ and $g^* \circ f^* = (f \circ g)^*$ are isomorphic to the respective identity functors as desired. $\square$

Comments (0)

There are also:

2 comment(s) on Section 35.35: 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).

Comments (0)

Post a comment