The limit map of a homomorphism of discrete Möbius groups (Q1918251)

Let \(G\) and \(H\) be discrete groups of Möbius transformations of the closed \((n+1)\)-ball \(\overline B^{n+1}\) and let \(\varphi:G\to H\) be a homomorphism. A map \(f: L(G)\to L(H)\) of the limit sets is said to be inducing \(\varphi\) if \(f\) satisfies the compatibility condition \[ fg(x)=\varphi(g)f(x)\quad\text{for } x\in L(G)\quad\text{and } g\in G.\tag{1} \] The proofs of Nielsen's and Mostow's theorems that any isomorphism \(\varphi\) of two discrete Möbius groups corresponding to compact hyperbolic manifolds can be realized by a homeomorphism (if \(n=1\)) or by a hyperbolic isometry of \(B^{n+1}\) (if \(n>1\)) were based on the fact that in their situations there is a homeomorphism of the limit sets inducing \(\varphi\). The limit set was in these cases the whole \(n\)-sphere \(S^n\). We say that a map \(f\) is a limit map of the homomorphism \(\varphi: G\to H\) if \(f\) maps a non-empty \(G\)-invariant subset\(A\) of \(L(G)\) into \(L(H)\) and if \(f\) satisfies the compatibility condition (1). Note that any non-empty \(G\)-invariant subset of \(L(G)\) is dense in \(L(G)\) if \(G\) is non-elementary, i.e. if \(L(G)\) contains more than two points. Denote by \(M(G)\) the set of Myrberg points of \(L(G)\). By definition \(M(G)\) is the set of points \(x\in L(G)\subset S^n\) with the property that, given distinct \(u,v\in L(G)\), there is a sequence \(g_i\in G\), such that \(g_i(x)\to u\) and \(g_i(y)\to v\) for \(y\neq x\) as \(i\to\infty\). If \(G\) is non-elementary than \(M(G)\) is a dense subset of \(L(G)\). The results of the paper fall in two types: topological and measure-theoretical. The typical result of the first type is the following dichotomy: Consider a map \(f\) of the \(G\)-invariant set \(A\) into \(\overline B^{n+1}\) inducing a homomorphism \(\varphi:G\to H\) of non-elementary groups. Then either \(f\) is already defined or can be continuously extended to the Myrberg points so that we obtain a homeomorphism of \(M(G)\) onto \(M(H)\) uniquely determined by \(\varphi\), or \(\overline{f(U\cap A)}\supset L(H)\) for any open set \(U\) intersecting \(L(G)\). The results of the second type can be summarized in the following theorem: If \(\varphi\) is any isomorphism of a geometrically finite group \(G\) onto an arbitrary discrete Möbius group \(H\), then there is a limit map \(f\) of \(\varphi\) such that \(f\) is defined a.e. on \(L(G)\) with respect to the canonical \(G\)-measure \(\mu\). More generally, even if \(G\) is not geometrically finite, whenever the Myrberg points have full measure with respect to a conformal measure \(\mu\), one can show that either there exists a.e. a measurable limit map or alternatively, for a.e. \(x\) and any Stolz angle \(C\) at \(x\), the set of accumulation points of \(\{\varphi(g)(y_0): g\in G\) and \(g(x_0)\in C\}\) must be the whole limit set of \(H\) whenever \(Gx_0\cap C\) is infinite.