The Stacks project

35.6 Galois descent for quasi-coherent sheaves

Galois descent for quasi-coherent sheaves is just a special case of fpqc descent for quasi-coherent sheaves. In this section we will explain how to translate from a Galois descent to an fpqc descent and then apply earlier results to conclude.

Let $k'/k$ be a field extension. Then $\{ \mathop{\mathrm{Spec}}(k') \to \mathop{\mathrm{Spec}}(k)\} $ is an fpqc covering. Let $X$ be a scheme over $k$. For a $k$-algebra $A$ we set $X_ A = X \times _{\mathop{\mathrm{Spec}}(k)} \mathop{\mathrm{Spec}}(A)$. By Topologies, Lemma 34.9.8 we see that $\{ X_{k'} \to X\} $ is an fpqc covering. Observe that

\[ X_{k'} \times _ X X_{k'} = X_{k' \otimes _ k k'} \quad \text{and}\quad X_{k'} \times _ X X_{k'} \times _ X X_{k'} = X_{k' \otimes _ k k' \otimes _ k k'} \]

Thus a descent datum for quasi-coherent sheaves with respect to $\{ X_{k'} \to X\} $ is given by a quasi-coherent sheaf $\mathcal{F}$ on $X_{k'}$, an isomorphism $\varphi : \text{pr}_0^*\mathcal{F} \to \text{pr}_1^*\mathcal{F}$ on $X_{k' \otimes _ k k'}$ which satisfies an obvious cocycle condition on $X_{k' \otimes _ k k' \otimes _ k k'}$. We will work out what this means in the case of a Galois extension below.

Let $k'/k$ be a finite Galois extension with Galois group $G = \text{Gal}(k'/k)$. Then there are $k$-algebra isomorphisms

\[ k' \otimes _ k k' \longrightarrow \prod \nolimits _{\sigma \in G} k',\quad a \otimes b \longrightarrow \prod a\sigma (b) \]

and

\[ k' \otimes _ k k' \otimes _ k k' \longrightarrow \prod \nolimits _{(\sigma , \tau ) \in G \times G} k',\quad a \otimes b \otimes c \longrightarrow \prod a\sigma (b)\sigma (\tau (c)) \]

The reason for choosing here $a\sigma (b)\sigma (\tau (c))$ and not $a\sigma (b)\tau (c)$ is that the formulas below simplify but it isn't strictly necessary. Given $\sigma \in G$ we denote

\[ f_\sigma = \text{id}_ X \times \mathop{\mathrm{Spec}}(\sigma ) : X_{k'} \longrightarrow X_{k'} \]

Please keep in mind that because $\mathop{\mathrm{Spec}}(-)$ is a contravariant functor we have $f_{\sigma \tau } = f_\tau \circ f_\sigma $ and not the other way around. Using the first isomorphism above we obtain an identification

\[ X_{k' \otimes _ k k'} = \coprod \nolimits _{\sigma \in G} X_{k'} \]

such that $\text{pr}_0$ corresponds to the map

\[ \coprod \nolimits _{\sigma \in G} X_{k'} \xrightarrow {\coprod \text{id}} X_{k'} \]

and such that $\text{pr}_1$ corresponds to the map

\[ \coprod \nolimits _{\sigma \in G} X_{k'} \xrightarrow {\coprod f_\sigma } X_{k'} \]

Thus we see that a descent datum $\varphi $ on $\mathcal{F}$ over $X_{k'}$ corresponds to a family of isomorphisms $\varphi _\sigma : \mathcal{F} \to f_\sigma ^*\mathcal{F}$. To work out the cocycle condition we use the identification

\[ X_{k' \otimes _ k k' \otimes _ k k'} = \coprod \nolimits _{(\sigma , \tau ) \in G \times G} X_{k'}. \]

we get from our isomorphism of algebras above. Via this identification the map $\text{pr}_{01}$ corresponds to the map

\[ \coprod \nolimits _{(\sigma , \tau ) \in G \times G} X_{k'} \longrightarrow \coprod \nolimits _{\sigma \in G} X_{k'} \]

which maps the summand with index $(\sigma , \tau )$ to the summand with index $\sigma $ via the identity morphism. The map $\text{pr}_{12}$ corresponds to the map

\[ \coprod \nolimits _{(\sigma , \tau ) \in G \times G} X_{k'} \longrightarrow \coprod \nolimits _{\sigma \in G} X_{k'} \]

which maps the summand with index $(\sigma , \tau )$ to the summand with index $\tau $ via the morphism $f_\sigma $. Finally, the map $\text{pr}_{02}$ corresponds to the map

\[ \coprod \nolimits _{(\sigma , \tau ) \in G \times G} X_{k'} \longrightarrow \coprod \nolimits _{\sigma \in G} X_{k'} \]

which maps the summand with index $(\sigma , \tau )$ to the summand with index $\sigma \tau $ via the identity morphism. Thus the cocycle condition

\[ \text{pr}_{02}^*\varphi = \text{pr}_{12}^*\varphi \circ \text{pr}_{01}^*\varphi \]

translates into one condition for each pair $(\sigma , \tau )$, namely

\[ \varphi _{\sigma \tau } = f_\sigma ^*\varphi _\tau \circ \varphi _\sigma \]

as maps $\mathcal{F} \to f_{\sigma \tau }^*\mathcal{F}$. (Everything works out beautifully; for example the target of $\varphi _\sigma $ is $f_\sigma ^*\mathcal{F}$ and the source of $f_\sigma ^*\varphi _\tau $ is $f_\sigma ^*\mathcal{F}$ as well.)

Lemma 35.6.1. Let $k'/k$ be a (finite) Galois extension with Galois group $G$. Let $X$ be a scheme over $k$. The category of quasi-coherent $\mathcal{O}_ X$-modules is equivalent to the category of systems $(\mathcal{F}, (\varphi _\sigma )_{\sigma \in G})$ where

  1. $\mathcal{F}$ is a quasi-coherent module on $X_{k'}$,

  2. $\varphi _\sigma : \mathcal{F} \to f_\sigma ^*\mathcal{F}$ is an isomorphism of modules,

  3. $\varphi _{\sigma \tau } = f_\sigma ^*\varphi _\tau \circ \varphi _\sigma $ for all $\sigma , \tau \in G$.

Here $f_\sigma = \text{id}_ X \times \mathop{\mathrm{Spec}}(\sigma ) : X_{k'} \to X_{k'}$.

Proof. As seen above a datum $(\mathcal{F}, (\varphi _\sigma )_{\sigma \in G})$ as in the lemma is the same thing as a descent datum for the fpqc covering $\{ X_{k'} \to X\} $. Thus the lemma follows from Proposition 35.5.2. $\square$

A slightly more general case of the above is the following. Suppose we have a surjective finite étale morphism $X \to Y$ and a finite group $G$ together with a group homomorphism $G^{opp} \to \text{Aut}_ Y(X), \sigma \mapsto f_\sigma $ such that the map

\[ G \times X \longrightarrow X \times _ Y X,\quad (\sigma , x) \longmapsto (x, f_\sigma (x)) \]

is an isomorphism. Then the same result as above holds.

Lemma 35.6.2. Let $X \to Y$, $G$, and $f_\sigma : X \to X$ be as above. The category of quasi-coherent $\mathcal{O}_ Y$-modules is equivalent to the category of systems $(\mathcal{F}, (\varphi _\sigma )_{\sigma \in G})$ where

  1. $\mathcal{F}$ is a quasi-coherent $\mathcal{O}_ X$-module,

  2. $\varphi _\sigma : \mathcal{F} \to f_\sigma ^*\mathcal{F}$ is an isomorphism of modules,

  3. $\varphi _{\sigma \tau } = f_\sigma ^*\varphi _\tau \circ \varphi _\sigma $ for all $\sigma , \tau \in G$.

Proof. Since $X \to Y$ is surjective finite étale $\{ X \to Y\} $ is an fpqc covering. Since $G \times X \to X \times _ Y X$, $(\sigma , x) \mapsto (x, f_\sigma (x))$ is an isomorphism, we see that $G \times G \times X \to X \times _ Y X \times _ Y X$, $(\sigma , \tau , x) \mapsto (x, f_\sigma (x), f_{\sigma \tau }(x))$ is an isomorphism too. Using these identifications, the category of data as in the lemma is the same as the category of descent data for quasi-coherent sheaves for the covering $\{ x \to Y\} $. Thus the lemma follows from Proposition 35.5.2. $\square$


Comments (0)


Post a comment

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0CDQ. Beware of the difference between the letter 'O' and the digit '0'.