3.2 Examples of integrable systems [03TS]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context ยท Original author HTML
3.2 Examples of integrable systems
We describe here few examples related to the rest of the paper.
3.2.1 Flat tori
First example is the triple where are tori (here are lattices), projection is an affine map of tori, and carries a constant symplectic form. Assuming that fibers of are connected we have . The monodromy representation is a homomorphism . Integral affine structure on depends on real parameters, which are coefficients of an invertible matrix expressing a basis of the lattice as a linear combination of generators of the lattice , where is an arbitrary point.
3.2.2 Surfaces
Let be a surface and be an arbitrary smooth proper function with isolated critical points. Then is an integrable system. Space of connected components of fibers is a graph, and -affine structure on gives a length element on edges of .
3.2.3 Moment map
Consider a compact connected symplectic manifold of dimension together with a Hamiltonian action of the torus . Then one has an integrable system , where is the moment map of the action and . Furthermore, it is well-known that is a convex polytope and is the interior of .
3.2.4 K3 surfaces
Before considering this example let us remark that one can define integrable systems in the case of complex manifolds. More precisely, assume that is a complex manifold of complex dimension , is a holomorphic closed non-degenerate -form on , is a complex manifold of dimension and is a surjective proper holomorphic map such that generic fibers of are connected complex Lagrangian submanifolds of . With a complex integrable system one can associate a real one by forgetting complex structures on and and taking as a symplectic form on . It is easy to see that the image of the monodromy representation belongs to .
Let be a complex K3 surface equipped with a non-zero holomorphic 2-form and a holomorphic fibration such that the generic fiber of is an elliptic curve. For example, can be represented as a surface in given by a general equation of bidegree in homogeneous coordinates. Map is the projection to the second factor. Holomorphic form is given by
where denotes the Euler vector field along coordinates or . Such an elliptic fibration gives an integrable system. Namely, we set , , . Generically is a set of points in . Singularity of the affine structure near each of points is well-known in the theory of integrable systems where it is called focus-focus singularity (see e.g. [Au], [Zu]). We will discuss it in Section 6.4. Here we give a short description of this singularity. We take with the standard integral affine structure, remove the point on the horizontal axis. Then we modify the affine structure (and also the -structure!) on the ray . New local integral affine coordinates near points of this ray will be functions and (see Figure 1). The monodromy of the resulting integral affine structure around removed singular point is given by the transformation .
