## Pseudo-Anosovs with low dilatation: Farb-Leininger-Margalit, and a puzzle

I spent a very enjoyable weekend learning about the dilatation of pseudo-Anosov mapping classes at a workshop organized by Jean-Luc Thiffeault and myself.  The fact that a number theorist and a fluid dynamicist would organize a workshop about an area in low-dimensional topology should indicate, I hope, that the topic is of broad interest!

There are lots of ways to define dilatation, which is a kind of measure of “complexity” of a mapping class.  Here’s the simplest.  Let f be a diffeomorphism from a genus-g Riemann surface S to itself, which is pseudo-Anosov.  Loosely speaking, this means the dynamics of  f are “irreducible” on the surface; for instance, no power of f acts trivially on any subsurface.  (“Most” diffeomorphisms, in any reasonable sense, are pA.)  For any two curves a,b on S, let i(a,b) be the minimal number of intersection points between a and any curve isotopic to b.  (Note that this is typically a lot bigger than the intersection of the homology classes of a and b; the latter measures the number of intersection points counted with sign, which doesn’t change when you isotop the curves.)  It turns out that the quantity

(1/k) log i(f^k(a),b)

approaches a limit as k grows, which strictly exceeds 1;  this limit is called λ(f), the dilatation of f.  It’s invariant under deformation of f; in other words, it depends only on the class of f in the mapping class group of S.  That this limit exists is exciting enough; better still, and indicative of lots of structure I’m passing over in silence, is that λ(f) is an algebraic integer!

(I just remembered that I gave a different description of the dilatation on the blog last year, in connection with an analogy to Galois groups.)

The subject of the conference was pseudo-Anosovs with low dilatation.  The dilatations of pAs in a given genus g are known to form a discrete subset of the interval (1,infinity); thus it makes sense to ask what the smallest dilatation in genus g is.  Lots of progress on this problem has been made in recent years; Joan Birman, Eriko Hironaka, Chia-Yen Tsai, and Ji-Young Ham all talked about results in this vein.  But for general g the answer remains unknown.

A theorem of Penner guarantees that, for any pseudo-Anosov f on a surface of genus g, we have λ(f) > c^(1/g) for some constant c.  So one might call a family f_1, f_2,…. of pAs of varying genera g_1, g_2, …  “low-dilatation” if the quantity λ(f_i)^g_i is bounded.  (One such family, constructed by Hironaka and Eiko Kin, appeared in many of the lectures.)

In this connection, let me advertise the extremely satisfying theorem of Benson Farb, Chris Leininger, and Dan Margalit.  Here’s a natural construction you can do with a pA diffeomorphism f on a surface S.  The diffeo has an invariant foliation which is stretched by f; this foliation has a finite set of singularities.  Remove this to get a punctured surface S^0.  Since the singularities are preserved setwise by f, we have that f restricts to a diffeomorphism of S^0, which is again pA, and which we again call f.  Now we can make a 3-manifold M^0_f by starting with S^0 x [0,1] and gluing S^0  x 0 to S^0 x 1 via f.  By a theorem of Thurston, this will be a hyperbolic 3-manifold; because of the punctures, it’s not compact, but its ends are shaped like tori.

Now here’s the theorem:  suppose f_1, f_2, … is a sequence of pAs which has low dilatation in the sense above.  Then the sequence of 3-manifolds M^0_{f_i} actually consists of only finitely many distinct hyperbolic 3-manifolds.

This has all kinds of marvelous consequences; it tells us that the low-dilatation pAs are in some sense “all alike.”  (For more on the “in some sense” I would need to talk about the Thurston norm and fibered faces and etc. — maybe another post.)  For instance, it immediately implies that in a low-dilatation family of pseudos, the dimension of the subspace of H_1(S_i) fixed by f_i is bounded.

If you’ve read this far, maybe you’d like to see the promised puzzle.  Here it is.  Suppose f_1, f_2, … is a family of pseudos which lie in the Torelli group — that is, f_i acts trivially on H_1(S_i).  Then by the above remark this family can’t be low-dilatation.  Indeed, an earlier theorem of Farb, Leininger, and Margalit tells us that for Torellis we have an absolute lower bound

λ(f) > c

where the constant doesn’t depend on g.

Puzzle: Suppose f_1, f_2, … is a sequence of pseudos in Torelli which has bounded dilatation; this is as strong a notion of “low-dilatation family” as one can ask for.  Is there a “structure theorem” for f_1, f_2, …. as in the general case?  I.E., is there any “closed-form description” of this family?