Related papers: Thurston type Theorem for sub-hyperbolic rational …

Thurston's hyperbolization theorem for Haken manifolds and normal surface theory yield an algorithm to determine whether or not a compact orientable 3-manifold with nonempty boundary consisting of tori admits a complete finite-volume…

Thurston's earthquake theorem asserts that every orientation-preserving homeomorphism of the circle admits an extension to the hyperbolic plane which is a (left or right) earthquake. The purpose of these notes is to provide a proof of…

For each integer $m \geq 1$, we construct a finite-dimensional family of rational maps, given by Blaschke-type products, whose restriction to the unit circle consists of $2m$-multimodal maps. We show that every post-critically finite…

In the second paper [LZ24b] of this series, we obtained an analog of the prime number theorem for a class of branched covering maps on the $2$-sphere $S^2$ called expanding Thurston maps, which are topological models of some non-uniformly…

In the Teichm\"uller 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…

We introduce and study tame homeomorphisms of surfaces of infinite type. These are maps for which curves under iterations do not accumulate onto geodesic laminations with non-proper leaves, but rather just a union of possibly intersecting…

We prove the existence of Cannon-Thurston maps for Kleinian groups corresponding to pared manifolds whose boundary is incompressible away from cusps. We also describe the structure of these maps in terms of ending laminations.

We show the resolution of indeterminacy of rational maps from a regular surface to a tame stack locally of finite type over an excellent scheme. The proof uses the valuative criterion for proper tame morphisms, which was proved by Bresciani…

Given a hyperbolic subgroup $H$ of a hyperbolic group $G$ for which a Cannon-Thurston map $\hat i:\partial H \ra \partial G$ exists, we study the limit set $\Lambda_H$ of $H$ with respect to its action on $\partial G$. We prove that the set…

Given a tree of hyperbolic metric spaces $\pi:X\to T$ a la Bestvina--Feighn (\cite{BF}), and a hyperbolic subspace $Y$ of $X$ with an induced tree of hyperbolic spaces structure over a subtree $S\subset T$, we address the question as to…

In earlier work, we had shown that Cannon-Thurston maps exist for Kleinian punctured surface groups without accidental parabolics. In this note we prove that pre-images of points are precisely end-points of leaves of the ending lamination…

Using the Birmanexact sequence for pure mapping class groups, we construct a universal Cannon--Thurston map onto the boundary of a curve complex for a surface with punctures we call surviving curve complex. Along the way we prove…

With the help of the theory of holomorphic and anti-holomorphic differentials, G. A. Jones [Chiral covers of hypermaps, Ars Math. Contemp. 8 (2015), 425-431] proved that every regular hypermap of a non-spherical type is covered by an…

Thurston's bounded image theorem is one of the key steps in his proof of the uniformisation theorem for Haken manifolds. Thurston never published its proof, and no proof has been known up to today, although a proof of its weaker version,…

This paper considers asymptotically hyperbolic manifolds with a finite boundary intersecting the usual infinite boundary -- cornered asymptotically hyperbolic manifolds -- and proves a theorem of Cartan-Hadamard type near infinity for the…

We provide a type theoretic treatment of the paper "On Tarski's fixed point theorem" by Giovanni Curi. There are benefits to having a type theoretic formulation apart from routine implementation in a proof assistant. By taking advantage of…

Thurston conjectured that a closed triangulated 3-manifold in which every edge has degree 5 or 6, and no two edges of degree 5 lie in a common 2-cell, has word-hyperbolic fundamental group. We establish Thurston's conjecture by proving that…

Thurston introduced \emph{invariant (quadratic) laminations} in his 1984 preprint as a vehicle for understanding the connected Julia sets and the parameter space of quadratic polynomials. Important ingredients of his analysis of the angle…

One develops {\em ab initio} the theory of rational/birational maps over reduced, but not necessarily irreducible, projective varieties in arbitrary characteristic. A numerical invariant of a rational map is introduced, called the Jacobian…

In earlier work, we had shown that Cannon-Thurston maps exist for Kleinian surface groups. In this paper we prove that pre-images of points are precisely end-points of leaves of the ending lamination whenever the Cannon-Thurston map is not…