The \(RO(C_{2^n})\)-graded homotopy of \(H\underline{\mathbb{F}_2}\) (Q7020397)

This paper computes \(\pi^G_\star(H\underline{{\mathbb{F}}_2})\) for the cyclic groups \(G=C_{2^n}\) using a Tate square, the homotopy fixed point spectral sequence, and the quotient \(C_{2^n}\to C_{2^{n-1}}\) to lift \(RO(C_{2^{n-1}})\to RO(C_{2^n})\) inductively.\N\NThere are two-dimensional representations \(\lambda(k)\) generated by rotations of \(\frac{2\pi k}{2^n}\) for each \(1\le k\le 2^{n-1}-1\) in \(RO(G)\), but the fact that \(S^{\lambda(r2^j)}\wedge H\underline{\mathbb{F}_2}\simeq S^{\lambda(2^j)}\wedge H\underline{\mathbb{F}_2}\) for odd \(r\) makes many of these redundant, leaving ``only'' \(n+1\) axes to worry about, counting the trivial and sign representations.\N\NThe computation of \(n=2\) using \(n=1\) is treated separately, before the induction step for \(n\ge 3\) is given, and then the base case of computing \(n=3\) from \(n=2\).\N\NFinally, \(H\mathbb{F}_2\) is shown to be Anderson self-dual, with \(I_{\mathbb Z}(H\mathbb{F}_2)\simeq \Sigma^{1-\lambda(1)}H\mathbb{F}_2\), and isomorphism \(D:\text{Ext}^1(\pi_{\star-1}^GH\underline{{\mathbb{F}}_2})\to \pi_{\lambda(1)-1-\star}^GH\underline{{\mathbb{F}}_2}\) giving a dualizing element \(\Lambda = D(1)\), with \(D(x)=\Lambda x^{-1}\) for \(x\in \pi^G_\star(H\underline{{\mathbb{F}}_2})\).