Delta-discrete $G$-spectra and iterated homotopy fixed points

TL;DR

This paper introduces delta-discrete G-spectra to define and analyze iterated homotopy fixed points for profinite groups, resolving issues in the existing framework and ensuring consistent fixed point constructions.

Contribution

It develops a new framework of delta-discrete G-spectra that guarantees the existence and proper behavior of iterated homotopy fixed points for profinite groups.

Findings

Defines homotopy fixed points for delta-discrete G-spectra.

Shows that iterated fixed points always exist in this framework.

Establishes equivalences between fixed points of different spectra.

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 normal in 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 (X^{hH})^{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 (X^{hH})^{h_\delta K/H}, and it is just X^{hK}. Additionally, we show that for any delta-discrete G-spectrum Y, (Y^{h_\delta H})^{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 ((X_\delta)^{h_\delta H})^{h_\delta K/H} \simeq (X_\delta)^{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.