The RO(C₂^n)-graded homotopy of HF₂
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})\).
- A structure theorem for \(RO(C_2)\)-graded Bredon cohomology
- Equivariant stable homotopy theory. With contributions by J. E. McClure
- Four approaches to cohomology theories with reality
- Freeness and equivariant stable homotopy
- Generalized Tate cohomology
- scientific article; zbMATH DE number 1390036 (Why is no real title available?)
- On \(\mathrm{RO}(G)\)-graded equivariant ``ordinary cohomology where \(G\) is a power of \(\mathbb{Z}/2\)
- On the nonexistence of elements of Kervaire invariant one
- Real-oriented homotopy theory and an analogue of the Adams-Novikov spectral sequence
- The freeness theorem for equivariant cohomology of rep \((C_2)\)-complexes
- The slice spectral sequence for the \(C_{4}\) analog of real \(K\)-theory
This page was built for publication: The \(RO(C_{2^n})\)-graded homotopy of \(H\underline{\mathbb{F}_2}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7020397)
