Iterated homotopy fixed points for the Lubin-Tate spectrum (Q1032928)

Given an infinite profinite group \(G\), the notion of a discrete \(G\)-spectrum is comparatively straightforward to define using discrete actions on simplicial sets, and earlier work of the author leads to a model category of such spectra. Then the homotopy limit of a tower of fibrant discrete \(G\)-spectra is defined to be a continuous \(G\)-spectrum. Working with the model category \(\mathcal{T}\) of all such towers, the total derived functor of \(\displaystyle\lim_i(-)^G: \mathcal{T}\longrightarrow\text{spectra}\) gives the homotopy fixed point spectrum of a continuous \(G\)-spectrum \(X\), \(X^{hG}\). It is then possible to show that when \(H,K\) are closed subgroups of \(G\) and \(H\) is normal in \(K\), \((X^{hH})^{hK}\simeq X^{hK}\). Following work of Devinatz and Hopkins who used ad hoc constructions of homotopy fixed point spectra, this machinery is applied to the extended Morava stabilizer groups, recovering and strengthening the earlier results.