This paper is about a type of quantitative density of closed geodesics and orthogeodesics on complete finite-area hyperbolic surfaces. The main results are upper bounds on the length of the shortest closed geodesic and the shortest doubly truncated orthogeodesic that are $\varepsilon$-dense on a given compact set on the surface.
In this short note, we construct a minimally intersecting pair of simple closed curves that fill a genus 2 surface with an odd, greater than 3, number of punctures. This finishes the determination of minimally intersecting filling pairs for all surfaces completing the work of Aougab-Huang and Aougab-Taylor.
We study filling sets of simple closed curves on punctured surfaces. In particular we study lower bounds on the cardinality of sets of curves that fill and that pairwise intersect at most k times on surfaces with given genus and number of punctures. We are able to establish orders of growth for even k and show that for odd k the orders of growth behave differently. We also study the corresponding questions when one requires that the curves be represented as systoles on hyperbolic complete finite area surfaces.
In this paper we study exceptional Dehn fillings on hyperbolic knot manifolds which contain an essential once-punctured torus. Let $M$ be such a knot manifold and let $β$ be the boundary slope of such an essential once-punctured torus. We prove that if Dehn filling $M$ with slope $α$ produces a Seifert fibred manifold, then $Δ(α,β)\leq 5$. Furthermore we classify the triples $(M; α,β)$ when $\D(α,β)\geq 4$. More precisely, when $\D(α,β)=5$, then $M$ is the (unique) manifold $Wh(-3/2)$ obtained by Dehn filling one boundary component of the Whitehead link exterior with slope -3/2, and $(α, β)$ i…
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 give a recipe to compute the geometric intersection number of an integral lamination with a particular type of integral lamination on an n-times punctured disk. This provides a way to find the geometric intersection number of two arbitrary integral laminations when combined with an algorithm of Dynnikov and Wiest.
We classify the topological types for the unions of the totally geodesic 3-punctured spheres in orientable hyperbolic 3-manifolds. General types of the unions appear in various hyperbolic 3-manifolds. Each of the special types of the unions appears only in a single hyperbolic 3-manifold or Dehn fillings of a single hyperbolic 3-manifold. Furthermore, we investigate bounds of the moduli of adjacent cusps for the union of linearly placed 3-punctured spheres.
We prove that many normal subgroups of the extended mapping class group of a surface with punctures are geometric, that is, that their automorphism groups and abstract commensurator groups are isomorphic to the extended mapping class group. In order to apply our theorem to a normal subgroup we require that the "minimal supports" of its elements satisfy a certain complexity condition that is easy to check in practice. The key ingredient is proving that the automorphism groups of many simplicial complexes associated to punctured surfaces are isomorphic to the extended mapping class group. This r…
Recent work of Chinburg, Reid, and Stover has shown that certain arithmetic and algebro-geometric properties of the character variety of a hyperbolic knot complement in the 3-sphere $M=S^3\setminus K$ yields topological and number theoretic information about Dehn fillings of M. Specifically, they show how the study of a certain extension problem for quaternion Azumaya algebras is related to topological invariants associated to these fillings. In this paper, we extend their work to the setting of hyperbolic once punctured torus bundles. Along the way, we exhibit new phenomenon in the relevant e…
We describe each multiple curve on the orientable surface of genus-$g$ with $n$ punctures and one boundary component by using this multiple curve's geometric intersection number with the embedded curves in this surface.
Hass and Scott's example of a 4-valent graph on the 3-punctured sphere that cannot be realized by geodesics in any metric of negative curvature is generalized to impossible configurations filling surfaces of genus $n$ with $k$ punctures for any $n$ and $k$.
We study earthquake deformations on Teichmüller space associated with simple closed curves of the once-punctured torus. We describe two methods to get an explicit form of the earthquake deformation for any simple closed curve. The first method is rooted in linear recurrence relations, the second in hyperbolic geometry. The two methods align, providing both an algebraic and geometric interpretation of the earthquake deformations. We convert the expressions to other coordinate systems for Teichmüller space to examine earthquake deformations further. Two families of curves are used as examples. E…
Let $S$ be a Riemann surface with a puncture $x$. Let $a\subset S$ be a simple closed geodesic. In this paper, we show that for any pseudo-Anosov map $f$ of $S$ that is isotopic to the identity on $S\cup \{x\}$, $(a, f^m(a))$ fills $S$ for $m\geq 3$. We also study the cases of $0<m\leq 2$ and show that if $(a,f^2(a))$ does not fill $S$, then there is only one geodesic $b$ such that $b$ is disjoint from both $a$ and $f^2(a)$. In fact, $b=f(a)$ and $\{a,f(a)\}$ forms the boundary of an $x$-punctured cylinder on $S$. As a consequence, we show that if $a$ and $f(a)$ are not disjoint. Then $(a,f^m(…
We explore several families of flip-graphs, all related to polygons or punctured polygons. In particular, we consider the topological flip-graphs of once-punctured polygons which, in turn, contain all possible geometric flip-graphs of polygons with a marked point as embedded sub-graphs. Our main focus is on the geometric properties of these graphs and how they relate to one another. In particular, we show that the embeddings between them are strongly convex (or, said otherwise, totally geodesic). We also find bounds on the diameters of these graphs, sometimes using the strongly convex embeddin…
This is an expository paper, in which we give a summary of some of the joint work of John Luecke and the author on Dehn surgery. We consider the situation where we have two Dehn fillings $M(α)$ and $M(β)$ on a given 3-manifold $M$, each containing a surface that is either essential or a Heegaard surface. We show how a combinatorial analysis of the graphs of intersection of the two corresponding punctured surfaces in $M$ enables one to find faces of these graphs which give useful topological information about $M(α)$ and $M(β)$, and hence, in certain cases, good upper bounds on the intersection …
The Maskit embedding M of a surface Σis the space of geometrically finite groups on the boundary of quasifuchsian space for which the `top' end is homeomorphic to Σ, while the `bottom' end consists of two triply punctured spheres, the remains of Σwhen two fixed disjoint curves have been pinched. As such representations vary in the character variety, the conformal structure on the top side varies over the Teichmüller space T(Σ). We investigate M when Σis a twice punctured torus, using the method of pleating rays. Fix a projective measure class [μ] supported on closed curves on Σ. The pleating r…
For a punctured surface $S$, we characterize the representations of its fundamental group into $\mathrm{PSL}_2 (\mathbb{C})$ that arise as the monodromy of a meromorphic projective structure on $S$ with poles of order at most two and no apparent singularities. This proves the analogue of a theorem of Gallo-Kapovich-Marden concerning $\mathbb{C}\mathrm{P}^1$-structures on closed surfaces, and settles a long-standing question about characterizing monodromy groups for the Schwarzian equation on punctured spheres. The proof involves a geometric interpretation of the Fock-Goncharov coordinates of t…
In the closed, non-Haken, hyperbolic class of examples generated by (2p,q) Dehn fillings of Figure 8 knot space, the geometrically incompressible one-sided surfaces are identified by the filling ratio p/q and determined to be unique in all cases. When applied to one-sided Heegaard splittings, this can be used to classify all geometrically incompressible splittings in this class of closed, hyperbolic examples; no analogous classification exists for two-sided Heegaard splittings.
An embedding of the m-times punctured disc into the n-times punctured disc, for n>m, yields an embedding of the braid group on m strands B_m into the braid group on n strands B_n, called a geometric embedding. The main example consists of adding n-m trivial strands to the right of each braid on m strands. We show that geometric embeddings do not merge conjugacy classes, meaning that if the images of two elements in B_m by a geometric embedding are conjugate in B_n, the original elements are conjugate in B_m. We also show that the result does not hold, in general, for geometric embeddings of ma…
We introduce subgroups ${\mathcal{B}}_g< {\mathcal H}_g$ of the mapping class group $Mod(Σ_g)$ of a closed surface of genus $g \ge 0$ with a Cantor set removed, which are extensions of Thompson's group $V$ by a direct limit of mapping class groups of compact surfaces of genus $g$. We first show that both ${\mathcal{B}}_g$ and ${\mathcal H}_g$ are finitely presented, and that ${\mathcal H}_g$ is dense in $Mod(Σ_g)$. We then exploit the relation with Thompson's groups to study properties ${\mathcal B}_g$ and ${\mathcal H}_g$ in analogy with known facts about finite-type mapping class groups. For…
Let B_n be the braid group on n > 3 strands. We prove that B_n modulo its center is co-Hopfian. We then show that any injective endomorphism of B_n is geometric in the sense that it is induced by a homeomorphism of a punctured disk. We further prove that any injection from B_n to B_n+1 is geometric. Additionally, we obtain analogous results for mapping class groups of punctured spheres. The methods use Thurston's theory of surface homeomorphisms and build upon work of Ivanov and McCarthy.
This note is about a type of quantitative density of closed geodesics on closed hyperbolic surfaces. The main results are upper bounds on the length of the shortest closed geodesic that $\varepsilon$-fills the surface.
In this paper we study the difference between algebraic and geometric solutions of the hyperbolic Dehn filling equations for ideally triangulated 3-manifolds. We show that any geometric solution is an algebraic one, and we prove the uniqueness of the geometric solutions. Then we do explicit calculations for three interesting examples. With the first two examples we see that not all algebraic solutions are geometric and that the algebraic solutions are not unique. The third example is a non-hyperbolic manifold that admits a positive, partially flat solution of the compatibility and completeness…
The proper geometric dimension of the mapping class groups of non-orientable surfaces with punctures
Instituto de Matemáticas, Universidad Nacional Autónoma de México（墨西哥国立自治大学数学研究所）；Departamento de Matemáticas, Facultad de Ciencias, Universidad Nacional Autónoma de México（墨西哥国立自治大学理学院数学系）
Let $F_g$ be a closed orientable surface of genus $g$. A set $Ω= \{ γ_1, \dots, γ_s\}$ of pairwise non-homotopic simple closed curves on $F_g$ is called a \emph{filling system} or simply a \emph{filling} of $F_g$, if $F_g\setminus Ω$ is a union of $b$ topological discs for some $b\geq 1$. A filling system is called \emph{minimal}, if $b=1$. The \emph{size} of a filling is defined as the number of its elements. We prove that the maximum size of a filling of $F_g$ with $b$ complementary discs is $2g+b-1$. Next, we show that for $g\geq 2, b\geq 1\text{ with }(g,b)\neq (2,1)$ (resp. $(g,b)=(2,1)$)…
We show that the asymptotic growth rate for the minimal cardinality of a set of simple closed curves on a closed surface of genus $g$ which fill and pairwise intersect at most $K\ge 1$ times is $2\sqrt{g}/\sqrt{K}$ as $g \to \infty$ . We then bound from below the cardinality of a filling set of systoles by $g/\log(g)$. This illustrates that the topological condition that a set of curves pairwise intersect at most once is quite far from the geometric condition that such a set of curves can arise as systoles.
We use quantum invariants to define an analytic family of representations for the mapping class group of a punctured surface. The representations depend on a complex number A with |A| <= 1 and act on an infinite-dimensional Hilbert space. They are unitary when A is real or imaginary, bounded when |A|<1, and only densely defined when |A| = 1 and A is not a root of unity. When A is a root of unity distinct from 1, -1, i, -i the representations are finite-dimensional and isomorphic to the "Hom" version of the well-known TQFT quantum representations. The unitary representations in the interval [-1…
We establish a criterion for certain mapping classes of a surface homeomorphisms to be pseudo-Anosov in terms of the geometry of hyperbolic 3-manifolds and Gromov-hyperbolic surface group extensions. Specifically, any element of the fundamental group of a surface S gives rise to a mapping class on the punctured surface, and we show that such a class is pseudo-Anosov if its geodesic representative is "wide" in some hyperbolic 3-manifold homeomorphic to the trivial interval bundle over S.
In this paper we deepen the analysis of certain classes M_{g,k} of hyperbolic 3-manifolds that were introduced in a previous work by B. Martelli, C. Petronio and the author. Each element of M_{g,k} is an oriented complete finite-volume hyperbolic 3-manifold with compact connected geodesic boundary of genus g and k cusps. We study small deformations of the complete hyperbolic structure of manifolds in M_{g,k} via a close analysis of their geodesic triangulations. We prove that several elements in M_{g,k} admit non-homeomorphic hyperbolic Dehn fillings sharing the same volume, homology, cusp vol…
Let $ S_g $ be a closed surface of genus $ g $ and let $ (α, β) $ be a filling pair on $ S_g $; then $ i(α, β) \geq 2g-1 $, where $ i $ is the (geometric) intersection number. Aougab and Huang demonstrated that (exponentially many) minimally-intersecting filling pairs exist on $ S_g $ when $ g > 2 $ by a construction which produces higher-genus surfaces with filling pairs as connected sums of lower-genus surfaces with filling pairs. We present a generalization of their construction which provides an explicit, algebraic means of determining the homeomorphism class of the resulting pair, and a c…
This paper concerns with a rigidity of core geodesics in hyperbolic Dehn fillings. For instance, for an $n$-cusped hyperbolic $3$-manifold $M$ having non-symmetric cusp shapes, we show any Dehn filling of $M$ with sufficiently large coefficient is uniquely determined by the product of the holonomies of its core geodesics. We also explore various implications of the main results. An appendix by I. Agol provides an alternative geometric proof of one of the corollaries of our main arguments.
This paper determines which orientable hyperbolic 3-manifolds contain simple closed geodesics. The Fuchsian group corresponding to the thrice-punctured sphere generates the only example of a complete non-elementary orientable hyperbolic 3-manifold that does not contain a simple closed geodesic. We do not assume that the manifold is geometrically finite or that it has finitely generated fundamental group.
We prove the filling area conjecture in the hyperelliptic case. In particular, we establish the conjecture for all genus 1 fillings of the circle, extending P. Pu's result in genus 0. We translate the problem into a question about closed ovalless real surfaces. The conjecture then results from a combination of two ingredients. On the one hand, we exploit integral geometric comparison with orbifold metrics of constant positive curvature on real surfaces of even positive genus. Here the singular points are Weierstrass points. On the other hand, we exploit an analysis of the combinatorics on unio…
