ScalingStacks

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 (X,ฯ€,B0)(X,\pi,B_{0}) where X=๐‘2โ€‹n/ฮ›,B0=๐‘n/ฮ›โ€ฒX={{\bf R}}^{2n}/\Lambda,\,\,B_{0}={{\bf R}}^{n}/\Lambda^{\prime} are tori (here ฮ›โ‰ƒ๐™2โ€‹n,ฮ›โ€ฒโ‰ƒ๐™n\Lambda\simeq{{\bf Z}}^{2n},\,\,\Lambda^{\prime}\simeq{{\bf Z}}^{n} are lattices), projection ฯ€:Xโ†’B0\pi:X\to B_{0} is an affine map of tori, and XX carries a constant symplectic form. Assuming that fibers of ฯ€\pi are connected we have B0=B=Bsโ€‹mB_{0}=B=B^{sm}. The monodromy representation is a homomorphism ฯ:ฯ€1โ€‹(B)โ†’๐‘nโŠ‚Gโ€‹Lโ€‹(n,๐™)โ‹‰๐‘n\rho:\pi_{1}(B)\to{{\bf R}}^{n}\subset GL(n,{{\bf Z}})\ltimes{{\bf R}}^{n}. Integral affine structure on BB depends on n2n^{2} real parameters, which are coefficients of an invertible nร—nn\times n matrix expressing a basis of the lattice ฮ›โ€ฒโŠ‚Txโ€‹B\Lambda^{\prime}\subset T_{x}B as a linear combination of generators of the lattice (Txโ€‹B)๐™โŠ‚Txโ€‹B(T_{x}B)^{{\bf Z}}\subset T_{x}B, where xโˆˆBx\in B is an arbitrary point.

3.2.2 Surfaces

Let (X,ฯ‰)(X,\omega) be a surface and ฯ€:Xโ†’B0=๐‘\pi:X\rightarrow B_{0}={\bf R} be an arbitrary smooth proper function with isolated critical points. Then (X,ฯ€,B0)(X,\pi,B_{0}) is an integrable system. Space BB of connected components of fibers is a graph, and ๐™{\bf Z}-affine structure on Bsโ€‹mโŠ‚BB^{sm}\subset B gives a length element on edges of BB.

3.2.3 Moment map

Consider a compact connected symplectic manifold (X,ฯ‰)(X,\omega) of dimension 2โ€‹n2n together with a Hamiltonian action of the torus TnT^{n}. Then one has an integrable system ฯ€:Xโ†’B0\pi:X\to B_{0}, where ฯ€\pi is the moment map of the action and B0=(Lโ€‹iโ€‹eโ€‹(Tn))โˆ—โ‰ƒ๐‘nB_{0}=(Lie(T^{n}))^{\ast}\simeq{{\bf R}}^{n}. Furthermore, it is well-known that B=ฯ€โก(X)B=\pi(X) is a convex polytope and Bsโ€‹mB^{sm} is the interior of BB.

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 XX is a complex manifold of complex dimension 2โ€‹n2n, ฯ‰๐‚\omega_{\bf C} is a holomorphic closed non-degenerate 22-form on XX, B=B0B=B_{0} is a complex manifold of dimension nn and ฯ€:Xโ†’B\pi:X\to B is a surjective proper holomorphic map such that generic fibers of ฯ€\pi are connected complex Lagrangian submanifolds of XX. With a complex integrable system one can associate a real one by forgetting complex structures on XX and BB and taking ฯ‰:=Rโ€‹eโ€‹(ฯ‰๐‚)\omega:=Re(\omega_{\bf C}) as a symplectic form on XX. It is easy to see that the image of the monodromy representation belongs to Sโ€‹pโ€‹(2โ€‹n,๐™)โ‹‰๐‘2โ€‹nโŠ‚Gโ€‹Lโ€‹(2โ€‹n,๐™)โ‹‰๐‘2โ€‹nSp(2n,{{\bf Z}})\ltimes{{\bf R}}^{2n}\subset GL(2n,{{\bf Z}})\ltimes{{\bf R}}^{2n}.

Let (X,ฮฉ)(X,\Omega) be a complex K3 surface equipped with a non-zero holomorphic 2-form ฯ‰๐‚=ฮฉ\omega_{\bf C}=\Omega and ฯ€:Xโ†’๐‚โ€‹P1\pi:X\to{{\bf C}P}^{1} a holomorphic fibration such that the generic fiber of ฯ€\pi is an elliptic curve. For example, XX can be represented as a surface in ๐‚โ€‹P2ร—๐‚โ€‹P1{{\bf C}P}^{2}\times{{\bf C}P}^{1} given by a general equation Fโก(x0,x1,x2,y0,y1)=0F(x_{0},x_{1},x_{2},y_{0},y_{1})=0 of bidegree (3,2)(3,2) in homogeneous coordinates. Map ฯ€\pi is the projection to the second factor. Holomorphic form ฮฉ\Omega is given by

ฮฉ=iEโ€‹uโ€‹lโ€‹eโ€‹rxโˆงEโ€‹uโ€‹lโ€‹eโ€‹ryโ€‹dโ€‹x0โˆงdโ€‹x1โˆงdโ€‹x2โˆงdโ€‹y0โˆงdโ€‹y1dโ€‹F,\Omega=i_{Euler_{x}\wedge Euler_{y}}\frac{dx_{0}\wedge dx_{1}\wedge dx_{2}\wedge dy_{0}\wedge dy_{1}}{dF}\,\,,

where Eโ€‹uโ€‹lโ€‹eโ€‹rpEuler_{p} denotes the Euler vector field along coordinates p=(xi)p=(x_{i}) or (yi)(y_{i}). Such an elliptic fibration gives an integrable system. Namely, we set X:=Xโก(๐‚)X:=X({{\bf C}}), ฯ‰:=Rโ€‹eโ€‹(ฮฉ)\omega:=Re(\Omega), B:=๐‚โ€‹P1โ‰ƒS2B:={{\bf C}P}^{1}\simeq S^{2}. Generically Bsโ€‹iโ€‹nโ€‹gB^{sing} is a set of 24=ฯ‡โก(X)24=\chi(X) points in S2S^{2}. Singularity of the affine structure near each of 2424 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 ๐‘2{{\bf R}}^{2} with the standard integral affine structure, remove the point (x0,0)(x_{0},0) on the horizontal axis. Then we modify the affine structure (and also the CโˆžC^{\infty}-structure!) on the ray {(x,0)|x>x0}\{(x,0)\,|\,\,x>x_{0}\}. New local integral affine coordinates near points of this ray will be functions yy and x+maxโก(y,0)x+\max(y,0) (see Figure 1). The monodromy of the resulting integral affine structure around removed singular point (x0,0)(x_{0},0) is given by the transformation (x,y)โ†ฆ(x+y,y)(x,y)\mapsto(x+y,y).

Refer to caption

Figure 1: Focus-focus singularity. All lines are straight in the modified ๐™{\bf Z}-affine structure.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.