On the isometry group of -spaces
arXiv:1608.06467
Abstract
We prove that the group of isometries of a metric measure space that satisfies the Riemannian curvature condition, is in fact a Lie group. We obtain an optimal upper bound on its dimension and classify the spaces where this maximal dimension is achieved.
Several proofs have been simplified