Lemma 39.12.2. Let $S$ be a scheme. Let $G$ be a group scheme over $S$. Let $f : Y \to X$ be a $G$-equivariant morphism between $S$-schemes endowed with $G$-actions. Then pullback $f^*$ given by $(\mathcal{F}, \alpha ) \mapsto (f^*\mathcal{F}, (1_ G \times f)^*\alpha )$ defines a functor from the category of $G$-equivariant quasi-coherent $\mathcal{O}_ X$-modules to the category of $G$-equivariant quasi-coherent $\mathcal{O}_ Y$-modules.

Proof. Omitted. $\square$

Comment #4284 by Laurent Moret-Bailly on

Statement of lemma: why is "quasi-coherent" omitted on the $X$ side?

There are also:

• 12 comment(s) on Section 39.12: Equivariant quasi-coherent sheaves

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