“…Since D(A, H, P) [D(A, H, P; C)] is the orbit space of a smooth finite-dimensional representation of a compact Lie group, it is a priori locally compact Hausdorff, and is thus homeomorphic to a semialgebraic subset of R d for some d [24]. The dimension of D(A, H, P) [D(A, H, P; C)] can then be defined as the dimension of this semialgebraic set.…”