We discuss which Kleinian groups are commensurable with Kleinian groups generated by rotations, with particular emphasis on Kleinian groups that arise from Dehn surgery on a knot.
We consider non-elementary Kleinian groups Γ, without invariant plane, generated by an elliptic and a hyperbolic element with their axes lying in one plane. We find presentations and a complete list of orbifolds uniformized by such Γ.
We give an alternative proof to Agol's classification of parabolic generating pairs of non-free Kleinian groups generated by two parabolic transformations. As an application, we give a complete characterisation of epimorphims between $2$-bridge knot groups and a complete characterisation of degree one maps between the exteriors of hyperbolic $2$-bridge links.
Suppose G is a non-free finitely generated Kleinian group without parabolics which is not a lattice and let C(G) denote the commensurator in PSL(2,C). We prove that if the limit set of G is not a round circle, then C(G) is discrete. Furthermore, G has finite index in C(G) unless G is a fiber group in which case C(G) is a lattice.
We show that up to commensurability there are only finitely many cocompact arithmetic Kleinian groups generated by rotations. This implies, in particular, that there exist only finitely many conjugacy classes of cocompact two generated arithmetic Kleinian groups. The proof of the main result is based on a generalized Gromov--Guth inequality and bounds for the hyperbolic and tube volumes of the quotient orbifolds.
Let $ Γ< PSL_2(\mathbb{C}) $ be a Zariski dense finitely generated Kleinian group. We show all Radon measures on $ PSL_2(\mathbb{C}) / Γ$ which are ergodic and invariant under the action of the horospherical subgroup are either supported on a single closed horospherical orbit or quasi-invariant with respect to the geodesic frame flow and its centralizer. We do this by applying a result of Landesberg and Lindenstrauss together with fundamental results in the theory of 3-manifolds, most notably the Tameness Theorem by Agol and Calegari-Gabai.
We prove that every finitely generated Kleinian group that contains a finite, non-cyclic subgroup either is finite or virtually free or contains a surface subgroup. Hence, every arithmetic Kleinian group contains a surface subgroup.
In this paper, we obtain several results on the commensurability of two Kleinian groups and their limit sets. We prove that two finitely generated subgroups $G_1$ and $G_2$ of an infinite co-volume Kleinian group $G \subset \Isom(\mathbf{H}^3)$ having $Λ(G_1) = Λ(G_2)$ are commensurable. In particular, it is proved that any finitely generated subgroup $H$ of a Kleinian group $G \subset \Isom(\mathbf{H}^3)$ with $Λ(H) = Λ(G)$ is of finite index if and only if $H$ is not a virtually fiber subgroup.
Troels Jorgensen conjectured that the algebraic and geometric limits of an algebraically convergent sequence of isomorphic Kleinian groups agree if there are no new parabolics in the algebraic limit. We prove that this conjecture holds in 'most' cases. In particular, we show that it holds when the domain of discontinuity of the algebraic limit of such a sequence is non-empty. We further show, with the same assumptions, that the limit sets of the groups in the sequence converge to the limit set of the algebraic limit. As a corollary, we verify the conjecture for finitely generated Kleinian grou…
This is the second part of the works on Hausdorff dimensions of Schottky groups. It has been conjectured that the Hausdorff dimensions of nonclassical Schottky groups are strictly bounded from below. In this second part of our works we provide a resolution of this conjecture, we prove that there exists a universal positive number $λ>0$, such that any finitely-generated non-elementary Kleinian groups with limit set of Hausdorff dimension $<λ$ are classical Schottky groups. We will generalize our previous technologies given in \cite{HS} to prove our general result. Our result can be consider as …
Let $G$ be a finitely generated group acting faithfully and properly discontinuously by homeomorphisms on a planar surface $X \subseteq \mathbb{S}^2$. We prove that $G$ admits such an action that is in addition co-compact, provided we can replace $X$ by another surface $Y \subseteq \mathbb{S}^2$. We also prove that if a group $H$ has a finitely generated Cayley (multi-)graph $C$ covariantly embeddable in $\mathbb{S}^2$, then $C$ can be chosen so as to have no infinite path on the boundary of a face. The proofs of these facts are intertwined, and the classes of groups they define coincide. In t…
We consider a finitely generated torsion free Kleinian group $H$ and a random walk on $H$ with respect to a symmetric nondegenerate probability measure $μ$ with finite support. When $H$ is geometrically infinite without parabolics or when $H$ is Gromov hyperbolic with parabolics, we prove that the Patterson-Sullivan measure is singular with respect to the harmonic measure coming from $μ$.
In this paper we prove that there exists a positive number $λ>0$, such that any 2-generated Kleinian groups with limit set of Hausdorff dimension $<λ$ are classical Schottky groups.
Any action of a group $Γ$ on $\mathbb H^3$ by isometries yields a class in degree three bounded cohomology by pulling back the volume cocycle to $Γ$. We prove that the bounded cohomology of finitely generated Kleinian groups without parabolic elements distinguishes the asymptotic geometry of geometrically infinite ends of hyperbolic $3$-manifolds. That is, if two homotopy equivalent hyperbolic manifolds with infinite volume and without parabolic cusps have different geometrically infinite end invariants, then they define a $2$ dimensional subspace of bounded cohomology. Our techniques apply to…
We show that Cannon-Thurston maps exist for degenerate free groups without parabolics, i.e. for handlebody groups. Combining these techniques with earlier work proving the existence of Cannon-Thurston maps for surface groups, we show that Cannon-Thurston maps exist for arbitrary finitely generated Kleinian groups without parabolics, proving conjectures of Thurston and McMullen. We also show that point pre-images under Cannon-Thurston maps for degenerate free groups without parabolics correspond to end-points of leaves of an ending lamination in the Masur domain, whenever a point has more than …
The density conjecture of Bers, Sullivan and Thurston predicts that each complete hyperbolic 3-manifold M with finitely generated fundamental group is an algebraic limit of geometrically finite hyperbolic 3-manifolds. We prove that the conjecture obtains for each complete hyperbolic 3-manifold with no cusps and incompressible ends.
In earlier work we introduced geometrically natural probability measures on the group of all Möbius transformations in order to study "random" groups of Möbius transformations, random surfaces, and in particular random two-generator groups, that is groups where the generators are selected randomly, with a view to estimating the likely-hood that such groups are discrete and then to make calculations of the expectation of their associated parameters, geometry and topology. In this paper we continue that study and identify the precise probability that a Fuchsian group generated by two parabolic M…
Thurston's Ending Lamination Conjecture states that a hyperbolic 3-manifold N with finitely generated fundamental group is uniquely determined by its topological type and its end invariants. In this paper we prove this conjecture for Kleinian surface groups; the general case when N has incompressible ends relative to its cusps follows readily. The main ingredient is the establishment of a uniformly bilipschitz model for a Kleinian surface group. The first half of the proof appeared in math.GT/0302208, and a subsequent paper will establish the Ending Lamination Conjecture in general.
We prove that a Kleinian surface groups is determined, up to conjugacy in the isometry group of $\mathbb H^3$, by its simple marked length spectrum. As a first application, we show that a discrete faithful representation of the fundamental group of a compact, acylindrical, hyperbolizable 3-manifold $M$ is similarly determined by the translation lengths of images of elements of $π_1(M)$ represented by simple curves on the boundary of $M$. As a second application, we show the group of diffeomorphisms of quasifuchsian space which preserve the renormalized intersection number is generated by the (…
A positive integer $m$ will be called a {\it finitistic order} for an element $γ$ of a group $Γ$ if there exist a finite group $G$ and a homomorphism $h:Γ\to G$ such that $h(γ)$ has order $m$ in $G$. It is shown that up to conjugacy, all but finitely many elements of a given finitely generated, torsion-free Kleinian group admit a given integer $m>2$ as a finitistic order.
We prove the existence of Cannon-Thurston maps for simply and doubly degenerate surface Kleinian groups. As a consequence we prove that connected limit sets of finitely generated Kleinian groups are locally connected.
In this paper, we assume that $G$ is a finitely generated torsion free non-elementary Kleinian group with $Ω(G)$ nonempty. We show that the maximal number of elements of $G$ that can be pinched is precisely the maximal number of rank 1 parabolic subgroups that any group isomorphic to $G$ may contain. A group with this largest number of rank 1 maximal parabolic subgroups is called {\it maximally parabolic}. We show such groups exist. We state our main theorems concisely here. Theorem I. The limit set of a maximally parabolic group is a circle packing; that is, every component of its regular set…
We study the closed group of homeomorphisms of the boundary of real hyperbolic space generated by a cocompact Kleinian group $G_1$ and a quasiconformal conjugate $h^{-1}G_2 h$ of a cocompact group $G_2$. We show that if the conjugacy $h$ is not conformal then this group contains a non-trivial one parameter subgroup. This leads to rigidity results; for example, Mostow rigidity is an immediate consequence. We are also able to prove a relative version of Mostow rigidity, called pattern rigidity. For a cocompact group $G$, by a $G$-invariant pattern we mean a $G$-invariant collection of closed pro…
Let G be a two generator subgroup of PSL(2,C). The Jorgensen number J(G) of G is defined by J(G)=inf{ |tr^2 A-4|+|tr[A,B]-2| ; G=<A,B>}. If G is a non-elementary Kleinian group, then J(G) >= 1. This inequality is called Jorgensen's inequality. In this paper, we show that, for any r >= 1, there exists a non-elementary Kleinian group whose Jorgensen number is equal to r. This answers a question posed by Oichi and Sato. We also present our computer generated picture which estimates Jorgensen numbers from above in the diagonal slice of Schottky space.
A Kleinian group $Γ< \mathrm{Isom}(\mathbb H^3)$ is called convex cocompact if any orbit of $Γ$ in $\mathbb H^3$ is quasiconvex or, equivalently, $Γ$ acts cocompactly on the convex hull of its limit set in $\partial \mathbb H^3$. Subgroup stability is a strong quasiconvexity condition in finitely generated groups which is intrinsic to the geometry of the ambient group and generalizes the classical quasiconvexity condition above. Importantly, it coincides with quasiconvexity in hyperbolic groups and convex cocompactness in mapping class groups. Using the Morse boundary, we develop an equivalent…
Let $Γ$ be a non-elementary Kleinian group and $H<Γ$ a finitely generated, proper subgroup. We prove that if $Γ$ has finite co-volume, then the profinite completions of $H$ and $Γ$ are not isomorphic. If $H$ has finite index in $Γ$, then there is a finite group onto which $H$ maps but $Γ$ does not. These results streamline the existing proofs that there exist full-sized groups that are profinitely rigid in the absolute sense. They build on a circleof ideas that can be used to distinguish among the profinite completions of subgroups of finite index in other contexts, e.g. limit groups. We const…
In this paper, we classify completely hyperbolic 3-manifolds corresponding to geometric limits of Kleinian surface groups isomorphic to $π_1(S)$ for a finite-type hyperbolic surface $S$. In the first of the three main theorems, we construct bi-Lipschitz model manifolds for such hyperbolic 3-manifolds, which have a structure called brick decomposition and are embedded in $S \times (0,1)$. In the second theorem, we show that conversely, any such model manifold admitting a brick decomposition with reasonable conditions is bi-Lipschitz homeomorphic to a hyperbolic manifold corresponding to some ge…
Consider a geometrically finite Kleinian group $G$ without parabolic or elliptic elements, with its Kleinian manifold $M=(\H^3\cup Ω_G)/G$. Suppose that for each boundary component of $M$, either a maximal and connected measured lamination in the Masur domain or a marked conformal structure is given. In this setting, we shall prove that there is an algebraic limit $Γ$ of quasi-conformal deformations of $G$ such that there is a homeomorphism $h$ from $\mathrm{Int} M$ to $\H^3/Γ$ compatible with the natural isomorphism from $G$ to $Γ$, the given laminations are unrealisable in $\H^3/Γ$, and the …
A function group is a finitely generated Kleinian group with an invariant connected component of its region of discontinuity. An extended function group is a finitely generated extended Kleinian group that contains orientation reversing elements and keep invariant a connected components of its region of discontinuity. An structural decomposition of function groups, in terms of the Klein-Maskit combination theorems, was provided by Maskit in the middle of the 70's. One should expect a similar decomposition structure for extended function groups, but it seems not to be stated in the existing lit…
A Jørgensen group is a non-elementary Kleinian group that can be generated by two elements for which equality holds in Jørgensen's Inequality. This paper shows that the only torsion-free Jørgensen group is the figure-eight knot group, identifies all non-cocompact arithmetic Jørgensen groups, and establishes a characterization of cocompact arithmetic Jørgensen groups. The paper also defines and computes the Jørgensen number of several non-cocompact Kleinian groups including some two-bridge knot and link groups.
Let (ρ_λ)_{λ\in Λ} be a holomorphic family of representations of a finitely generated group G into PSL(2,C), parameterized by a complex manifold Λ. We define a notion of bifurcation current in this context, that is, a positive closed current on Λdescribing the bifurcations of this family of representations in a quantitative sense. It is the analogue of the bifurcation current introduced by DeMarco for holomorphic families of rational mappings on the Riemann sphere. Our definition relies on the theory of random products of matrices, so it depends on the choice of a probability measure μon G. We…
Elements $f$ of finite order in the isometry group of hyperbolic three-space $\IH^3$ have a hyperbolic line as a fixed point set, this line is the axis of $f$. The possible hyperbolic distances between axes of elements of order $p$ and $q$, not both two, among {\em all} discrete subgroups $Γ$ of $Isom^+(\IH^3)$ has an initial discrete spectrum \[ 0 =δ_0< δ_1 < δ_2 < \ldots <δ_\infty,\] each value taken with finite multiplicity, and above $δ_\infty$ this spectrum of possible distances is continuous. The value $δ_\infty$ is the smallest number with the property that for each $λ<1$ there are only…
In this note, we provide a description of the structure of homomorphisms from a finitely generated group to any torsion-free (3-dimensional) Kleinian group with uniformly bounded finite covolume. This is analogous to the Jorgensen-Thurston Theorem in hyperbolic geometry.
Thurston's ending lamination conjecture proposes that a finitely generated Kleinian group is uniquely determined (up to isometry) by the topology of its quotient and a list of invariants that describe the asymptotic geometry of its ends. We present a proof of this conjecture for punctured-torus groups. These are free two-generator Kleinian groups with parabolic commutator, which should be thought of as representations of the fundamental group of a punctured torus. As a consequence we verify the conjectural topological description of the deformation space of punctured-torus groups (including Be…
We show that hyperbolic 3-manifolds with finitely generated fundamental group are tame, that is the ends are products. We actually work in slightly greater generality with pinched negatively curved manifolds with hyperbolic cusps. This answers a conjecture of Marden and implies the Ahlfors measure conjecture. Applications are given to other questions about Kleinian groups and 3-manifolds.
We study groups generated by three half-turns in the Lobachevsky $3$-space and their quotient orbifolds. These generalized triangle groups are closely related to the arbitrary 2-generator Kleinian groups. Our main result is a classification of the singular sets of the generalized triangle orbifolds. We also present a method to obtain the parameters defining a generalized triangle group from the structure of the singular set of its quotient orbifold and illustrate it by examples.
We characterize finite groups G generated by orthogonal transformations in a finite-dimensional Euclidean space V whose fixed point subspace has codimension one or two in terms of the corresponding quotient space V/G with its quotient piecewise linear structure.