## 76.12 Quasi-coherent sheaves on groupoids

Please compare with Groupoids, Section 39.14.

Definition 76.12.1. Let $B \to S$ as in Section 76.3. Let $(U, R, s, t, c)$ be a groupoid in algebraic spaces over $B$. A quasi-coherent module on $(U, R, s, t, c)$ is a pair $(\mathcal{F}, \alpha )$, where $\mathcal{F}$ is a quasi-coherent $\mathcal{O}_ U$-module, and $\alpha$ is a $\mathcal{O}_ R$-module map

$\alpha : t^*\mathcal{F} \longrightarrow s^*\mathcal{F}$

such that

1. the diagram

$\xymatrix{ & \text{pr}_1^*t^*\mathcal{F} \ar[r]_-{\text{pr}_1^*\alpha } & \text{pr}_1^*s^*\mathcal{F} \ar@{=}[rd] & \\ \text{pr}_0^*s^*\mathcal{F} \ar@{=}[ru] & & & c^*s^*\mathcal{F} \\ & \text{pr}_0^*t^*\mathcal{F} \ar[lu]^{\text{pr}_0^*\alpha } \ar@{=}[r] & c^*t^*\mathcal{F} \ar[ru]_{c^*\alpha } }$

is a commutative in the category of $\mathcal{O}_{R \times _{s, U, t} R}$-modules, and

2. the pullback

$e^*\alpha : \mathcal{F} \longrightarrow \mathcal{F}$

is the identity map.

Compare with the commutative diagrams of Lemma 76.11.4.

The commutativity of the first diagram forces the operator $e^*\alpha$ to be idempotent. Hence the second condition can be reformulated as saying that $e^*\alpha$ is an isomorphism. In fact, the condition implies that $\alpha$ is an isomorphism.

Lemma 76.12.2. Let $S$ be a scheme, let $(U, R, s, t, c)$ be a groupoid scheme over $S$. If $(\mathcal{F}, \alpha )$ is a quasi-coherent module on $(U, R, s, t, c)$ then $\alpha$ is an isomorphism.

Proof. Pull back the commutative diagram of Definition 76.12.1 by the morphism $(i, 1) : R \to R \times _{s, U, t} R$. Then we see that $i^*\alpha \circ \alpha = s^*e^*\alpha$. Pulling back by the morphism $(1, i)$ we obtain the relation $\alpha \circ i^*\alpha = t^*e^*\alpha$. By the second assumption these morphisms are the identity. Hence $i^*\alpha$ is an inverse of $\alpha$. $\square$

Lemma 76.12.3. Let $B \to S$ as in Section 76.3. Consider a morphism $f : (U, R, s, t, c) \to (U', R', s', t', c')$ of groupoid in algebraic spaces over $B$. Then pullback $f^*$ given by

$(\mathcal{F}, \alpha ) \mapsto (f^*\mathcal{F}, f^*\alpha )$

defines a functor from the category of quasi-coherent sheaves on $(U', R', s', t', c')$ to the category of quasi-coherent sheaves on $(U, R, s, t, c)$.

Proof. Omitted. $\square$

Lemma 76.12.4. Let $B \to S$ be as in Section 76.3. Let $(U, R, s, t, c)$ be a groupoid in algebraic spaces over $B$. The category of quasi-coherent modules on $(U, R, s, t, c)$ has colimits.

Proof. Let $i \mapsto (\mathcal{F}_ i, \alpha _ i)$ be a diagram over the index category $\mathcal{I}$. We can form the colimit $\mathcal{F} = \mathop{\mathrm{colim}}\nolimits \mathcal{F}_ i$ which is a quasi-coherent sheaf on $U$, see Properties of Spaces, Lemma 64.29.7. Since colimits commute with pullback we see that $s^*\mathcal{F} = \mathop{\mathrm{colim}}\nolimits s^*\mathcal{F}_ i$ and similarly $t^*\mathcal{F} = \mathop{\mathrm{colim}}\nolimits t^*\mathcal{F}_ i$. Hence we can set $\alpha = \mathop{\mathrm{colim}}\nolimits \alpha _ i$. We omit the proof that $(\mathcal{F}, \alpha )$ is the colimit of the diagram in the category of quasi-coherent modules on $(U, R, s, t, c)$. $\square$

Lemma 76.12.5. Let $B \to S$ as in Section 76.3. Let $(U, R, s, t, c)$ be a groupoid in algebraic spaces over $B$. If $s$, $t$ are flat, then the category of quasi-coherent modules on $(U, R, s, t, c)$ is abelian.

Proof. Let $\varphi : (\mathcal{F}, \alpha ) \to (\mathcal{G}, \beta )$ be a homomorphism of quasi-coherent modules on $(U, R, s, t, c)$. Since $s$ is flat we see that

$0 \to s^*\mathop{\mathrm{Ker}}(\varphi ) \to s^*\mathcal{F} \to s^*\mathcal{G} \to s^*\mathop{\mathrm{Coker}}(\varphi ) \to 0$

is exact and similarly for pullback by $t$. Hence $\alpha$ and $\beta$ induce isomorphisms $\kappa : t^*\mathop{\mathrm{Ker}}(\varphi ) \to s^*\mathop{\mathrm{Ker}}(\varphi )$ and $\lambda : t^*\mathop{\mathrm{Coker}}(\varphi ) \to s^*\mathop{\mathrm{Coker}}(\varphi )$ which satisfy the cocycle condition. Then it is straightforward to verify that $(\mathop{\mathrm{Ker}}(\varphi ), \kappa )$ and $(\mathop{\mathrm{Coker}}(\varphi ), \lambda )$ are a kernel and cokernel in the category of quasi-coherent modules on $(U, R, s, t, c)$. Moreover, the condition $\mathop{\mathrm{Coim}}(\varphi ) = \mathop{\mathrm{Im}}(\varphi )$ follows because it holds over $U$. $\square$

Comment #5385 by Will Chen on

This is pretty pedantic, but it might be good to spell out what a morphism of quasicoherent sheaves on groupoids is. (I assume it's just a morphism of sheaves on $U$ such that the obvious square involving the $\alpha$'s commute?)

Similarly with the analogous section for groupoid schemes.

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