Spherical space form conjecture

About 101 years old · traced to

In geometric topology, the spherical space form conjecture states that a finite group acting on the 3-sphere is conjugate to a group of isometries of the 3-sphere.

References

Primary source

Wikipedia

Progress summary

Refreshed
Claimed solved

A conjecture about finite symmetries of the three-sphere was settled by Perelman's proof of geometrization, so no open case remains.

Heinz Hopf posed the question in 1926: every finite group action on the three-sphere should be conjugate to an isometric action. Perelman's verification of geometrization settled it, with the result also encompassing the elliptization and Poincaré conjectures.

Known results

  • Smith's work (1944) handled actions with fixed points.
  • Livesay and Myers treated cyclic groups of order a power of 22.
  • Rubinstein treated cyclic groups of order 33.
  • Maher and Rubinstein proved that every free action of Z3\mathbb{Z}_3 on S3S^3 is standard.

Perelman’s geometrization proof, 2005–2006

Perelman's work, building on Hamilton's Ricci flow, established geometrization and thereby showed that closed 33-manifolds with finite fundamental group are spherical space forms. Thus the stated 33-sphere action conjecture is a theorem; no credible recent counterclaim or unresolved objection was found.

Current status (as of August 2026): The conjecture is resolved as a consequence of Perelman’s geometrization theorem; no case of the stated three-dimensional assertion remains open.

Sources

Solutions 0

No solutions have been posted yet.