1: \begin{abstract} Let $\sX$ be a category fibered in groupoids  over a finite field $\Fq$, and

2:     let $k$ be an algebraically closed field containing $\Fq$.

3:     Denote by $\phi_k\colon \stX_k\to \stX_k$ the arithmetic Frobenius

4:     of $\sX_k/k$ and suppose that $\sM$ is a stack over $\Fq$ (not necessarily in

5:     groupoids). Then there is a natural

6:     functor

7:     $\alpha_{\sM,\sX}\colon\sM(\sX)\arr\sM(\drin(\sX))$, where

8:     $\sM(\drin(\sX))$ is the category of $\phi_k$-invariant maps $\stX_k\to \sM$.

9:     A version of Drinfeld's lemma states that if $\sX$ is a

10:     projective scheme and $\sM$ is the stack of quasi-coherent

11:     sheaves of finite presentation, then $\alpha_{\sM,\sX}$ is

12:     an equivalence.

13:     

14:     We extend this result in several directions. For proper algebraic stacks or

15:     affine gerbes $\stX$, we prove Drinfeld's lemma  and deduce that

16:     $\alpha_{\stM,\stX}$ is an equivalence for very general algebraic stacks

17:     $\stM$. As application, we deduce ``descent'' results for affine abelian torsors or twisted sheaves over $\stX$.

18:     

19:     For arbitrary $\stX$, we show that $\alpha_{\sM,\sX}$ is an

20:     equivalence when $\sM$ is the stack of

21:     immersions, the stack of quasi-compact separated \'etale

22:     morphisms or any quasi-separated Deligne-Mumford stack with separated diagonal.

23: \end{abstract}

24: