For an arbitrary finite group G, we consider a suitable notion of Gromov Hausdorff distance between compact G-metric spaces and derive lower bounds based on equivariant topology methods. As applications, we prove equivariant rigidity and finiteness theorems, and obtain sharp bounds on the Gromov Hausdorff distance between spheres.
Lim et al. (Wed,) studied this question.