Lifting the computed loop-space equivalence to the metastable category
Establish or refute the equivalence \(\Omega S^1 \simeq \mathbb{Z} \times \Omega^{\infty+2}\mathbb{Sp}^2\) in the metastable category \(P_2\mathcal{S}_*\).
References
At present we do not know how to lift this equivalence to the metastable category, that is, we do not know whether $$\Omega S1 \simeq \mathbb{Z} \times \Omega{\infty+2}\mathbb{Sp}2$$
— Metastable homotopy theory via Tate coalgebras
(2609.31274 - Nervo, 25 Sep 2026) in Section 3, subsection “The 1-sphere,” Remark following the 2-local equivalence for \(\Omega^2S^1\)