Invariant subsets of the limit set for a Fuchsian group (Q2644803)

Let \(\Gamma\) be a Fuchsian group acting on the unit disc \(D\). For \(\gamma\in \Gamma\) let \(\mu(\gamma) = |\gamma'(0)|^{-1}\); this is a measure of the size of \(\gamma\). Let L be the limit set of \(\Gamma\), and let \(L(k)\) be the subset \(\{\zeta\in L|\) \(0<\liminf_{\gamma \in \Gamma}| \zeta \gamma (0)|^ 2\mu (\gamma)^ k<\infty \}\). Then \(L(k)=\emptyset\) for \(k>2\). The author defines \(L_ 1:=\cup_{k>1}L(k)\); \(L_ 2:=L_ 1\) and \(L_ 3:=\cup_{k<1}L(k)\). The author proves that \(L_ 1\), \(L_ 2\) and \(L_ 3\) are \(\Gamma\)-invariant Borel-measurable subsets of \(L\) and \(m_ 1(L_ 2)=0\) where \(m_ 1\) denotes the 1-dimensional Lebesgue measure. If \(\mu\) is a finite conformal density of dimension 1 then the author proves the following statements: i) if \(B\subset L_ 1\) satisfies \(\mu (B)>0\) then for infinitely many \(\gamma\in \Gamma\) one has \(\mu (\gamma B\cap B)>0,\) ii) if \(\mu (L_ 3)>0\) then there exists \(B\subset L_ 3\) with \(\mu (B\cap \gamma B)=0\) for all \(\gamma\in \Gamma -\{I\}\) and \(\mu (L_ 3- \cup_{\gamma \in \Gamma}\gamma B)=0.\) Actually the proofs hold for \(L^*_ 1=\{\zeta \in L|\liminf_{\gamma \in \Gamma}| \zeta -\gamma(0)|^ 2\mu(\gamma)=\infty \}\) and \(L^*_ 3=\{\zeta \in L|\liminf_{\gamma \in \Gamma}| \zeta -\gamma (0)|^ 2\mu (\gamma)=0\}\) respectively. The author also proves that the Hausdorff dimension of \[ \{\zeta \in L| \quad \liminf_{\gamma \in \Gamma}| \zeta -\gamma(0)|^ 2\mu(\gamma)^ k<\infty \} \] does not exceed \(2\delta(\Gamma)/k\) where \(\delta(\gamma)\) is the exponent of convergence of \(\Gamma\). The paper concludes with a brief discussion of the significance of the results for the classification theory of Riemann surfaces.