079b5d5adea43a5c.tex
1: \begin{abstract}
2: In this paper, we first prove an optimal inequality of Alexandrov angles for elliptic isometries
3: of finite order on any CAT($\kappa$) space, and the equality case leads to an isometrically embedded circle in the completion of the space of directions, which implies that there is a 2-flat in the tangent cone rotated by the induced action of the isometry. Then we prove that if the symmetry group of a Platonic solid, regular orthoplex or hypercube acts on a set of vertices in any CAT($\kappa$) space in a way corresponds to the set of vertices of the solid, then any pair of points corresponding to an edge will make an angle at the circumcenter bounded below by that of the edge.
4: \end{abstract}