Billiards and Teichmüller curves
A Teichmüller curve is an isometrically immersed algebraic curve in the moduli space of Riemann surfaces. These rare, extremal objects are related to billiards in polygons, Hodge theory, algebraic geometry and surface topology. This paper presents the six known families of primitive Teichmüller curves that have been discovered over the past 30 years, and a selection of open problems.
The moduli space of compact Riemann surfaces of genus is both a metric space and an algebraic variety.
The metric comes from the Teichmüller distance between which measures the minimal conformal distortion of a map , This metric is given by a norm on each tangent space to . but for , it is not Riemannian; in fact the norm balls are complicated convex sets, varying so much from point to point that is completely inhomogeneous.
The algebraic structure on comes from a projective embedding, which provides a multitude of algebraic curves Each curve carries a natural hyperbolic metric, coming from its uniformization ..
We say is a Teichmüller curve if this inclusion is an isometry. These rare and remarkable objects lie at the nexus of algebraic geometry, number theory, complex analysis, topology and automorphic forms. We focus on primitive examples, since all others are related to these by covering constructions (§2).
Teichmüller curves are elusive, but once found, they can often be viewed explicitly from many perspectives at once. For example, any primitive Teichmüller curve determines a totally real number field with , such that: ,
every Riemann surface can be assembled from triangles with vertices in for some , and ;
a factor of the Jacobian of admits real multiplication by .
The curve is rigid, so both and its map to are also defined over a number field. In particular cases one can obtain algebraic equations for generators for , and geometric models for , and for endomorphisms of its Jacobian.
Frequently can be chosen so there is a polygon and a finite reflection group adapted to , such that ,
In this case, billiards in the polygon has optimal dynamics: every trajectory is either periodic, or uniformly distributed. Moreover, and can be reconstructed from .
The regular polygons provide the first examples of both optimal billiards and Teichmüller curves (see Figure 1.1 and §3). It is also possible that is immersed, rather than embedded in in this case we obtain a generalized polygon with optimal dynamics (see Figure ;1.2 and §7).
The current catalog.
This paper provides a survey of the known examples of Teichmüller curves, a glimpse of their multifaceted constructions, a hint of how they were discovered, and a selection of the many open questions that remain.
The known primitive Teichmüller curves are given by 6 infinite series, and 3 sporadic examples. These are:
the sporadic examples of type , and in genus 3 and 4 (§ ,6);
the Bouw–Möller series providing finitely many examples in every , (§7); and
The five horizontal series , and above each lie in a single moduli space. The index is a real quadratic discriminant, i.e. an integer , or with ,.
In low genus, the list of primitive Teichmüller curves is almost complete.
In genus all primitive Teichmüller curves are known: they are accounted for by the series , and one other curve, associated to billiards in the regular decagon (Theorem 4.5).
In genus there are only finitely many primitive Teichmüller curves not accounted for by the series , (Theorem 5.5).
On the other hand, the vertical Bouw–Möller series gives the only known construction of primitive Teichmüller curves in genus Thus a central open problem is to settle: .
The unexpected families and in genus 4 hint that similar constructions may be hidden in higher genus.
The discovery of the gothic curves also revealed an almost miraculous new phenomenon: there are primitive, totally geodesic Teichmüller surfaces in , and This survey concludes with a description of these new surfaces from the perspective of algebraic geometry in § .8, and from the perspective of quadrilaterals in §9.
Notes and references.
References and commentary are collected, section by section, in §10.
Via the action of on Teichmüller curves are connected to the larger topic of dynamics on moduli spaces, which is itself patterned on the theory of homogeneous dynamics, Lie groups, lattices and ergodic theory. For a view of the broader setting, we recommend the many excellent surveys such as ,Reference D, Reference Go, Reference HS2, Reference Mas3, Reference MT, Reference Mo3, Reference Sch2, Reference Vo1, Reference Wr2, Reference Wr3, Reference Y, and Reference Z.
In §2 and §3 we set the stage with definitions and basic examples regarding moduli spaces, polygons and billiards. The known families of primitive Teichmüller curves are described in §4 through §9.
Four appendices follow. The triangle groups are reviewed in Appendix A. There are six accidental isomorphisms between members of series of Teichmüller curves listed above; these are recorded in Appendix B. Tables of invariants of Teichmüller curves appear in Appendices C and D.
The Chebyshev polynomial will be denoted by th it is characterized by ;
We let denote cohomology with complex coefficients. The upper half-plane in is endowed with the complete hyperbolic metric
of constant curvature The group . acts linearly on and by Möbius transformations on .
2. Moduli spaces and Teichmüller curves
This section develops background material on Riemann surfaces, polygons, and the action of on the moduli space of holomorphic 1-forms This material will allow us to formulate the main topic we aim to address: .
The moduli space parameterizes the isomorphism classes of compact Riemann surfaces of genus It is naturally a complex orbifold, and an algebraic variety, of complex dimension . when .
The Teichmüller metric on is defined by a norm on each tangent space; it can be characterized as the largest metric such that every holomorphic map
is either a contraction or an isometry. In the isometric case, we say is a complex geodesic.
Metrically, moduli space is completely inhomogeneous: the tangent spaces at are isomorphic as normed vector spaces if and only if Nevertheless, there exists a unique complex geodesic through every point in every possible direction. .
Polygons and Riemann surfaces.
How can one specify a Riemann surface ?
In the case , is a torus, thus one can write for some lattice Alternatively, if we choose a parallelogram . that is a fundamental domain for the action of we can construct , by gluing together opposite sides of .
More generally, if is any polygon, and the edges of are identified in pairs by translations, then the result is a compact Riemann surface And in fact: .
Every compact Riemann surface of genus can be presented as a polygon with its edges glued together by translations.
Note that inherits a flat metric from At first sight this may seem paradoxical: for . , admits no smooth flat metric. However the metric on has, in general, isolated singularities of negative curvature arising from the vertices of .
Example in genus 2.
Consider the polygon shown in Figure 2.1. Note that we have introduced two extra vertices, so is combinatorially an octagon. Gluing edges by vertical and horizontal translations, we obtain a Riemann surface of genus 2. The eight vertices of descend to a single point there, the induced flat metric has a cone angle of ;.
This flat uniformization of by a polygon can be contrasted with more traditional ways of presenting a compact Riemann surface, e.g. as an algebraic curve or as a quotient of by a Fuchsian group. While a polygonal presentation of is elementary, it is not canonical; moreover, it provides with additional structure.
To explain this, recall that the space of holomorphic -forms on has dimension indeed, ; can be taken as the definition of the genus of In local coordinates, . where , is a holomorphic function. Provided its zero set , consists of points, counted with multiplicity.
The moduli space of all nonzero 1-forms of genus forms a bundle
in fact, it is a holomorphic vector bundle of rank with its zero section removed.
The locus where the zeros of have multiplicities forms a stratum
of dimension These strata decompose . into disjoint algebraic sets, indexed by the partitions of We sometimes use exponential notation for repeated blocks of a partition; e.g. the unique open stratum is denoted by ..
From polygons to 1-forms.
Let Since the 1-form . on is invariant under translation, it descends to give a 1-form Here is a more precise description of the relationship between Riemann surfaces and polygons. .
It is often useful, as we will see below, to allow the ‘polygon’ to be disconnected. With this proviso, the proof of the result above is fairly elementary: one can construct a geodesic triangulation of the flat surface with , among its vertices, and then present as the quotient of a collection of Euclidean triangles.
Geometry of a 1-form.
A holomorphic 1-form provides with a singular flat metric This metric has a cone angle of . at each zero of order The form . determines a smooth measure on with total mass given by ,
Near any point we can choose a local flat coordinate , on such that The geodesics on . are simply straight lines in these charts. Since these flat coordinates are well–defined up to translation, each geodesic has a well–defined slope In particular, . cannot cross itself; all geodesics are simple. We allow a geodesic to begin or end at a point of but never to pass through a zero. In particular, a closed geodesic is always disjoint from ,.
These features are elementary to see in a polygonal model for example, the horizontal lines in ; descend to a foliation of by geodesics with slope zero. Intrinsically, this foliation is defined by the closed 1-form .
A cylinder is the closure of a maximal open set foliated by parallel closed geodesics. Every closed geodesic lies in a cylinder; in particular, is never unique its homotopy class. Most elements of are not represented by closed geodesics; rather, the loop of minimal length in a given homotopy class is a chain of geodesic segments of varying slopes, with endpoints in .
Action of .
Remarkably, upon passage to the bundle the highly inhomogeneous space , acquires a dynamical character: namely, it admits a natural action of This action is easily described in terms of a polygonal presentation .Equation 2.2: for we have: ,
Here acts linearly on and the (combinatorial) gluing instructions remains the same. ,
Alternatively, given one can define a harmonic form on by
and then change the complex structure on so is holomorphic on The zeros of . and have the same order, so:
leaves each stratum invariant.
Note that if is simply a rotation, then and for some Thus the projection of . to depends only on the coset
and the map covers a unique map making the diagram ,
The map is a holomorphic, isometric immersion of into moduli space, which we refer to as the complex geodesic generated by If . then the image of , simply consists of all Riemann surfaces of the form , see Figure ;2.2.
Every 1-form also generates a distinguished real Teichmüller geodesic ray parameterized by arclength, it is given by ;
The Riemann surface is obtained from by shrinking its horizontal geodesics and expanding its vertical ones.
The stabilizer of is a discrete subgroup
It is easy to see that the complex geodesic generated by descends to give a map where ,
Here the action of on is slightly twisted, since acts on the left in equation Equation 2.3; it is given by .
Now suppose has finite hyperbolic area; equivalently, suppose is a lattice in Then the image of the map .
is a Teichmüller curve in That is, . is the normalization of a totally geodesic algebraic curve.
We refer to as a generator of the Teichmüller curve The generator of . is not unique—for any and , is also generated by .
The pivotal group is large in the case of a Teichmüller curve—reflects hidden symmetries of the form —which itself.
More precisely, can be described as follows. Let denote the group of orientation–preserving homeomorphisms of that stabilize and have the form ,
in local flat coordinates on the domain and range satisfying Here . and .
We refer to as an affine automorphism of since it preserves the real–affine structure on , determined by in particular, ; sends geodesics to geodesics. The matrix is independent of the choice of charts, and is characterized by the property that
In particular, if and only if belongs to the group of holomorphic automorphisms of , satisfying .
It is then easy to see we have an exact sequence:
For the group , is finite, so the stabilizer of in is virtually the same as its affine symmetry group.
The square torus generates the simplest example of a Teichmüller curve. In this case, every orientation–preserving automorphism of as a Lie group is also an affine automorphism of Thus . and the map , is an isomorphism. This is the trivial Teichmüller curve.
An example in genus two is provided by the form (see Figure 2.1). Here we find
In these examples and are both triangle groups, namely and See Appendix .A for more on triangle groups, which will occur frequently in the discussions to follow.
Cylinders and parabolics.
The modulus of a cylinder of height and circumference is In general, if . is covered by a collection of horizontal cylinders with moduli and , divides for all (meaning is an integer), we can construct an affine automorphism of with
Namely we take to be a linear, right Dehn twist, iterated times. The iterate is chosen so is the matrix above for all Since . is the identity on these twists fit together to give a map ,.
Conversely, it is not hard to show:
We can now explain the appearance of the parabolic matrix in Note that . is built from three copies of the unit square. The bottom two squares define a horizontal cylinder isometric to a Euclidean cylinder of height and circumference , Similarly the top square gives a cylinder . with Thus . and ,.
As for the generator it is easy to see that , has a 4-fold rotational symmetry whenever (see Figure 3.4).
Cusps of .
We note that the Teichmüller curve generated by a 1-form is properly immersed in and hence the , orbit of in is closed.
Idea of the proof.
Assume and Construct a geodesic segment . on with endpoints in After rotating . we can assume , is horizontal. Now consider the Teichmüller geodesic ray in generated by as in equation ,Equation 2.5. As the length of on tends to zero. Since the orbit of is closed in its stratum, the endpoints of cannot collide, so tends to infinity in Therefore . is noncompact, and tends to a cusp of .■
Combined with Proposition 2.3, we find that has many cylinder decompositions and a dense set of periodic directions.
Let us say is a square–tiled 1-form if it can be obtained by gluing together a finite number of copies of the unit square .
Generalizing the case of one can show that , has finite index in for any square–tiled 1-form. One can also check that square tiled surfaces are dense in Consequently: .
Teichmüller curves are dense in .
These Teichmüller curves, however, are simply echos in higher genus of the trivial Teichmüller curve Every Teichmüller curve generates similar echos in higher genus, via covering constructions. For example, there is a degree 3 holomorphic map . such that .
For this reason we will focus our attention on primitive Teichmüller curves in those that do not arise from lower genus. :
To define these, let us say is the pullback of if there is a holomorphic map such that A 1-form with . is primitive if it is not the pullback of a form of lower genus.
Every form in , is the pullback of a unique primitive 1-form , Reference Mo1, Thm. 2.6, Reference Mc3, Thm. 2.1. We say a Teichmüller curve is primitive if it is generated by a primitive 1-form. In this case is trivial, and hence
We conclude this section by discussing three invariants of the Teichmüller curve generated by a 1-form .
The lattice often called the Veech group, is determined by , up to conjugacy in Indeed, it is simply the Fuchsian group uniformizing ..
The trace field of defined by ,