The Poincaré series and the conformal measure of conical and Myrberg limit points (Q1326664)

Let \(G\) be a discrete group of Möbius transformations of the open unit ball \(B^{n+1}\) of \(R^{n+1}\) and its boundary the \(n\)-sphere \(S^ n\). The paper is concerned with the following notions. A conformal measure \(\mu\) of dimension \(\delta\) on the limit set \(L(G)\) of \(G\) is a finite Borel measure \(\mu\) satisfying the transformation rule \(\mu(gX)= \int_ X | g'|^ \delta d\mu\) for Borel \(X\subset L(G)\) and \(g\in G\). The idea and theory of conformal measure is largely the work of Patterson and Sullivan. The Poincaré series of exponent \(\delta\) for \(G\) is the series \(P_ \delta(z)=\sum_{g\in G} e^{-\delta d(z,g(z))}\), where \(z\in B^{n+1}\) and \(d\) is the hyperbolic metric of \(B^{n+1}\) given by the element of length \(2| dx|/(1-| x|^ 2)\). The conical limit point set \(\Lambda(G)\) of \(G\) is the set of \(x\in L(G)\) such that there is a sequence of distinct \(g_ i\in G\) and \(z\in B^{n+1}\) such that \(g_ i(z)\to x\), and \(g_ i(z)\) are at bounded hyperbolic distance from a hyperbolic line with endpoint \(x\). The first main result of the paper is to show that if \(\mu(\Lambda(G))= 0\), for a non-trivial conformal measure of dimension \(\delta\), then \(P_ \delta\) converges. The earlier proofs of this fact are due to Thurston and Sullivan if \(\mu\) is the \(n\)-dimensional Hausdorff measure on \(S^ n\) and \(\delta=n\) and \textit{P. J. Nicholls} [The ergodic theory of discrete groups (1989; Zbl 0674.58001)] for general conformal measures. In the other direction, it is well-known that if \(P_ \delta\) converges, then \(\mu(\Lambda(G))= 0\). The set of Myrberg points \(M(G)\) of \(G\) is the set of points \(x\in S^ n\) such that if \(P\) is a hyperbolic ray with endpoint \(x\), then the rays \(gP\), \(g\in G\), are dense in the family of hyperbolic lines with endpoints in \(L(G)\). We have \(M(G)\subset\Lambda(G)\) and the second main theorem of the paper says that \(\mu(M(G)\backslash \Lambda(G))= 0\) for any conformal measure. Myrberg points were first defined by \textit{P. J. Myrberg} [Acta Math. 57, 389-409 (1931; Zbl 0001.00201)] who showed that the linear measure of Myrberg points of a Fuchsian group of the first kind vanishes. I use the opportunity to correct some mistakes (found by E. Freden). P. 257 l. 1: the second ``\(x'\)'' should be ``\(x\)''. Last line of Lemma 4D: ``\(B^{n+1}(x,ct)\)'' should be ``\(B^{n+1}(x,ct_ i)\)''. Second line in the proof of Lemma 4B: ``\(x\)'' is not the same as in the statement of Lemma 4B. P. 257, third line from the bottom: delete the word ``and''. P. 257, bottom line: ``\(g_ i(V)\)'' should be ``\(g_ i(V\cap R^ n)\)''. P. 258 l. 1: ``\(y\)'' is different from the ``\(y\)'' in the biginning of the proof.