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 expressed in terms of these coordinates. As a consequence, we reestablish a result of Thurston-Bonahon that the length pairing extends to a continuous map from the product of the Teichmueller space and the space of measured laminations.
We give an identity involving sums of functions of lengths of simple closed geodesics, known as a McShane identity, on any non-orientable hyperbolic surface with boundary which generalises Mirzakhani's identities on orientable hyperbolic surfaces with boundary.
We investigate the maximal solid tubes around short simple geodesics in hyperbolic three-manifolds and how complex length of curves relate to closed, incompressible, least area minimal surfaces. As applications, we prove, there are some closed hyperbolic three-manifolds fibering over the circle which are not foliated by closed incompressible minimal surfaces diffeomorphic to the fiber. We also show, the existence of quasi-Fuchsian manifolds containing arbitrarily many embedded closed incompressible minimal surfaces. Our strategy is to prove main theorems under natural geometric conditions on t…
We show that the length $R$ of a systole of a closed hyperbolic $n$-manifold $(n \geq 3)$ admitting a triangulation by $t$ $n$-simplices can be bounded below by a function of $n$ and $t$, namely \[ R \geq \frac{1}{2^{(nt)^{O(n^4t)} }} .\] We do this by finding a relation between the number of $n$-simplices and the diameter of the manifold and by giving explicit bounds for a well known relation between the length of the core curve of a Margulis tube and its radius. We prove the same result for finite volume manifolds, with a similar but slightly more involved proof.
Isospectrality and isometry groups for infinite-type hyperbolic surfaces with discrete length spectrum
CNRS, Univ Paris Est Creteil, Univ Gustave Eiffel, LAMA UMR8050（法国国家科学研究中心、巴黎东克雷泰伊大学、古斯塔夫·埃菲尔大学）；Univ Paris Est Creteil, Univ Gustave Eiffel, CNRS, LAMA UMR8050（巴黎东克雷泰伊大学、古斯塔夫·埃菲尔大学、法国国家科学研究中心）
Let $M$ be a compact hyperbolic $3$-manifold with volume $V$. Let $L$ be a link such that $M\setminus L$ is hyperbolic. For any hyperbolic link $L$ in $M$, in this article, we establish an upper bound of the length of an $n^{th}$ shortest closed geodesic as a logarithmic function of $V$ in $M\setminus L$. Our works complement the work of Lakeland and Leininger \cite{Christopher} on the upper bound of systole length.
We study decompositions of complex hyperbolic isometries as products of involutions. We show that PU(2,1) has involution length 4 and commutator length 1, and that for all $n \geqslant 3$ PU($n$,1) has involution length at most 8.
In the present paper, we show that the minimal length of closed geodesics on finite-type hyperbolic surfaces with self-intersection number $k$ has order $2\log k$ as $k$ gets large.
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…
The lengths of geodesics on hyperbolic surfaces satisfy intriguing equations, known as identities, relating these lengths to geometric quantities of the surface. This paper is about a large family of identities that relate lengths of closed geodesics and orthogeodesics to boundary lengths or number of cusps. These include, as particular cases, identities due to Basmajian, to McShane and to Mirzakhani and Tan-Wong-Zhang. In stark contrast to previous identities, the identities presented here include the lengths taken among all closed geodesics.
Let $M = H^3/Γ$ be a hyperbolic 3-manifold, where $Γ$ is a non-elementary Kleinian group. It is shown that the length spectrum of $M$ is of unbounded multiplicity.
Each free homotopy class of directed closed curves on a surface with boundary can be described by a cyclic reduced word in the generators of the fundamental group and their inverses. The word length is the number of letters of the cyclic word. If the surface has a hyperbolic metric with geodesic boundary, the geometric length of the class is the length of the unique geodesic. By computer experiments, we investigate the distribution of the geometric length among all classes with a given word length in the pair of pants surface. Our experiments strongly suggest that the distribution is normal.
We survey some of our recent results on length series identities for hyperbolic (cone) surfaces, possibly with cusps and/or boundary geodesics; classical Schottky groups; representations/characters of the one-holed torus group to $SL(2, \mathbf C)$; and hyperbolic 3 manifolds obtained by hyperbolic Dehn surgery on punctured torus bundles over the circle. These can be regarded as generalizations and variations of McShane's identity for cusped hyperbolic surfaces, which has found some striking applications in the recent work of Mirzakhani. We discuss some of the methods and techniques used to ob…
Let $S$ be a torus with a hyperbolic metric admitting one puncture or cone singularity. We describe which infinitesimal deformations of $S$ lengthen (or shrink) all closed geodesics. We also study how the answer degenerates when $S$ becomes Euclidean, i.e. very small.
Given a hyperelliptic hyperbolic surface $S$ of genus $g \geq 2$, we find bounds on the lengths of homologically independent loops on $S$. As a consequence, we show that for any $λ\in (0,1)$ there exists a constant $N(λ)$ such that every such surface has at least $\lceil λ\cdot \frac{2}{3} g \rceil$ homologically independent loops of length at most $N(λ)$, extending the result in [Mu] and [BPS]. This allows us to extend the constant upper bound obtained in [Mu] on the minimal length of non-zero period lattice vectors of hyperelliptic Riemann surfaces to almost $\frac{2}{3} g$ linearly independ…
In this paper we obtain a bound on the number of isometry classes of finite area hyperbolic surfaces which are length isospectral to a given surface depending only on the topological type of the surface and the length of the shortest closed geodesic on the surface. This will follow from a more general bound applying to any family of hyperbolic surfaces which admits a Bers' constant and with a lower bound on systole length.
We exhibit the first examples of hyperbolic three-manifolds for which the Seiberg-Witten equations do not admit any irreducible solution. Our approach relies on hyperbolic geometry in an essential way; it combines an explicit upper bound for the first eigenvalue on coexact $1$-forms $λ_1^*$ on rational homology spheres which admit irreducible solutions together with a version of the Selberg trace formula relating the spectrum of the Laplacian on coexact $1$-forms with the volume and complex length spectrum of a hyperbolic three-manifold. Using these relationships, we also provide precise numer…
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 show that for a closed hyperbolic 3-manifold the size of the first eigenvalue of the Hodge Laplacian acting on coexact 1-forms is comparable to an isoperimetric ratio relating geodesic length and stable commutator length with comparison constants that depend polynomially on the volume and on a lower bound on injectivity radius, refining estimates of Lipnowski and Stern. We use this estimate to show that there exist sequences of closed hyperbolic 3-manifolds with injectivity radius bounded below and volume going to infinity for which the 1-form Laplacian has spectral gap vanishing exponentia…
We show that any infinite-type surface without planar ends admits arbitrarily large families of length isospectral hyperbolic structures. If the surface has infinite genus and its space of ends is self-similar, we construct an uncountable family of isospectral and quasiconformally distinct hyperbolic structures.
We consider a coarse version of the marked length spectrum rigidity: given a group with two left invariant metrics, if the marked length spectrum (the translation length function) under the two metrics are the same, then the two metrics are uniformly close. We prove the rigidity theorem for relatively hyperbolic groups. This generalizes a result of Fujiwara.
In hep-th/9805025, a result for the symmetric 3-loop massive tetrahedron in 3 dimensions was found, using the lattice algorithm PSLQ. Here we give a more general formula, involving 3 distinct masses. A proof is devised, though it cannot be accounted as a derivation; rather it certifies that an Ansatz found by PSLQ satisfies a more easily derived pair of partial differential equations. The result is similar to Schläfli's formula for the volume of a bi-rectangular hyperbolic tetrahedron, revealing a novel connection between 3-loop diagrams and 1-loop boxes. We show that each reduces to a common …
We present a construction of sequences of closed hyperbolic surfaces that have long systoles which form pants decompositions of these surfaces. The length of the systoles of these surfaces grows logarithmically as a function of their genus.
The waist size of a cusp in an orientable hyperbolic 3-manifold is the length of the shortest nontrivial curve generated by a parabolic isometry in the maximal cusp boundary. Previously, it was shown that the smallest possible waist size, which is 1, is realized only by the cusp in the figure-eight knot complement. In this paper, it is proved that the next two smallest waist sizes are realized uniquely for the cusps in the $5_2$ knot complement and the manifold obtained by (2,1)-surgery on the Whitehead link. One application is an improvement on the universal upper bound for the length of an u…
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…
This paper studies the combinatorial Yamabe flow on hyperbolic bordered surfaces. We show that the flow exists for all time and converges exponentially fast to conformal factor which produces a hyperbolic surface whose lengths of boundary components are equal to prescribed positive numbers. This provides an algorithm to such problems.
This article explores closed geodesics on hyperbolic surfaces. We show that, for sufficiently large $k$, the shortest closed geodesics with at least $k$ self-intersections, taken among all hyperbolic surfaces, all lie on an ideal pair of pants and have length $2\arccosh(2k+1)$.
We study the geometry of hyperbolic cone surfaces, possibly with cusps or geodesic boundaries. We prove that any hyperbolic cone structure on a surface of non-exceptional type is determined up to isotopy by the geodesic lengths of a finite specific homotopy classes of non-peripheral simple closed curves. As an application, we show that the Thurston asymmetric metric is well-defined on the Teichmüller space of hyperbolic cone surfaces with fixed cone angles and boundary lengths. We compare such a Teichmüller space with the Teichmüller space of complete hyperbolic surfaces with punctures, by sho…
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…
In this note, we develop a condition on a closed curve on a surface or in a 3-manifold that implies that the curve has the property that its length function on the space of all hyperbolic structures on the surface or 3-manifold completely determines the curve. For an orientable surface $S$ of negative Euler characteristic, we extend the known result that simple curves have this property to curves with self-intersection number one (with one exceptional case on closed surfaces of genus two that we describe completely), while for hyperbolizable 3-manifolds, we show that curves freely homotopic to…
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.
In this paper, we determine the distribution of the length partition of a random multicurve of fixed topological type on a closed hyperbolic surface using the methods of Margulis' thesis and Mirzakhani's equidistribution theorem for horospheres. This distribution admits a polynomial density, whose coefficients can be expressed explicitly in terms of intersection numbers of psi-classes on the Deligne--Mumford compactification, and in particular it does not depend on the hyperbolic metric. This result generalizes prior work of M. Mirzakhani in the case of random pants decompositions. Results ver…
In this paper we show that a given set of lengths of closed geodesics, there are only finitely many convex cocompact hyperbolic 3-manifolds with that specified length spectrum, homotopy equivalent to a given 3-manifold without a handlebody factor, up to orientation preserving isometries.
The main goal of this note is to show that the study of closed hyperbolic surfaces with maximum length systole is in fact the study of surfaces with maximum length homological systole. The same result is shown to be true for once-punctured surfaces, and is shown to fail for surfaces with a large number of cusps.
Let $X_0$ be a complete hyperbolic surface of infinite type that has a geodesic pants decomposition with cuff lengths bounded above. The length spectrum Teichmüller space $T_{ls}(X_0)$ consists of homotopy classes of hyperbolic metrics on $X_0$ such that the ratios of the corresponding simple closed geodesic for the hyperbolic metric on $X_0$ and for the other hyperbolic metric are bounded from the below away from 0 and from the above away from $\infty$ (cf. \cite{ALPS}). This paper studies earthquakes in the length spectrum Teichmüller space $T_{ls}(X_0)$. We find a necessary condition and se…
Let $τ$ be an $n$-simplex and let $g$ be a metric on $τ$ with constant curvature $κ$. The lengths that $g$ assigns to the edges of $τ$, along with the value of $κ$, uniquely determine all of the geometry of $(τ, g)$. In this paper we focus on hyperbolic simplices ($κ= -1$) and develop geometric formulas which rely only on the edge lengths of $τ$. Our main results are distance and projection formulas in hyperbolic simplices, as well as a projection formula in Euclidean simplices. We also provide analogous formulas in simplices with arbitrary constant curvature $κ$.
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…
We study the length statistics of the components of a random multicurve on a surface of genus $g \geq 2$. For each fixed genus, the existence of such statistics follows from the work of M.~Mirzakhani, F.~Arana-Herrera and M.~Liu. We prove that as the genus $g$ tends to infinity the statistics converge in law to the Poisson--Dirichlet distribution of parameter $θ=1/2$. In particular, as the genus tends to infinity the mean length of the three longest components converge respectively to $75.8\%$, $17.1\%$ and $4.9\%$ of the total length.
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…
Given a closed hyperbolic 3-manifold M of volume V, and a link L in M such that the complement M \ L is hyperbolic, we establish a bound for the systole length of M \ L in terms of V. This extends a result of Adams and Reid, who showed that in the case that M is not hyperbolic, there is a universal bound of 7.35534... . As part of the proof, we establish a bound for the systole length of a non-compact finite volume hyperbolic manifold which grows asymptotically like (4/3)log(V).
In this paper we will study the statistics of the unit geodesic flow normal to the boundary of a hyperbolic manifold with non-empty totally geodesic boundary. Viewing the time it takes this flow to hit the boundary as a random variable, we derive a formula for its moments in terms of the orthospectrum. The first moment gives the average time for the normal flow acting on the boundary to again reach the boundary, which we connect to Bridgeman's identity (in the surface case), and the zeroth moment recovers Basmajian's identity. Furthermore, we are able to give explicit formulae for the first mo…
