Last week, Simion Filip gave the talk “Counting torus fibrations on a K3 surface” at Université Paris 11 (Orsay). This post is a transcription of my notes from his lecture and, of course, all typos/mistakes are my sole responsibility.
A classical problem in Dynamical Systems is the investigation of closed trajectories in billiards in polygons.
In the case of rational polygons (i.e., polygons whose angles belong to ), it is known that closed trajectories are abundant. A popular way to establish this fact passes through the procedure of unfolding a rational polygon into a flat surface: roughly speaking, instead of letting the trajectories reflect on the boundary of the polygon, we reflect (finitely many times) the boundaries of the polygon in order to obtain straight line trajectories on a flat surface. See this excellent survey of Masur-Tabachnikov for more details.
For our purposes, we recall that a flat surface is the data of a Riemann surface , a non-trivial holomorphic -form and the flat metric thought as the Kähler form . Note that has zeros, i.e., has (conical) singularities, whenever has genus (by Riemann-Roch theorem).
Some of the key features concerning closed trajectories in flat surfaces are:
- closed geodesics of the flat metric come in families of parallel trajectories called cylinders in the literature;
- such closed geodesics occur in a dense set of directions in the unit circle ;
- Eskin and Masur showed the following asymptotics for the problem of counting cylinders: there exists a constant such that the number of (cylinders of) closed trajectories of length is .
The goal of this post is to generalize this picture to higher dimensions or, more precisely, to K3 surfaces.
2. K3 surfaces
Definition 1 A compact complex -dimensional manifold is a K3 surface if
- (i) admits a (global) nowhere vanishing holomorphic -form ;
- (ii) the first Betti number is zero (this is equivalent to in this context).
Two basic examples of K3 surfaces are:
Example 1 Quartic surfaces in , i.e., , is a polynomial of degree .
Example 2 (Kummer examples) Let be a complex torus (i.e., is a lattice of ). Then, has a subset of singular points, and the blow-up is a K3 surface.
Some basic properties of K3 surfaces include:
- all K3’s are diffeomorphic;
- all K3’s are Kähler (Siu);
- has rank , the Hodge intersection form has signature on , and is an even unimodular lattice;
- the Hodge decomposition of is , where has rank and signature , has rank and signature , and has rank and signature ;
- the data in the previous two items determine the K3 surface (by Torelli theorem).
See, e.g., the lecture notes of D. Huybrechts for more details.
3. Special Lagrangian submanifolds
The natural generalization of closed trajectories on flat surfaces are special Lagrangian submanifolds (SLags).
Definition 2 Let , is a compact complex -dimensional manifold, is a Kähler form, is a holomorphic -form. A real -dimensional submanifold is a special Lagrangian submanifold (SLag) if
- is Lagrangian, i.e., ;
- is special, i.e., .
Remark 1 Special Lagrangians are minimal submanifolds (in the sense that they minimize the volume in their cohomology class).
The next example justifies the claim that special Lagrangian submanifolds are the analog of closed trajectories on flat surfaces.
Example 3 Consider the case , i.e., is a flat surface. In this situation, all real -dimensional submanifolds are Lagrangian. On the other hand, since is locally (away from its divisors) in this setting, we see that a special Lagrangian is a horizontal geodesic of the flat metric. In particular, if we replace by , then the SLags become the straight line trajectories at angle on .
In a similar vein, special Lagrangian fibrations are the analog of cylinders of closed horizontal trajectories on flat surfaces.
4. Special Lagrangian fibrations
Definition 3 A fibration of over a real -dimensional base is SLag if its fibers are compact -dimensional SLags submanifolds of . The volume of such a fibration is where is any fiber of .
Remark 2 The fibers of SLag fibrations are torii. One can compare this with the Arnold-Liouville theorem saying that the fibers of a fibration of a symplectic manifold by compact Lagrangian submanifolds are necessarily torii. In particular, the base has an integral affine structure whose structural group is the semi-direct product of by .
Remark 3 Similarly to the case , a typical K3 surface doesn’t admit a SLag fibration.
Theorem 4 (Yau) Let be a K3 surface equipped with a Kähler form . Then, there exists an unique in the same cohomology class of in such that induces a Ricci-flat metric.
Moreover, K3 surfaces with Ricci-flat metrics are hyperKähler manifolds, i.e., they admit three complex structures such that has the following properties:
- is a Ricci-flat Riemannian metric;
- are complex structures satisfying the usual quaternionic relations: ;
- are compatible with : the forms are closed (i.e. ) for .
Equivalently, we can write the data of a hyperKähler manifold as where and . In this way, we obtain a presentation of K3 surfaces bearing some similarities with our definition of flat surfaces.
5. Statement of the main result
In this setting, we change direction of SLag fibrations (in analogy with the case of closed trajectories in flat surfaces) through the notion of twistor families. More concretely, we consider the sphere and we denote by
where the fiber is equipped with the complex structure for .
At this point, we are almost ready to state the main result of this post: for technical reasons, we will give an impressionistic statement before explaining the true theorem in Remark 4 below.
Theorem 5 (Filip) Fix a (generic) twistor family . Then, there exists and such that
Remark 4 This statement is not quite true in the sense that one should count “equators in the twistor sphere” rather than counting points . Indeed, this is so because if a complex structure admits a SLag fibration at some point in the equator , then one also has SLag fibrations with the same “angle” as varies along the equator .
At this point, Filip started running out of time, and, for this reason, he offered the following sketch of proof of his theorem.
The first step is to reduce to counting elliptic fibrations (i.e., holomorphic fibrations whose fibers are elliptic curves).
The second step is to show that if the twistor family is not too special, then the counting problem reduces to the “linear algebra level” of the rank vector space equipped with a form of signature .
Finally, this last counting problem can be solved through quantitative equidistribution results on for the action of a certain -parameter subgroup on the quotient of the stabilizer in of a null vector in by a lattice (that is, the quotient of the semidirect product of and by).