The localized slice spectral sequence, norms of real bordism, and the Segal conjecture (Q2111213)

The slice spectral sequence is a majorly important tool in equivariant homotopy theory, which was created to solve the Kervaire invariant one problem, [\textit{M. A. Hill} et al., Ann. Math. (2) 184, No. 1, 1--262 (2016; Zbl 1366.55007)]. This paper constructs a generalisation, called the localized slice spectral sequence and applies it to calculate \(BP^{((C_4))}\), the \(C_4\)-norm of \(BP\). Let \(X\) be a \(C_{2^n}\)-spectrum and \(P^\bullet X\) the slice tower of \(X\). For \(V\) an actual \(C_{2^n}\)-representation, write \(a_V\) for the Euler class of \(V\) in \(\pi_{-V}^G S^0\). The localized slice spectral sequence has \(E_2\)-page \[ E_s^{s,t} = \underline{\pi}_{t-s} a_V^{-1} P_t^t X \] and strongly converges to \(\underline{\pi}_{t-s} a_V^{-1} X\). The advantage is that it is often possible to choose \(V\) so that inverting \(a_V\) is equivalent to smashing with the universal space \(\tilde{E} \mathcal{F}[H]\). Geometric fixed points and fixed points are related using this space, \[ \Phi^H X \simeq (\tilde{E} \mathcal{F}[H] \wedge X)^H. \] Thus, in good cases, there is an equivalence relating fixed points and geometric fixed points \[ (\Phi^H X)^{G/H} \simeq (a_V^{-1} X)^G. \] Since geometric fixed points are easier to calculate, this relation makes the localized slice spectral sequence easier to calculate. Moreover, the differentials in the localized slice spectral spectral sequence can recover those from the slice spectral sequence (under certain assumptions). The authors' calculation of \(BP^{((C_4))}\) gives a connection to the Segal conjecture at \(C_2\). As a consequence, they are able to relate families of slice differentials of \(BP^{((C_4))}\) to families of differentials in the Tate spectral sequence for \(N_1^2 H \mathbb{F}_2\). The paper also considers certain subtleties that arise relating to monoidal structures. The problem is caused by the fact that localizing at \(a_V\) does not preserve ring spectra. The authors resolve this by considering \(N_\infty\)-operads.