This paper shows that many hyperbolic manifolds obtained by glueing arithmetic pieces embed into higher-dimensional hyperbolic manifolds as codimension-one totally geodesic submanifolds. As a consequence, many Gromov--Pyatetski-Shapiro and Agol--Belolipetsky--Thomson non-arithmetic manifolds embed geodesically. Moreover, we show that the number of commensurability classes of hyperbolic manifolds with a representative of volume $\leq v$ that bounds geometrically is at least $v^{Cv}$, for $v$ large enough.
It is a longstanding problem to determine the precise relationship between the geodesic length spectrum of a hyperbolic manifold and its commensurability class. A well known result of Reid, for instance, shows that the geodesic length spectrum of an arithmetic hyperbolic surface determines the surface's commensurability class. It is known, however, that non-commensurable arithmetic hyperbolic surfaces may share arbitrarily large portions of their length spectra. In this paper we investigate this phenomenon and prove a number of quantitative results about the maximum cardinality of a family of …
These are mostly expository notes based on the course of lectures on arithmetic invariants of hyperbolic manifolds given at the workshop associated with the final "Volume Conference," held at Columbia University, June 2009. Some new results are included.
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.
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.
Gromov and Piatetski-Shapiro proved existence of finite volume non-arithmetic hyperbolic manifolds of any given dimension. In dimension four and higher, we show that there are about v^v such manifolds of volume at most v, considered up to commensurability. Since the number of arithmetic ones tends to be polynomial, almost all hyperbolic manifolds are non-arithmetic in an appropriate sense. Our method involves a geometric graph-of-spaces construction that relies on arithmetic properties of certain quadratic forms.
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 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.
In this paper we study the systoles of arithmetic hyperbolic 2- and 3-manifolds. Our first result is the construction of infinitely many arithmetic hyperbolic 2- and 3-manifolds which are pairwise noncommensurable, all have the same systole, and whose volumes are explicitly bounded. Our second result fixes a positive number x and gives an upper bound for the least volume of an arithmetic hyperbolic 2- or 3-manifold whose systole is greater than x. We conclude by determining, for certain small values of x, the least volume of a principal arithmetic hyperbolic 2-manifold over Q or 3-manifold ove…
We will show that, for any noncompact arithmetic hyperbolic $m$-manifold with $m> 3$, and any compact arithmetic hyperbolic $m$-manifold with $m> 4$ that is not a $7$-dimensional arithmetic hyperbolic manifold defined by octonions, its fundamental group is not LERF. The main ingredient in the proof is a study on abelian amalgamations of hyperbolic $3$-manifold groups. We will also show that a compact orientable irreducible $3$-manifold with empty or tori boundary supports a geometric structure if and only if its fundamental group is LERF.
We prove, under the assumption of the virtual fibration conjecture for arithmetic hyperbolic 3-manifolds, that all arithmetic lattices in O(n,1), n> 4, and different from 7, are non-coherent. We also establish noncoherence of uniform arithmetic lattices of the simplest type in SU(n,1), n> 1, and of uniform lattices in SU(2,1) which have infinite abelianization.
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…
We describe a general procedure to produce fundamental domains for complex hyperbolic triangle groups, a class of groups that contains a representative of the commensurability class of every known non-arithmetic lattice in ${\rm PU}(2,1)$. We discuss several commensurability invariants for lattices, and show that some triangle groups yield new commensurability classes, bringing the number of known non-arithmetic commensurability classes to 22.
We prove that for n>4 there is no compact arithmetic hyperbolic n-manifold whose Euler characteristic has absolute value equal to 2. In particular, this shows the nonexistence of arithmetically defined hyperbolic rational homology n-sphere with n even different than 4.
This paper continues arXiv.org:math.AG/0609256, arXiv:0708.3991 and arXiv:0710.0162 . Using authors's methods of 1980, 1981, some explicit finite sets of number fields containing all ground fields of arithmetic hyperbolic reflection groups in dimension at least 3 are defined, and explicit bounds of their degrees (over Q) are obtained. Thus, now, explicit bound of degree of ground fields of arithmetic hyperbolic reflection groups is known in all dimensions. Thus, now, we can, in principle, obtain effective finite classification of arithmetic hyperbolic reflection groups in all dimensions togeth…
We prove that any arithmetic hyperbolic $n$-manifold of simplest type can either be geodesically embedded into an arithmetic hyperbolic $(n+1)$-manifold or its universal $\mathrm{mod}~2$ Abelian cover can.
A group of isometries of a hyperbolic $n$-space is called a reflection group if it is generated by reflections in hyperbolic hyperplanes. Vinberg gave a semi-algorithm for finding a maximal reflection sublattice in a given arithmetic subgroup of $O(n,1)$ of the simplest type. We provide an effective termination condition for Vinberg's semi-algorithm with which it becomes an algorithm for finding maximal reflection sublattices. The main new ingredient of the proof is an upper bound for the number of faces of an arithmetic hyperbolic Coxeter polyhedron in terms of its volume.
A hyperbolic reflection group is a discrete group generated by reflections in the faces of an $n$-dimensional hyperbolic polyhedron. This survey article is dedicated to the study of arithmetic hyperbolic reflection groups with an emphasis on the results that were obtained in the last ten years and on the open problems.
We produce a family of new, non arithmetic lattices in PU(2,1). All previously known examples were commensurable with lattices constructed by Picard, Mostow and Deligne-Mostow, and fell into 9 commensurability classes. Our groups produce 5 new distinct commensurability classes. Most of the techniques are completely general, and provide efficient geometric and computational tools for constructing fundamental domains for discrete group acting on the complex hyperbolic plane.
This paper continues arXiv.org:math.AG/0609256 and arXiv:0708.3991 Using authors's methods of 1980, 1981, some explicit finite sets of number fields containing all ground fields of arithmetic hyperbolic reflection groups in dimensions at least 4 are defined, and good explicit bounds of their degrees (over Q) are obtained. This could be important for further classification. Thus, now, an explicit bound of degree of ground fields of arithmetic hyperbolic reflection groups is unknown in dimension 3 only.
In this paper we examine the geometry of minimal surfaces of arithmetic hyperbolic 3-manifolds. In particular, we give bounds on the totally geodesic 2-systole, construct infinitely many incommensurable manifolds with the same initial geometric genus spectrum in which volume and 1-systole are controlled, and analyze the growth of the genera of minimal surfaces across commensurability classes. These results have applications to the study of how Heegard genus grows across commensurability classes.
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 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.
Using authors's methods of 1980, 1981, some explicit finite sets of number fields containing ground fields of arithmetic hyperbolic reflection groups are defined, and good bounds of their degrees (over Q) are obtained. For example, degree of the ground field of any arithmetic hyperbolic reflection group in dimension at least 6 is bounded by 56. These results could be important for further classification. We also formulate a mirror symmetric conjecture to finiteness of the number of arithmetic hyperbolic reflection groups which was established in full generality recently.
In this paper we consider the cohomology of a closed arithmetic hyperbolic 3-manifold with coefficients in the local system defined by the even symmetric powers of the standard representation of SL(2,C). The cohomology is defined over the integers and is a finite abelian group. We show that the order of the 2nd cohomology grows exponentially as the local system grows. We also consider the twisted Ruelle zeta function of a closed arithmetic hyperbolic 3-manifold and we express the leading coefficient of its Laurent expansion at the origin in terms of the orders of the torsion subgroups of the c…
We establish some geometric constraints on compact Coxeter polytopes in hyperbolic spaces and show that these constraints can be a very useful tool for the classification problem of reflective anisotropic Lorentzian lattices and cocompact arithmetic hyperbolic reflection groups.
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 calculate the Lefschetz number of a Galois automorphism in the cohomology of certain arithmetic congruence groups arising from orders in quaternion algebras over number fields. As an application we give a lower bound for the first Betti number of a class of arithmetically defined hyperbolic 3-manifolds and we deduce the following theorem: Given an arithmetically defined cocompact subgroup of SL(2,C), provided the underlying quaternion algebra meets some conditions, there is a decreasing sequence of finite index subgroups of such that the first Betti number grows at least as fast as the squa…
We determine the adjoint trace field of gluings of general hyperbolic manifolds. This provides a new method to prove the nonarithmeticity of gluings, which can be applied to the classical construction of Gromov and Piatetski-Shapiro (and generalizations) as well as certain gluings of pieces of commensurable arithmetic manifolds. As an application we give many new examples of nonarithmetic gluings and prove that the unique nonarithmetic Coxeter 5-simplex is not commensurable to any gluing of arithmetic pieces.
For d=2n+1 a positive odd integer, we consider sequences of arithmetic subgroups of SO_0(d,1) and Spin(d,1) yielding corresponding hyperbolic manifolds of finite volume and show that, under appropriate and natural assumptions, the torsion of the associated cohomology groups grows exponentially.
We identify and study a class of hyperbolic 3-manifolds (which we call Macfarlane manifolds) whose quaternion algebras admit a geometric interpretation analogous to Hamilton's classical model for Euclidean rotations. We characterize these manifolds arithmetically, and show that infinitely many commensurability classes of them arise in diverse topological and arithmetic settings. We then use this perspective to introduce a new method for computing their Dirichlet domains. We also give similar results for a class of hyperbolic surfaces and explore their occurrence as subsurfaces of Macfarlane ma…
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.
We study the variety of actions of a fixed (Chevalley) group on arbitrary geodesic, Gromov hyperbolic spaces. In high rank we obtain a complete classification. In rank one, we obtain some partial results and give a conjectural picture.
In this paper we study existence and lack thereof of closed embedded orientable co-dimension one totally geodesic submanifolds of minimal volume cusped orientable hyperbolic manifolds.
This paper describes a general algorithm for finding the commensurator of a non-arithmetic cusped hyperbolic manifold, and for deciding when two such manifolds are commensurable. The method is based on some elementary observations regarding horosphere packings and canonical cell decompositions. For example, we use this to find the commensurators of all non-arithmetic hyperbolic once-punctured torus bundles over the circle. For hyperbolic 3-manifolds, the algorithm has been implemented using Goodman's computer program Snap. We use this to determine the commensurability classes of all cusped hyp…
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 find bounds for the length of the systole -- the shortest essential, non-peripheral closed curve -- for arithmetic punctured spheres with $n$ cusps, for $n=4$ through $n=12$, some of which were previously known due to Schmutz. This is shown using a correspondence between such surfaces and planar triangulations. We show that for $n=7,10,11$, arithmetic surfaces do not achieve the maximal systole length.
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.
The transition constant was introduced in our 1981 paper and denoted as N(14). It is equal to the maximal degree of the ground fields of V-arithmetic connected edge graphs with 4 vertices and of the minimality 14. This constant is fundamental since if the degree of the ground field of an arithmetic hyperbolic reflection group is greater than N(14), then the field comes from very special plane reflection groups. In our recent paper (see also arXiv:0708.3991), we claimed its upper bound 56. Using similar but more difficult considerations, here we improve this bound. These results could be import…
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 introduce and motivate a notion of pseudo-arithmeticity, which possibly applies to all lattices in $\mathrm{PO}(n,1)$ with $n>3$. We further show that under an additional assumption (satisfied in all known cases), the covolumes of these lattices correspond to rational linear combinations of special values of $L$-functions.
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…
For $n \ge 2$, we prove that a finite volume complex hyperbolic $n$-manifold containing infinitely many maximal properly immersed totally geodesic submanifolds of dimension at least two is arithmetic, paralleling our previous work for real hyperbolic manifolds. As in the real hyperbolic case, our primary result is a superrigidity theorem for certain representations of complex hyperbolic lattices. The proof requires developing new general tools not needed in the real hyperbolic case. Our main results also have a number of other applications. For example, we prove nonexistence of certain maps be…
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 present a general method to compute a presentation for any cusped arithmetic hyperbolic lattice $Γ$, applying a classical result of Macbeath to a suitable $Γ$-invariant horoball cover of the corresponding symmetric space. As applications we compute presentations for the Picard modular groups ${\rm PU}(2,1,\mathcal{O}_d)$ for $d=1,3,7$ and the quaternion hyperbolic lattice ${\rm PU}(2,1,\mathcal{H})$ with entries in the Hurwitz integer ring $\mathcal{H}$. The implementation of the method for these groups is computer-assisted.
We show the existence of hyperbolic 4-manifolds with vanishing Seiberg-Witten invariants, addressing a conjecture of Claude LeBrun. This is achieved by showing, using results in geometric and arithmetic group theory, that certain hyperbolic 4-manifolds contain L-spaces as hypersurfaces.
