Cofreeness in Real Bordism Theory and the Segal Conjecture

Abstract

We prove that the genuine $C_{2^n}$-spectrum $N_{C_2}^{C_{2^n}}M{U}_{\mathbb{R}}$ is cofree, for all $n$. Our proof is a formal argument using chromatic hypercubes and the Slice Theorem of Hill, Hopkins, and Ravenel. We show that this gives a new proof of the Segal conjecture for $C_2$, independent of Lin's theorem.

arXiv commentFinal version, comments welcome