We describe a new approach to the study of the set of all simple geodesics on a hyperbolic punctured torus. We introduce a valuation on the first integral homology group of the torus. This valuation associates to each homology class the length of the unique simple geodesic in it. We show that this valuation extends to a norm on the homology with real coefficients. We analyze the structure of this norm, and its variation over the moduli space of punctured tori. These results are applied to obtain sharp asymptotic estimates on the number of simple geodesics of bounded length..
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.
We construct examples of codimension two hyperbolic link complements in closed smooth 4-manifolds with homeomorphism type $\#_{2k}S^2 \times S^2$. All our examples are based on a construction of J. Ratcliffe and S. Tschantz, who constructed 1171 non-compact finite volume hyperbolic 4-manifolds of minimal volume. We then give necessary conditions for a closed smooth simply connected 4-manifold to contain a codimension two link complement that admits a hyperbolic structure.
Many noncompact hyperbolic 3-manifolds are topologically complements of links in the 3-sphere. Generalizing to dimension 4, we construct a dozen examples of noncompact hyperbolic 4-manifolds, all of which are topologically complements of varying numbers of tori and Klein bottles in the 4-sphere. Finite covers of some of those manifolds are then shown to be complements of tori and Klein bottles in other simply-connected closed 4-manifolds. All the examples are based on a construction of Ratcliffe and Tschantz, who produced 1171 noncompact hyperbolic 4-manifolds of minimal volume. Our examples a…
The invariant measured foliations of a pseudo-Anosov homeomorphism induce a natural (singular) Sol structure on mapping tori of surfaces with pseudo-Anosov monodromy. We show that when the pseudo-Anosov $ϕ:S\rightarrow S$ has orientable foliations and does not have 1 as an eigenvalue of the induced cohomology action on the closed surface, then the Sol structure can be deformed to nearby cone hyperbolic structures, in the sense of projective structures. The cone angles can be chosen to be decreasing from multiples of $2π$.
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 prove results for the punctured torus; in the sequel, for higher genus surfaces. We show that a representation of…
We prove the Farrell-Jones Conjecture for mapping tori of automorphisms of virtually torsion-free hyperbolic groups. The proof uses recently developed geometric methods for establishing the Farrell-Jones Conjecture by Bartels-Lück-Reich, as well as the structure theory of mapping tori by Dahmani-Krishna.
For a hyperbolic 3-manifold $M$ with a torus boundary component,all but finitely many Dehn fillings yield hyperbolic 3-manifolds. In this paper, we will focus on the situation where $M$ has two exceptional Dehn fillings: an annular filling and a toroidal filling. For such situation, Gordon gave an upper bound 5 for the distance between such slopes. Furthermore, the distance 4 is realized only by two specific manifolds, and 5 is realized by a single manifold. These manifolds all have a union of two tori as their boundaries. Also, there is a manifold with three tori as its boundary which realize…
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…
For a hyperbolic link K in the thickened torus with no bigons, we show that there is a decomposition of the complement of a link L, obtained from augmenting K, into torihedra. We further decompose the torihedra into angled pyramids and finally angled tetrahedra. These fit into an angled structure on a triangulation of the link complement, and thus by [5], this shows that L is hyperbolic.
Luo and Tan gave a new identity for hyperbolic surfaces with/without geodesic boundary in terms of dilogarithms of the lengths of simple closed geodesics on embedded three-holed spheres or one-holed tori. However, the identity was trivial for a hyperbolic one-holed torus with geodesic boundary. In this paper we adapt the argument from Luo and Tan to give an identity for hyperbolic tori with one geodesic boundary or cusp in terms of dilogarithm functions on the set of lengths of simple closed geodesics on the torus. As a corollary, we are also able to express the Luo-Tan identity as a sum over …
We study random elements of subgroups (and cosets) of the mapping class group of a closed hyperbolic surface, in part through the properties of their mapping tori. In particular, we study the distribution of the homology of the mapping torus (with rational, integer, and finite field coefficients, the hyperbolic volume (whenever the manifold is hyperbolic), the dilatation of the monodromy, the injectivity radius, and the bottom eigenvalue of the Laplacian on these mapping tori. We also study mapping tori of punctured surface bundles, and various invariants of their Dehn fillings. We also study …
We show that if the monodromy of a 3-manifold M that fibers over the circle has large translation distance in the curve complex, then the rank of the fundamental group of M is 2g+1, where g is the genus of the fiber.
Given a closed hyperbolic 3-manifold T_ψthat fibers over the circle with monodromy ψ: S -> S, the monodromy $ψ$ determines an isometry of Teichmuller space with its Weil-Petersson metric whose translation distance ||ψ||_WP is positive. We show there is a constant K >= 1 depending only on the topology of S so that the volume of T_ψsatisfies ||ψ||_WP/K <= vol(T_ψ) <= K ||ψ||_WP.
We describe the deformation space of a solid torus with boundary modelled on convex ideal hyperbolic polyhedra. This deformation space is given by natural Gauss--Bonnet type inequalities on the dihedral angles. The result extends to solid tori with an arbitrary conical singularity along the core. Our method is to decompose the torus into tetrahedra and maximize a volume functional.
We show that in any triangulation of a solid torus, there is a pre-core curve that lies in the 2-skeleton and that intersects the interior of each face in at most 10 straight arcs. By definition, a pre-core curve is a simple closed curve that becomes a core curve when a collar is attached to the boundary of the solid torus. This theorem imposes restrictions on the possible Riemannian metrics on a solid torus. It also has applications in knot theory.
We give an upper bound for the growth of homology torsions of finite coverings of irreducible 3-manifolds with tori boundary in terms of hyperbolic volume.
We discuss the properties of a certain type of Dehn surgery along a Lagrangian torus in a symplectic 4-manifold, known as Luttinger's surgery, and use this construction to provide a purely topological interpretation of a non-isotopy result for symplectic plane curves with cusp and node singularities due to Moishezon.
Torically maximal curves (known also as simple Harnack curves) are real algebraic curves in the projective plane such that their logarithmic Gauß map is totally real. In this paper we show that hyperplanes in projective spaces are the only torically maximal hypersurfaces of higher dimensions.
We show that the largest subsurface projection distance between a marking and its image under the nth step of a random walk grows logarithmically in n, with probability approaching 1 as n tends to infinity. Our setup is general and also applies to (relatively) hyperbolic groups and to $\mathrm{Out}(F_n)$. We then use this result to prove Rivin's conjecture that for a random walk $(w_n)$ on the mapping class group, the shortest geodesic in the hyperbolic mapping torus $M_{w_n}$ has length on the order of $1/ \log^2(n)$.
Hensel-Przytycki-Webb proved that all curve graphs of orientable surfaces are 17-hyperbolic. In this paper, we show that curve graphs of non-orientable surfaces are 17-hyperbolic by applying Hensel-Przytycki-Webb's argument. We also show that arc graphs of non-orientable surfaces are 7-hyperbolic, and arc-curve graphs of (non-)orientable surfaces are 9-hyperbolic.
We prove that the separating curve graph of a connected, compact, orientable surface with genus at least 3 and a single boundary component is not relatively hyperbolic. This completes the classification of when the separating curve graph is hyperbolic and relatively hyperbolic initiated by previous works of the authors.
We show that if a hyperbolic knot manifold $M$ contains an essential twice-punctured torus $F$ with boundary slope $β$ and admits a filling with slope $α$ producing a Seifert fibred space, then the distance between the slopes $α$ and $β$ is less than or equal to $5$ unless $M$ is the exterior of the figure eight knot. The result is sharp; the bound of $5$ can be realized on infinitely many hyperbolic knot manifolds. We also determine distance bounds in the case that the fundamental group of the $α$-filling contains no non-abelian free group. The proofs are divided into the four cases $F$ is a …
We study multisections of embedded surfaces in 4-manifolds admitting effective torus actions. We show that a simply-connected 4-manifold admits a genus one multisection if and only if it admits an effective torus action. Orlik and Raymond showed that these 4-manifolds are precisely the connected sums of copies of $\mathbb{CP}^2$, $\overline{\mathbb{CP}^2}$, and $S^2\times S^2$. Therefore, embedded surfaces in these 4-manifolds can be encoded diagrammatically on a genus one surface. Our main result is that every smooth, complex curve in $\mathbb{CP}^1\times\mathbb{CP}^1$ can be put in efficient…
We prove that the curve graph $\calC^{(1)}(S)$ is Gromov-hyperbolic with a constant of hyperbolicity independent of the surface $S$. The proof is based on the proof of hyperbolicity of the free splitting complex by Handel and Mosher, as interpreted by Hilion and Horbez.
We show that the graphs of nonseparating curves for oriented finite type surfaces are uniformly hyperbolic. Our proof follows the proof of uniform hyperbolicity of the graphs of curves for closed surfaces due to Przytycki-Sisto, while introducing new arguments using homology to certify that certain curves are nonseparating. As demonstrated by Aramayona-Valdez, this proves also that the graph of nonseparating curves for any oriented infinite type surface with finite positive genus is hyperbolic.
The moduli space of lattices of $\mathbb{C}$ is a Riemann surface of finite hyperbolic area with the square lattice as an origin. We select a lattice from the induced uniform distribution and calculate the statistics of the Teichmüller distance to the origin. This in turn identifies distribution of the distance in Teichmüller space to the central "square" punctured torus in the moduli space of punctured tori. There are singularities in this p.d.f. arising from the topology of the moduli space. We also consider the statistics of the distance in Teichmüller space to the rectangular punctured tor…
