Equivariant Anderson duality and Mackey functor duality
Complex conjugation on \(BU(n)\) determines a \(\mathbb{Z}/2\)-equivariant spectrum structure on \(MU\). The spectrum thus obtained is called the Real cobordism spectrum and denoted by \(M\mathbb{R}\). It has a coefficient \(r_i\) in degree \(i(1+\alpha)\) for every \(i\geq1\) where \(\alpha\) is the one-dimensional sign representation. Let \(k\mathbb{R}(n)\) denote the \(\mathbb{Z}/2\)-spectrum obtained by killing the ideal generated by all the \(r_i\) except for \(i= 2^n-1\); then we have an \(M\mathbb{R}\)-map \(M\mathbb{R} \to k\mathbb{R}(n)\). When setting \(K\mathbb{R}(n)=k\mathbb{R}(n)[v_n^{-1}]\) where \(v_n=r_{2^n-1}\), it defines a \(\mathbb{Z}/2\)-spectrum, called the \(\mathbb{Z}/2\)-equivariant \(n\)th integral Morava \(K\)-theory with reality, and so we have a natural map \(M\mathbb{R}[v_n^{-1}]\to K\mathbb{R}(n)\). Let \(\nabla\) be the equivariant Anderson duality functor. Then, in this paper the author proves that the map \(M\mathbb{R}[v_n^{-1}] \to \Sigma^{-2+2\alpha}\nabla K\mathbb{R}(n)\) induced by a generator \(1 \in \pi_0(\Sigma^{-2+2\alpha} K\mathbb{R}(n))\) factors through \(K\mathbb{R}(n)\) and yields a weak equivalence NEWLINE\[NEWLINE\phi : K\mathbb{R}(n) \rightarrow{\cong} \Sigma^{-2+2\alpha}\nabla K\mathbb{R}(n).NEWLINE\]NEWLINE Moreover, if we put \(KO(n)=K{\mathbb{R}(n)}^{\mathbb{Z}/2}\), then as a corollary we know that \(KO(n)\) also has self-duality. The proof is done using the slice spectral sequences for \(K\mathbb{R}(n)\) and \(\Sigma^{-2+2\alpha}\nabla K\mathbb{R}(n)\) due to \textit{M. A. Hill, M. J. Hopkins} and \textit{D. C. Ravenel} [The slice spectral sequence for the \(C_4\) analog of real \(K\)-theory, {\url arXiv:1502.07611}]. The author proves that \(\phi\) induces an isomorphism between the \(E_2\)-pages of both these spectral sequences and so between all \(i\)th pages of them for \(i\geq 2\). Thus we know that the above equivalence holds.
- An equivariant tensor product on Mackey functors
- scientific article; zbMATH DE number 86347
- Equivariant Poincaré-Alexander-Lefschetz duality and the Cohen-Macaulay property
- Homotopy Mackey functors of equivariant algebraic \(K\)-theory
- On equivariant class formulas for Anderson modules
- Mackey Functors and G-Cohomology
- Mackey structures on equivariant algebraic K-theory
- Equivariant homotopical homology with coefficients in a Mackey functor
- Constructing equivariant spectra via categorical Mackey functors
- André-Quillen homology via functor homology
- K-THEORY AND REALITY
- Equivariant stable homotopy theory. With contributions by J. E. McClure
- Pontrjagin Duality for Generalized Homology and Cohomology Theories
- Real-oriented homotopy theory and an analogue of the Adams-Novikov spectral sequence
- Universal coefficient theorems for generalized homology and stable cohomotopy
- The \(C_2\)-spectrum \(\mathrm{Tmf}_1(3)\) and its invertible modules
- Gorenstein duality for real spectra
- Four approaches to cohomology theories with reality
- On equivariant class formulas for Anderson modules
- \(\mathrm{RO}(G)\)-graded Bredon cohomology of Euclidean configuration spaces
- Bosonization and anomaly indicators of (2+1)-D fermionic topological orders
This page was built for publication: Equivariant Anderson duality and Mackey functor duality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2816786)
