For a finite ��-group �� and a bounded below ��-spectrum �� of finite type mod ��, the ��-equivariant Segal conjecture for �� asserts that the canonical map ��^��→��^ℎ��, from ��-fixed points to ��-homotopy fixed points, is a ��-adic equivalence. Let ��_(��^��) be the cyclic group of order ��^��. We show that if the ��_��-equivariant Segal conjecture holds for a ��_(��^��)-spectrum ��, as well as for each of its geometric fixed point spectra Φ^(��_(��^��))(��) for 0<��<��, then the ��_(��^��)-equivariant Segal conjecture holds for ��. Similar results also hold for weaker forms of the Segal conjecture, asking only that the canonical map induces an equivalence in sufficiently high degrees, on homotopy groups with suitable finite coefficients.
Algebraic Geometry | Geometry and Topology
Bökstedt, M., Bruner, R. R., Lunøe-Nielsen, S., & Rognes, J. On cyclic fixed points of spectra. Mathematische Zeitschrift volume 276, pages 81–91 (2014). https://doi.org/10.1007/s00209-013-1187-0