PDFLINK |
Mixing Surfaces, Algebra, and Geometry
Dedicated to the memory of Maryam Mirzakhani 1977–2017
Introduction
This article is a written version of the Maryam Mirzakhani lecture, which the author was honored to give at the Joint Mathematical Meetings in May 2022. Mirzakhani was, of course, the first woman and first Iranian to win the Fields medal.
On a basic level, Mirzakhani’s work centers around the geometry of surfaces, as understood through their simple curves. Here, a surface is a 2-dimensional manifold, such as a sphere, a torus, a double torus, etc.; see Figure 1. And a simple curve in a surface is an embedded loop, that is, a path that starts and ends in the same place, never crossing itself. See Figure 2 for an example of a simple curve in the double torus that was drawn by the Fields medalist William Thurston in his research announcement Thu88 (more about his work later).
Starting from this humble-seeming topic, Mirzakhani made surprising and sweeping connections between numerous fields of mathematics, including algebraic geometry, Teichmüller theory, moduli spaces, dynamics, homogeneous spaces, symplectic geometry, and billiards.
The goal of this article is to explain some recent work on the theory of pseudo-Anosov maps. Informally, a pseudo-Anosov map is a map that mixes the surface in a complicated way. One way to think about this is that if we start with any simple curve in the curves in the sequence , , , get more and more complicated, as in Thurston’s picture (for instance, the number of times is forced to pass from the front of the surface to the back will increase exponentially with ).
In this article, we will explain three theorems of the author and his collaborators. Along the way, we will connect the theory of pseudo-Anosov maps to number theory, the theory of 3-manifolds, complex analysis, and fluid mixing. Our work is often inspired by and connected to the work of Mirzakhani. Fittingly, we begin by describing a theorem of Mirzakhani that can be viewed as a motivation for the work that follows.
A Motivating Theorem of Mirzakhani
Given a curve on a surface, we can measure its length in a variety of ways. We can endow the surface with a Riemannian metric and compute lengths that way. Or we can fix a projection of the surface to the plane and measure the lengths of the projections (approximately how long is Thurston’s curve in this sense?). Here is a basic question:
Given a particular surface, how many simple curves are there of length at most ?
As stated, the answer is easy: infinitely many. Indeed, given a curve with length less than we can deform it a little bit in order to obtain another curve with length less than (such a deformation is called a homotopy). A better version of the question is: how many homotopy classes of simple curves are there of length at most ?
This question is similar to the classical lattice counting problem: in a ball of radius in how many points of the lattice , are there? In fact, homotopy classes of (simple) closed curves in exactly correspond to (primitive) elements of While there is no closed form answer to the lattice question—it depends on the center and the exact value of . can say the answer is on the order of —we .
If we remove the word “simple,” the answer to the curve question is exponential in for most surfaces. To see this consider two non-homotopic curves and in the double torus with a single point. We can assume the lengths of and are both 1. For every (freely reduced) word of length in and we can construct a (non-simple) curve by following and according to the word. The curve will have length at most hence the exponential growth. ,
Mirzakhani proved that for simple curves, the answer is strikingly different Mir08. For the statement we denote by the closed surface of genus so , is the sphere and is the torus etc. ,
Why a polynomial instead of an exponential? Why A little experimentation will quickly reveal that simple curves are rare: if we choose a random word in ? and as above, we can bet that the resulting curve is not simple. We can try to modify this construction so that only simple curves are produced. That is exactly what Birman and Series did in 1985. In doing so they discovered the lower bound of and asked if it was sharp BS85. Mirzakhani’s theorem confirmed this (and much more) using a tour de force of hyperbolic geometry, Teichmüller theory, combinatorics, and dynamics. One upshot of this theorem is that simple curves are special, much in the same way that prime numbers are special.
Taffy Pullers
To get into the right frame of mind to study pseudo-Anosov maps, we will begin by investigating a visual (and tasty) way to produce complicated simple curves: taffy pulling. A taffy pulling machine aerates taffy by repeatedly stretching the taffy and folding it. Figure 3 shows two different taffy pulling machines.
These pictures, as well as several others in this section, are meant to be viewed as animations. To access the animated versions, visit the following link: https://dmargalit7.math.gatech.edu/mm.shtml.
The taffy puller on the left in Figure 3 has three prongs and the one on the right has four. Which machine is more efficient? How do we even make sense of this question?
We can start to understand the taffy puller on the left by drawing a planar slice of it. If we choose the planar slice to pass perpendicularly through the prongs, we obtain a plane with three dots, one for each prong. We may then draw a simple curve in the plane minus the dots—an imaginary piece of taffy—and trace the evolution of the curve as we run the taffy puller. We want to see how quickly the curve is folding in on itself. If we can quantify that, we will have a sense for how efficient the taffy puller is.
Figure 4 shows what happens to a specific curve under one iteration of the 3-pronged machine (the white dots are hinges, which are not in the plane). To get a handle on the efficiency of this taffy puller we should continue to run the machine and measure the complexity of the resulting curves. The problem, though, is that the pictures are already difficult to draw. It would be hard to draw the curve after two iterations, let alone 10 or 100. What to do?
Thurston’s work on curves gives a solution. One of his many brilliant ideas is to consider the blue object on the top left of Figure 5. This is a graph in the plane with a well-defined tangent line at every point. Thurston calls such a graph a train track.
What is special about the train track in Figure 5 is that we can take the curve in the figure and push it in a smooth way onto the train track; see the top right of the figure. In other words, we may smoothly deform the curve so that it lies close to the train track and has compatible tangent lines with the train track. We may keep track of the number of “strands” of the curve that pass over each edge (or branch) of the train track. In this way, we obtain a train track with labeled edges, as shown at the bottom of the figure.
We claim that this process loses no information about the curve we started with. Indeed, from the labeled train track, we can recover the curve (up to homotopy) by replacing each branch of the train track with a collection of parallel arcs, the number of arcs being dictated by the label on the branch. The train track then tells us how to glue the arcs together, end to end, to make a curve.
A first observation about labeled train tracks is that most of the labels are redundant. For instance, the 14 must be 14 since this branch is the confluence of branches labeled 10, 2, and 2. This is called the switch condition: at each vertex (or, switch) the sum of the ingoing labels equals the sum of the outgoing labels (the train track is not oriented, and so it is irrelevant which branches we call incoming and outgoing at each switch). The 10 and the 7 are similarly redundant. The end result is that the labels are completely determined by just two: the 5 and the 2.
In this way, labeled train tracks give a succinct way of encoding complicated curves in a surface: for every pair of non-negative integers and we obtain a curve based on the blue track; cf. Figure ,6. (If and are not relatively prime, we obtain a collection of disjoint curves.) In this notation, the curve from the left-hand side of Figure 4 is Let us now use this idea to pursue our goal of understanding the image of this curve under iteration of the taffy puller. .
To this end, we take the train track from Figure 5 and we label two of the branches and as in the left-hand side of Figure 6. Again, once we label those branches and the other branches inherit their own labels. For instance, the branch adjacent to the , is labeled -branch et cetera. ,
At this point, the reader should be skeptical: shouldn’t the train track get more and more complicated as we apply the taffy puller? If so, have we really made any progress? Let’s see!
We can apply the taffy puller to the train track from the left-hand side of Figure 6. We obtain the twisted train track shown in the right-hand side of Figure 6, which is indeed much more complicated than the original train track. But then, following Thurston, we observe the following miracle: the twisted train track can be smoothly deformed back onto the original train track. So if we are careful about keeping track of the labels on every branch of the twisted train track, we can re-imagine the twisted train track as the original train track with new labels. The new labels on the and - are -branches and In other words, the taffy puller preserves the blue train track, changing the . and - by the matrix -labels
We have converted our topology problem into a linear algebra! We now know that the image of the curve under iterations of the taffy puller is the curve corresponding to the image of under For example, the 100th iterate has . -coordinates
By linear algebra we know that the growth rate of these numbers is governed by the eigenvalues of namely , and its inverse.Footnote1 Specifically, for large we have that
For a curve represented by the train track, the magnitude of the corresponding 2D vector is a good measure of the complexity of the curve. Therefore, is a good measure of the efficiency of the taffy puller. We call this the stretch factor of the taffy puller.
What about the 4-pronged taffy puller? If we play the same game, we can find that the image of the curve on the left-hand side of Figure 7 is the curve on the right-hand side of the figure. We then are led to the train track on the right-hand side of Figure 7. By a similar analysis as in the 3-pronged case, we compute a matrix and find that the stretch factor for the 4-pronged puller is nothing other than the same as for the 3-pronged taffy puller! ,
This may seem like too much of a coincidence, since these two taffy pullers have little to do with each other, at least on the face of it. So why the same stretch factor? We can give two answers. The first answer is that, in a sense, the two taffy pullers are secretly the same. That is, the pattern of curves we get from the 4-pronged taffy puller is exactly the same as the pattern of curves for the 3-pronged taffy puller, just with an extra red dot thrown in. So in a sense the fourth prong is not actually helping to stretch the taffy(?!).
The second answer is that the number is the smallest possible stretch factor for a taffy puller with three prongs. So this is far from a random number. But why would two different taffy puller designers make taffy pullers with the smallest stretch factor, instead of a larger stretch factor? First, we can always run the taffy puller longer to get larger and larger stretch factors (the stretch factor for the iterate is th And it stands to reason that when designing a taffy puller the goals are efficiency, simplicity, and elegance. Symmetric/beautiful/efficient patterns tend to give smaller stretch factors. We will return to this idea when we discuss the work of Penner and our work with Farb and Leininger below. ).
Lest we lose sight of our goal, let us explain what taffy pullers have to do with our main objects of interest, surfaces and homeomorphisms. We may think of an taffy puller as giving a homeomorphism of a plane with -pronged marked points (equivalently, with points removed). Through each iteration of the taffy puller we can think of the plane as getting stretched by the motion of the prongs, as though the entire plane was made of a thin layer of taffy; this gives the homeomorphism. So the story developed here is really a story about homeomorphisms of surfaces. We will continue this story in the next section.
If the reader is interested in more about the mathematical history of taffy pullers, we highly recommend the account by Jean-Luc Thiffeault Thi18.
Pseudo-Anosov Maps and the Nielsen–Thurston Classification
In the 1970s, William Thurston proved the following theorem, which gives a classification of surface homeomorphisms into three types Thu88. We will state the theorem first and then explain all of the terms. One thing we will see is that the taffy pullers discussed above can be interpreted as examples of the pseudo-Anosov maps in the theorem. In later sections, we will not often use the precise definition of a pseudo-Anosov map. For a first pass, one should think of a pseudo-Anosov map as one that is similar to a taffy puller in that, asymptotically, it stretches all curves by the stretch factor as we iterate.
This is called the Nielsen–Thurston classification because Jakob Nielsen proved many results in this general direction (although pseudo-Anosov maps were not defined prior to Thurston).
We now explain the three types. A periodic homeomorphism should be thought of as a rigid rotation of the surface. The reader might try to imagine some of these, using the pictures of surfaces given above. Different embeddings of a surface in suggest different periodic maps. (For a challenge: find a period 3 homeomorphism of the double torus .)
A reducible homeomorphism is so-called because restricts to a homeomorphism of the complement of the given collection of curves, and we may think of the resulting map as a simplification (or reduction) of to a map of simpler surfaces. (Here, a simple curve is essential if it is not homotopic to a point in .)
Before delving into the definition of a pseudo-Anosov map, let us look at an example that you may already be familiar with. Consider the matrix The matrix . acts on with two eigenspaces. The eigenvalues of are and where is the golden ratio. Beyond this basic linear algebra, there is an even richer picture to be had: preserves two foliations of Each foliation is the collection of lines in . parallel to one eigenspace. We refer to these lines as the leaves of the foliation.
What is more, each of these foliations has a measure, that is, a function that assigns a non-negative real number to each path in transverse to the given foliation. Specifically, the measure is the total variation of the path in the direction perpendicular to the foliation (so the measure of a path in a leaf of the foliation is zero and the measure of a path perpendicular to the foliation is its Euclidean length). Beyond preserving the two foliations, we can say that multiplies the measures by and respectively. So, for instance, if we draw a , square with respect to the two foliations for its image under , will be a rectangle with sides and .
Finally, a pseudo-Anosov homeomorphism of a surface is a map so that, away from finitely many points of the action of , looks like (or, is conjugate to) the action on of a matrix with determinant 1 and two real eigenvalues, such as As in the Nielsen–Thurston classification there are two measured foliations on . that are preserved by and whose measures are multiplied by and The number . is called the stretch factor for .
Figure 8 depicts a pair of transverse measured foliations on (to obtain measures, define charts from to that take the foliations in to foliations of by lines and pull back natural measures there, as above). We show how a pseudo-Anosov might distort a square drawn with respect to these foliations.
To make a first example of a pseudo-Anosov map on one of the surfaces we observe that the action of , on descends to a well-defined map where the torus , is regarded as the quotient To verify . is well defined, we simply check that for any and any we have that , and have the same image in (i.e., the coordinates for and have the same fractional parts). The map is locally modeled on the measured foliations on : descend to measured foliations on and acts on by preserving the foliations, multiplying the measures by and .
In the same way that most vectors in are stretched asymptotically by by the matrix curves in , have their length stretched asymptotically by as we iterate the pseudo-Anosov map This is because . is behaving locally like the matrix This agrees with our observations about taffy pullers, where we saw curves become increasingly more complicated under iteration of the map. .
Three Faces
An internet meme (of unclear origin) states:
The Japanese say you have three faces. The first face you show to the world. The second face you show to your close friends and your family. The third face you never show anyone. It is the truest reflection of who you are.Footnote2
We will now discuss three faces of, or ways of thinking about, pseudo-Anosov maps. The three perspectives are increasingly deep and rich, the last being most closely related to the work of Mirzakhani. After discussing the three faces we will aim to understand, from all three perspectives, how we can describe the set of pseudo-Anosov maps with As we will see, this line of inquiry is analogous to the aforementioned theorem of Mirzakhani, which counts simple curves with length at most . .
Face 1: Pseudo-Anosov Maps and the Mapping Class Group
For a surface the mapping class group , is a quotient of the group of (orientation-preserving) self-homeomorphisms of Specifically, two homeomorphisms are equivalent if they are homotopic, that is, if one can be deformed to the other in a continuous way. This is a countable group that encodes the symmetries of . .
We would be remiss not to mention that the theory of mapping class groups recently celebrated its 100th birthday. The first lecture on the topic was given by Max Dehn in Breslau, Poland, on February 22, 1922.
Today, mapping class groups are connected to many areas of mathematics and science, from physics to dynamics to algebraic geometry to number theory. Here are three of the ways that mapping class groups arise in mathematics (see FM12 for details):
- •
The Dehn–Nielsen–Baer theorem says that every automorphism of the fundamental group is induced by an element of .
- •
The Earle–Eells theorem implies that over a space -bundles correspond bijectively to homomorphisms .
- •
By the work of Fricke, is the (orbifold) fundamental group of the moduli space of algebraic curves of genus .
The Nielsen–Thurston classification can be regarded as a trichotomy for the mapping class group: a mapping class is considered to be pseudo-Anosov if it has a pseudo-Anosov representative. So this is the first face of a pseudo-Anosov homeomorphism: as an element of .
As we will see, the pseudo-Anosov property of a mapping class has profound implications for the corresponding automorphisms of surface bundles, and loops in moduli space. ,
Face 2: Pseudo-Anosov Maps and 3-Manifolds
The second face of a pseudo-Anosov map—as a mapping torus—is richer than the first. The story begins with the following quote from Thurston Thu01:
It seemed pretty obvious that a 3-manifold that fibers over the circle couldn’t possibly have a hyperbolic structure. I kept trying to think of proofs of that. I kept proving it but then when I went to explain it to somebody the proof had a fallacy…
Let us explain the two technical terms in this quote, “fibers over the circle” and “hyperbolic.” We begin with the former. Given any homeomorphism we may construct a 3-dimensional manifold, called the mapping torus , by taking the product , and gluing the two ends by More precisely: .
where for all In Thurston’s quote, a 3-manifold that fibers over the circle is nothing other than such a mapping torus. .
Next, a manifold is hyperbolic if it admits a Riemannian metric of constant curvature (equivalently, if it is a quotient of hyperbolic space). Thurston’s quote, which is from 2001, describes his thinking in the 1970s, when he and others were wondering which 3-manifolds were hyperbolic.
Why would Thurston think that mapping tori could not be hyperbolic? It helps to draw a picture of as in Figure ,9. Our illustration of looks at first glance like a direct product And indeed if . is the identity this is the case. When is not the identity, is a twisted product. To understand this twistedness, we must look inside .
Consider the curve in shown in the figure. As we push around the circle direction, it traces out a tube. If is different from then the tube does not close up after traveling around the circle direction once and we can keep extending the tube.
On the other hand, if does preserve a simple closed curve in then the tube created by pushing , in the circle direction closes up to give a torus in Similarly, if some nonzero power of . preserves (even up to homotopy), then we again obtain an (immersed) torus, except now the torus wraps around the circle direction more than once.
Let us circle back to the question of hyperbolicity. It is a fact that a hyperbolic manifold cannot contain an (essential) torus, since a torus is inherently a Euclidean object (the real reason is that the torus would give rise to a in which does not exist). So by the previous paragraph, if we want , to be hyperbolic then no power of can preserve (the homotopy class of) any simple curve. It might be hard to believe that such an exists.
But we know better. As with our taffy puller examples, pseudo-Anosov maps have the desired property: no power fixes any simple curve. So at least those have a chance of being hyperbolic. Thurston showed that indeed all of these mapping tori are hyperbolic, that is, is hyperbolic if and only if is (homotopic to) a pseudo-Anosov map (his argument is fleshed out by Otal Ota96). And so we have the second face of a pseudo-Anosov map, as a hyperbolic mapping torus.
Face 3: Pseudo-Anosov Maps and Moduli Space
The third face of a pseudo-Anosov map is the most challenging (and also the most rewarding): we will see that pseudo-Anosov maps can be regarded as loops in the moduli space of complex structures on Before we get to that, let us first aim to understand what this moduli space is. .
A complex structure on is a way of identifying with the complex plane at least locally. More specifically, we cover , with open sets and choose for each an embedding called a chart. The catch is that on the open set there are two different charts, and and we insist that the change of coordinates , is a biholomorphic map. This definition is analogous to that of a smooth structure. The last condition ensures that the different charts are consistent with one another.
How do we even make a single complex structure on When ? is the torus every complex structure on is given by a parallelogram in the complex plane with unit area. We obtain the torus topologically by identifying opposite sides of The interior of . is then an open set in that is already identified with a subset of (the chart is the inclusion map). It is a good exercise to find the other open sets and charts needed to give a complex structure. But since the interior of is “most” of it should be believable that , gives rise to a (unique) complex structure on .
Two complex structures on a surface are considered to be the same if there is a biholomorphic map from one to the other. For example if we rotate a parallelogram to obtain a parallelogram then , and give equivalent complex structures on On the other hand, the complex structure on . coming from a square is not equivalent to the one coming from a (non-square) rectangle. Intuitively, this is because holomorphic maps preserve angles, but a map from a square to a rectangle must distort angles.
How do we move around in the moduli space Again, let us start with the case ? and in particular at the point in corresponding to a square. If we deform the square through a continuous family of parallelograms, that gives a continuous deformation of the complex structure on and hence a path in , .
We now describe two explicit paths in For . let be the unit-area parallelogram with vertices 0, , and , When . the parallelogram , is a square and otherwise it is a rectangle that gets skinnier as Similarly, for . let be the unit-area parallelogram with vertices 0, 1, and in The parallelogram . shears as increases. In both cases, the continuously changing shapes of the parallelograms give continuously changing complex structures on and hence a path in , .
We usually draw so that it looks like a long and pointy pillowcase, as in Figure 10. It turns out this space is homeomorphic to (Can you see from the above discussion why it should be 2-dimensional?). There are two special points, corresponding to the complex structures on . coming from a square (bottom left of the figure) and a regular hexagon with sides identified (top left of the figure); these are the only two tori with extra symmetry, besides the translational symmetry along the factors (all parallelograms have reflections, but these are not allowed in the complex setting).
The complex structures corresponding to skinny parallelograms are off to the right in the picture; this is the cusp of moduli space, or the part at infinity. The path travels off into this region. This region is also called the thin part of moduli space; not because moduli space is thin there (which is also true) but because the tori there are thin.
What about Far from traveling into the cusp of moduli space, we claim that ? is a closed loop. Indeed, we will show that the square torus, is the same point as , the torus corresponding to a parallelogram with acute angle , In other words, there is a biholomorphic (or, angle preserving) map from . to Indeed, if we divide the . parallelogram into two triangles with a vertical line, then we can reassemble those two triangles (respecting identifications) and obtain the square corresponding to See Figure .11 for an illustration of .
Now that we have in hand an example of a loop in moduli space, we can return to our stated goal of relating loops in moduli space to pseudo-Anosov maps. Let us look again at and Suppose we decorate the square . by labeling its pairs of opposing sides by and As we vary . we can take the decorations with us. When we get to we indeed have a torus that is biholomorphic to the square torus, but the decoration is different: , and are now at an angle of More to the point, . and differ by a homeomorphism of that fixes and sends to the diagonal (this is like a shear in linear algebra).
The previous paragraph gives a correspondence between loops in and elements of So what does this have to do with pseudo-Anosov maps? It turns out that, for general . pseudo-Anosov maps are exactly the ones that correspond to essential loops in , There is a natural metric on . called the Teichmüller metric, which measures the distortion required to get from one complex structure to another, and the loops corresponding to pseudo-Anosov maps are exactly the ones with geodesic representatives in this metric. The length of the loop is , where , is the stretch factor.
Small Stretch Factors
We gain insight into a geometric space by understanding the set of lengths of loops, the so-called length spectrum. And one way to probe the length spectrum is to list the smallest elements. Mirzakhani’s theorem above gives a count of the number of short curves on a surface. Since short loops in moduli space correspond to pseudo-Anosov maps with small stretch factor we would like a similar count of the pseudo-Anosov maps with small stretch factor. ,
It is a fact that for every surface there is a smallest stretch factor among all pseudo-Anosov maps. Even more, the set of stretch factors has no accumulation points in and so it makes sense to talk about the smallest , stretch factors (for example).
So what is this smallest stretch factor? For the torus it is the stretch factor seen above (exercise!). For , Cho and Ham proved that the smallest stretch factor is the largest root of the polynomial , or about 1.722. See a pattern? Actually, nobody knows the pattern. The smallest stretch factor for , is still a mystery for all .
While we do not know in general which pseudo-Anosov maps have the smallest stretch factor for each surface we still can, surprisingly, give qualitative descriptions of what they look like.
Penner proved Pen91 there are numbers and so that the log of the smallest stretch factor on lies between and We write this as .
So as the genus increases, the size of the smallest stretch factor gets smaller and smaller, indeed, closer and closer to 1.
The upper bound is obtained by giving an explicit example of a pseudo-Anosov map on with stretch factor less than Here is (very roughly) how Penner constructs . First, he chooses a pseudo-Anosov map . on the surface of genus 2 with one boundary component. Since the latter surface lies inside for all we may consider as an element of for all Let . be a rotation of by one “click” (a rotation by as in Figure )12. Then is given by the composition
The map has some stretch factor and the map , does no stretching. So the net effect is that the stretching done by gets dampened out by the rotation, and the amount of dampening increases with which is the period of , Penner shows that if . and are chosen very carefully, then the stretch factor of is approximately as desired. ,
Because of Penner’s theorem, we have the following notion of smallness for a stretch factor. We fix a number and say that a stretch factor for a pseudo-Anosov is small if
By Penner’s theorem, there are small stretch factors for every as long as is greater than or equal to the constant in his theorem.
In the remainder of this article we focus on the question:
What do the small-stretch pseudo-Anosov maps look like, and where do we find them?
We approach this question from the three perspectives on, or three faces of, pseudo-Anosov maps given above.
Connections to Number Theory: Lehmer’s and Fried’s Problems
Fried proved that the stretch factor for a pseudo-Anosov map is always a bi-Perron unit: it is the root of a monic, integer polynomial, and each algebraic conjugate of is either equal to or has modulus in Fried then posed the following problem: show that every bi-Perron unit is the stretch factor of a pseudo-Anosov map .Fri85. It would be remarkable if there was such a strong connection between this number theoretic property of real numbers and the topological property of being a stretch factor.
As of this writing, Fried’s problem is wide open, and there is no convincing evidence either way (Fried considered other basic number theoretic properties, and could not find any more restrictions). The problem is hard because there is no straightforward bridge between the number theory and the topology and no conspicuous place to look for counterexamples.
As for the problem of understanding the smallest stretch factors, there is a famous analogue in number theory. The Mahler measure of a polynomial is the product of the absolute values of the roots that lie outside the unit circle. Lehmer’s problem (or conjecture) is to show that the set of Mahler measures of monic, integer polynomials is bounded away from 1 and further that the minimal such Mahler measure is attained by Lehmer’s polynomial
The Mahler measure of Lehmer’s polynomial is Lehmer’s problem has been open since his 1933 paper. .
Lehmer’s polynomial appears elsewhere, for instance in Reidemeister’s 1927 manuscript Rei27 as the Alexander polynomial of the knot. For a variety of other connections between Lehmer’s problem and topology, see the papers by Silver–Williams -pretzelSW07 and by Leininger Lei04.
Face 1: Small Stretch Factors and the Mapping Class Group
By work of Dehn and Lickorish, each is normally generated by a single element FM12, Theorem 4.1. This means for each there is a single element so that each element of is a product of conjugates of The specific element given by Lickorish is known as a Dehn twist. .
As in linear algebra, we think of conjugate group elements as acting in the same way, just under different sets of coordinates. So we can think of this theorem as saying that there is one type of “move” that allows us to obtain all symmetries of a surface. This is a familiar notion. For instance the fact that the symmetric group is generated by transpositions and the fact that the special linear group is generated by primitive elementary matrices (elementary matrices with a 1 off the diagonal) are instances of this. Since transpositions are all conjugate in and primitive elementary matrices are all conjugate in both facts imply that , and are normally generated by a single group element.
Transpositions and elementary matrices are very simple elements: transpositions fix elements of and elementary matrices fix a codimension 1 subspace of , Similarly, a Dehn twist in . is the identity outside of an annulus in (the smallest essential subsurface). While it is perhaps not surprising that such simple elements are normal generators, the following question of D. D. Long is more intriguing:
Does have a normal generator that is pseudo-Anosov?
Long answered in the affirmative for but his question was open since 1986 for , To get a sense for why this is difficult, try to determine if . is a normal generator for To put it another way, it is natural that the usual row operations (or elementary matrices) suffice to reduce matrices, but much less natural to understand if the complicated “row operations” given by . suffice.
With Lanier, we answered Long’s question in the affirmative LM22. In fact we showed that there are many pseudo-Anosov normal generators.
Our work builds on previous joint work with Farb and Leininger FLM08. One restatement of the theorem is that if a pseudo-Anosov map has small stretch factor, then it lies outside every proper, normal subgroup of (a normal subgroup contains the normal closures of each of its elements).
The mapping class group is rich with interesting normal subgroups, some of which are named in Figure 13. The small stretch pseudo-Anosov maps lie outside all of them, as caricaturized in the figure.
This gives a first answer to our motivating problem of understanding the nature of small-stretch pseudo-Anosov maps. This answer even applies to the set of pseudo-Anosov maps with For the second and third faces we use the stronger assumption . .
Face 2: Small Stretch Factors and 3-Manifolds
We now turn our attention to the 3-manifold perspective. The starting point is the following fact: there are examples of mapping classes and so that the mapping tori and are homeomorphic. Said another way, there is a single 3-manifold that can be realized as a mapping torus in two very different ways.
While this may seem counterintuitive at first, we can gain insight by subtracting two dimensions. To any element of the symmetric group we may make a mapping torus: we multiply the discrete set by the interval which gives a disjoint union of , intervals, and then we glue the ends together according to The end result is a disjoint union of circles, the number of circles being the number of cycles in the cycle decomposition for . From this, we see that we may write the circle as a mapping torus for elements of different permutation groups. The phenomenon in the previous paragraph is simply a higher dimensional analogue. .
As in the symmetric group case, we can often realize a single 3-manifold as a mapping torus in infinitely many ways, with underlying surfaces of infinitely many different genera. As mentioned, a deep theorem of Thurston says that a mapping torus is hyperbolic if and only if the gluing map is pseudo-Anosov. Thus, if one of the gluing maps for a mapping torus is pseudo-Anosov, all of them are. In this way, we obtain infinitely many pseudo-Anosov maps, on surfaces of different genera, from a single pseudo-Anosov map.
Even better, McMullen McM00 showed how to use work of Fried to obtain Penner’s asymptotics this way. That is, from a single hyperbolic mapping torus, one can find a sequence of pseudo-Anosov maps (as in the previous paragraph) with the tending to infinity, and the logs of the stretch factors of the bounded above by .
From this starting point, Farb, Leininger, and the author set out to study the set of small-stretch pseudo-Anosov maps from the 3-manifold perspective. Here, we consider the set of pseudo-Anosov maps on all with bounded above by for some fixed We denote this set by . .
Our first hope was the set of mapping tori
was finite. This would be a sort of converse to McMullen’s construction: not only does a single mapping torus give Penner’s asymptotics, but all sequences of mapping classes realizing Penner’s asymptotics in turn give a single, or at least finitely many, mapping tori.
Unfortunately, this is not true, and there is an immediate obstruction. When we make a mapping torus from a pseudo-Anosov map the foliations on the surface give rise to 2-dimensional foliations of , The infinitely many pseudo-Anosov maps giving . all give the same foliations of The degrees of the singularities for the foliations for . are the same as the degrees of the singularities in But Penner’s examples of small-stretch pseudo-Anosov maps have more and more singularities as . increases (there are singularities at the two fixed points of the rotation in Figure 12, each with degree ).
With Farb and Leininger we proved that this is the only thing that goes wrong with our initial hope FLM11. More precisely, let be the set of pseudo-Anosov maps of punctured surfaces obtained by deleting the singularities of elements of .
In other words, up to adding and deleting finitely many singular points, the set of small-stretch pseudo-Anosov maps all come from a finite set of 3-manifolds. Figure 14 gives a caricature.
It is an open problem to determine the cardinality of Is it ever 1? .
The Symmetry Conjecture
With Farb and Leininger we formulated a conjecture that suggests a different way to describe the pseudo-Anosov maps with small stretch factor. In the statement, a partial pseudo-Anosov map is a map supported on a subsurface and so that the restriction is pseudo-Anosov (such as above).
In short, the conjecture says that a pseudo-Anosov map with small stretch factor is the product of a “small” partial pseudo-Anosov map with a rotation. The foliations for such a pseudo-Anosov map will have symmetry. Hence we refer to this as the symmetry conjecture.
In the same sense that our theorem is a converse to McMullen’s construction of small-stretch pseudo-Anosov maps, we may think of the symmetry conjecture as a converse to Penner’s construction: it suggests that not only does his construction give pseudo-Anosov maps with small stretch factor, his construction (or a version of it) gives all of them.
Face 3: Small Stretch Factors and Moduli Space
Finally, where do we find small-stretch pseudo-Anosov maps in moduli space? More precisely, where do the corresponding loops in moduli space lie?
Earlier we mentioned the thin part of moduli space. A measure of the thin-ness of a point in is the supremum of the moduli of embedded annuli. Here an annulus is a subset of that is biholomorphic to a standard annulus and the modulus is then defined to be , Every complex structure on . corresponds to a hyperbolic metric on and an annulus of large modulus in the complex structure corresponds to a curve with small length in the hyperbolic metric (hence the term “thin”). ,
For let denote the supremum of the moduli of embedded annuli in For any closed interval . we define
We may refer to this as the not-too-thin/not-too-thick part of moduli space.
As above, a pseudo-Anosov corresponds to a loop We again let . denote the set of pseudo-Anosov maps with With Leininger, we proved the following theorem .LM13.
We emphasize that the are independent of Our caricature of the theorem is in Figure .15.
Back to Mirzakhani
The set contains subsets consisting of the small-stretch pseudo-Anosov maps In our work with Leininger from the previous section, we obtained a further result: if we fix . and let vary, the cardinality of behaves like a polynomial in (for the precise statements, see Theorems 1.2 and 1.3 in that paper). As mentioned above, the elements of correspond to the loops of length at most in In that sense, this gives a count of short curves in the spirit of Mirzakhani’s theorem about short curves on a surface. .
In Mirzakhani’s theorem the variable is fixed and varies. And so a more direct analogue of that theorem would be a count of for fixed and varying Fittingly, the more direct analogue was given by Mirzakhani herself, in joint work with her collaborators. Expanding on work of Veech, Eskin and Mirzakhani proved the following .EM11.
Since contains all loops in moduli space of length at most we might think of this theorem as being more analogous to the fact that the number of curves in , of length at most grows exponentially in With Eskin and Rafi, Mirzakhani proved that the number of loops of length at most . and of a certain topological type (lying in a certain stratum of moduli space) is also exponential in but with smaller exponent ,EMR19. This is a striking analogue of Mirzakhani’s theorem about short curves in surfaces.
Epilogue
We study pseudo-Anosov maps with small stretch factor because they are precious stones. They are beautiful in a similar way to the way we think of the golden ratio as being so. This beauty does not come from the decimal expansion of the golden ratio, but from its various, interconnected descriptions in terms of golden rectangles, its algebraic formula and its continued fraction expansion, to name a few. Like the golden ratio, pseudo-Anosov maps and their stretch factors are gems, wonderful to visualize and contemplate. ,
Even from the small fragment of her work discussed in this article, we can see that Maryam Mirzakhani’s life’s work is a gem mine. And from the small amount of time I spent with her, I also know that Maryam was a gem of a person, radiating with positive energy, scientific curiosity, and mathematical ideas. Her grace in the most difficult of circumstances fills me with admiration and appreciation. May her memory continue to be a blessing, and may her work continue to be an inspiration for generations to come.
Acknowledgments
We are grateful to Joan Birman, Koji Fujiwara, Allen Hatcher, Chris Leininger, and Yvon Verberne for helpful comments and conversations. We are also grateful to Benson Farb for informing much of our viewpoint on this topic. We thank the participants of Seminar 234—Wade Bloomquist, Katherine Williams Booth, Ryan Dickmann, Jacob Guynee, Daniel Minahan, Karim Sane, Roberta Shapiro, and Jaden Ai—for a productive workshopping session. We thank Teddy Einstein for his comments and corrections on a draft. Finally, we thank Kathryn Mann, who gave many comments that greatly improved the clarity and overall quality of the exposition.
References
- [BS85]
- Joan S. Birman and Caroline Series, Geodesics with bounded intersection number on surfaces are sparsely distributed, Topology 24 (1985), no. 2, 217–225, DOI 10.1016/0040-9383(85)90056-4. MR793185Show rawAMSref
\bib{series}{article}{ author={Birman, Joan S.}, author={Series, Caroline}, title={Geodesics with bounded intersection number on surfaces are sparsely distributed}, journal={Topology}, volume={24}, date={1985}, number={2}, pages={217--225}, issn={0040-9383}, review={\MR {793185}}, doi={10.1016/0040-9383(85)90056-4}, }
Close amsref.✖ - [Eli39]
- T.S. Eliot, The naming of cats, Old possum’s book of practical cats, 1939.Show rawAMSref
\bib{tse}{incollection}{ author={Eliot, T.S.}, title={The naming of cats}, date={1939}, booktitle={Old possum's book of practical cats}, publisher={Faber and Faber}, }
Close amsref.✖ - [EM11]
- Alex Eskin and Maryam Mirzakhani, Counting closed geodesics in moduli space, J. Mod. Dyn. 5 (2011), no. 1, 71–105, DOI 10.3934/jmd.2011.5.71. MR2787598Show rawAMSref
\bib{em}{article}{ author={Eskin, Alex}, author={Mirzakhani, Maryam}, title={Counting closed geodesics in moduli space}, journal={J. Mod. Dyn.}, volume={5}, date={2011}, number={1}, pages={71--105}, issn={1930-5311}, review={\MR {2787598}}, doi={10.3934/jmd.2011.5.71}, }
Close amsref.✖ - [EMR19]
- Alex Eskin, Maryam Mirzakhani, and Kasra Rafi, Counting closed geodesics in strata, Invent. Math. 215 (2019), no. 2, 535–607. MR3910070Show rawAMSref
\bib{emr}{article}{ author={Eskin, Alex}, author={Mirzakhani, Maryam}, author={Rafi, Kasra}, title={Counting closed geodesics in strata}, date={2019}, issn={0020-9910}, journal={Invent. Math.}, volume={215}, number={2}, pages={535\ndash 607}, url={https://doi.org/10.1007/s00222-018-0832-y}, review={\MR {3910070}}, }
Close amsref.✖ - [FLM08]
- Benson Farb, Christopher J. Leininger, and Dan Margalit, The lower central series and pseudo-Anosov dilatations, Amer. J. Math. 130 (2008), no. 3, 799–827. MR2418928Show rawAMSref
\bib{flm}{article}{ author={Farb, Benson}, author={Leininger, Christopher~J.}, author={Margalit, Dan}, title={The lower central series and pseudo-{A}nosov dilatations}, date={2008}, issn={0002-9327}, journal={Amer. J. Math.}, volume={130}, number={3}, pages={799\ndash 827}, url={https://doi.org/10.1353/ajm.0.0005}, review={\MR {2418928}}, }
Close amsref.✖ - [FLM11]
- Benson Farb, Christopher J. Leininger, and Dan Margalit, Small dilatation pseudo-Anosov homeomorphisms and 3-manifolds, Adv. Math. 228 (2011), no. 3, 1466–1502, DOI 10.1016/j.aim.2011.06.020. MR2824561Show rawAMSref
\bib{flm2}{article}{ author={Farb, Benson}, author={Leininger, Christopher J.}, author={Margalit, Dan}, title={Small dilatation pseudo-Anosov homeomorphisms and 3-manifolds}, journal={Adv. Math.}, volume={228}, date={2011}, number={3}, pages={1466--1502}, issn={0001-8708}, review={\MR {2824561}}, doi={10.1016/j.aim.2011.06.020}, }
Close amsref.✖ - [FM12]
- Benson Farb and Dan Margalit, A primer on mapping class groups, Princeton Mathematical Series, vol. 49, Princeton University Press, Princeton, NJ, 2012. MR2850125Show rawAMSref
\bib{primer}{book}{ author={Farb, Benson}, author={Margalit, Dan}, title={A primer on mapping class groups}, series={Princeton Mathematical Series}, volume={49}, publisher={Princeton University Press, Princeton, NJ}, date={2012}, pages={xiv+472}, isbn={978-0-691-14794-9}, review={\MR {2850125}}, }
Close amsref.✖ - [Fri85]
- David Fried, Growth rate of surface homeomorphisms and flow equivalence, Ergodic Theory Dynam. Systems 5 (1985), no. 4, 539–563, DOI 10.1017/S0143385700003151. MR829857Show rawAMSref
\bib{friedconj}{article}{ author={Fried, David}, title={Growth rate of surface homeomorphisms and flow equivalence}, journal={Ergodic Theory Dynam. Systems}, volume={5}, date={1985}, number={4}, pages={539--563}, issn={0143-3857}, review={\MR {829857}}, doi={10.1017/S0143385700003151}, }
Close amsref.✖ - [Lei04]
- Christopher J. Leininger, On groups generated by two positive multi-twists: Teichmüller curves and Lehmer’s number, Geom. Topol. 8 (2004), 1301–1359, DOI 10.2140/gt.2004.8.1301. MR2119298Show rawAMSref
\bib{chris}{article}{ author={Leininger, Christopher J.}, title={On groups generated by two positive multi-twists: Teichm\"{u}ller curves and Lehmer's number}, journal={Geom. Topol.}, volume={8}, date={2004}, pages={1301--1359}, issn={1465-3060}, review={\MR {2119298}}, doi={10.2140/gt.2004.8.1301}, }
Close amsref.✖ - [LM13]
- Christopher J. Leininger and Dan Margalit, On the number and location of short geodesics in moduli space, J. Topol. 6 (2013), no. 1, 30–48, DOI 10.1112/jtopol/jts025. MR3029420Show rawAMSref
\bib{lm}{article}{ author={Leininger, Christopher J.}, author={Margalit, Dan}, title={On the number and location of short geodesics in moduli space}, journal={J. Topol.}, volume={6}, date={2013}, number={1}, pages={30--48}, issn={1753-8416}, review={\MR {3029420}}, doi={10.1112/jtopol/jts025}, }
Close amsref.✖ - [LM22]
- Justin Lanier and Dan Margalit, Normal generators for mapping class groups are abundant, Comment. Math. Helv. 97 (2022), no. 1, 1–59, DOI 10.4171/cmh/526. MR4410724Show rawAMSref
\bib{lanierm}{article}{ author={Lanier, Justin}, author={Margalit, Dan}, title={Normal generators for mapping class groups are abundant}, journal={Comment. Math. Helv.}, volume={97}, date={2022}, number={1}, pages={1--59}, issn={0010-2571}, review={\MR {4410724}}, doi={10.4171/cmh/526}, }
Close amsref.✖ - [McM00]
- Curtis T. McMullen, Polynomial invariants for fibered 3-manifolds and Teichmüller geodesics for foliations (English, with English and French summaries), Ann. Sci. École Norm. Sup. (4) 33 (2000), no. 4, 519–560, DOI 10.1016/S0012-9593(00)00121-X. MR1832823Show rawAMSref
\bib{ctm}{article}{ author={McMullen, Curtis T.}, title={Polynomial invariants for fibered 3-manifolds and Teichm\"{u}ller geodesics for foliations}, language={English, with English and French summaries}, journal={Ann. Sci. \'{E}cole Norm. Sup. (4)}, volume={33}, date={2000}, number={4}, pages={519--560}, issn={0012-9593}, review={\MR {1832823}}, doi={10.1016/S0012-9593(00)00121-X}, }
Close amsref.✖ - [Mir08]
- Maryam Mirzakhani, Growth of the number of simple closed geodesics on hyperbolic surfaces, Ann. of Math. (2) 168 (2008), no. 1, 97–125, DOI 10.4007/annals.2008.168.97. MR2415399Show rawAMSref
\bib{maryam}{article}{ author={Mirzakhani, Maryam}, title={Growth of the number of simple closed geodesics on hyperbolic surfaces}, journal={Ann. of Math. (2)}, volume={168}, date={2008}, number={1}, pages={97--125}, issn={0003-486X}, review={\MR {2415399}}, doi={10.4007/annals.2008.168.97}, }
Close amsref.✖ - [Ota96]
- Jean-Pierre Otal, Le théorème d’hyperbolisation pour les variétés fibrées de dimension 3 (French, with French summary), Astérisque 235 (1996), x+159. MR1402300Show rawAMSref
\bib{jpo}{article}{ author={Otal, Jean-Pierre}, title={Le th\'{e}or\`eme d'hyperbolisation pour les vari\'{e}t\'{e}s fibr\'{e}es de dimension 3}, language={French, with French summary}, journal={Ast\'{e}risque}, number={235}, date={1996}, pages={x+159}, issn={0303-1179}, review={\MR {1402300}}, }
Close amsref.✖ - [Pen91]
- R. C. Penner, Bounds on least dilatations, Proc. Amer. Math. Soc. 113 (1991), no. 2, 443–450. MR1068128Show rawAMSref
\bib{penner}{article}{ author={Penner, R.~C.}, title={Bounds on least dilatations}, date={1991}, issn={0002-9939}, journal={Proc. Amer. Math. Soc.}, volume={113}, number={2}, pages={443\ndash 450}, url={https://doi.org/10.2307/2048530}, review={\MR {1068128}}, }
Close amsref.✖ - [Rei27]
- Kurt Reidemeister, Elementare Begründung der Knotentheorie (German), Abh. Math. Sem. Univ. Hamburg 5 (1927), no. 1, 24–32, DOI 10.1007/BF02952507. MR3069462Show rawAMSref
\bib{kr}{article}{ author={Reidemeister, Kurt}, title={Elementare Begr\"{u}ndung der Knotentheorie}, language={German}, journal={Abh. Math. Sem. Univ. Hamburg}, volume={5}, date={1927}, number={1}, pages={24--32}, issn={0025-5858}, review={\MR {3069462}}, doi={10.1007/BF02952507}, }
Close amsref.✖ - [SW07]
- Daniel S. Silver and Susan G. Williams, Lehmer’s question, knots and surface dynamics, Math. Proc. Cambridge Philos. Soc. 143 (2007), no. 3, 649–661, DOI 10.1017/S0305004107000618. MR2373964Show rawAMSref
\bib{silverwilliams}{article}{ author={Silver, Daniel S.}, author={Williams, Susan G.}, title={Lehmer's question, knots and surface dynamics}, journal={Math. Proc. Cambridge Philos. Soc.}, volume={143}, date={2007}, number={3}, pages={649--661}, issn={0305-0041}, review={\MR {2373964}}, doi={10.1017/S0305004107000618}, }
Close amsref.✖ - [Thi18]
- Jean-Luc Thiffeault, The mathematics of taffy pullers, Math. Intelligencer 40 (2018), no. 1, 26–35, DOI 10.1007/s00283-018-9788-4. MR3775163Show rawAMSref
\bib{jlt}{article}{ author={Thiffeault, Jean-Luc}, title={The mathematics of taffy pullers}, journal={Math. Intelligencer}, volume={40}, date={2018}, number={1}, pages={26--35}, issn={0343-6993}, review={\MR {3775163}}, doi={10.1007/s00283-018-9788-4}, }
Close amsref.✖ - [Thu01]
- William Thurston, A discussion on geometrization, Harvard University, 2001. https://www.youtube.com/watch?v=Qzxk8VLqGcI.Show rawAMSref
\bib{wptyt}{unpublished}{ author={Thurston, William}, title={{A discussion on geometrization, Harvard University}}, date={2001}, note={\url {https://www.youtube.com/watch?v=Qzxk8VLqGcI}}, }
Close amsref.✖ - [Thu88]
- William P. Thurston, On the geometry and dynamics of diffeomorphisms of surfaces, Bull. Amer. Math. Soc. (N.S.) 19 (1988), no. 2, 417–431, DOI 10.1090/S0273-0979-1988-15685-6. MR956596Show rawAMSref
\bib{thurston}{article}{ author={Thurston, William P.}, title={On the geometry and dynamics of diffeomorphisms of surfaces}, journal={Bull. Amer. Math. Soc. (N.S.)}, volume={19}, date={1988}, number={2}, pages={417--431}, issn={0273-0979}, review={\MR {956596}}, doi={10.1090/S0273-0979-1988-15685-6}, }
Close amsref.✖
Credits
Opening image and Figures 3–15 are courtesy of Dan Margalit.
Figure 1 is courtesy of Roberta Shapiro.
Figure 2 is courtesy of William Thurston, reprinted from Thu88.
Photo of Dan Margalit is courtesy of Joseph Rabinoff.