实配边理论中的余自由性与 Segal 猜想

我们证明了对所有 $n$,真 $C_{2^n}$-谱 $N_{C_{2}}^{C_{2^n}}MU_{\mathbb{R}}$ 都是余自由的。我们的证明是一个使用色超立方体以及 Hill、Hopkins 和 Ravenel 的 Slice 定理的形式化论证。我们表明这给出了 $C_2$ 上 Segal 猜想的一个新证明,且独立于 Lin 定理。