We develop the theory of equivariant sheaves over profinite spaces, where the group is also taken to be profinite. We construct a good notion of equivariant presheaves, with a suitable sheafification functor. Using these results on equivariant presheaves, we give explicit constructions of products of equivariant sheaves of R-modules. We introduce an equivariant analogue of skyscraper sheaves, which allows us to show that the category of equivariant sheaves of R-modules over a profinite space has enough injectives. This paper also provides the basic theory for results by the authors on giving an algebraic model for rational G-spectra in terms of equivariant sheaves over profinite spaces. For those results, we need a notion of Weyl-G-sheaves over the space of closed subgroups of G. We show that Weyl-G-sheaves of R-modules form an abelian category, with enough injectives, that is a full subcategory of equivariant sheaves of R-modules. Moreover, we show that the inclusion functor has a right adjoint.
Download