Kleinian groups acting on S^3 which are extensions

DOI10.1007/BF01234533MaRDI QIDQ1281897zbMATH OpenOpenAlexFDO

Authors Leonid Potyagailo

Publication date 27 April 1999

Published in Transformation Groups (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01234533

zbMATH Keywords

fundamental grouphyperbolic 3-manifoldKleinian group

Mathematics Subject Classification ID

Geometric group theory (20F65) Kleinian groups (aspects of compact Riemann surfaces and uniformization) (30F40) Topological methods in group theory (57M07) General geometric structures on low-dimensional manifolds (57M50) Group actions on manifolds and cell complexes in low dimensions (57M60)

Review text

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.

Recommendations

• On the absence of Ahlfors' finiteness theorem for Kleinian groups in dimension three
• Finitely Generated Kleinian Groups in 3-Space and 3-Manifolds of Infinite Homotopy Type
• Geometric decomposition of spatial Kleinian groups and fundamental groups of 3-manifolds

Cites work

• 3-Manifolds Fibering Over S 1
• A 4-Dimensional Kleinian Group
• Finitely Generated Kleinian Groups in 3-Space and 3-Manifolds of Infinite Homotopy Type
• FINITENESS OF $ E(\mathbf{Q})$ AND $ \textrm{Ø}(E,\mathbf{Q})$ FOR A SUBCLASS OF WEIL CURVES
• Geometrical finiteness for hyperbolic groups
• Non-zero degree maps and surface bundles over \(S^ 1\)
• On isomorphisms of geometrically finite Möbius groups
• On the absence of Ahlfors' finiteness theorem for Kleinian groups in dimension three
• Some Applications of Waldhausen's Results on Irreducible Surfaces

Cited in

(8)

• On the absence of Ahlfors' finiteness theorem for Kleinian groups in dimension three
• A 4-Dimensional Kleinian Group
• Finitely Generated Kleinian Groups in 3-Space and 3-Manifolds of Infinite Homotopy Type
• Semiconjugacies between Kleinian group actions on the Riemann sphere
• Schottky type groups and Kleinian groups acting on S3 with the limit set a wild Cantor set
• scientific article; zbMATH DE number 1390300 (Why is no real title available?)
• The structure of extended function groups
• Kleinian groups with discrete length spectrum

This page was built for publication: Kleinian groups acting on \(S^3\) which are extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1281897)