Kleinian groups acting on \(S^3\) which are extensions (Q1281897)

Let \(M(n)\) be the group of conformal transformations of \(\overline {\mathbb R}^n =S^n={\mathbb R}^n\cup \{\infty \}\). A group \(G\subset M(n)\) is called discontinuous Kleinian group if there exists a point \(x\in S^n\) and a neighbourhood \(U(x)\subset S^n\) such that \(\{g\in G : gU(x)\cap U(x)\neq \emptyset \}\) is at most finite. The set of all such points form a domain of discontinuity \(\Omega (G)\subset S^n\). We say that a finitely generated Kleinian group \(G\subset M(n)\) is a function group if there exists a connected component \(\Omega _G\) of \(\Omega (G)\) that is invariant under the action of \(G\). In this paper, the author proved the following: Let \(G\subset M(3)\) be a geometrically finite function group such that any parabolic element of it is of rank two. Suppose that there exists an isomorphism \(i : G\to \pi _1(X)\) where \(X=N\widetilde{\times} S^1\) is a surface bundle over \(S^1\). Then the following assertions are equivalent: (i) \(\pi _1(\Omega _G)\cong \{1\}\). (ii) There is a nontrivial finitely generated normal subgroup \(F_0\trianglelefteq G\) of infinite index such that \(\pi_1(M_{F_0}=\Omega _G/F_0)\) is finitely generated. (iii) For every nontrivial finitely generated normal subgroup \(F_0\trianglelefteq G\) of infinite index, the group \(\pi_1(M_{F_0}=\Omega _G/F_0)\) is finitely generated. On the other hand, a number of examples exists of finitely generated Kleinian groups \(\Gamma \subset \text{Iso}_+ {\mathbb H}^4\) for which the fundamental group \(\pi _1(\Omega _{\Gamma}/\Gamma)\) is not finitely generated if one of our conditions is not satisfied.