Interpreting the Bökstedt smash product as the norm (Q2827388)

Let \(X\) be a symmetric spectrum of spaces and let \(\mathcal U\) denote a complete \(C_k\)-universe where \(C_k\) is the cyclic group with \(k\) elements. By the Bökstedt smash product is meant the \(C_k\)-equivariant orthogonal spectrum \(X^{\overset {B}\wedge k}\) indexed on \(\mathcal U\) which is defined to be the orthogonal spectrum with \(W^{\text{th}}\) space NEWLINE\[NEWLINE(X^{\overset {B}\wedge k})_W=\underset{(\mathbf n_1,\dots,\mathbf n_k)\in\mathcal I^k}{\mathrm{hocolim }}\Omega^{n_1+\dots +n_k}(X_{n_1}\wedge\dots\wedge X_{n_k}\wedge S^W).NEWLINE\]NEWLINE Here \(\mathcal I\) denotes the category consisting of all \(\mathbf n=\{1,2,\dots,n\}\) with injections between them as morphisms and besides \(W\) varies through the finite dimensional sub-\(C_k\)-inner product spaces of \(\mathcal U\). In this paper the authors give a reinterpretation of this spectrum in terms of the norm by \textit{M. A. Hill} et al. [Ann. Math. (2) 184, No. 1, 1--262 (2016; Zbl 1366.55007)]. Given a non-equivariant orthogonal spectrum \(X\), the \(k^{\text{th}}\) smash power \(X^{\wedge k}\) has a natural action of \(C_k\) by permuting the factors and so can be regarded as an orthogonal \(C_k\)-spectrum indexed on \(\mathbb R^\infty\). Applying the point-set change-of-universe functor \(\mathcal I^{\mathcal U}_{\mathbb R^\infty}\) to this smash power \(X^{\wedge k}\), we obtain an orthogonal \(C_k\)-spectrum indexed on \(\mathcal U\), for which we write \(N^{C_k}_eX\); namely, \(N^{C_k}_eX=\mathcal I^{\mathcal U}_{\mathbb R^\infty}X^{\wedge k}\). Then the main theorem of this paper (Theorem 1.2) asserts, for a cofibrant orthogonal spectrum \(X\), that if we let \(\tilde{X}\) denote its underlying symmetric spectrum, then there is a stable equivalence NEWLINE\[NEWLINE\tilde{X}^{\overset {B}\wedge k}\cong N^{C_k}_eXNEWLINE\]NEWLINE of orthogonal \(C_k\)-spectra.