Finer geometric rigidity of limit sets of conformal IFS

We consider infinite conformal iterated function systems in the phase space with . Let be the limit set of such a system. Under a mild technical assumption, which is always satisfied if the system is finite, we prove that either the Hausdorff dimension of exceeds the topological dimension of the closure of or else the closure of is a proper compact subset of either a geometric sphere or an affine subspace of dimension . A similar dichotomy holds for conformal expanding repellers.