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.
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.
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…
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 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.
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$.
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.
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 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.
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…
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(乌得勒支大学)
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…
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…
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 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.
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.
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…
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.
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…
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.
We study Deraux's non arithmetic orbifold ball quotient surfaces obtained as birational transformations of a quotient $X$ of a particular Abelian surface $A$. Using the fact that $A$ is the Jacobian of the Bolza genus $2$ curve, we identify $X$ as the weighted projective plane $\mathbb{P}(1,3,8)$. We compute the equation of the mirror $M$ of the orbifold ball quotient $(X,M)$ and by taking the quotient by an involution, we obtain an orbifold ball quotient surface with mirror birational to an interesting configuration of plane curves of degrees $1,2$ and $3$. We also exhibit an arrangement of f…
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…