Local coefficients for genuine equivariant cohomology I

We develop a theory of equivariant local systems which categorifies genuine equivariant cohomology theories -- such as Atiyah--Segal $K$-theory, Lurie's tempered cohomology, and the equivariant elliptic cohomology of Grojnowski, Greenlees, and Gepner--Meier -- analogously to how the category of ordinary local systems categorifies singular cohomology. More precisely, we introduce, for a global space $X$ and a coefficient system $\mathcal{A}:Or{b}^{op}\to P{r}^L$, the categories $L{S}^{glo}(X,\mathcal{A})$ and $L{S}^{gen}(X,\mathcal{A})$ of globally equivariant and genuine local systems, the latter generalizing the genuine stable category $S{p}^G$ of a compact Lie group $G$ to non-constant coefficients. When the coefficients come from an oriented abelian group stack $A$ over a locally complex periodic base, we also construct the category $L{S}^{t}emp(X,A)$ of tempered local systems, extending Lurie's theory beyond finite groups; the defining condition is justified by a tempered form of the Atiyah--Segal completion theorem. We show that global sections induce an equivalence $L{S}^{temp}(BU(1),A)\simeq QCoh(A)$ and we prove that $L{S}^{t}emp(X,A)$ is a smashing localization of $L{S}^{g}en(X,A)$ if $X$ is an orbispace.