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.
This paper shows that one cannot "hear" the rational cohomology ring of a hyperbolic 3-manifold. More precisely, while it is well-known that strongly isospectral manifolds have the same cohomology as vector spaces, we give an example of compact hyperbolic 3-manifolds that are strongly isospectral but have nonisomorphic rational cohomology rings. Along the way we implement a computer program which finds the nullity of the cup product map $H^1(M;\mathbb{Q})\wedge H^1(M;\mathbb{Q})\rightarrow H^2(M;\mathbb{Q})$ for any aspherical space in terms of the presentation of the fundamental group.
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(巴黎东克雷泰伊大学、古斯塔夫·埃菲尔大学、法国国家科学研究中心)
In this paper we construct, for n >= 2, arbitrarily large families of infinite towers of compact, orientable Riemannian n-manifolds which are isospectral but not isometric at each stage. In dimensions two and three, the towers produced consist of hyperbolic 2-manifolds and hyperbolic 3-manifolds, and in these cases we show that the isospectral towers do not arise from Sunada's method.
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.
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 construct infinitely many examples of pairs of isospectral but non-isometric $1$-cusped hyperbolic $3$-manifolds. These examples have infinite discrete spectrum and the same Eisenstein series. Our constructions are based on an application of Sunada's method in the cusped setting, and so in addition our pairs are finite covers of the same degree of a 1-cusped hyperbolic 3-orbifold (indeed manifold) and also have the same complex length-spectra. Finally we prove that any finite volume hyperbolic 3-manifold isospectral to the figure-eight knot complement is homeomorphic to the figure-eight kno…
In this note we show that the expected value of the separating systole of a random surface of genus $g$ with respect to Weil-Petersson volume behaves like $2\log g $ as the genus goes to infinity. This is in strong contrast to the behavior of the expected value of the systole which, by results of Mirzakhani and Petri, is independent of genus.
We obtain the exact values of the systoles of these hyperbolic surfaces of genus $g$ with cyclic symmetries of the maximum order and the next maximum order. Precisely: for genus $g$ hyperbolic surface with order $4g+2$ cyclic symmetry, the systole is $2\mathrm{arccosh} (1+\cos \fracπ{2g+1}+\cos \frac{2π}{2g+1})$ when $g\ge 7$, and for genus $g$ hyperbolic surface with order $4g$ cyclic symmetry, the systole is $2\mathrm{arccosh} (1+2\cos \fracπ{2g})$ when $g\ge4$.
A proof that the separating curve complex of the closed genus two surface has a quasi-distance formula and is delta hyperbolic using tools of Masur and Schleimer. This answers in the affirmative a Conjecture of Schleimer.
Some conjectures about Heegaard genera and ranks of fundamental groups of 3-manifolds are formulated, and it is shown that they imply new statements about hyperbolic volume.
Let $M_g$ be the moduli space of hyperbolic surfaces of genus $g$ endowed with the Weil-Petersson metric. In this paper, we show that for any $ε>0$, as genus $g$ goes to infinity, a generic surface $X\in M_g$ satisfies that the first eigenvalue $λ_1(X)>\frac{3}{16}-ε$. As an application, we also show that a generic surface $X\in M_g$ satisfies that the diameter $\mathrm{diam}(X)<(4+ε)\ln(g)$ for large genus.
In this article we study the spectrum of totally geodesic surfaces of a finite volume hyperbolic 3-manifold. We show that for arithmetic hyperbolic 3-manifolds that contain a totally geodesic surface, this spectrum determines the commensurability class. In addition, we show that any finite volume hyperbolic 3-manifold has many pairs of non-isometric finite covers with identical spectra. Forgetting multiplicities, we can also construct pairs where the volume ratio is unbounded.
We show the existence of an infinite collection of hyperbolic knots where each of which has in its exterior meridional essential planar surfaces of arbitrarily large number of boundary components, or, equivalently, that each of these knots has essential tangle decompositions of arbitrarily large number of strings. Moreover, each of these knots has in its exterior meridional essential surfaces of any positive genus and (even) number of boundary components. That is, the compact surfaces that have a meridional essential embedding into a hyperbolic knot exterior have meridional essential embedding…
We analyze the orbifolds that can be obtained as quotients of hyperbolic 3-manifolds admitting a Heegaard splitting of genus two by their orientation preserving isometry groups. The genus two hyperbolic 3-manifolds are exactly the hyperbolic 2-fold branched coverings of 3-bridge links. If the 3-bridge link is a knot, we prove that the underlying topological space of the quotient orbifold is either the 3-sphere or a lens space and we describe the combinatorial setting of the singular set for each possible isometry group. In the case of 3-bridge links with two or three components, the situation …
An L-space is a rational homology 3-sphere with minimal Heegaard Floer homology. We give the first examples of hyperbolic L-spaces with no symmetries. In particular, unlike all previously known L-spaces, these manifolds are not double branched covers of links in S^3. We prove the existence of infinitely many such examples (in several distinct families) using a mix of hyperbolic geometry, Floer theory, and verified computer calculations. Of independent interest is our technique for using interval arithmetic to certify symmetry groups and non-existence of isometries of cusped hyperbolic 3-manifo…
We show that any finitely generated non-elementary Kleinian group has a co-final family of finite index normal subgroups with respect to which it has Property $τ$. As a consequence, any closed hyperbolic 3-manifold has a co-final family of finite index normal subgroups for which the infimal Heegaard gradient is positive.
We consider the relationship between hyperbolic cone-manifold structures on surfaces, and algebraic representations of the fundamental group into a group of isometries. A hyperbolic cone-manifold structure on a surface, with all interior cone angles being integer multiples of $2π$, determines a holonomy representation of the fundamental group. We ask, conversely, when a representation of the fundamental group is the holonomy of a hyperbolic cone-manifold structure. In this paper we build upon previous work with punctured tori to prove results for higher genus surfaces. Our techniques construct…
We construct a counterexample to the Rank versus Genus Conjecture, i.e. a closed orientable hyperbolic 3-manifold with rank of its fundamental group smaller than its Heegaard genus. Moreover, we show that the discrepancy between rank and Heegaard genus can be arbitrarily large for hyperbolic 3-manifolds. We also construct toroidal such examples containing hyperbolic JSJ pieces.
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.
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…
We show that if M is a complete, finite-volume, hyperbolic 3-manifold having exactly one cusp, and if H_1(M;Z_2) has dimension at least 6, then M has volume greater than 5.06. We also show that if M is a closed, orientable hyperbolic 3-manifold such that H_1(M;Z_2) has dimension at least 4, and if the image of the cup product map in H^2(M;Z_2) has dimension at most 1, then M has volume greater than 3.08. The proofs of these geometric results involve new topological results relating the Heegaard genus of a closed Haken manifold M to the Euler characteristic of the kishkes (i.e guts) of the comp…
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.
Suppose that $M$ is a hyperbolic surface of genus $g$ and with $n$ cusps. Then we can find a pants decomposition of $M$ composed of simple closed geodesics so that each curve is contained in a ball of diameter at most $C\sqrt{g + n}$, where $C$ is a universal constant.
In this article we explore the relationship between the systole and the diameter of closed hyperbolic orientable surfaces. We show that they satisfy a certain inequality, which can be used to deduce that their ratio has a (genus dependent) upper bound.
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 (…
This article is based on the methods developed in [AGG]. We construct a complex hyperbolic structure on a trivial disc bundle over a closed orientable surface $Σ$ (of genus 2) thus solving a long standing problem in complex hyperbolic geometry (see [Gol1, p. 583] and [Sch, p. 14]). This example answers also [Eli, Open Question 8.1] if a trivial circle bundle over a closed surface of genus >1 admits a holomorphically fillable contact structure. The constructed example M satisfies the relation $2(χ+e)=3τ$ which is necessary for the existence of a holomorphic section of the bundle, where $χ=χΣ$ s…
An embedding of a metric graph $(G, d)$ on a closed hyperbolic surface is \emph{essential}, if each complementary region has a negative Euler characteristic. We show, by construction, that given any metric graph, its metric can be rescaled so that it admits an essential and isometric embedding on a closed hyperbolic surface. The essential genus $g_e(G)$ of $(G, d)$ is the lowest genus of a surface on which such an embedding is possible. In the next result, we establish a formula to compute $g_e(G)$. Furthermore, we show that for every integer $g\geq g_e(G)$, $(G, d)$ admits such an embedding (…
We study uniformly random maps with a single face, genus $g$, and size $n$, as $n,g\rightarrow \infty$ with $g = o(n)$, in continuation of several previous works on the geometric properties of "high genus maps". We calculate the number of short simple cycles, and we show convergence of their lengths (after a well-chosen rescaling of the graph distance) to a Poisson process, which happens to be exactly the same as the limit law obtained by Mirzakhani and Petri (2019) when they studied simple closed geodesics on random hyperbolic surfaces under the Weil-Petersson measure as $g\rightarrow \infty$…
We show that any parabolic generating pair of a genus-one hyperbolic 2-bridge knot group is equivalent to the upper or lower meridian pair. As an application, we obtain a complete classification of the epimorphisms from 2-bridge knot groups to genus-one hyperbolic 2-bridge knot groups.
We study the variance of a linear statistic of the Laplace eigenvalues on a hyperbolic surface, when the surface varies over the moduli space of all surfaces of fixed genus, sampled at random according to the Weil-Petersson measure. The ensemble variance of the linear statistic was recently shown to coincide with that of the corresponding statistic in the Gaussian Orthogonal Ensemble (GOE) of random matrix theory, in the double limit of first taking large genus and then shrinking size of the energy window. In this note we show that in this same limit, the energy variance for a typical surface …
Little is known on the classification of Heegaard splittings for hyperbolic 3-manifolds. Although Kobayashi gave a complete classification of Heegaard splittings for the exteriors of 2-bridge knots, our knowledge of other classes is extremely limited. In particular, there are very few hyperbolic manifolds that are known to have a unique minimal genus splitting. Here we demonstrate that an infinite class of hyperbolic knot exteriors, namely exteriors of certain "twisted torus knots" originally studied by Morimoto, Sakuma and Yokota, have a unique minimal genus Heegaard splitting of genus two. W…
We prove Poisson approximation results for the bottom part of the length spectrum of a random closed hyperbolic surface of large genus. Here, a random hyperbolic surface is a surface picked at random using the Weil-Petersson volume form on the corresponding moduli space. As an application of our result, we compute the large genus limit of the expected systole.
The branched virtual fibering theorem by Sakuma states that every closed orientable $3$-manifold with a Heegaard surface of genus $g$ has a branched double cover which is a genus $g$ surface bundle over the circle. It is proved by Brooks that such a surface bundle can be chosen to be hyperbolic. We prove that the minimal entropy over all hyperbolic, genus $g$ surface bundles as branched double covers of the $3$-sphere behaves like 1/$g$. We also give an alternative construction of surface bundles over the circle in Sakuma's theorem when closed $3$-manifolds are branched double covers of the $3…
A theorem of Jorgensen and Thurston implies that the volume of a hyperbolic 3-manifold is bounded below by a linear function of its Heegaard genus. Heegaard surfaces and bridge surfaces often exhibit similar topological behavior; thus it is natural to extend this comparison to ask whether a $(g,b)$-bridge surface for a knot $K$ in $S^3$ carries any geometric information related to the knot exterior. In this paper, we show that (unlike in the case of Heegaard splittings) hyperbolic volume and genus $g$ bridge numbers are completely independent. That is, for any $g$, we construct explicit sequen…
A strictly convex real projective orbifold is equipped with a natural Finsler metric called the Hilbert metric. In the case that the projective structure is hyperbolic, the Hilbert metric and the hyperbolic metric coincide. We prove that the marked Hilbert length spectrum determines the projective structure only up to projective duality. A corollary is the existence of non-isometric diffeomorphic strictly convex projective manifolds (and orbifolds) that are isospectral. The corollary follows from work of Goldman and Choi, and Benoist.
We show that the complex hyperbolic metrics defined by Deligne-Mostow and Thurston on ${\mathcal{M}}_{0,n}$ are singular Kähler-Einstein metrics when ${\mathcal{M}}_{0,n}$ is embedded in the Deligne-Mumford-Knudsen compactification $\overline{\mathcal{M}}_{0,n}$. As a consequence, we obtain a formula computing the volumes of ${\mathcal{M}}_{0,n}$ with respect to these metrics using intersection of boundary divisors of $\overline{\mathcal{M}}_{0,n}$. In the case of rational weights, following an idea of Y. Kawamata, we show that these metrics actually represent the first Chern class of some lin…
Given a closed hyperbolic 3-manifold $M$, we construct a tower of covers with increasing Heegaard genus, and give an explicit lower bound on the Heegaard genus of such covers as a function of their degree. Using similar methods we prove that for any $ε>0$ there exist infinitely many congruence covers $\{M_i\}$ such that, for any $x \in M$, $M_i$ contains an embbeded ball $B_x$ (with center $x$) satisfying $\text{vol}(B_x) > (\text{vol}(M_i))^{\tfrac{1}{4}-ε}$. We get similar results in the arithmetic non-compact case.
It is proved by Sakuma and Brooks that any closed orientable $3$-manifold with a Heegaard splitting of genus $g$ admits a $2$-fold branched cover that is a hyperbolic $3$-manifold and a genus $g$ surface bundle over the circle. This paper concerns entropy of pseudo-Anosov monodromies for hyperbolic fibered $3$-manifolds. We prove that there exist infinitely many closed orientable $3$-manifolds $M$ such that the minimal entropy over all hyperbolic, genus $g$ surface bundles over the circle as $2$-fold branched covers of the $3$-manifold $M$ is comparable to $1/g$.
We show if M is a closed, connected, orientable, hyperbolic 3-manifold with Heegaard genus g then g >= 1/2 cosh(r) where r denotes the radius of any isometrically embedded ball in M. Assuming an unpublished result of Pitts and Rubinstein improves this to g >= 1/2 cosh(r) + 1/2. We also give an upper bound on the volume in terms of the flip distance of a Heegaard splitting, and describe isoperimetric surfaces in hyperbolic balls.
We show there exists a linear function w: N->N with the following property. Let K be a hyperbolic knot in a hyperbolic 3-manifold M admitting a non-longitudinal S^3 surgery. If K is put into thin position with respect to a strongly irreducible, genus g Heegaard splitting of M then K intersects a thick level at most 2w(g) times. Typically, this shows that the bridge number of K with respect to this Heegaard splitting is at most w(g), and the tunnel number of K is at most w(g) + g-1.
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.