Lemma 78.15.2. Let $B \to S$ as in Section 78.3. Let $(G, m)$ be a group algebraic space over $B$. Let $X$ be an algebraic space over $B$ and let $a : G \times _ B X \to X$ be an action of $G$ on $X$ over $B$. Let $(U, R, s, t, c)$ be the groupoid in algebraic spaces constructed in Lemma 78.15.1. The rule $(\mathcal{F}, \alpha ) \mapsto (\mathcal{F}, \alpha )$ defines an equivalence of categories between $G$-equivariant $\mathcal{O}_ X$-modules and the category of quasi-coherent modules on $(U, R, s, t, c)$.
Proof. The assertion makes sense because $t = a$ and $s = \text{pr}_1$ as morphisms $R = G \times _ B X \to X$, see Definitions 78.10.1 and 78.12.1. Using the translation in Lemma 78.15.1 the commutativity requirements of the two definitions match up exactly. $\square$
Comments (0)