We give the asymptotic growth of the number of (multi-)arcs of bounded length between boundary components on complete finite-area hyperbolic surfaces with boundary. Specifically, if $S$ has genus $g$, $n$ boundary components and $p$ punctures, then the number of orthogeodesic arcs in each pure mapping class group orbit of length at most $L$ is asymptotic to $L^{6g-6+2(n+p)}$ times a constant. We prove an analogous result for arcs between cusps, where we define the length of such an arc to be the length of the sub-arc obtained by removing certain cuspidal regions from the surface.
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.
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 …
We prove that the cardinality of the torsion subgroups in homology of a closed hyperbolic manifold of any dimension can be bounded by a doubly exponential function of its diameter. It would follow from a conjecture by Bergeron and Venkatesh that the order of growth in our bound is sharp. We also determine how the number of non-commensurable closed hyperbolic manifolds of dimension at least 3 and bounded diameter grows. The lower bound implies that the fraction of arithmetic manifolds tends to zero as the diameter goes up.
Let $S_{g,n}$ be a surface of genus $g $ with $n$ marked points. Let $X$ be a complete hyperbolic metric on $S_{g,n}$ with $n$ cusps. Every isotopy class $[γ]$ of a closed curve $γ\in π_{1}(S_{g,n})$ contains a unique closed geodesic on $X$. Let $\ell_γ(X)$ denote the hyperbolic length of the geodesic representative of $γ$ on $X$. In this paper, we study the asymptotic growth of the lengths of closed curves of a fixed topological type on $S_{g,n}.$ As an application, one can obtain the asymptotics of the growth of $s^{k}_{X}(L)$, the number of closed curves of length $\leq L$ on $X$ with at mo…
This note addresses some questions that arise in the series of works by Kyoji Saito on the growth functions of graphs. We study "hyperbolike" graphs, which include Cayley graphs of hyperbolic groups. We generalize some well-known results on hyperbolic groups to the hyperbolike setting, including rationality of generating functions, and sharp estimates on the growth rate of vertices. We then apply these results to confirm a conjecture of Saito on the "opposite series", which was originally posed for hyperbolic groups.
We count the number of conjugacy classes of maximal, genus g, surface subroups in hyperbolic 3-manifold groups. For any closed hyperbolic 3-manifold, we show that there is an upper bound on this number which grows factorially with g. We also give a class of closed hyperbolic 3-manifolds for which there is a lower bound of the same type.
We prove a quantitative estimate, with a power saving error term, for the number of simple closed geodesics of length at most $L$ on a compact surface equipped with a Riemannian metric of negative curvature. The proof relies on the exponential mixing rate for the Teichmüller geodesic flow.
We study properties of generic elements of groups of isometries of hyperbolic spaces. Under general combinatorial conditions, we prove that loxodromic elements are generic (i.e. they have full density with respect to counting in balls for the word metric) and translation length grows linearly. We provide applications to a large class of relatively hyperbolic groups and graph products, including right-angled Artin groups and right-angled Coxeter groups.
Let $Σ$ be a hyperbolic surface. We study the set of curves on $Σ$ of a given type, i.e. in the mapping class group orbit of some fixed but otherwise arbitrary $γ_0$. For example, in the particular case that $Σ$ is a once-punctured torus, we prove that the cardinality of the set of curves of type $γ_0$ and of at most length $L$ is asymptotic to $L^2$ times a constant.
Given a connected, oriented, complete, finite area hyperbolic surface $X$ of genus $g$ with $n$ punctures, Mirzakhani showed that the number of multi-geodesics on $X$ of total hyperbolic length $\leq L$ in the mapping class group orbit of a given simple or filling closed multi-curve is asymptotic as $L \to \infty$ to a polynomial in $L$ of degree $6g-6+2n$. We establish asymptotics of the same kind for countings of multi-geodesics in mapping class group orbits of simple or filling closed multi-curves that keep track of the hyperbolic lengths of individual components, proving and generalizing a…
This article is devoted to the variational study of two functions defined over some Teichmueller spaces of hyperbolic surfaces. One is the systole of geodesic loops based at some fixed point, and the other one is the systole of arcs.\par For each of them we determine all the critical points. It appears that the systole of arcs is a topological Morse function, whereas the systole of geodesic loops have some degenerate critical points. However, these degenerate critical points are in some sense the obvious one, and they do not interfere in the variational study of the function.\par At a nondegen…
Given a cusped hyperbolic 3-manifold with finite volume, we define two types of complex parameters which capture geometric information about the preimages of geodesic arcs traveling between cusp cross-sections. We prove that these parameters are elements of the invariant trace field of the manifold, providing a connection between the intrinsic geometry of a 3-manifold and its number-theoretic invariants. Further, we explore the question of choosing a minimal collection of arcs and associated parameters to generate the field. We prove that for a tunnel number $k$ manifold it is enough to choose…
We show that the number of isometry classes of cusped hyperbolic $3$-manifolds that bound geometrically grows at least super-exponentially with their volume, both in the arithmetic and non-arithmetic settings.
We show that the number of square-tiled surfaces of genus $g$, with $n$ marked points, with one or both of its horizontal and vertical foliations belonging to fixed mapping class group orbits, and having at most $L$ squares, is asymptotic to $L^{6g-6+2n}$ times a product of constants appearing in Mirzakhani's count of simple closed hyperbolic geodesics. Many of the results in this paper reflect recent discoveries of Delecroix, Goujard, Zograf, and Zorich, but the approach considered here is very different from theirs. We follow conceptual and geometric methods inspired by Mirzakhani's work.
Let $S$ be a closed orientable hyperbolic surface, and let $\mathcal{O}(K,S)$ denote the number of mapping class group orbits of curves on $S$ with at most $K$ self-intersections. Building on work of Sapir [16], we give upper and lower bounds for $\mathcal{O}(K,S)$ which are both exponential in $\sqrt{K}$.
Let $G \curvearrowright X$ be a nonelementary action by isometries of a hyperbolic group $G$ on a hyperbolic metric space $X$. We show that the set of elements of $G$ which act as loxodromic isometries of $X$ is generic. That is, for any finite generating set of $G$, the proportion of $X$--loxodromics in the ball of radius $n$ about the identity in $G$ approaches $1$ as $n \to \infty$. We also establish several results about the behavior in $X$ of the images of typical geodesic rays in $G$; for example, we prove that they make linear progress in $X$ and converge to the Gromov boundary $\partia…
For closed odd-dimensional manifolds with sectional curvature less or equal than -1, we define the minimal surface entropy that counts the number of surface subgroups. It attains the minimum if and only if the metric is hyperbolic. Moreover, we compute the entropy associated with other locally symmetric spaces and cusped hyperbolic 3-manifolds.
We define an associative algebra AS_h(S) generated by framed arcs and links over a punctured surface S which is a quantization of the Poisson algebra C(S) of arcs and curves on S. We then construct a Poisson algebra homomorphism from C(S) to the space of smooth functions on the decorated Teichmuller space endowed with the Weil-Petersson Poisson structure. The construction relies on a collection of geodesic lengths identities in hyperbolic geometry which generalize Penner's Ptolemy relation, the trace identities and Wolpert's cosine formula. As a consequence, we derive an explicit formula for t…
We study orbital functions associated to finitely generated geometrically infinite Kleinian groups acting on the hyperbolic space $\mathbb{H}^3$, developing a new method based on the use of the Brownian motion. On the way, we give some estimates of the orbital function associated to nilpotent covers of compact hyperbolic manifolds, partially answering a question asked by M. Pollicott to the author.
In her thesis, Mirzakhani showed that the number of simple closed geodesics of length $\leq L$ on a closed, connected, oriented hyperbolic surface $X$ of genus $g$ is asymptotic to $L^{6g-6}$ times a constant depending on the geometry of $X$. In this survey we give a detailed account of Mirzakhani's proof of this result aimed at non-experts. We draw inspiration from classic primitive lattice point counting results in homogeneous dynamics. The focus is on understanding how the general principles that drive the proof in the case of lattices also apply in the setting of hyperbolic surfaces.
We discuss analogues of the prime number theorem for a hyperbolic rational map f of degree at least two on the Riemann sphere. More precisely, we provide counting estimates for the number of primitive periodic orbits of f ordered by their multiplier, and also obtain equidistribution of the associated holonomies; both estimates have power savings error terms. Our counting and equidistribution results will follow from a study of dynamical zeta functions that have been twisted by characters of $S^1$. We will show that these zeta functions are non-vanishing on a half plane $\Re(s) > δ- ε$, where $…
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…
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（乌得勒支大学）
Let G be the identity component of SO(n,1), acting linearly on a finite dimensional real vector space V. Consider a vector w_0 in V such that the stabilizer of w_0 is a symmetric subgroup of G or the stabilizer of the line Rw_0 is a parabolic subgroup of G. For any non-elementary discrete subgroup Gamma of G with w_0Gamma discrete, we compute an asymptotic formula for the number of points in w_0Gamma of norm at most T, provided that the Bowen-Margulis-Sullivan measure on the associated hyperbolic manifold and the Gamma skinning size of w_0 are finite. The main ergodic ingredient in our approac…
We prove that the minimal diameter of a hyperbolic compact orientable surface of genus $g$ is asymptotic to $\log g$ as $g \to \infty$. The proof relies on a random construction, which we analyse using lattice point counting theory and the exploration of random trivalent graphs.
We present recent results on counting and distribution of circles in a given circle packing invariant under a geometrically finite Kleinian group and discuss how the dynamics of flows on geometrically finite hyperbolic $3$ manifolds are related. Our results apply to Apollonian circle packings, Sierpinski curves, Schottky dances, etc.
We introduced an asymptotic quantity that counts area-minimizing surfaces in negatively curved closed 3-manifolds and show that quantity to only be minimized, among all metrics of sectional curvature less than or equal -1, by the hyperbolic metric.
We establish central limit theorems for an action of a group G on a hyperbolic space X with respect to the counting measure on a Cayley graph of G. Our techniques allow us to remove the usual assumptions of properness and smoothness of the space, or cocompactness of the action. We provide several applications which require our general framework, including to lengths of geodesics in geometrically finite manifolds and to intersection numbers with submanifolds.
We define a norm on homology of punctured tori equipped with a complete hyperbolic metric of finite volume and use it to find asymptotics on the growth of the number of simple geodesics of bounded length.
We prove that there is a true asymptotic formula for the number of one sided simple closed curves of length $\leq L$ on any Fuchsian real projective plane with three points removed. The exponent of growth is independent of the hyperbolic structure, and it is noninteger, in contrast to counting results of Mirzakhani for simple closed curves on orientable Fuchsian surfaces.
Cutting a hyperbolic surface X along a simple closed multi-geodesic results in a hyperbolic structure on the complementary subsurface. We study the distribution of the shapes of these subsurfaces in moduli space as boundary lengths go to infinity, showing that they equidistribute to the Kontsevich measure on a corresponding moduli space of metric ribbon graphs. In particular, random subsurfaces look like random ribbon graphs, a law which does not depend on the initial choice of X. This result strengthens Mirzakhani's famous simple closed multi-geodesic counting theorems for hyperbolic surfaces…
The aim of this (mostly expository) article is twofold. We first explore a variety of length functions on the space of currents, and we survey recent work regarding applications of length functions to counting problems. Secondly, we use length functions to provide a proof of a folklore theorem which states that pseudo-Anosov homeomorphisms of closed hyperbolic surfaces act on the space of projective geodesic currents with uniform north-south dynamics.
Following the work of Rosendal and Mann and Rafi, we try to answer the following question: when is the mapping class group of an infinite-type surface quasi-isometric to a graph whose vertices are curves on that surface? With the assumption of tameness as defined by Mann and Rafi, we describe a necessary and sufficient condition, called translatability, for a geometrically nontrivial big mapping class group to admit such a quasi-isometry. In addition, we show that the mapping class group of the plane minus a Cantor set is quasi-isometric to the loop graph defined by Bavard, which we believe re…
The purpose of this article is to produce effective versions of some rigidity results in algebra and geometry. On the geometric side, we focus on the spectrum of primitive geodesic lengths (resp., complex lengths) for arithmetic hyperbolic 2-manifolds (resp., 3-manifolds). By work of Reid, this spectrum determines the commensurability class of the 2-manifold (resp., 3-manifold). We establish effective versions of these rigidity results by ensuring that, for two incommensurable arithmetic manifolds of bounded volume, the length sets (resp., the complex length sets) must disagree for a length th…
Given integers $g,n \geq 0$ satisfying $2-2g-n < 0$, let $\mathcal{M}_{g,n}$ be the moduli space of connected, oriented, complete, finite area hyperbolic surfaces of genus $g$ with $n$ cusps. We study the global behavior of the Mirzakhani function $B \colon \mathcal{M}_{g,n} \to \mathbf{R}_{\geq 0}$ which assigns to $X \in \mathcal{M}_{g,n}$ the Thurston measure of the set of measured geodesic laminations on $X$ of hyperbolic length $\leq 1$. We improve bounds of Mirzakhani describing the behavior of this function near the cusp of $\mathcal{M}_{g,n}$ and deduce that $B$ is square-integrable wi…
Given a compact orientable surface of negative Euler characteristic, there exists a natural pairing between the Teichmueuller space of the surface and the set of homotopy classes of simple loops and arcs. The length pairing sends a hyperbolic metric and a homotopy class of a simple loop or arc to the length of geodesic in its homotopy class. We study this pairing function using the Fenchel-Nielsen coordinates on Teichmueller space and the Dehn-Thurston coordinates on the space of homotopy classes of curve systems. Our main result establishes Lipschitz type estimates for the length pairing expr…
We show that if a f.g. group $G$ has a non-elementary WPD action on a hyperbolic metric space $X$, then the number of $G$-conjugacy classes of $X$-loxodromic elements of $G$ coming from a ball of radius $R$ in the Cayley graph of $G$ grows exponentially in $R$. As an application we prove that for $N\ge 3$ the number of distinct $Out(F_N)$-conjugacy classes of fully irreducibles $ϕ$ from an $R$-ball in the Cayley graph of $Out(F_N)$ with $\logλ(ϕ)$ on the order of $R$ grows exponentially in $R$.
In this paper, we construct polynomial growth harmonic maps from once-punctured Riemann surfaces of any finite genus to any even-sided, regular, ideal polygon in the hyperbolic plane. We also establish their uniqueness within a class of maps which differ by exponentially decaying variations. Previously, harmonic maps from once-punctured spheres to the hyperbolic plane have been parameterized by holomorphic quadratic differentials on the complex plane. Our harmonic maps, mapping a genus g>1 domain to a k-sided polygon, correspond to meromorphic quadratic differentials having one pole of order (…
In this paper we consider an elementary, and largely unexplored, combinatorial problem in low-dimensional topology. Consider a real 2-dimensional compact surface $S$, and fix a number of points $F$ on its boundary. We ask: how many configurations of disjoint arcs are there on $S$ whose boundary is $F$? We find that this enumerative problem, counting curves on surfaces, has a rich structure. For instance, we show that the curve counts obey an effective recursion, in the general framework of topological recursion. Moreover, they exhibit quasi-polynomial behaviour. This "elementary curve-counting…
