This is a survey of higher-dimensional Kleinian groups, i.e., discrete isometry groups of the hyperbolic n-space for n greater than 3. Our main emphasis is on the topological and geometric aspects of higher-dimensional Kleinian groups and their contrast with the discrete groups of isometry of the hyperbolic 3-space.
In this paper we provide the complete classification of convex cocompact Kleinian group of Hausdorff dimensions less than $1.$ In particular, we prove that every convex cocompact Kleinian group of Hausdorff dimension $<1$ is a classical Schottky group. This upper bound is sharp. The result implies that the converse of Burside's conjecture \cite{Burside} is true: All non-classical Schottky groups must have Hausdorff dimension $\ge1$. The prove of the theorem relies on the result of Hou \cite{Hou}.
We prove that the relative homological dimension of a Kleinian group G does not exceed 1 + the critical exponent of G. As an application of this result we show that for a geometrically finite Kleinian group G, if the topological dimension of the limit set of G equals its Hausdorff dimension, then the limit set is a round sphere.
In this paper we construct infinitely many wild knots, $\mathbb{S}^{n}\hookrightarrow\mathbb{S}^{n+2}$, for $n=2,3,4$ and 5, each of which is a limit set of a geometrically finite Kleinian group. We also describe some of their properties
In this paper we provide the complete classification of Kleinian groups of Hausdorff dimensions less than $1.$ In particular, we prove that every purely loxodromic Kleinian groups of Hausdorff dimension $<1$ is a classical Schottky group. This upper bound is sharp. As an application, the result of \cite{H} then implies that, every closed Riemann surface is uniformizable by a classical Schottky group. The prove relie on the result of Hou \cite{Hou}, and space of rectifiable $\G$-invariant closed curves.
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 …
We prove that Kleinian groups whose limit sets are Cantor sets of Hausdorff dimension $<1$ are free. On the other hand we construct for any $ε>0$ examples of non-free purely hyperbolic Kleinian groups whose limit set is a Cantor set of Hausdorff dimension $<1+ε$.
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.
In this paper, we construct Kleinian groups $Γ<\mathrm{Isom}(\mathbb{H}^{2n})$ from the direct product of $n$ copies of the rank 2 free group $F_2$ via strict hyperbolization. We give a description of the limit set and its topological dimension. Such construction can be generalized to other right-angled Artin groups.
The purpose of this paper is to construct an example of a 2-knot wildly embedded in $\mathbb{S}^{4}$ as the limit set of a Kleinian group. We find that this type of wild 2-knots has very interesting topological properties.
We show that $Γ< \textbf{SU}(3,1)$ is a non-elementary complex hyperbolic Kleinian group in which $tr(γ) \in \R$ for all $γ\in Γ$ if and only if $Γ$ is conjugate to a subgroup of $\textbf{SO}(3,1)$ or $\textbf{SU}(1,1)\times\textbf{SU}(2)$.
Let $G$ be a non-elementary discrete subgroup of $\mathrm{Sp}(2,1)$. We show that if the sum of diagonal entries of each element of $G$ is a complex number, then $G$ is conjugate to a subgroup of $\mathrm{U}(2,1)$.
We develop the notion of a Kleinian Sphere Packing, a generalization of "crystallographic" (Apollonian-like) sphere packings defined by Kontorovich-Nakamura [KN19]. Unlike crystallographic packings, Kleinian packings exist in all dimensions, as do "superintegral" such. We extend the Arithmeticity Theorem to Kleinian packings, that is, the superintegral ones come from Q-arithmetic lattices of simplest type. The same holds for more general objects we call Kleinian Bugs, in which the spheres need not be disjoint but can meet with dihedral angles pi/m for finitely many m. We settle two questions f…
In the paper `Automorphic functions for a Whitehead-complement group', [Osaka J Math 43 (2006) 63-77] Matsumoto, Nishi and Yoshida constructed automorphic functions on real 3-dimensional hyperbolic space for a Kleinian group called the Whitehead-link-complement group. For a Kleinian group (of the first kind), no automorphic function/form has been studied before. In this note, their motivation is presented with a historical background.
Let M be a non-elementary convex cocompact hyperbolic 3 manifold and delta the critical exponent of its fundamental group. We prove that a one-dimensional unipotent flow for the frame bundle of M is ergodic for the Burger-Roblin measure provided that delta>1.
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…
In this article we survey and describe various aspects of the geometry and arithmetic of Kleinian groups - discrete nonelementary groups of isometries of hyperbolic $3$-space. In particular we make a detailed study of two-generator groups and discuss the classification of the arithmetic generalised triangle groups (and their near relatives). This work is mainly based around my collaborations over the last two decades with Fred Gehring and Colin Maclachlan, both of whom passed away in 2012. There are many others involved as well. Over the last few decades the theory of Kleinian groups has flour…
Let $Γ$ be a 3-dimensional Kleinian punctured torus group with ccidental parabolic transformations. The deformation space of $Γ$ in the group of Möbius transformations on the 2-sphere is well-known as the Maskit slice of punctured torus groups. In this paper, we study deformations $Γ'$ of $Γ$ in the group of Möbius transformations on the 3-sphere such that $Γ'$ does not contain screw parabolic transformations. We will show that the space of the deformations is realized as a domain of 3-space $\mathbb{R}^3$, which contains the Maskit slice of punctured torus groups as a slice through a plane. F…
Classical Kleinian groups are discrete subgroups of isometries of H n. The well-known theory of Kleinian groups starts with the definition of their associated limit set in the boundary of H n , and includes the geometric properties of the quotient hyperbolic space. This approach, naively applied, fails in the Lorentzian analogue anti-de Sitter space: discrete subgroups do not act properly discontinuously, and in many cases the set of accumulation points of orbits at the conformal boundary at infinity depends on the orbit. In this survey, we point out a way to extend this classical theory by in…
Fixing a closed hyperbolic surface S, we define a moduli space AI(S) of unmarked hyperbolic 3-manifolds homotopy equivalent to S. This 3-dimensional analogue of the moduli space M(S) of unmarked hyperbolic surfaces homeomorphic to S has bizarre local topology, possessing many points that are not closed. There is, however, a natural embedding of M(S) into AI(S) and a compactification of AI(S) such that this embedding extends to an embedding of the Deligne-Mumford compactification of M(S) into the compactification of AI(S).
Following the previous work of Nikulin and Agol, Belolipetsky, Storm, and Whyte it is known that there exist only finitely many (totally real) number fields that can serve as fields of definition of arithmetic hyperbolic reflection groups. We prove a new bound on the degree $n_k$ of these fields in dimension 3: $n_k$ does not exceed 9. Combined with previous results of Maclachlan and Nikulin, this leads to a new bound $n_k \le 25$ which is valid for all dimensions. We also obtain upper bounds for the discriminants of these fields and give some heuristic results which may be useful for the clas…
Geometrically infinite Kleinain groups have nonconical limit sets with the cardinality of the continuum. In this paper, we construct a geometrically infinite Fuchsian group such that the Hausdorff dimension of the nonconical limit set equals zero. For finitely generated, geometrically infinite Kleinian groups, we prove that the Hausdorff dimension of the nonconical limit set is positive.
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 $Λ$ be the limit set of a conformal dynamical system, i.e. a Kleinian group acting on either finite- or infinite-dimensional real Hilbert space, a conformal iterated function system, or a rational function. We give an easily expressible sufficient condition, requiring that the limit set is not too much bigger than the radial limit set, for the following dichotomy: $Λ$ is either a real-analytic manifold or a fractal in the sense of Mandelbrot (i.e. its Hausdorff dimension is strictly greater than its topological dimension). Our primary focus is on the infinite-dimensional case. An important…
In this paper we consider the Kleinian groups acting conformally on the sphere $\mathbb{S}^{n+2}$ $(1\leq{n}\leq5)$ which have as limit sets wild spheres $K^n$ which were constructed in \cite{BHV} and prove that $K^n$ is ambient homogeneous. In other words, given two points $p,\,\,q\in{K}$ there exists a homeomorphism $ψ:\mathbb{S}^{n+2}\rightarrow\mathbb{S}^{n+2} $ such that $ψ(K)=K$ and $ψ(p)=q$.
We prove an inequality that must be satisfied by displacement of generators of free Fuchsian groups, which is the two-dimensional version of the $\log (2k-1)$ Theorem for Kleinian groups due to Anderson-Canary-Culler-Shalen. As applications, we obtain quantitative results on the geometry of hyperbolic surfaces such as the two-dimensional Margulis constant and lengths of closed curves, which improves a result of Buser's.
Thurston and Calegari-Dunfield showed that the fundamental group of some tautly foliated hyperbolic 3-manifold acts on the circle in a distinctive way that the action preserves some structure of S^1, so-called a circle lamination. Indeed, a large class of Kleinian groups acts on the circle preserving a circle lamination. In this paper, we are concerned with the converse problem that a group acting on the circle with at least two invariant circle laminations is Kleinian. We prove that a subgroup of the orientation preserving circle homeomorphism group is a Fuchsian group whose quotient orbifold…
Let M be a compact 3-manifold whose interior admits a complete hyperbolic structure. We let Lambda(M) be the supremum of the bottom eigenvalue of the Laplacian of N, where N varies over all hyperbolic 3-manifolds homeomorphic to the interior of M. Similarly, we let D(M) be the infimum of the Hausdorff dimensions of limit sets of Kleinian groups whose quotients are homeomorphic to the interior of M. We observe that Lambda(M)=D(M)(2-D(M)) if M is not handlebody or a thickened torus. We characterize exactly when Lambda(M)=1 and D(M)=1 in terms of the characteristic submanifold of the incompressib…
Closed hyperbolic manifolds are proven to minimize volume over all Alexandrov spaces with curvature bounded below by -1 in the same bilipschitz class. As a corollary compact convex cores with totally geodesic boundary are proven to minimize volume over all hyperbolic manifolds in the same bilipschitz class. Also, closed hyperbolic manifolds minimize volume over all hyperbolic cone manifolds in the same bilipschitz class with cone angles not greater than 2pi. The proof uses techniques developed by Besson-Courtois-Gallot. In 3 dimensions, this result provides a partial solution to a conjecture i…
Let $Γ$ be a relatively hyperbolic group and let $μ$ be an admissible symmetric finitely supported probability measure on $Γ$. We extend Floyd-Ancona type inequalities up to the spectral radius of $μ$. We then show that when the parabolic subgroups are virtually abelian, the Martin boundary of the induced random walk on $Γ$ is stable in the sense of Picardello and Woess. We also define a notion of spectral degenerescence along parabolic subgroups and give a criterion for strong stability of the Martin boundary in terms of spectral degenerescence. We prove that this criterion is always satisfie…
Margulis wrote in the preface of his book Discrete subgroups of semisimple Lie groups that "A number of important topics have been omitted. The most significant of these is the theory of Kleinian groups and Thurston's theory of 3-dimensional manifolds: these two theories can be united under the common title of Theory of discrete subgroups of $\operatorname{SL}_2(\mathbb C)$." In this article, we will discuss a few recent advances regarding this missing topic from his book, which were influenced by his earlier works.
We show that the bounded Borel class of any dense representation $ρ: G\to \PSL_n\bC$ is non-zero in degree three bounded cohomology and has maximal semi-norm, for any discrete group $G$. When $n=2$, the Borel class is equal to the $3$-dimensional hyperbolic volume class. Using tools from the theory of Kleinian groups, we show that the volume class of a dense representation $ρ: G\to \PSL_2\bC$ is uniformly separated in semi-norm from any other representation $ρ': G\to \G$ for which there is a subgroup $H\le G$ on which $ρ$ is still dense but $ρ'$ is discrete or indiscrete but stabilizes a point…
Let Gamma be a non-elementary Kleinian group acting on the closed n-dimensional unit ball and assume that its Poincare series converges at the exponent alpha. Let M_Gamma be the Gamma-quotient of the open unit ball. We consider certain families E = {E_1,...,E_p} of open subsets of M_Gamma such that M_Gamma minus the union of all E_i is compact. The sets E_i are called ends of M_Gamma and E is called a complete collection of ends for M_Gamma. We show that we can associate to each end in E a conformal measure of dimension alpha such that the two measures corresponding to different ends are mutua…
This article was born as a generalisation of the analysis made by Series, where she made the first attempt to plot a deformation space of Kleinian group of more than 1 complex dimension. We use the Top Terms' Relationship proved by the author and Series to determine the asymptotic directions of pleating rays in the Maskit embedding of a hyperbolic surface S as the bending measure of the `top' surface in the boundary of the convex core tends to zero. The Maskit embedding M of a surface S is the space of geometrically finite groups on the boundary of quasifuchsian space for which the `top' end i…