We compute and analyse the moduli space of those real projective structures on a hyperbolic 3-orbifold that are modelled on a single ideal tetrahedron in projective space. Parameterisations are given in terms of classical invariants, traces, and geometric invariants, cross ratios.
By using Klein's model for hyperbolic geometry, hyperbolic structures on orbifolds or manifolds provide examples of real projective structures. By Andreev's theorem, many 3-dimensional reflection orbifolds admit a finite volume hyperbolic structure, and such a hyperbolic structure is unique. However, the induced real projective structure on some such 3-orbifolds deforms into a family of real projective structures that are not induced from hyperbolic structures. In this paper, we find new classes of compact and complete hyperbolic reflection 3-orbifolds with such deformations. We also explain n…
We construct pairs of non-isometric hyperbolic 3-orbifolds with the same topological type and volume. Topologically these orbifolds are mapping tori of pseudo-Anosov maps of the surface of genus 2, with singular locus a fibred (hyperbolic) link with five components.
A strictly convex real projective orbifold is equipped with a natural Finsler metric called the Hilbert metric. In the case that the projective structure is hyperbolic, the Hilbert metric and the hyperbolic metric coincide. We prove that the marked Hilbert length spectrum determines the projective structure only up to projective duality. A corollary is the existence of non-isometric diffeomorphic strictly convex projective manifolds (and orbifolds) that are isospectral. The corollary follows from work of Goldman and Choi, and Benoist.
We extend the Neumann's methods and give the explicit formulae for the volume and the Chern-Simons invariant for hyperbolic alternating knot orbifolds.
We show that any immersion, which is not a covering of an embedded 2-orbifold, of a totally geodesic hyperbolic turnover in a complete orientable hyperbolic 3-orbifold is contained in a hyperbolic 3-suborbifold with totally geodesic boundary, called the "turnover core,'' whose volume is bounded from above by a function depending only on the area of the given turnover. Furthermore, we show that, for a given type of turnover, there are only finitely many possibilities for the turnover core. As a corollary, if the volume of a complete orientable hyperbolic 3-orbifold is at least 2πand if the fund…
For two-dimensional orientable hyperbolic orbifolds, we show that the radius of a maximal embedded disk is greater or equal to an explicit constant ρ_T, with equality if and only if the orbifold is a sphere with three cone points of order 2, 3 and 7.
Kerckhoff and Storm conjectured that compact hyperbolic n-orbifolds with totally geodesic boundary are infinitesimally rigid when n>3. This paper verifies this conjecture for a specific example based on the 4-dimensional hyperbolic 120-cell.
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 dimension.
We calculate the Chern-Simons invariants of the hyperbolic double twist knot orbifolds using the Schläfli formula for the generalized Chern-Simons function on the family of cone-manifold structures of double twist knots.
For a hyperbolic $3$-orbifold with underlying space the $3$-sphere, we obtain a lower bound on its volume in the case that it contains an essential $2$-suborbifold with underlying space the $2$-sphere with four cone points. Our techniques involve computing the guts of the orbifold split along the $2$-suborbifold via a careful analysis of its topology. We also characterize the orbifolds of this type that have empty guts.
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 Γ.
In this paper we derive an explicit lower bound on the volume of a hyperbolic $n$-orbifold for dimensions greater than or equal to four. Our main tool is H. C. Wang's bound on the radius of a ball embedded in the fundamental domain of a discrete subgroup of a semisimple Lie group.
For X = R, C, or H it is well known that cusp cross-sections of finite volume X-hyperbolic (n+1)-orbifolds are flat n-orbifolds or almost flat orbifolds modelled on the (2n+1)-dimensional Heisenberg group N_{2n+1} or the (4n+3)-dimensional quaternionic Heisenberg group N_{4n+3}(H). We give a necessary and sufficient condition for such manifolds to be diffeomorphic to a cusp cross-section of an arithmetic X-hyperbolic (n+1)-orbifold. A principal tool in the proof of this classification theorem is a subgroup separability result which may be of independent interest.
We classify the 3-dimensional hyperbolic polyhedral orbifolds that contain no embedded essential 2-suborbifolds, up to decomposition along embedded hyperbolic triangle orbifolds (turnovers). We give a necessary condition for a 3-dimensional hyperbolic polyhedral orbifold to contain an immersed (singular) hyperbolic turnover, we classify the triangle subgroups of the fundamental groups of orientable 3-dimensional hyperbolic tetrahedral orbifolds in the case when all of the vertices of the tetrahedra are non-finite, and we provide a conjectural classification of all the triangle subgroups of the…
A real projective orbifold has a radial end if a neighborhood of the end is foliated by projective geodesics that develop into geodesics ending at a common point. It has a totally geodesic end if the end can be completed to have the totally geodesic boundary. The purpose of this paper is to announce some partial results. A real projective structure sometimes admits deformations to parameters of real projective structures. We will prove a homeomorphism between the deformation space of convex real projective structures on an orbifold $\mathcal{O}$ with radial or totally geodesic ends with variou…
Let $\mathcal{O}$ be a closed orientable 2-orbifold of negative Euler characteristic. Huebschmann constructed the Atiyah-Bott-Goldman type symplectic form $ω$ on the deformation space $\mathcal{C}(\mathcal{O})$ of convex projective structures on $\mathcal{O}$. We show that the deformation space $\mathcal{C}(\mathcal{O})$ of convex projective structures on $\mathcal{O}$ admits a global Darboux coordinates system with respect to $ω$. To this end, we show that $\mathcal{C}(\mathcal{O})$ can be decomposed into smaller symplectic spaces. In the course of the proof, we also study the deformation spa…
We calculate the Chern-Simons invariants of the hyperbolic orbifolds of the knot with Conway's notation $C(2n, 3)$ using the Schläfli formula for the generalized Chern-Simons function on the family of $C(2n,3)$ cone-manifold structures. We present the concrete and explicit formula of them. We apply the general instructions of Hilden, Lozano, and Montesinos-Amilibia and extend the Ham and Lee's methods. As an application, we calculate the Chern-Simons invariants of cyclic coverings of the hyperbolic $C(2n,3)$ orbifolds.
Real projective structures on $n$-orbifolds are useful in understanding the space of representations of discrete groups into $\mathrm{SL}(n+1, \mathbb{R})$ or $\mathrm{PGL}(n+1, \mathbb{R})$. A recent work shows that many hyperbolic manifolds deform to manifolds with such structures not projectively equivalent to the original ones. The purpose of this paper is to understand the structures of ends of real projective $n$-dimensional orbifolds. In particular, these have the radial or totally geodesic ends. Hyperbolic manifolds with cusps and hyper-ideal ends are examples. For this, we will study …
Real projective structures on $n$-orbifolds are useful in understanding the space of representations of discrete groups into $SL(n+1, \mathbb{R})$ or $PGL(n+1, \mathbb{R})$. A recent work shows that many hyperbolic manifolds deform to manifolds with such structures not projectively equivalent to the original ones. The purpose of this paper is to understand the structures of ends of real projective $n$-dimensional orbifolds. In particular, these have the radial or totally geodesic ends. Hyperbolic manifolds with cusps and hyper-ideal ends are examples. For this, we will study the natural condit…
We analyze the orbifolds that can be obtained as quotients of hyperbolic 3-manifolds admitting a Heegaard splitting of genus two by their orientation preserving isometry groups. The genus two hyperbolic 3-manifolds are exactly the hyperbolic 2-fold branched coverings of 3-bridge links. If the 3-bridge link is a knot, we prove that the underlying topological space of the quotient orbifold is either the 3-sphere or a lens space and we describe the combinatorial setting of the singular set for each possible isometry group. In the case of 3-bridge links with two or three components, the situation …
A Coxeter $n$-orbifold is an $n$-dimensional orbifold based on a polytope with silvered boundary facets. Each pair of adjacent facets meet on a ridge of some order $m$, whose neighborhood is locally modeled on ${\mathbb R}^n$ modulo the dihedral group of order $2m$ generated by two reflections. For $n \geq 3$, we study the deformation space of real projective structures on a compact Coxeter $n$-orbifold $Q$ admitting a hyperbolic structure. Let $e_+(Q)$ be the number of ridges of order $\geq 3$. A neighborhood of the hyperbolic structure in the deformation space is a cell of dimension $e_+(Q) …
We show the manifolds at infinity of the complex hyperbolic triangle groups $Δ_{3,4,4;\infty}$ and $Δ_{3,4,6;\infty}$,are one-cusped hyperbolic 3-manifolds $m038$ and $s090$ in the Snappy Census respectively.That is,these two manifolds admit spherical CR uniformizations. Moreover, these two hyperbolic 3-manifolds above can be obtained by Dehn surgeries on the first cusp of the two-cusped hyperbolic 3-manifold $m295$ in the Snappy Census with slopes $2$ and $4$ respectively. In general,the main result in this paper allow us to conjecture that the manifold at infinity of the complex hyperbolic t…
Let ${\mathfrak M}$ be a closed, orientable, hyperbolic 3-orbifold whose singular set is a link, and such that $π_1({\mathfrak M})$ contains no hyperbolic triangle group. We show that if the underlying manifold $|{\mathfrak M}|$ is irreducible, and $|{\mathfrak M}|$ is irreducible for every two-sheeted (orbifold) covering $\widetilde{\mathfrak M}$ of ${\mathfrak M}$, and if ${\rm vol} {\mathfrak M}\le1.72$, then $\dim H_1({\mathfrak M};{\mathbb Z}_2)\le 15$. Furthermore, if ${\rm vol} {\mathfrak M}\le1.22$ then $\dim H_1({\mathfrak M};{\mathbb Z}_2)\le 11$, and if ${\rm vol} {\mathfrak M}\le0.…
We determine the three hyperbolic 5-orbifolds of smallest volume among compact arithmetic orbifolds, and we identify their fundamental groups with hyperbolic Coxeter groups. This gives two different ways to compute the volume of these orbifolds.
Let M be a closed orientable Seifert fibered 3-manifold with a hyperbolic base 2-orbifold, or equivalently, admitting a geometry modeled on H^2 \times R or the universal cover of SL(2,R). Our main result is that the connected component of the identity map in the diffeomorphism group Diff(M) is either contractible or homotopy equivalent to the circle, according as the center of the fundamental group of M is trivial or infinite cyclic. Apart from the remaining case of non-Haken infranilmanifolds, this completes the homeomorphism classifications of Diff(M) and of the space of Seifert fiberings of…
Real projective structures on $n$-orbifolds are useful in understanding the space of representations of discrete groups into $\mathrm{SL}(n+1, \mathbb{R})$ or $\mathrm{PGL}(n+1, \mathbb{R})$. A recent work shows that many hyperbolic manifolds deform to manifolds with such structures not projectively equivalent to the original ones. The purpose of this paper is to understand the structures of properly convex ends of real projective $n$-dimensional orbifolds. In particular, these have the radial or totally geodesic ends. For this, we will study the natural conditions on eigenvalues of holonomy r…
We show that the conjectural cusped complex hyperbolic 2-orbifolds of minimal volume are the two smallest arithmetic complex hyperbolic 2-orbifolds. We then show that every arithmetic cusped complex hyperbolic 2-manifold of minimal volume covers one of these two orbifolds. We also give all minimal volume manifolds that simultaneously cover both minimal orbifolds.
In this paper an explicit formula for a lower bound on the volume of a hyperbolic orbifold, dependent on dimension and the maximal order of torsion in the orbifolds' fundamental group, is constructed.
We prove that a closed 3-orbifold that fibers over a hyperbolic polygonal 2-orbifold admits a family of hyperbolic cone structures that are viewed as regeneration of the polygon, provided that the perimeter is minimal.
Real projective structures on $n$-orbifolds are useful in understanding the space of representations of discrete groups into $\mathrm{SL}(n+1, \mathbb{R})$ or $\mathrm{PGL}(n+1, \mathbb{R})$. A recent work shows that many hyperbolic manifolds deform to manifolds with such structures not projectively equivalent to the original ones. The purpose of this paper is to understand the structures of ends of real projective $n$-dimensional orbifolds. In particular, these have the radial or totally geodesic ends. In previous papers, we classified properly convex or complete radial ends under suitable co…
Volume is a natural measure of complexity of a Riemannian manifold. In this survey, we discuss the results and conjectures concerning n-dimensional hyperbolic manifolds and orbifolds of small volume.
A real projective orbifold is an $n$-dimensional orbifold modeled on $\mathbb{RP}^n$ with the group $PGL(n+1, \mathbb{R})$. We concentrate on an orbifold that contains a compact codimension $0$ submanifold whose complement is a union of neighborhoods of ends, diffeomorphic to closed $(n-1)$-dimensional orbifolds times intervals. A real projective orbifold has a {\it radial end} if a neighborhood of the end is foliated by projective geodesics that develop into geodesics ending at a common point. It has a {\it totally geodesic end} if the end can be completed to have the totally geodesic boundar…
We prove that in any hyperbolic orbifold with one boundary component, the product of any hyperbolic fundamental group element with a sufficiently large multiple of the boundary is represented by a geodesic loop that virtually bounds an immersed surface. In the case that the orbifold is a disk, there are some conditions. Our results generalize work of Calegari-Louwsma and resolve a conjecture of Calegari.
We will provide bounds on both the Betti numbers and the torsion part of the homology of hyperbolic orbifolds. These bounds are linear in the volume and are a direct consequence of an efficient simplicial model of the thick part, which we will construct as well. The homology statements complement previous work of Bader, Gelander and Sauer (torsion homology of manifolds), Samet (Betti numbers of orbifolds) and a classical theorem of Gromov (Betti numbers of manifolds). For arithmetic, non-compact hyperbolic orbifolds -- i.e. in the case of arithmetic, non-uniform lattices in $\operatorname{Isom…
In this paper, we construct families of nonisometric hyperbolic orbifolds that contain the same isometry classes of nonflat totally geodesic subspaces. The main tool is a variant of the well-known Sunada method for constructing length-isospectral Riemannian manifolds that handles totally geodesic submanifolds of multiple codimensions simultaneously.
A class of complex hyperbolic lattices in PU(2,1) called the Deligne-Mostow lattices has been reinterpreted by Hirzebruch and others in terms of line arrangements. They use branched covers over a suitable blow up of the complete quadrilateral arrangement of lines in projective 2-space to construct the complex hyperbolic surfaces over the orbifolds associated to the lattices. Fundamental domains for these lattices have been built by Pasquinelli. Here we show how the fundamental domains can be interpreted in terms of line arrangements as above. This parallel is then applied in two contexts. Dash…
We discuss properties of complex algebraic orbifold groups, their characteristic varieties, and their abelian covers. In particular, we deal with the question of (quasi)-projectivity of orbifold groups. We also prove a structure theorem for the variety of characters of normal-crossing quasi-projective orbifold groups. Finally, we extend Sakuma's formula for the first Betti number of abelian covers of orbifold fundamental groups. Several examples are presented, including a compact orbifold group which is not projective and a Zariski pair of plane projective curves that can be told by considerin…
Neumann and Reid described in their paper "Rigidity of cusps in deformations of hyperbolic 3-orbifolds" (Math Ann. 295 (1993) no. 2, 223--237) a 2-cusped hyperbolic 3-orbifold in which the cusps are geometrically isolated. Based on numerical evidence provided by Jeff Weeks' snappea program, they conjectured that the cusps are strongly geometrically isolated, a fact which we establish here. We also give a parameterization of the Dehn surgery space of this orbifold which has amusing properties.
A generic geodesic on a finite area, hyperbolic 2-orbifold exhibits an infinite sequence of penetrations into a neighborhood of a cone singularity, so that the sequence of depths of maximal penetration has a limiting distribution. The distribution function is the same for all such surfaces and is described by a fairly simple formula.
For each natural number n >= 4, we determine the unique lowest volume hyperbolic 3-orbifold whose torsion orders are bounded below by n. This lowest volume orbifold has base space the 3-sphere and singular locus the figure-8 knot, marked n. We apply this result to give sharp lower bounds on the volume of a hyperbolic manifold in terms of the order of elements in its symmetry group.
In this survey, we study representations of finitely generated groups into Lie groups, focusing on the deformation spaces of convex real projective structures on closed manifolds and orbifolds, with an excursion on projective structures on surfaces. We survey the basics of the theory of character varieties, geometric structures on orbifolds, and Hilbert geometry. The main examples of finitely generated groups for us will be Fuchsian groups, 3-manifold groups and Coxeter groups.
This paper completes a classification of the types of orientable and non-orientable cusps that can arise in the quotients of hyperbolic knot complements. In particular, $S^2(2,4,4)$ cannot be the cusp cross-section of any orbifold quotient of a hyperbolic knot complement. Furthermore, if a knot complement covers an orbifold with a $S^2(2,3,6)$ cusp, it also covers an orbifold with a $S^2(3,3,3)$ cusp. We end with a discussion that shows all cusp types arise in the quotients of link complements.
Using the rings of Lipschitz and Hurwitz integers $\mathbb{H}(\mathbb{Z})$ and $\mathbb{H}ur(\mathbb{Z})$ in the quaternion division algebra $\mathbb{H}$, we define several Kleinian discrete subgroups of $PSL(2,\mathbb{H})$
In this paper we analyze and classify the totally geodesic subspaces of finite volume quaternionic hyperbolic orbifolds and their generalizations, locally symmetric orbifolds arising from irreducible lattices in Lie groups of the form $(\mathbf{Sp}_{2n}(\mathbb{R}))^q \times \prod_{i=1}^r \mathbf{Sp}(p_i,n-p_i) \times (\mathbf{Sp}_{2n}(\mathbb{C}))^s$. We give criteria for when the totally geodesic subspaces of such an orbifold determine its commensurability class. We give a parametrization of the commensurability classes of finite volume quaternionic hyperbolic orbifolds in terms of arithmeti…
We show that the 1-cusped quotient of the hyperbolic space $\mathbb{H}^3$ by the tetrahedral Coxeter group $Γ_*=[5,3,6]$ has minimal volume among all non-arithmetic cusped hyperbolic 3-orbifolds, and as such it is uniquely determined. Furthermore, the lattice $Γ_*$ is incommensurable to any Gromov-Piatetski-Shapiro type lattice. Our methods have their origin in the work of C. Adams. We extend considerably this approach via the geometry of the underlying horoball configuration induced by a cusp.
Let $O$ be a closed $n$-dimensional arithmetic (real or complex) hyperbolic orbifold. We show that the diameter of $O$ is bounded above by $$\frac{c_1\log vol(O) + c_2}{h(O)},$$ where $h(O)$ is the Cheeger constant of $O$, $vol(O)$ is its volume, and constants $c_1$, $c_2$ depend only on $n$.
This brief report (6 pages) was written in 1983 but never published. It concerns the hyperbolic 3-orbifolds obtained as quotients of hyperbolic 3-space by the group of invertible 2 by 2 matrices whose entries are integers in the imaginary quadratic extension of Q of discriminant D. For values D > -100 the topological type of this orbifold is tabulated, and in the cases when the topological type is a punctured 3-sphere, the singular locus of the orbifold is drawn. A few miscellaneous comments about these orbifolds are included. The tables and pictures are based on Bob Riley's computer calculati…
We study embedding of closed totally geodesic hyperbolic 2-orbifolds in the Bianchi orbifolds $\mathbb{H}^3/PSL(2,\mathcal{O}_d)$. Our main result shows that there is a constant $c$ such that for $d$ large enough there are at least $cd$ closed embedded totally geodesic hyperbolic 2-orbifolds. Moreover we provide a list which conjecturally consists of those $d$ for which $\mathbb{H}^3/PSL(2,\mathcal{O}_d)$ does not contain a closed embedded totally geodesic hyperbolic 2-orbifold.