Delta-discrete G-spectra and iterated homotopy fixed points

From MaRDI portal
Publication:640334

DOI10.2140/AGT.2011.11.2775zbMATH Open1230.55006arXiv1006.2762OpenAlexW2012690563MaRDI QIDQ640334FDOQ640334

Daniel G. Davis

Publication date: 18 October 2011

Published in: Algebraic \& Geometric Topology (Search for Journal in Brave)

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.


Full work available at URL: https://arxiv.org/abs/1006.2762




Recommendations




Cites Work


Cited In (3)





This page was built for publication: Delta-discrete \(G\)-spectra and iterated homotopy fixed points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q640334)