Picard-space identification

Establish or refute the equivalence \(\mathrm{Pic}(P_2\mathcal{S}_*) \simeq \Omega^\infty \mathbb{RP}^\infty_{-1}\).

Background

The paper proves that the Picard group of the metastable category is trivial and computes π1Pic(P2S∗)≅Z/2\pi_1\mathrm{Pic}(P_2\mathcal{S}_*)\cong\mathbb{Z}/2. It also identifies the loop spaces of exotic 0-spheres using the spectrum RP−1∞\mathbb{RP}^\infty_{-1}.

These results suggest that the entire Picard space may admit a natural description in terms of the infinite loop space of RP−1∞\mathbb{RP}^\infty_{-1}, but the proposed equivalence is not established.

References

Does this computation extend to an equivalence $$\mathrm{Pic}(P_2\mathcal{S}*) \simeq \Omega\infty \mathbb{RP}\infty{-1}$$

— Metastable homotopy theory via Tate coalgebras  (2609.31274 - Nervo, 25 Sep 2026) in Section 3, subsection “The 0-sphere,” Question following the computation of \(\pi_0S^0\)