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.
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…
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 …
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.
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…
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…
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…
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 generalize the results of [AS], finding large classes of totally geodesic Seifert surfaces in hyperbolic knot and link complements, each the lift of a rigid 2-orbifold embedded in some hyperbolic 3-orbifold. In addition, we provide a uniqueness theorem and demonstrate that many knots cannot possess totally geodesic Seifert surfaces by giving bounds on the width invariant in the presence of such a surface. Finally, we utilize these examples to demonstrate that the Six Theorem is sharp for knot complements in the 3-sphere.
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…
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…
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…
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…
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.
In this paper we show that totally geodesic subspaces determine the commensurability class of a standard arithmetic hyperbolic $n$-orbifold, $n\ge 4$. Many of the results are more general and apply to locally symmetric spaces associated to arithmetic lattices in $\mathbb{R}$-simple Lie groups of type $B_n$ and $D_n$. We use a combination of techniques from algebraic groups and quadratic forms to prove several results about these spaces.
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 rigid, infinite covolume, geometrically finite discrete subgroups of the isometry group of hyperbolic 4-space. It also leads to finite covolume Coxeter groups which are the homomorphic image of the group of reflections in the hyperbolic 24-cell. The examples are constructed very explicitly, both from an algebraic and a geometric point of view. The method used…
Let W be a compact hyperbolic n-manifold with totally geodesic boundary. We prove that if n>3 then the holonomy representation of pi_1 (W) into the isometry group of hyperbolic n-space is infinitesimally rigid.
We give an effective upper bound, for certain arithmetic hyperbolic 3-manifold groups obtained from a quadratic form construction, on the minimal index of a subgroup that embeds in a fixed 6-dimensional right-angled reflection group, stabilizing a totally geodesic subspace. In particular, for manifold groups in any fixed commensurability class we show that the index of such a subgroup is asymptotically smaller than any fractional power of the volume of the manifold. We also give effective bounds on the geodesic residual finiteness growths of closed hyperbolic manifolds that totally geodesicall…
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 give a quantification of residual finiteness for the fundamental groups of hyperbolic manifolds that admit a totally geodesic immersion to a compact, right-angled Coxeter orbifold of dimension 3 or 4. Specifically, we give explicit upper bounds on residual finiteness that are linear in terms of geodesic length. We then extend the linear upper bounds to hyperbolic manifolds with a finite cover that admits such an immersion. Since the quantifications are given in terms of geodesic length, we define the geodesic residual finiteness growth and show that this growth is equivalent to the usual re…
In this paper we prove that there is a direct relationship between Salem numbers and translation lengths of hyperbolic elements of arithmetic hyperbolic groups that are determined by a quadratic form over a totally real number field. As an application we determine a sharp lower bound for the length of a closed geodesic in a noncompact arithmetic hyperbolic n-orbifold for each dimension n. We also discuss a "short geodesic conjecture", and prove its equivalence with "Lehmer's conjecture" for Salem numbers.
We prove global rigidity for compact hyperbolic and spherical cone-3-manifolds with cone-angles $\leq π$ (which are not Seifert fibered in the spherical case), furthermore for a class of hyperbolic cone-3-manifolds of finite volume with cone-angles $\leq π$, possibly with boundary consisting of totally geodesic hyperbolic turnovers. To that end we first generalize our local rigidity result to the setting of hyperbolic cone-3-manifolds of finite volume as above. We then use the geometric techniques developed by Boileau, Leeb and Porti to deform the cone-manifold structure to a complete non-sing…