1: \begin{abstract}

2: Let $k$ be an algebraically closed field. Let $\Lambda$ be a noetherian

3: commutative ring annihilated by an integer invertible in $k$ and let

4: $\ell$ be a prime number different from the characteristic of~$k$. We

5: prove that if $X$ is a separated algebraic space of finite type over~$k$

6: endowed with an action of a $k$-algebraic group $G$, the equivariant

7: \'etale cohomology algebra $H^*([X/G],\Lambda)$, where $[X/G]$ is the

8: quotient stack of $X$ by $G$, is finitely generated over $\Lambda$.

9: Moreover, for coefficients $K \in D^+_c([X/G],\F_{\ell})$ endowed with a

10: commutative multiplicative structure, we establish a structure theorem for

11: $H^*([X/G],K)$, involving fixed points of elementary abelian

12: $\ell$-subgroups of $G$, which is similar to Quillen's theorem

13: \cite[Theorem 6.2]{Quillen1} in the case $K = \F_{\ell}$. One key

14: ingredient in our proof of the structure theorem is an analysis of

15: specialization of points of the quotient stack. We also discuss variants

16: and generalizations for certain Artin stacks.

17: \end{abstract}

18: