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 setting. In particular, given any arithmetic hyperbolic 3-orbifold derived from a quaternion algebra, any finite subset $S$ of its geodesic length spectrum, and any $k \geq 2$, we produce infinitely many $k$-tuples of arithmetic hyperbolic 3-orbifolds which are pairwise non-commensurable, have geodesic length spectra containing $S$, and have volumes lying in an interval of (universally) bounded length. The main technical ingredient in our proof is a bounded gaps result for prime ideals in number fields lying in Chebotarev sets which extends recent work of Thorner.
We classify the non arithmetic rank one affine invariant orbifolds that do not arise from Veech surfaces in H(3,1) and H^odd(2,2). We also give rigidity results on the isoperiodic leaf of non arithmetic Veech surfaces.
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})$
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.
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.
This thesis investigates cusp cross-sections of arithmetic real, complex, and quaternionic hyperbolic $n$--orbifolds. We give a smooth classification of these submanifolds and analyze their induced geometry. One of the primary tools is a new subgroup separability result for general arithmetic lattices.
We prove that cocompact arithmetic lattices in a simple Lie group are uniformly discrete if and only if the Salem numbers are uniformly bounded away from $1$. We also prove an analogous result for semisimple Lie groups. Finally, we shed some light on the structure of the bottom of the length spectrum of an arithmetic orbifold $Γ\backslash X$ by showing the existence of a positive constant $δ(X)>0$ such that squares of lengths of closed geodesics shorter than $δ$ must be pairwise linearly dependent over $\mathbb Q$.
It is known that the lengths of closed geodesics of an arithmetic hyperbolic orbifold are related to Salem numbers. We initiate a quantitative study of this phenomenon. We show that any non-compact arithmetic $3$-dimensional orbifold defines $c Q^{1/2} + O(Q^{1/4})$ square-rootable Salem numbers of degree $4$ which are less than or equal to $Q$. This quantity can be compared to the total number of such Salem numbers, which is shown to be asymptotic to $\frac{4}{3}Q^{3/2}+O(Q)$. Assuming the gap conjecture of Marklof, we can extend these results to compact arithmetic $3$-orbifolds. As an applic…
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…
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…
Counting Salem numbers arising from arithmetic hyperbolic orbifolds
University of Minnesota（明尼苏达大学）；Universidade Federal Fluminense（弗鲁米嫩塞联邦大学）；Centro de Investigación en Matemáticas AC（数学研究中心AC）；Universiteit Utrecht（乌得勒支大学）
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.
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 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.
We determine the minimal volume of arithmetic hyperbolic orientable n-dimensional orbifolds (compact and non-compact) for every odd dimension n>3. Combined with the previously known results it solves the minimal volume problem for arithmetic hyperbolic n-orbifolds in all dimensions.
In this paper we consider three arithmetic families of isospectral non-isometric Riemannian orbifolds and in each case derive an upper bound for the size of the family which is polynomial as a function of the volume of the orbifolds. The first family that we consider are those constructed by Vigneras' method. The second and third families are those whose covering groups are the minimal covolume arithmetic subgroups and maximal arithmetic subgroups of PGL_2(R)^a x PGL_2(C)^b.
We study the size of the isometry group Isom(M, g) of Riemannian manifolds (M, g) as g varies. For M not admitting a circle action, we show that the order of Isom(M, g) can be universally bounded in terms of the bounds on Ricci curvature, diameter, and injectivity radius of M. This generalizes results known for negative Ricci curvature to all manifolds. More generally we establish a similar universal bound on the index of the deck group pi_1(M) in the isometry group Isom(X, g) of the universal cover X in the absence of suitable actions by connected groups. We apply this to characterize locally…
Let Y be a noncompact rank one locally symmetric space of finite volume. Then Y has a finite number e(Y) > 0 of topological ends. In this paper, we show that for any natural number n, the Y with e(Y) \leq n that are arithmetic fall into finitely many commensurability classes. In particular, there is a constant c_n such that n-cusped arithmetic orbifolds do not exist in dimension greater than c_n. We make this explicit for one-cusped arithmetic hyperbolic n-orbifolds and prove that none exist for n \geq 30.
Let G be an arithmetic Kleinian group, and let O be the associated hyperbolic 3-orbifold or 3-manifold. In this paper, we prove that, in many cases, G is large, which means that some finite index subgroup admits a surjective homomorphism onto a non-abelian free group. This has many consequences, including that O has infinite virtual first Betti number and G has super-exponential subgroup growth. Our first result, which forms the basis for the entire paper, is that G is commensurable with a lattice containing the Klein group of order 4. Our second result is that if G has a finite index subgroup…
Revisiting a construction due to Vigneras, we exhibit small pairs of orbifolds and manifolds of dimension 2 and 3 arising from arithmetic Fuchsian and Kleinian groups that are Laplace isospectral (in fact, representation equivalent) but nonisometric.
We apply G. Prasad's volume formula for the arithmetic quotients of semi-simple groups and Bruhat-Tits theory to study the covolumes of arithmetic subgroups of SO(1,n). As a result we prove that for any even dimension n there exists a unique compact arithmetic hyperbolic n-orbifold of the smallest volume. We give a formula for the Euler-Poincare characteristic of the orbifolds and present an explicit description of their fundamental groups as the stabilizers of certain lattices in quadratic spaces. We also study hyperbolic 4-manifolds defined arithmetically and obtain a number theoretical char…
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 article we verify an orbifold version of a conjecture of Nimershiem from 1998. Namely, for every flat $n$-manifold $M$, we show that the set of similarity classes of flat metrics on $M$ which occur as a cusp cross-section of a hyperbolic $(n+1)$-orbifold is dense in the space of similarity classes of flat metrics on $M$. The set used for density is precisely the set of those classes which arise in arithmetic orbifolds.
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…
The systole of a closed Riemannian manifold is the minimal length of a non-contractible closed loop. We give a uniform lower bound for the systole for large classes of simple arithmetic locally symmetric orbifolds. We establish new bounds for the translation length of a semisimple element x in SL_n(R) in terms of its associated Mahler measure. We use these geometric methods to prove the existence of extensions of number fields in which fixed sets of primes have certain prescribed splitting behavior.
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 article, we prove that every arithmetic locally symmetric orbifold of classical type without Euclidean or compact factors has arbitrarily long arithmetic progressions in its primitive length spectrum. Moreover, we show the stronger property that every primitive length occurs in arbitrarily long arithmetic progressions in its primitive length spectrum. This confirms one direction of a conjecture of Lafont--McReynolds, which states that the property of having every primitive length occur in arbitrarily long arithmetic progressions characterizes the arithmeticity of such spaces.
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 give an algebro-geometric construction of some of the non-arithmetic ball quotients constructed by the author, Parker and Paupert. The new construction reveals a relationship between the corresponding orbifold fundamental groups and the automorphism group of the Klein quartic, and also with groups constructed by Barthel-Hirzebruch-Höfer and Couwenberg-Heckman-Looijenga.
In this article we prove a generalization of Selberg's lemma on the existence of torsion free, finite index subgroups of arithmetic groups. Some of the geometric applications are the resolution a conjecture of Nimershiem and answers to questions of Long-Reid and the author.
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 prove there are exactly 16 arithmetic lattices of hyperbolic 3-space which are generated by two elements of finite orders p and q with p,q at least six. We also verify a conjecture of H.M. Hilden, M.T. Lozano, and J.M. Montesinos concerning the orders of the singular sets of arithmetic orbifold Dehn surgeries on two bridge knot and link complements.
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 that an irreducible 3-manifold whose fundamental group satisfies a certain group-theoretic property called RFRS is virtually fibered. As a corollary, we show that 3-dimensional reflection orbifolds and arithmetic hyperbolic orbifolds defined by a quadratic form virtually fiber. These include the Seifert Weber dodecahedral space and the Bianchi orbifolds. Moreover, we show that a taut sutured compression body has a finite-sheeted cover with a depth one taut-oriented foliation.
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…
Let O be a compact orientable 3-orbifold with non-empty singular locus and a finite volume hyperbolic structure. (Equivalently, O is the quotient of hyperbolic 3-space by a lattice in PSL(2,C) with torsion.) Then we prove that O has a tower of finite-sheeted covers {O_i} with linear growth of p-homology, for some prime p. This means that the dimension of the first homology, with mod p coefficients, of the fundamental group of O_i grows linearly in the covering degree. The proof combines techniques from 3-manifold theory with group-theoretic methods, including the Golod-Shafarevich inequality a…
We identify the finitely many arithmetic lattices $Γ$ in the orientation preserving isometry group of hyperbolic $3$-space $\mathbb{H}^3$ generated by an element of order $4$ and and element of order $p\geq 2$. Thus $Γ$ has a presentation of the form $Γ\cong\langle f,g: f^4=g^p=w(f,g)=\cdots=1 \rangle$ We find that necessarily $p\in \{2,3,4,5,6,\infty\}$, where $p=\infty$ denotes that $g$ is a parabolic element, the total degree of the invariant trace field $kΓ=\mathbb{Q}(\{\tr^2(h):h\inΓ\})$ is at most $4$, and each orbifold is either a two bridge link of slope $r/s$ surgered with $(4,0)$, $(…
The main thrust of present note is a volume formula for hyperbolic surface bundle with the fundamental group G. The novelty consists in a purely algebraic approach to the above problem. Initially, we concentrate on the Baum-Connes morphism m(G): K(BG)--> K(C*G) for our class of manifolds, and then classify m(G) in terms of the ideals in the ring of integers of a quadratic number field K. Next, we extract the topological data (e.g. volume of the orbifold H/G) from the arithmetic of field K.
We generalize McShane's identity for the length series of simple closed geodesics on a cusped hyperbolic surface to hyperbolic cone-surfaces (with all cone angles $\le π$), possibly with cusps and/or geodesic boundary. In particular, by applying the generalized identity to the orbifolds obtained from taking the quotient of the one-holed torus by its elliptic involution, and the closed genus two surface by its hyper-elliptic involution, we obtain generalizations of the Weierstrass identities for the one-holed torus, and identities for the genus two surface, also obtained by McShane using differ…
