Given a closed geodesic on a compact arithmetic hyperbolic surface, we show the existence of a sequence of Laplacian eigenfunctions whose integrals along the geodesic exhibit nontrivial growth. Via Waldspurger's formula we deduce a lower bound for central values of Rankin--Selberg L-functions of Maass forms times theta series associated to real quadratic fields.
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 examine closed geodesics in the quotient of hyperbolic three space by the discrete group of isometries SL(2,Z[i]). There is a correspondence between closed geodesics in the manifold, the complex continued fractions originally studied by Hurwitz, and binary quadratic forms over the Gaussian integers. According to this correspondence, a geodesic is called fundamental if the associated binary quadratic form is. Using techniques from sieve theory, symbolic dynamics, and the theory of expander graphs, we show the existence of a compact set in the manifold containing infinitely many fundamental g…
Let $X$ be a compact hyperbolic manifold with dimension $d\geqslant3$. In this paper we show that there are infinitely many nonvanishing geodesic periods defined over any compact $n$-dimensional ($n\geqslant2$) geodesic cycle of $X$.
We determine the variance for the fluctuations of the arithmetic measures obtained by collecting all closed geodesics on the modular surface with the same discriminant and ordering them by the latter. This arithmetic variance differs by subtle factors from the variance that one gets when considering individual closed geodesics when ordered by their length. The arithmetic variance is the same one that appears in the fluctuations of measures associated with quantum states on the modular surface.
Let X be an arithmetic hyperbolic surface, ψa Hecke-Maass form, and l a geodesic segment on X. We obtain a power saving over the local bound of Burq-Gérard-Tzvetkov for the L^2 norm of ψrestricted to l, by extending the technique of arithmetic amplification developed by Iwaniec and Sarnak. We also improve the local bounds for various Fourier coefficients of ψalong l.
We prove an upper bound for geodesic periods of Maass forms over hyperbolic manifolds. By definition, such periods are integrals of Maass forms restricted to a special geodesic cycle of the ambient manifold, against a Maass form on the cycle. Under certain restrictions, the bound will be uniform.
Prime Geodesic Theorem for Arithmetic Compact Surfaces: Principal Congruence Case
Morningside Center of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences(中国科学院数学与系统科学研究院);University of the Chinese Academy of Sciences(中国科学院大学);Hangzhou International Innovation Institute, Beihang University(北京航空航天大学杭州创新研究院);Qiuzhen College, Tsinghua University(清华大学求真学院);School of Mathematical Sciences, University of Scinece and Technology of China(中国科学技术大学数学科学学院)
We introduce the notion of weak commensurabilty of arithmetic subgroups and relate it to the length equivalence and isospectrality of locally symmetric spaces. We prove many strong consequences of weak commensurabilty and derive from these many interesting results about isolength and isospectral locally symmetric 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.
Through the Selberg zeta approach, we reduce the exponent in the error term of the prime geodesic theorem for cocompact Kleinian groups or Bianchi groups from Sarnak's $\frac{5}{3}$ to $\frac{3}{2}$. At the cost of excluding a set of finite logarithmic measure, the bound is further improved to $\frac{13}{9}$.
We find estimates for the restriction of automorphic forms on hyperbolic manifolds to compact geodesic cycles. The geodesic cycles we study are themselves hyperbolic manifolds of lower dimension. The restriction of an automorphic form to such a geodesic cycle can be expanded into eigenfunctions of the Laplacian on the geodesic cycle. We prove exponential decay for the coefficients in this expansion.
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…
On a family of arithmetic hyperbolic 3-manifolds of squarefree level, we prove an upper bound for the sup-norm of Hecke-Maass cusp forms, with a power saving over the local geometric bound simultaneously in the Laplacian eigenvalue and the volume. By a novel combination of diophantine and geometric arguments in a noncommutative setting, we obtain bounds as strong as the best corresponding results on arithmetic surfaces.
We prove prime geodesic theorems counting primitive closed geodesics on a compact hyperbolic 3-manifold with length and holonomy in prescribed intervals, which are allowed to shrink. Our results imply effective equidistribution of holonomy and have both the rate of shrinking and the strength of the error term fully symmetric in length and holonomy.
We prove that the covolume of any quasi-arithmetic hyperbolic lattice (a notion that generalizes the definition of arithmetic subgroups) is a rational multiple of the covolume of an arithmetic subgroup. As a corollary, we obtain a good description for the shape of the volumes of most of the known hyperbolic n-manifolds with n>3.
In this article, we study geometric aspects of semi-arithmetic Riemann surfaces by means of number theory and hyperbolic geometry. First, we show the existence of infinitely many semi-arithmetic Riemann surfaces of various shapes and prove that their systoles are dense in the positive real numbers. Furthermore, this leads to a construction, for each genus $g \geq 2,$ of infinite families of semi-arithmetic surfaces with pairwise distinct invariant trace fields, giving a negative answer to a conjecture of B. Jeon. Finally, for any semi-arithmetic surface we find a sequence of congruence coverin…
Numerical data concerning the growth of torsion in the first homology of non-arithmetic hyperbolic tetrahedral groups are collected. The data provide support the speculations of Bergeron and Venkatesh on the growth of torsion homology and the regulators for lattices in SL(2,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.
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.
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 prove the convergence and ergodicity of a wide class of real and higher-dimensional continued fraction algorithms, including folded and $α$-type variants of complex, quaternionic, octonionic, and Heisenberg continued fractions, which we combine under the framework of Iwasawa continued fractions. The proof is based on the interplay of continued fractions and hyperbolic geometry, the ergodicity of geodesic flow in associated modular manifolds, and a variation on the notion of geodesic coding that we refer to as geodesic marking. As a corollary of our study of markable geodesics, we obtain a g…
Let $d$ be a positive square-free integer $\equiv 3 \pmod{4}$ such that there is no invariant of the ideal class group $\mathbb{Q}\lbrack \sqrt{-d}\rbrack$ which is divisible by $4$. We prove an asymptotic formula for the number of immersed totally geodesic surfaces in $Γ_{-d}\backslash \mathbb{H}^3$ having area less than $X$.
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…
We show that every sequence of torsion-free arithmetic congruence lattices in $\mathrm{PGL}(2,\mathbb R)$ or $\mathrm{PGL}(2,\mathbb C)$ satisfies a strong quantitative version of the Limit Multiplicity property. We deduce that for $R>0$ in certain range, growing linearly in the degree of the invariant trace field, the volume of the $R$-thin part of any congruence arithmetic hyperbolic surface or congruence arithmetic hyperbolic $3$-manifold $M$ is of order at most $\mathrm{Vol}(M)^{11/12}$. As an application we prove Gelander's conjecture on homotopy type of arithmetic hyperbolic $3$-manifold…
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 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…
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…
Let $\calM=Γ\bs \calH^{(n)}$, where $\calH^{(n)}$ is a product of $n+1$ hyperbolic planes and $Γ\subset\PSL(2,\bbR)^{n+1}$ is an irreducible cocompact lattice. We consider closed geodesics on $\calM$ that propagate locally only in one factor. We show that, as the length tends to infinity, the holonomy rotations attached to these geodesics become equidistributed in $\PSO(2)^n$ with respect to a certain measure. For the special case of lattices derived from quaternion algebras, we can give another interpretation of the holonomy angles under which this measure arises naturally.
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.
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…