Loop-space status of the metastable 7-sphere

Determine whether the metastable sphere \(S^7\) is a loop space.

Background

The paper uses injectivity constraints for suspension maps and the classical Hopf invariant one theorem to rule out loop-space structures for metastable spheres other than dimensions 0, 1, 3, and 7. Direct computations then exclude the first three remaining cases.

The case S7S^7 lies beyond the range of the computations presented, so the paper leaves unresolved whether this final candidate is a loop space.

References

No metastable sphere is a loop space except, possibly, S7.

— Metastable homotopy theory via Tate coalgebras  (2609.31274 - Nervo, 25 Sep 2026) in Section 3, subsection “The 1-sphere,” Lemma “No metastable sphere is a loop space except, possibly, \(S^7\)”