Yes, diffeomorphic spherical space forms are isometric. This is a famous result of Georges de Rham and can be found in [de Rham, G. Complexes à automorphismes et homéomorphie différentiable. Ann. Inst. Fourier Grenoble 2 (1950), 51–67 (1951)]. The main tool is Reidemeister's torsion. For lens spaces the result was proved by W. Franz in 1935.
Igor Belegradek
- 29.1k
- 2
- 80
- 176