Spherical space form conjecture
| Field | Geometric topology |
|---|---|
| Conjectured by | Heinz Hopf |
| Conjectured in | 1926 |
| First proof by | Grigori Perelman |
| First proof in | 2006 |
| Implied by | Geometrization conjecture |
| Equivalent to | Poincaré conjecture Thurston elliptization conjecture |
In geometric topology, the spherical space form conjecture (now a theorem) states that a finite group acting on the 3-sphere is conjugate to a group of isometries of the 3-sphere.