Given an Abelian group G, we can construct two kinds of “spaces”:
- BG: a homotopy type, an Elilenberg-Maclane space, the base of a universal G-bundle, e.t.c.
- Spec(Z[G]): the spectrum of the group algebra over integers Z.
Motivation: I am actually interested in the non Abelian G case. I have heard the G-modules can be thought of as sheaf of modules on BG. I am wondering how that works.