\(RO(S^{1})\)-graded TR-groups of \(\mathbb F_p\), \(\mathbb Z\) and \(\ell \) (Q531347)

For a prime \(p\) and a ring or ring spectrum \(A\), there is a genuine \(S^1\)-spectrum \(T(A)\) which allows one to define the graded \(\mathrm{TR}\)-groups \(\mathrm{TR}^n_\alpha(A)\) indexed by \(\alpha \in RO(S^1)\) by the formula \(\mathrm{TR}^n_\alpha(A)=\pi_\alpha(T(A)^{C_{p^{n-1}}})\) where \(T(A)^{C_{p^{n-1}}}\) denotes the fixed point spectrum under the action of the cycle subgroup \(C_{p^{n-1}} \subset S^1\) of order \(p^{n-1}\). This definition can be extended to consider the \(\mathrm{TR}\)-groups with coefficients in a finite complex \(V\) by putting \(\mathrm{TR}^n_\alpha(A; V)=\pi_\alpha(T(A)^{C_{p^{n-1}}}\wedge V)\). In this paper the authors calculate \(\mathrm{TR}^n_\alpha(\mathbb{F}_p)\), \(\mathrm{TR}^n_\alpha(\mathbb{Z}; V(0))\) and \(\mathrm{TR}^n_\alpha(\ell; V(1))\) where \(V(0)\) denotes the \(\mod p\) Moore spectrum and \(V(1)\) the Smith-Toda complex, and \(\ell\) denotes the Adams summand of connective complex \(K\)-theory. These \(RO(S^1)\)-graded groups are known to have arisen in algebraic \(K\)-theory computations. In fact the authors remark that the results of those computations have been successfully used to compute the algebraic \(K\)-theory of certain \(\mathbb{Z}\)-algebras in [J. Topol. 2, No.~2, 277--294 (2009; Zbl 1232.19002)], which is a joint work with \textit{L. Hesselholt}, and in the authors' [``On the algebraic \(K\)-theory of the coordinate axes over the integers'', \url{arXiv:0909.4287v2}]. This paper focuses on the \(\mathrm{TR}\)-groups indexed by representations of the form \(\alpha=q-\lambda\) where \(\lambda\) is an actual \(S^1\)-representation and \(q\) a trivial representation, which are asserted to be most essential to those \(K\)-theory computations. As an illustrative example of the results obtained here, one mentions the case of \(A=\mathbb{F}_p\). The result is that \(\mathrm{TR}^n_{q-\lambda}(\mathbb{F}_p)\) is isomorphic to \(\mathbb{Z}/p^n\) if \(q=2m\) and \(d_0(\lambda) \leq m\), to \(\mathbb{Z}/p^{n-s}\) if \(q=2m\) and \(d_s(\lambda) \leq m \leq d_{s-1}(\lambda)\), and to \(0\) if \(q\) odd. Here \(d_k(\lambda)\) is the complex dimension of \(\lambda^{(k)}\) which denotes the prime operation (definition omitted) applied \(k\) times to \(\lambda\). In an earlier paper [Algebr. Geom. Topol. 8, No.~4, 1961--1987 (2008; Zbl 1159.19300)], the second author determined these \(\mathrm{TR}\)-groups \(\mathrm{TR}^n_\alpha(\mathbb{F}_p)\) in the case when \(\alpha\) is a virtual complex representation using the approach based on comparing the fixed point spectra \(T(\mathbb{F}_p)^{C_{p^k}}\) with the homotopy fixed point spectra \(T(\mathbb{F}_p)^{hC_{p^k}}\), which are defined by putting \(T(\mathbb{F}_p)^{hC_{p^k}}=F(E_+, T(\mathrm{F}_p))^{C_{p^k}}\) for some free contractible \(S^1\)-\(\mathrm{CW}\) complex \(E\). In this paper the authors pursue a similar approach. In order to do this, the authors introduce a new spectral sequence converging to \(\mathrm{TR}^n_{*-\lambda}(A; V)\) with \(E^1_{s, *}(-\lambda)=V_{*+\lambda^{(n-1-s)}}(T(A)_{hC_{p^s}})\) where \(T(A)_{hC_{p^k}}\) denote the fixed point spectra \((E_+\wedge T(A))^{C_{p^k}}\), and attempt to obtain an algorithm for computing this spectral sequence. In particular, in the case of \(A=\mathbb{F}_p\) and \(V=S^0\), the algorithm proposed here shows that the differentials in the corresponding spectral sequence behave very nicely and consequently leads one to the desired result above.