Conformal autosimilarity (Q684200)

The authors study the dynamics of the group \(G:= PO_e(d+1,1)\) of conformal transformations on the space \(\mathcal{K}_2\) of non-empty compact subsets of the sphere \(X:=\mathbb{S}^d\), \(d\in \mathbb{N}\), that contain at least two elements. In particular, they prove the following statements. {\parindent=6mm \begin{itemize}\item[-] Let \(K\in \mathcal{K}_2\). The orbit \(GK\) is closed in \(\mathcal{K}_2\) iff \(K\) is the limit set of a convex cocompact Kleinian group. \item[-] Let \(K\in \mathcal{K}_2\). The orbit closure \(\overline{GK}\) contains only \(GK\) and \(X\) iff there exists a discrete subgroup \(\Gamma\) of \(G\) that preserves \(K\) and acts cocompactly on \(X\setminus K\). \item[-] Let \(K\in \mathcal{K}_2\). The orbit closure \(\overline{GK}\) contains only \(GK\) and a pair of points iff \(K\) is the union of the limit set of a convex cocompact Kleinian group \(\Gamma\) and of finitely many \(\Gamma\)-orbits. \item[-] The union of the closed \(G\)-orbits in \(\mathcal{K}_2\) is dense. \item[-] The group \(G\) has a dense orbit in \(\mathcal{K}_2\). \item[-] There exist \(G\)-minimal subsets in \(\mathcal{K}_2\) which are not \(G\)-orbits. \end{itemize}}