Delta-discrete \(G\)-spectra and iterated homotopy fixed points (Q640334): Difference between revisions

Let \(G\) be a profinite group and let \(X\) be a spectrum of simplicial sets, with each level of \(X\) having a continuous action of \(G\) (a discrete \(G\)-spectrum). Then the homotopy fixed point spectrum, \(X^{hG}\), is a fundamentally important construction. However, for \(N\) a normal subgroup of \(G\) it is not always possible to construct \((X^{hN})^{hG/N}\). This paper presents the notion of delta-discrete spectra as a solution to this problem. The paper begins with a detailed exposition of the current knowledge of homotopy fixed points and the difficulties in performing iterated homotopy fixed points. The author then introduces delta-discrete spectra and delta-discrete homotopy fixed points, which behave particularly well with respect to iterated homotopy fixed points. Care is taken to show that delta-discrete fixed points are the right derived functor of fixed points and hence have the desired universal property on homotopy categories. Since there is a canonical weak equivalence from any spectrum to a delta discrete spectrum, the results of this paper will be widely applicable. The paper also provides a thorough examination of how this method relates to other constructions of iterated homotopy fixed points and the various subtleties that occur.