We investigate the relation between the topological entropy of pseudo-Anosov maps on surfaces with punctures and the rank of the first homology of their mapping tori. On the surface $S$ of genus $g$ with $n$ punctures, we show that the entropy of a pseudo-Anosov map is bounded from above by $\dfrac{(k+1)\log(k+3)}{|χ(S)|}$ up to a constant multiple when the rank of the first homology of the mapping torus is $k+1$ and $k, g, n$ satisfy a certain assumption. This is a partial generalization of precedent works of Tsai and Agol-Leininger-Margalit.
For a pseudo-Anosov homeomorphism $f$ on a closed surface of genus $g\geq 2$, for which the entropy is on the order $\frac{1}{g}$ (the lowest possible order), Farb-Leininger-Margalit showed that the volume of the mapping torus is bounded, independent of $g$. We show that the analogous result fails for a surface of fixed genus $g$ with $n$ punctures, by constructing pseudo-Anosov homeomorphism with entropy of the minimal order $\frac{\log n}{n}$, and volume tending to infinity.
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_n$ be a punctured Riemann spheres $\mathbf{S}^2\backslash \{x_1,..., x_n\}$. In this paper, we investigate pseudo-Anosov maps on $S_n$ that are isotopic to the identity on $S_n\cup \{x_n\}$ and have the smallest possible dilatations. We show that those maps cannot be obtained from Thurston's construction (that is the products of two Dehn twists). We also prove that those pseudo-Anosov maps $f$ on $S_n$ with the minimum dilatations can never define a trivial mapping class as any puncture $x_i$ of $S_n$ is filled in. The main tool is to give both lower and upper bounds estimations for dil…
We determine the non-null homologous knots in lens spaces whose exteriors contain properly embedded once-punctured tori. All such knots arise as surgeries on the Whitehead link and are grid number 1 in their lens spaces. As a corollary, we classify once-punctured torus bundles that admit a lens space filling.
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 show how to construct an ideal triangulation of a mapping torus of a pseudo-Anosov map punctured along the singular fibers. This gives rise to a new conjugacy invariant of mapping classes, and a new proof of a theorem of Farb-Leininger-Margalit. The approach in this paper is based on ideas of Hamenstadt.
We consider the pseudo-Anosov elements of the mapping class group of a surface of genus g that fix a rank k subgroup of the first homology of the surface. We show that the smallest entropy among these is comparable to (k+1)/g. This interpolates between results of Penner and of Farb and the second and third authors, who treated the cases of k=0 and k=2g, respectively, and answers a question of Ellenberg. We also show that the number of conjugacy classes of pseudo-Anosov mapping classes as above grows (as a function of g) like a polynomial of degree k.
This paper gives a new obstruction for ribbon-move equivalence of 2-knots. Let $K$ and $K'$ be 2-knots. Let $K$ and $K'$ are ribbon-move equivalent. One corollary to our main theorem is as follows. A 2-dimensional fibered knot whose fiber is the punctured 3-dimensional torus is not ribbon-move equivalent to any 2-dimensional knot whose Seifert hypersurface is a punctured homology sphere.
We find the minimum dilatation of pseudo-Anosov braids on n-punctured discs for 3 <= n <= 8. This covers the results of Song-Ko-Los (n=4) and Ham-Song (n=5). The proof is elementary, and uses the Lefschetz formula.
After fixing a marking (V, W) of a quasifuchsian punctured torus group G, the complex length l_V and the complex twist tau_V,W parameters define a holomorphic embedding of the quasifuchsian space QF of punctured tori into C^2. It is called the complex Fenchel-Nielsen coordinates of QF. For a complex number c, let Q_gamma,c be the affine subspace of C^2 defined by the linear equation l_V=c. Then we can consider the linear slice L of QF by QF \cap Q_gamma,c which is a holomorphic slice of QF. For any positive real value c, L always contains the so called Bers-Maskit slice BM_gamma,c. In this pap…
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…
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 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…
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 will discuss theoretical and experimental results concerning comparison of entropy of pseudo-Anosov maps and volume of their mapping tori. Recent study of Weil-Petersson geometry of the Teichmüller space tells us that they admit linear inequalities for both sides under some bounded geometry condition. We construct a family of pseudo-Anosov maps which violates one side of inequalities under unbounded geometry setting, present an explicit bounding constant for a punctured torus, and provide several observations based on experiments.
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 consider the following question: Which parameters in the extension of a rational pleating ray across the boundary of $\Cal M$, the Maskit embedding of the Teichmüller space of once punctured tori correspond to a Kleinian group? Using methods of Keen and Series and Wright we prove a local result, stating that on each rational ray there is a sequence of parameters in $\overline\Bbb H\setminus\Cal M$ accumulating at the boundary point of $\Cal M$ on the ray. These are the unique parameters on the extended $p/q$ ray for which the special word $W_{p/q}$ is a primitive elliptic Möbius transformat…
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.
Let X_n be a cycle of n projective lines, and T_n a symplectic torus with n punctures. In this paper we review results appeared in arXiv:1103.2462 and in arXiv:1109.6615, which establish a version of homological mirror symmetry relating X_n and T_n, and define on D^b(Coh(X_n)) an action of the pure mapping class group of T_n.
We show that the reduced quantum hyperbolic invariants of pseudo-Anosov diffeomorphisms of punctured surfaces are intertwiners of local representations of the quantum Teichmüller spaces. We characterize them as the only intertwiners that satisfy certain natural cut-and-paste operations of topological quantum field theories and such that their traces define invariants of mapping tori.
In every connected component of every stratum of Abelian differentials, we construct square-tiled surfaces with one vertical and one horizontal cylinder. We show that for all but the hyperelliptic components this can be achieved in the minimum number of squares necessary for a square-tiled surface in that stratum. For the hyperelliptic components, we show that the number of squares required is strictly greater and construct surfaces realising these bounds. Using these surfaces, we demonstrate that pseudo-Anosov homeomorphisms optimising the ratio of Teichmüller to curve graph translation lengt…
The stated skein algebra of a punctured bordered surface (or equivalently, a marked surface) is a generalization of the well-known Kauffman bracket skein algebra of unmarked surfaces and can be considered as an extension of the quantum special linear group $\mathcal{O}_{q^2}(SL_2)$ from a bigon to general surfaces. We show that the stated skein algebra of a punctured bordered surface with non-empty boundary can be embedded into quantum tori in two different ways. The first embedding can be considered as a quantization of the map expressing the trace of a closed curve in terms of the shear coor…
The main result of this paper is a universal finiteness theorem for the set of all small dilatation pseudo-Anosov homeomorphisms, ranging over all surfaces. More precisely, we consider pseudo-Anosovs F:S to S with |chi(S)| log(lambda(F)) bounded above by some constant, and we prove that, after puncturing the surfaces at the singular points of the stable foliations, the resulting set of mapping tori is finite. Said differently, there is a finite set of fibered hyperbolic 3-manifolds so that all small dilatation pseudo-Anosovs occur as the monodromy of a Dehn filling on one of the 3-manifolds in…
Bestvina and Handel have found an effective algorithm that determines whether a given homeomorphism of an orientable, possibly punctured surface is pseudo-Anosov. We present a software package in Java that realizes this algorithm for surfaces with one puncture. Moreover, the package allows the user to define homeomorphisms in terms of Dehn twists, and in the pseudo-Anosov case it generates images of train tracks in the sense of Bestvina-Handel.
Every pseudo-Anosov mapping class $φ$ defines an associated veering triangulation $τ_φ$ of a punctured mapping torus. We show that generically, $τ_φ$ is not geometric. Here, the word "generic" can be taken either with respect to random walks in mapping class groups or with respect to counting geodesics in moduli space. Tools in the proof include Teichmüller theory, the Ending Lamination Theorem, study of the Thurston norm, and rigorous computation.
Thanks to a recent result by Jean-Marc Schlenker, we establish an explicit linear inequality between the normalized entropies of pseudo-Anosov automorphisms and the hyperbolic volumes of their mapping tori. As its corollaries, we give an improved lower bound for values of entropies of pseudo-Anosovs on a surface with fixed topology, and a proof of a slightly weaker version of the result by Farb, Leininger and Margalit first, and by Agol later, on finiteness of cusped manifolds generating surface automorphisms with small normalized entropies. Also, we present an analogous linear inequality betw…
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..
We first prove rigidity results for pseudo-Anosov flows in prototypes of toroidal 3-manifolds: we show that a pseudo-Anosov flow in a Seifert fibered manifold is up to finite covers topologically equivalent to a geodesic flow and we show that a pseudo-Anosov flow in a solv manifold is topologically equivalent to a suspension Anosov flow. Then we study the interaction of a general pseudo-Anosov flow with possible Seifert fibered pieces in the torus decomposition: if the fiber is associated with a periodic orbit of the flow, we show that there is a standard and very simple form for the flow in t…
This paper concerns the set $\hat{\mathcal{M}}$ of pseudo-Anosovs which occur as monodromies of fibrations on manifolds obtained from the magic 3-manifold $N$ by Dehn filling three cusps with a mild restriction. We prove that for each $g$ (resp. $g \not\equiv 0 \pmod{6}$), the minimum among dilatations of elements (resp. elements with orientable invariant foliations) of $\hat{\mathcal{M}}$ defined on a closed surface $\varSigma_g$ of genus $g$ is achieved by the monodromy of some $\varSigma_g$-bundle over the circle obtained from $N(\tfrac{3}{-2})$ or $N(\tfrac{1}{-2})$ by Dehn filling two cus…
We show that for a surface S, the subgraph of the pants graph determined by fixing a collection of curves that cut S into pairs of pants, once-punctured tori, and four-times-punctured spheres is totally geodesic. The main theorem resolves a special case of a conjecture made by Aramayona, Parlier, and Shackleton and has the implication that an embedded product of Farey graphs in any pants graph is totally geodesic. In addition, we show that a pants graph contains a convex n-flat if and only if it contains an n-quasi-flat.
For $n$ an even number, we study representations of the mapping class group of the $n$-punctured sphere arising from $\mathrm{SU}(2)$-TQFT when all punctures are colored by the same integer $N \geq 1$. We prove that the conjecture of Andersen, Masbaum and Ueno holds for the $4$-punctured sphere for all $N \geq 2$. In the case $n \geq 6$ of punctures, we prove it for the pseudo-Anosovs satisfying a homological condition, namely they should act with a non trivial stretching factor on certain eigenspaces of homology of a $\frac{n}{2}$-fold branched cover considered by McMullen. The main idea is t…
We use the theory of sutured TQFT to classify contact elements in the sutured Floer homology, with $\Z$ coefficients, of certain sutured manifolds of the form $(Σ\times S^1, F \times S^1)$ where $Σ$ is an annulus or punctured torus. Using this classification, we give a new proof that the contact invariant in sutured Floer homology with $\Z$ coefficients of a contact structure with Giroux torsion vanishes. We also give a new proof of Massot's theorem that the contact invariant vanishes for a contact structure on $(Σ\times S^1, F \times S^1)$ described by an isolating dividing set.
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…
