A homotopy orbit spectrum for profinite groups

Daniel G. Davis, Vojislav Petrovic

For a profinite group $G$, we define an $S[[G]]$-module to be a certain type of $G$-spectrum $X$ built from an inverse system $\{X_i{\}}_i$ of $G$-spectra, with each $X_i$ naturally…