#### Volume 11, issue 5 (2011)

 Recent Issues
Author Index
 The Journal About the Journal Editorial Board Subscriptions Editorial Interests Editorial Procedure Submission Guidelines Submission Page Ethics Statement ISSN (electronic): 1472-2739 ISSN (print): 1472-2747 To Appear Other MSP Journals
Delta-discrete $G$–spectra and iterated homotopy fixed points

### Daniel G Davis

Algebraic & Geometric Topology 11 (2011) 2775–2814
##### Abstract

Let $G$ be a profinite group with finite virtual cohomological dimension and let $X$ be a discrete $G$–spectrum. If $H$ and $K$ are closed subgroups of $G$, with $H◃K$, then, in general, the $K∕H$–spectrum ${X}^{hH}$ is not known to be a continuous $K∕H$–spectrum, so that it is not known (in general) how to define the iterated homotopy fixed point spectrum ${\left({X}^{hH}\right)}^{hK∕H}$. To address this situation, we define homotopy fixed points for delta-discrete $G$–spectra and show that the setting of delta-discrete $G$–spectra gives a good framework within which to work. In particular, we show that by using delta-discrete $K∕H$–spectra, there is always an iterated homotopy fixed point spectrum, denoted ${\left({X}^{hH}\right)}^{{h}_{\delta }K∕H}$, and it is just ${X}^{hK}$.

Additionally, we show that for any delta-discrete $G$–spectrum $Y$, there is an equivalence $\left(\right{Y}^{{h}_{\delta }H}{\left)\right}^{{h}_{\delta }K∕H}\simeq {Y}^{{h}_{\delta }K}$. Furthermore, if $G$ is an arbitrary profinite group, there is a delta-discrete $G$–spectrum ${X}_{\delta }$ that is equivalent to $X$ and, though ${X}^{hH}$ is not even known in general to have a $K∕H$–action, there is always an equivalence ${\left({\left({X}_{\delta }\right)}^{{h}_{\delta }H}\right)}^{{h}_{\delta }K∕H}\simeq {\left({X}_{\delta }\right)}^{{h}_{\delta }K}.$ Therefore, delta-discrete $L$–spectra, by letting $L$ equal $H,K,$ and $K∕H$, give a way of resolving undesired deficiencies in our understanding of homotopy fixed points for discrete $G$–spectra.

##### Keywords
homotopy fixed point spectrum, discrete $G$–spectrum, iterated homotopy fixed point spectrum
##### Mathematical Subject Classification 2010
Primary: 55P42, 55P91