Related papers: Four-free groups and hyperbolic geometry
We construct examples of free-by-cyclic hyperbolic groups which fiber in infinitely many ways over Z. The construction involves adding a specialized square 2-cell to a non-positively curved, squared 2-complex defined by labeled oriented…
In this paper, we classify all the orientable hyperbolic 5-manifolds that arise as a hyperbolic space form $H^5/\Gamma$ where $\Gamma$ is a torsion-free subgroup of minimal index of the congruence two subgroup $\Gamma^5_2$ of the group…
A three-dimensional orthoscheme is defined as a tetrahedron whose base is a right-angled triangle and an edge joining the apex and a non-right-angled vertex is perpendicular to the base. A generalization, called complete orthoschemes, of…
We review recent progress on two closely related sets of questions concerning convex co-compact hyperbolic manifolds, or convex domains in those manifolds, such as their convex core. The first set of questions is to what extent the…
Given a closed manifold M, we prove the upper bound of (n+d)/2 for the length of a product of systoles that can form a curvature-free lower bound for the total volume of M, in the spirit of M. Gromov's systolic inequalities. Here n is the…
By use of H. C. Wang's bound on the radius of a ball embedded in the fundamental domain of a lattice of a semisimple Lie group, we construct an explicit lower bound for the volume of a quaternionic hyperbolic orbifold that depends only on…
In this paper we provide the first examples of arithmetic hyperbolic 3-manifolds that are rational homology spheres and bound geometrically either compact or cusped hyperbolic 4-manifolds.
A projective manifold $M$ is algebraically hyperbolic if there exists a positive constant $A$ such that the degree of any curve of genus $g$ on $M$ is bounded from above by $A(g-1)$. A classical result is that Kobayashi hyperbolicity…
We define for each g>=2 and k>=0 a set M_{g,k} of orientable hyperbolic 3-manifolds with $k$ toric cusps and a connected totally geodesic boundary of genus g. Manifolds in M_{g,k} have Matveev complexity g+k and Heegaard genus g+1, and…
We prove that if a closed hyperbolic 3-manifold M contains infinitely many totally geodesic surfaces, then M is arithmetic.
In this paper we describe a function $F_n:{\bf R}_+ \to {\bf R}_{+}$ such that for any hyperbolic n-manifold $M$ with totally geodesic boundary $\partial M \neq \emptyset$, the volume of $M$ is equal to the sum of the values of $F_n$ on the…
We establish new strong lower bounds on the (subnormal) subgroup growth of a large class of groups. This includes the fundamental groups of all finite-volume hyperbolic 3-manifolds and all (free non-abelian)-by-cyclic groups. The lower…
We describe a family of 4-dimensional hyperbolic orbifolds, constructed by deforming an infinite volume orbifold obtained from the ideal, hyperbolic 24-cell by removing two walls. This family provides an infinite number of infinitesimally…
We construct an explicit lower bound for the volume of a complex hyperbolic orbifold that depends only on dimension.
We give a closed formula for volumes of generic hyperbolic tetrahedra in terms of edge lengths. The cue of our formula is by the volume conjecture for the Turaev-Viro invariant of closed 3-manifolds, which is defined from the quantum…
By gluing some copies of a polytope of Kerckhoff and Storm's, we build the smallest known orientable hyperbolic 4-manifold that is not commensurable with the ideal 24-cell or the ideal rectified simplex. It is cusped and arithemtic, and has…
We show that for a representation of the fundamental group of a triangulated closed 3-manifold (not necessarily hyperbolic) into $\PSL$ so that any edge loop has non-trivial image under the representation, there exist uncountably many…
We show that there is an upper bound on the injectivity radius of a hyperbolic 3-manifold in terms of the the number of generators of its fundamental group.
We show that cusped finite-volume hyperbolic 3-manifolds contain infinitely many simple closed geodesics.
For n>6, we show that if G is a torsion-free hyperbolic group whose visual boundary is an (n-2)-dimensional Sierpinski space, then G=\pi_1(W) for some aspherical n-manifold W with nonempty boundary. Concerning the converse, we construct,…