On discontinuous subgroups with parabolic transformations of the Möbius groups (Q1079988)

The author contains a new proof of one of the most fundamental facts in the theory of Kleinian groups (Theorem 1, Corollary 1): For a discrete group G of isometries of the hyperbolic space \(H^ n\) with parabolic element \(g\in G\) (conjugated in Isom \(H^ n\) with \(x\mapsto U(x)+e_ 1\), here \(U\in O(n-1)\) and \(U(e_ 1)=e_ 1)\) with a fixed point \(p\in bd H^ n\) such that \(U^ k=id\) for some \(k=k(g)\in Z\) there exists a horoball \(B_ p\subset H^ n\) with the centre p such that \(g^ m(B_ p)=B_ p\) for any \(m\in Z\) and \(h(B_ p)\cap B_ p=\emptyset\) for any \(h\in G\), h(p)\(\neq p\) (i.e. \(B_ p\) is a strictly invariant with respect to the stabilizer \(G_ p\subset G).\) For \(n=2,3\) this fact is classical. For \(n\geq 4\) this fact is also well- known: for \(k(g)<\infty\) see \textit{B. N. Apanasov} [Dokl. Akad. Nauk SSSR 222, 11-14 (1975; Zbl 0362.30019)] and later, \textit{N. Wielenberg} [Am. J. Math. 99, 861-877 (1977; Zbl 0373.57024)]; for \(k(g)=\infty\) (with special conditions for G) see \textit{B. N. Apanasov} [Ann. Global Anal. Geom. 1, No.3, 1-22 (1983; Zbl 0531.57012) (Lemma 4.1)]. The new author's aim here is a sharp size of the above strictly invariant horoball \(B_ p\) (Theorem 2). The second part of the paper (Theorem 3 and 4) is overlapped by the reviewer's papers (published before) [Sib. Mat. Zh. 25, No.4(146), 9-27 (1984; Zbl 0567.57008) (Example 3.1) and Ann. Global Anal. Geom. 3, No.1, 1-11 (1985; Zbl 0537.57007) (Theorem 3)]. Here was pointed out that there exist discrete groups \(G\subset Isom H^ n\), \(n\geq 4\), whose parabolic points \(p\in bd H^ n\) have no strictly \(G_ p\)-invariant horoballs \(B_ p\subset H^ n\).