The theme of this paper is that algebraic complexity implies dynamical complexity for pseudo-Anosov homeomorphisms of a closed surface S_g of genus g. Penner proved that the logarithm of the minimal dilatation for a pseudo-Anosov homeomorphism of S_g tends to zero at the rate 1/g. We consider here the smallest dilatation of any pseudo-Anosov homeomorphism of S_g acting trivially on Gamma/Gamma_k, the quotient of Gamma = pi_1(S_g) by the k-th term of its lower central series, k > 0. In contrast to Penner's asymptotics, we prove that this minimal dilatation is bounded above and below, independently of g, with bounds tending to infinity with k. For example, in the case of the Torelli group I(S_g), we prove that L(I(S_g)), the logarithm of the minimal dilatation in I(S_g), satisfies .197 < L(I(S_g))< 4.127. In contrast, we find pseudo-Anosov mapping classes acting trivially on Gamma/Gamma_k whose asymptotic translation lengths on the complex of curves tend to 0 as g tends toward infinity.
The dilatation of a pseudo-Anosov braid is a conjugacy invariant. In this paper, we study the dilatation of a special family of pseudo-Anosov braids. We prove an inductive formula to compute their dilatation, a monotonicity and an asymptotic behavior of the dilatation for this family of braids. We also give an example of a family of pseudo-Anosov braids with arbitrarily small dilatation such that the mapping torus obtained from such braid has 2 cusps and has an arbitrarily large volume.
This paper concerns a family of pseudo-Anosov braids with dilatations arbitrarily close to one. The associated graph maps and train tracks have stable "star-like" shapes, and the characteristic polynomials of their transition matrices form Salem-Boyd sequences. These examples show that the logarithms of least dilatations of pseudo-Anosov braids on $2g+1$ strands are bounded above by $\log(2 + \sqrt{3})/g$. It follows that the asymptotic behavior of least dilatations of pseudo-Anosov, hyperelliptic surface homeomorphisms is identical to that found by Penner for general surface homeomorphisms. T…
In this paper, we give sufficient conditions for a Perron number, given as the leading eigenvalue of an aperiodic matrix, to be a pseudo-Anosov dilatation of a compact surface. We give an explicit construction of the surface and the map when the sufficient condition is met.
We find the minimum dilatation of pseudo-Anosov homeomorphisms that stabilize an orientable foliation on surfaces of genus three, four, or five, and provide a lower bound for genus six to eight. Our technique also simplifies Cho and Ham's proof of the least dilatation of pseudo-Anosov homeomorphisms on a genus two surface. For genus g=2 to 5, the mimimum dilatation is the smallest Salem number for polynomials of degree 2g.
The minimum dilatation of pseudo-Anosov 5-braids is shown to be the largest zero $λ_5 \approx 1.72208$ of $x^4 - x^3 - x^2 - x + 1$ which is attained by $σ_1σ_2σ_3σ_4σ_1σ_2$.
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…
A filling curve $γ$ on a based surface $S$ determines a pseudo-Anosov homeomorphism $P(γ)$ of $S$ via the process of "point-pushing along $γ$." We consider the relationship between the self-intersection number $i(γ)$ of $γ$ and the dilatation of $P(γ)$; our main result is that the dilatation is bounded between $(i(γ)+1)^{1/5}$ and $9^{i(γ)}$. We also bound the least dilatation of any pseudo-Anosov in the point-pushing subgroup of a closed surface and prove that this number tends to infinity with genus. Lastly, we investigate the minimal entropy of any pseudo-Anosov homeomorphism obtained by pu…
Let $δ_{g,n}$ be the minimal dilatation of pseudo-Anosovs defined on an orientable surface of genus $g$ with $n$ punctures. Tsai proved that for any fixed $g \ge 2$, the logarithm of the minimal dilatation $\log δ_{g,n}$ is on the order of $\frac{\log n}{n}$. The main result of this paper is that if $2g+1$ is relatively prime to $s$ or $s+1$ for each $0 \le s \le g$, then $$\limsup_{n \to \infty} \frac{n \log δ_{g,n}}{\log n} \le 2.$$
In this note, we deduce a partial answer to the question in the title. In particular, we show that asymptotically almost all bi-Perron algebraic unit whose characteristic polynomial has degree at most $2n$ do not correspond to dilatations of pseudo-Anosov maps on a closed orientable surface of genus $n$ for $n\geq 10$. As an application of the argument, we also obtain a statement on the number of closed geodesics of the same length in the moduli space of area one abelian differentials for low genus cases.
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…
This note gives a brief survey of the minimum dilatation problem for pseudo-Anosov mapping classes, and the first explicit train track description of an infinite family of pseudo-Anosov mapping classes with orientable stable foliations and the conjectural minimum dilatation for closed surfaces of even genus $g \ge 2$.
Answering a question of Farb-Leininger-Margalit, we give explicit lower bounds for the dilatations of pseudo-Anosov mapping classes lying in the kth term of the Johnson filtration of the mapping class group.
In this paper we study the minimum dilatation pseudo-Anosov mapping classes coming from fibrations over the circle of a single 3-manifold, the mapping torus for the "simplest pseudo-Anosov braid". The dilatations that arise include the minimum dilatations for orientable mapping classes for genus g=2,3,4,5,8 as well as Lanneau and Thiffeault's conjectural minima for orientable mapping classes, when g = 2,4 (mod 6). Our examples also show that the minimum dilatation for orientable mapping classes is strictly greater than the minimum dilatation for non-orientable ones when g = 4,6,8.
This paper describes a family of pseudo-Anosov braids with small dilatation. The smallest dilatations occurring for braids with 3, 4 and 5 strands appear in this family. A pseudo-Anosov braid with 2g+1 strands determines a hyperelliptic mapping class with the same dilatation on a genus-g surface. Penner showed that logarithms of least dilatations of pseudo-Anosov maps on a genus-g surface grow asymptotically with the genus like 1/g, and gave explicit examples of mapping classes with dilatations bounded above by log 11/g. Bauer later improved this bound to log 6/g. The braids in this paper give…
We prove that the dilatation of any pseudo-Anosov homeomorphism on a translation surface that belong to a hyperelliptic component is bounded from below uniformly by sqrt{2}. This is in contrast to Penner's asymptotic. Penner proved that the logarithm of the least dilatation of any pseudo-Anosov homeomorphism on a surface of genus g tends to zero at rate 1/g (as g goes to infinity). We also show that our uniform lower bound sqrt{2} is sharp. More precisely the least dilatation of a pseudo-Anosov on a genus g>1 translation surface in a hyperelliptic component belongs to the interval ]sqrt{2},sqr…
A relation between the dilatation of pseudo-Anosov braids and fixed point theory was studied by Ivanov. In this paper we reveal a new relationship between the above two subjects by showing a formula for the dilatation of pseudo-Anosov braids by means of the representations of braid groups due to B. Jiang and H. Zheng.
We consider the hyperelliptic handlebody group on a closed surface of genus $g$. This is the subgroup of the mapping class group on a closed surface of genus $g$ consisting of isotopy classes of homeomorphisms on the surface that commute with some fixed hyperelliptic involution and that extend to homeomorphisms on the handlebody. We prove that the logarithm of the minimal dilatation (i.e, the minimal entropy) of all pseudo-Anosov elements in the hyperelliptic handlebody group of genus $g$ is comparable to $1/g$. This means that the asymptotic behavior of the minimal pseudo-Anosov dilatation of…
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…
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.
For a surface $S$ with $n$ marked points and fixed genus $g\geq2$, we prove that the logarithm of the minimal dilatation of a pseudo-Anosov homeomorphism of $S$ is on the order of $(\log n)/n$. This is in contrast with the cases of genus zero or one where the order is $1/n$.
It has been known since 1981 that if one fixes an orientable surface $S$ of genus $g$, then there is a real number $λ_{min,g} > 1$ that is the dilatation of a pA diffeomorphism of $S$, and every other pA diffeomorphism of $S$ has dilatation $\geq λ_{min,g}$. We will show how a little-known theorem about digraphs gives some insight into $λ_{min,g}$.
We study the minimal dilatation of pseudo-Anosov pure surface braids and provide upper and lower bounds as a function of genus and the number of punctures. For a fixed number of punctures, these bounds tend to infinity as the genus does. We also bound the dilatation of pseudo-Anosov pure surface braids away from zero and give a constant upper bound in the case of a sufficient number of punctures.
For any nonorientable closed surface, we determine the minimal dilatation among pseudo-Anosov mapping classes arising from Penner's construction. We deduce that the sequence of minimal Penner dilatations has exactly two accumulation points, in contrast to the case of orientable surfaces where there is only one accumulation point. One of our key techniques is representing pseudo-Anosov dilatations as roots of Alexander polynomials of fibred links and comparing dilatations using the skein relation for Alexander polynomials.
We construct sequences of pseudo-Anosov mapping classes whose dilatations behave asymptotically like the inverse of the Euler characteristic of the surface they are defined on. These sequences are used to show that if the genus, g, and punctures, n, of a surface are related by a rational ray g=rn then the minimal dilatations behave asymptotically like the inverse of the Euler characteristic.
Let $δ_g$ be the minimal dilatation for pseudo-Anosovs on a closed surface $Σ_g$ of genus $g$ and let $δ_g^+$ be the minimal dilatation for pseudo-Anosovs on $Σ_g$ with orientable invariant foliations. This paper concerns the pseudo-Anosovs which occur as the monodromies on closed fibers for Dehn fillings of $N(r)$ for each $r \in \{-3/2, -1/2, 2\}$ of the magic manifold $N$. The manifold $N(-3/2)$ is homeomorphic to the Whitehead sister link exterior. We consider the set $Λ_g(r)$ (resp. $Λ_g^+(r)$) which consists of the dilatations of all monodromies (resp. monodromies having orientable invar…
We investigate a phenomenon observed by W. Thurston wherein one constructs a pseudo-Anosov homeomorphism on the limit set of a certain lift of a piecewise-linear expanding interval map. We reconcile this construction with a special subclass of generalized pseudo-Anosovs, first defined by de Carvalho. From there we classify the circumstances under which this construction produces a pseudo-Anosov. As an application, we produce for each $g \geq 1$ a pseudo-Anosov $ϕ_g$ on the surface of genus $g$ that preserves an algebraically primitive translation structure and whose dilatation $λ_g$ is a Salem…
We show that an orientable pseudo-Anosov homeomorphism has vanishing Sah-Arnoux-Fathi invariant if and only if the minimal polynomial of its dilatation is not reciprocal. We relate this to works of Margalit-Spallone and Birman, Brinkmann and Kawamuro. Mainly, we use Veech's construction of pseudo-Anosov maps to give explicit pseudo-Anosov maps of vanishing Sah-Arnoux-Fathi invariant. In particular, we give new infinite families of such maps in genus 3.
For each pseudo-Anosov map $ϕ$ on surface $S$, we will associate it with a $\mathbb{Q}$-submodule of $\mathbb{R}$, denoted by $A(S,ϕ)$. $A(S,ϕ)$ is defined by an interaction between the Thurston norm and dilatation of pseudo-Anosov maps. We will develop a few nice properties of $A(S,ϕ)$ and give a few examples to show that $A(S,ϕ)$ is a nontrivial invariant. These nontrivial examples give an answer to a question asked by McMullen: the minimal point of the restriction of the dilatation function on fibered face need not be a rational point.
We show that the Liechti-Strenner's example for the closed nonorientable surface in \cite{LiechtiStrenner18} minimizes the dilatation within the class of pseudo-Anosov homeomorphisms with an orientable invariant foliation and all but the first coefficient of the characteristic polynomial of the action induced on the first cohomology nonpositive. We also show that the Liechti-Strenner's example of orientation-reversing homeomorphism for the closed orientable surface in \cite{LiechtiStrenner18} minimizes the dilatation within the class of pseudo-Anosov homeomorphisms with an orientable invariant…
We prove a new lower bound for the dilatation of an arbitrary pseudo-Anosov map on a surface of genus g with n punctures. Our bound improves the former super-exponential dependence on the genus by a polynomial dependence.
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.
We show that any pseudo-Anosov map that is a lift of pseudo-Anosov homeomorphism of a nonorientable surface has vanishing SAF invariant. We also provide a criterion to certify that a pseudo-Anosov map is not such a lift.
We construct infinite sequences of pseudo-Anosov homeomorphisms without fixed points and leaving invariant a sequence of orientable measured foliations on the same topological surface and the same stratum of the space of abelian differentials. The existence of such sequences show that all pseudo-Anosov homeomorphisms fixing orientable measured foliations cannot be obtained by the Rauzy-Veech induction strategy.
We describe a circle of ideas relating the dynamics of 2-dimensional homeomorphisms to that of 1-dimensional endomorphisms. This is used to introduce a new class of maps generalizing that of Thurston's pseudo-Anosov homeomorphisms.
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…
A foliation is R-covered if the leaf space in the universal cover is homeomorphic to the real numbers. We show that, up to topological conjugacy, there are at most two pseudo-Anosov flows transverse to such a foliation. If there are two, then the foliation is weakly conjugate to the the stable foliation of an R-covered Anosov flow. The proof uses the universal circle to R-covered foliations.
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 $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.
An infinite family of generalized pseudo-Anosov homeomorphisms of the sphere S is constructed, and their invariant foliations and singular orbits are described explicitly by means of generalized train tracks. The complex strucure induced by the invariant foliations is described, and is shown to make S into a complex sphere. The generalized pseudo-Anosovs thus become quasiconformal automorphisms of the Riemann sphere, providing a complexification of the unimodal family which differs from that of the Fatou/Julia theory.
We study the magic manifold $N$ which is a hyperbolic and fibered $3$-manifold. We give an explicit construction of a fiber $F_a$ and its monodromy $:F_a \rightarrow F_a$ of the fibration associated to each fibered class $a$ of $N$. Let $δ_g$ (resp. $δ_g^+$) be the minimal dilatation of pseudo-Anosovs (resp. pseudo-Anosovs with orientable invariant foliations) defined on an orientable closed surface of genus $g$. As a consequence of our result, we obtain the first explicit construction of the following pseudo-Anosovs; a minimizer of $δ_7^+$ and conjectural minimizers of $δ_g$ for large $g$.
We establish bounds on the minimal asymptotic pseudo-Anosov translation lengths on the complex of curves of orientable surfaces. In particular, for a closed surface with genus $g \geqslant 2$, we show that there are positive constants $a_1 < a_2$ such that the minimal translation length is bounded below and above by $a_1/ g^2$ and $a_2/g^2$.
We show that a pseudo-Anosov map constructed as a product of the large power of Dehn twists of two filling curves always has a geodesic axis on the curve graph of the surface. We also obtain estimates of the stable translation length of a pseudo-Anosov map, when two filling curves are replaced by multicurves. Three main applications of our theorem are the following: (a) determining which word realizes the minimal translation length on the curve graph within a specific class of words, (b) giving a new class of pseudo-Anosov maps optimizing the ratio of stable translation lengths on the curve gr…
An algorithm is proposed that solves two decision problems for pseudo-Anosov elements in the mapping class group of a surface with at least one marked fixed point. The first problem is the root problem: decide if the element is a power and in this case compute the roots. The second problem is the symmetry problem: decide if the element commutes with a finite order element and in this case compute this element. The structure theorem on which this algorithm is based provides also a new solution to the conjugacy problem.
In this article we analyze totally periodic pseudo-Anosov flows in graph three manifolds. This means that in each Seifert fibered piece of the torus decomposition, the free homotopy class of regular fibers has a finite power which is also a finite power of the free homotopy class of a closed orbit of the flow. We show that each such flow is topologically equivalent to one of the model pseudo-Anosov flows which we constructed in a previous article. A model pseudo-Anosov flow is obtained by glueing standard neighborhoods of Birkhoff annuli and perhaps doing Dehn surgery on certain orbits. We als…
