On the isometry group of \(RCD^*(K,N)\)-spaces (Q1728395)

A classical theorem of Myers and Steenrod asserts that the isometry group of a Riemannian manifold is a Lie group. This has been generalized to Alexandrov spaces by Fukaya and Yamaguchi, and to non-collapsed Gromov-Hausdorff limits of Riemannian manifolds with lower curvature bound by Cheeger and Colding. The paper under review further generalizes this result to \(\mathrm{RCD}^*(K,N)\)-spaces. These spaces form a class of metric measure spaces which includes all Riemannian manifolds of Ricci curvature at least \(K\) and dimension at most \(N\), and which is closed under measured Gromov-Hausdorff limits. The result about the isometry group being a Lie group is independently and by different methods also obtained in [\textit{G. Sosa}, Potential Anal. 49, No. 2, 267--286 (2018; Zbl 1406.53049)]. The proof proceeds via Gleason's criterion: if the locally compact topological group were not a Lie group, then there would be a sequence of compact subgroups \(\Gamma_n\) contained in always smaller neighborhoods of \(1\). The authors prove that the fixed point set of any \(\Gamma_n\) has measure zero and use this to derive a contradiction. Moreover the authors prove that the dimension of the isometry group is bounded above by \(\frac{1}{2}\left[N\right]\left(\left[N\right]+1\right)\) and that equality is only obtained for Riemannian manifolds, namely for Euclidean space, sphere, real-projective space and real-hyperbolic space.