We develop the theory of orbibundles from a geometrical viewpoint using diffeology. One of our goals is to present new tools allowing to calculate invariants of complex hyperbolic disc orbibundles over $2$-orbifolds appearing in the geometry of $4$-manifolds. These invariants are the Euler number of disc orbibundles and the Toledo invariant of $\mathrm{PU}(2,1)$-representations of $2$-orbifold groups.
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.
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.
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…
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 classic theorem of Kazhdan and Margulis states that for any semisimple Lie group without compact factors, there is a positive lower bound on the covolume of lattices. H. C. Wang's subsequent quantitative analysis showed that the fundamental domain of any lattice contains a ball whose radius depends only on the group itself. A direct consequence is a positive minimum volume for orbifolds modeled on the corresponding symmetric space. However, sharp bounds are known only for hyperbolic orbifolds of dimensions two and three, and recently for quaternionic hyperbolic orbifolds of all dimensions. A…
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.
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 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.
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.
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…
In 1992, Reid asked whether hyperbolic 3-manifolds with the same geodesic length spectra are necessarily commensurable. While this is known to be true for arithmetic hyperbolic 3-manifolds, the non-arithmetic case is still open. Building towards a negative answer to this question, Futer and Millichap recently constructed infinitely many pairs of non-commensurable, non-arithmetic hyperbolic 3-manifolds which have the same volume and whose length spectra begin with the same first $m$ geodesic lengths. In the present paper, we show that this phenomenon is surprisingly common in the arithmetic set…
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.
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.
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…
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.…
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…
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.
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.
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.
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$.
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.
Our main result is that for all sufficiently large $x_0>0$, the set of commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with fixed invariant trace field $k$ and systole bounded below by $x_0$ has density one within the set of all commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with invariant trace field $k$. The proof relies upon bounds for the absolute logarithmic Weil height of algebraic integers due to Silverman, Brindza and Hajdu, as well as precise estimates for the number of rational quaternion algebras not admitting embeddings of any quadratic fiel…
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.
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.
It is known that the shortest non-simple closed geodesic on an orientable hyperbolic 2-orbifold passes through an orbifold point of the orbifold. This raises questions about minimal length non-simple closed geodesics disjoint from the orbifold points. Here we explore once self-intersecting closed geodesics disjoint from the orbifold points of the orbifold, called figure eight geodesics. Using fundamental domains and basic hyperbolic trigonometry we identify and classify all figure eight geodesics on triangle group orbifolds. This classification allows us to find the shortest figure eight geode…
In this paper we examine the relationship between the length spectrum and the geometric genus spectrum of an arithmetic hyperbolic 3-orbifold M. In particular we analyze the extent to which the geometry of M is determined by the closed geodesics coming from finite area totally geodesic surfaces. Using a variety of techniques from analytic number theory, we address the following problems: Is the commensurability class of an arithmetic hyperbolic 3-orbifold determined by the lengths of closed geodesics lying on totally geodesic surfaces?, Do there exist arithmetic hyperbolic 3-orbifolds whose "s…
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…
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.
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.
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.
We discuss the geometry of some arithmetic orbifolds locally isometric to a product of real hyperbolic spaces of dimension two and three, and prove that certain sequences of non-uniform orbifolds are convergent to this space in a geometric ("Benjamini--Schramm") sense for hyperbolic three--space and a product of hyperbolic planes. We also deal with arbitrary sequences of maximal arithmetic three--dimensional hyperbolic lattices defined over a quadratic or cubic field. A motivating application is the study of Betti numbers of Bianchi groups.
The geodesic length spectrum of a complete, finite volume, hyperbolic 3-orbifold M is a fundamental invariant of the topology of M via Mostow-Prasad Rigidity. Motivated by this, the second author and Reid defined a two-dimensional analogue of the geodesic length spectrum given by the multiset of isometry types of totally geodesic, immersed, finite-area surfaces of M called the geometric genus spectrum. They showed that if $M$ is arithmetic and contains a totally geodesic surface, then the geometric genus spectrum of M determines its commensurability class. In this paper we define a coarser inv…
