Let $S^n/\Gamma_i\,(i=1,2)$ be a $n$-dimensional spherical space form, where $\Gamma_i \subset SO(n+1)$ is a finite subgroup acting freely on $S^n$.
Suppose $S^n/\Gamma_1$ is diffeomorphic to $S^n/\Gamma_2$, can we show they are isometric?
MathOverflow is a question and answer site for professional mathematicians. It only takes a minute to sign up.
Sign up to join this communityLet $S^n/\Gamma_i\,(i=1,2)$ be a $n$-dimensional spherical space form, where $\Gamma_i \subset SO(n+1)$ is a finite subgroup acting freely on $S^n$.
Suppose $S^n/\Gamma_1$ is diffeomorphic to $S^n/\Gamma_2$, can we show they are isometric?
Yes, diffeomorphic spherical space forms are isometric. This famous result of Georges de Rham 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.