This paper develops a theory of Lipschitz comparisons of hyperbolic surfaces analogous to the theory of quasi-conformal comparisons. Extremal Lipschitz maps (minimal stretch maps) and geodesics for the `Lipschitz metric' are constructed. The extremal Lipschitz constant equals the maximum ratio of lengths of measured laminations, which is attained with probability one on a simple closed curve. Cataclysms are introduced, generalizing earthquakes by permitting more violent shearing in both directions along a fault. Cataclysms provide useful coordinates for Teichmuller space that are convenient for computing derivatives of geometric function in Teichmuller space and measured lamination space.
Let Gamma_0 be a discrete group. For a pair (j,rho) of representations of Gamma_0 into PO(n,1)=Isom(H^n) with j geometrically finite, we study the set of (j,rho)-equivariant Lipschitz maps from the real hyperbolic space H^n to itself that have minimal Lipschitz constant. Our main result is the existence of a geodesic lamination that is "maximally stretched" by all such maps when the minimal constant is at least 1. As an application, we generalize two-dimensional results and constructions of Thurston and extend his asymmetric metric on Teichmüller space to a geometrically finite setting and to …
We prove that a quasiconformal map of the 2-sphere admits a harmonic quasi-isometric extension to the 3-dimensional hyperbolic space, thus confirming the well known Schoen Conjecture in dimension 3.
We give examples of harmonic maps between negatively curved manifolds with special properties. These negatively curved manifolds do not have the homotopy type of a locally symmetric space.
Consider the problem of estimating the minimum entropy of pseudo-Anosov maps on a surface of genus $g$ with $n$ punctures. We determine the behaviour of this minimum number for a certain large subset of the $(g,n)$ plane, up to a multiplicative constant. In particular it has been shown that for fixed $n$, this minimum value behaves as $\frac{1}{g}$, proving what Penner speculated in 1991.
Let $(S,h)$ be a closed hyperbolic surface and $M$ be a quasi-Fuchsian 3-manifold. We consider incompressible maps from $S$ to $M$ that are critical points of an energy functional $F$ which is homogeneous of degree $1$. These "minimizing" maps are solutions of a non-linear elliptic equation, and reminiscent of harmonic maps -- but when the target is Fuchsian, minimizing maps are minimal Lagrangian diffeomorphisms to the totally geodesic surface in $M$. We prove the uniqueness of smooth minimizing maps from $(S,h)$ to $M$ in a given homotopy class. When $(S,h)$ is fixed, smooth minimizing maps …
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 (…
We consider harmonic diffeomorphisms to a fixed hyperbolic target $Y$, from a family of domain Riemann surfaces degenerating along a Teichmüller ray. We use the work of Minsky to show that there is a limiting harmonic map from the conformal limit of the Teichmüller ray, to a crowned hyperbolic surface. The target surface is the metric completion of the complement of a geodesic lamination on $Y$. The conformal limit is obtained by attaching half-planes and cylinders to the critical graph of the holomorphic quadratic differential determining the ray. As an application, we provide a new proof of …
In the Teichmüller space of a hyperbolic surface of finite type, we construct geodesic lines for Thurston's asymmetric metric having the property that when they are traversed in the reverse direction, they are also geodesic lines (up to reparametrization). The lines we construct are special stretch lines in the sense of Thurston. They are directed by complete geodesic laminations that are not chain-recurrent, and they have a nice description in terms of Fenchel-Nielsen coordinates. At the basis of the construction are certain maps with controlled Lipschitz constants between right-angled hyperb…
Universidad de la República（乌拉圭共和国大学）；Facultad de Ciencias Económicas y de Administración（经济与管理科学学院）；Instituto de Estadística（统计研究所）；Université Côte d’Azur（蔚蓝海岸大学）；Laboratoire de Mathématiques（数学实验室）；Dipartimento di Matematica Università di Bologna（博洛尼亚大学数学系）；Max Planck Institute for Mathematics in the Sciences（马普科学数学研究所）
We establish a connection between two previously unrelated topics: a particular discrete version of conformal geometry for triangulated surfaces, and the geometry of ideal polyhedra in hyperbolic three-space. Two triangulated surfaces are considered discretely conformally equivalent if the edge lengths are related by scale factors associated with the vertices. This simple definition leads to a surprisingly rich theory featuring Möbius invariance, the definition of discrete conformal maps as circumcircle preserving piecewise projective maps, and two variational principles. We show how literally…
Given two triangles whose angles are all acute, we find a homeomorphism with the smallest Lipschitz constant between them and we give a formula for the Lipschitz constant of this map. We show that on the set of pairs of acute triangles with fixed area, the function which assigns the logarithm of the smallest Lipschitz constant of Lipschitz maps between them is a symmetric metric. We show that this metric is Finsler, we give a necessary and sufficient condition for a path in this metric space to be geodesic and we determine the isometry group of this metric space. This study is motivated by Thu…
Let N be a topologically finite, orientable 3-manifold with ideal triangulation. We show that if there is a solution to the hyperbolic gluing equations, then all edges in the triangulation are essential. This result is extended to a generalisation of the hyperbolic gluing equations, which enables the construction of hyperbolic cone-manifold structures on N with singular locus contained in the 1-skeleton of the triangulation.
A stable map of a closed orientable $3$-manifold into the real plane is called a stable map of a link in the manifold if the link is contained in the set of definite fold points. We give a complete characterization of the hyperbolic links in the $3$-sphere that admit stable maps into the real plane with exactly one (connected component of a) fiber having two singular points.
We provide negative answers to questions posed by Durham, Hagen, and Sisto on the existence of boundary maps for some hierarchically hyperbolic spaces, namely maps from right-angled Artin groups to mapping class groups. We also prove results on existence of boundary maps for free subgroups of mapping class groups.
We study Thurston's Lipschitz and curve metrics, as well as the arc metric on the Teichmueller space of one-hold tori equipped with complete hyperbolic metrics with boundary holonomy of fixed length. We construct natural Lipschitz maps between two surfaces equipped with such hyperbolic metrics that generalize Thurston's stretch maps and prove the following: (1) On the Teichmueller space of the torus with one boundary component, the Lipschitz and the curve metrics coincide and define a geodesic metric on this space. (2) On the same space, the arc and the curve metrics coincide when the length o…
We relate the McMullen polynomial of a free-by-cyclic group to its Alexander polynomial. To do so, we introduce the notion of an orientable fully irreducible outer automorphism $φ$ and use it to characterize when the homological stretch factor of $φ$ is equal to its geometric stretch factor.
Let (X,d) be a tree (T) of hyperbolic metric spaces satisfying the quasi-isometrically embedded condition. Let $v$ be a vertex of $T$. Let $({X_v},d_v)$ denote the hyperbolic metric space corresponding to $v$. Then $i : X_v \rightarrow X$ extends continuously to a map $\hat{i} : \widehat{X_v} \rightarrow \widehat{X}$. This generalizes a Theorem of Cannon and Thurston. The techniques are used to give a new proof of a result of Minsky: Thurston's ending lamination conjecture for certain Kleinian groups. Applications to graphs of hyperbolic groups and local connectivity of limit sets of Kleinian …
Baker and Riley proved that a free group of rank 3 can be contained in a hyperbolic group as a subgroup for which the Cannon-Thurston map is not well-defined. By using their result, we show that the phenomenon occurs for not only a free group of rank 3 but also every non-elementary hyperbolic group. In fact it is shown that a similar phenomenon occurs for every non-elementary relatively hyperbolic group.
We prove the existence of continuous boundary extensions (Cannon-Thurston maps) for the inclusion of a vertex space into a tree of (strongly) relatively hyperbolic spaces satisfying the qi-embedded condition. This implies the same result for inclusion of vertex (or edge) subgroups in finite graphs of (strongly) relatively hyperbolic groups. This generalises a result of Bowditch for punctured surfaces in 3 manifolds and a result of Mitra for trees of hyperbolic metric spaces.
In this paper, we show that for every non-nilpotent hyperbolic map $f$ on an infra-nilmanifold, the $\textrm{HPer}(f)$ is cofinite in $\mathbb{N}$. This generalizes a similar result for expanding maps. Moreover, we prove that for every nilpotent map $f$ on an infra-nilmanifold, $\textrm{HPer}(f)=\{1\}$.
Mahan Mitra (Mj) proved Cannon--Thurston maps exist for normal hyperbolic subgroups of a hyperbolic group. We prove that Cannon--Thurston maps do not exist for infinite normal hyperbolic subgroups of non-hyperbolic CAT(0) groups with isolated flats with respect to the visual boundaries. We also show Cannon--Thurston maps do not exist for infinite infinite-index normal CAT(0) subgroups with isolated flats in non-hyperbolic CAT(0) groups with isolated flats. We obtain a structure theorem for the normal subgroups in these settings and show that outer automorphism groups of hyperbolic groups have …
According to an analogy to quasi-Fuchsian groups, we investigate topological and combinatorial structures of Lyubich and Minsky's affine and hyperbolic 3-laminations associated with the hyperbolic and parabolic quadratic maps. We begin by showing that hyperbolic rational maps in the same hyperbolic component have quasi-isometrically the same 3-laminations. This gives a good reason to regard the main cardioid of the Mandelbrot set as an analogue of the Bers slices in the quasi-Fuchsian space. Then we describe the topological and combinatorial changes of laminations associated with hyperbolic-to…
Let $1\to (K,K_1)\to (G,N_G(K_1))\to(Q,Q_1)\to 1$ be a short exact sequence of pairs of finitely generated groups with $K$ strongly hyperbolic relative to proper subgroup $K_1$. Assuming that for all $g\in G$ there exists $k\in K$ such that $gK_1g^{-1}=kK_1k^{-1}$, we prove that there exists a quasi-isometric section $s\colon Q \to G$. Further we prove that if $G$ is strongly hyperbolic relative to the normalizer subgroup $N_G(K_1)$ and weakly hyperbolic relative to $K_1$, then there exists a Cannon-Thurston map for the inclusion $i\colonΓ_K\to Γ_G$.
Let $F',F$ be any two closed orientable surfaces of genus $g'>g\ge 1$, and $f:F\to F$ be any pseudo-Anosov map. Then we can "extend" $f$ to be a pseudo-Anosov map $f':F'\to F'$ so that there is a fiber preserving degree one map $M(F',f')\to M(F,f)$ between the hyperbolic surface bundles. Moreover the extension $f'$ can be chosen so that the surface bundles $M(F',f')$ and $M(F,f)$ have the same first Betti numbers.
This paper contains examples of closed aspherical manifolds obtained as a by-product of recent work by the author [arXiv:math.GR/0509490] on the relative strict hyperbolization of polyhedra. The following is proved. (I) Any closed aspherical triangulated n-manifold M^n with hyperbolic fundamental group is a retract of a closed aspherical triangulated (n+1)-manifold N^(n+1) with hyperbolic fundamental group. (II) If B_1,...,B_m are closed aspherical triangulated n-manifolds, then there is a closed aspherical triangulated manifold N of dimension n+1 such that N has nonzero simplicial volume, N r…
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 $…
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$…
