ScalingStacks

3.3 Families of integrable systems and PL actions [03TX]

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.3 Families of integrable systems and PL actions

In many examples an integrable system depends on parameters. It often happens that the parameter space 𝒫{\cal P} carries a natural foliation β„±{\cal F} such that the fundamental group Ο€1​(β„±p,p),pβˆˆπ’«\pi_{1}({\cal F}_{p},p),p\in{\cal P} of any leaf acts on the base space BpB_{p} of the corresponding torus fibration. This action is given by piecewise-linear homeomorphisms with integral linear parts.

Let us illustrate this phenomenon in the case of the family of integrable systems associated with a K3 surface discussed above.

Here the parameter space 𝒫{\cal P} has dimension 3838, which is twice of the complex dimension of the space of polynomials FF modulo unimodular linear transformations. On the other hand, the miniversal family of representations (up to a conjugation)

{ρ:Ο€1​(S2βˆ’{24​ points})β†’S​L​(2,𝐙)⋉𝐑2}\left\{\,\rho:\pi_{1}(S^{2}-\{24\mbox{ points}\})\rightarrow SL(2,{\bf Z})\ltimes{\bf R}^{2}\,\right\}

such that the monodromy around each puncture is conjugate to (1101)\left(\begin{array}[]{cc}1&1\\ 0&1\end{array}\right), has dimension 2020.

Thus, we obtain a foliation β„±{\cal F} of 𝒫{\cal P} of rank 18=38βˆ’2018=38-20. It is defined by the following property: if we continuously vary parameters pβˆˆπ’«p\in{\cal P} along leaves of β„±{\cal F} then the conjugacy class of the monodromy representation ρ\rho remains unchanged.

Notice that in the local model described above we can move the position (x0,0)(x_{0},0) at which we start the cut. Then we have on the sphere S2S^{2} a set of 2424 β€œworms” (singular points, each of them can move in its preferred direction, which is the line invariant under the local monodromy). One can show easily that any continuous deformation of 𝐙{\bf Z}-affine structure satisfying Fixed Point property (see Section 3.1) and preserving the conjugacy class of ρ\rho, corresponds to a movement of worms. 22 2 Notice that in our example r​k​(β„±)=18rk({\cal F})=18 is less than 2424. This means that there are 6 constraints on moving worms.

Moving β€œworms”we get a canonical identification of manifolds with integral affine structures far enough from singular points. We will see later in Section 6.4 that we also have a canonical PL identification of manifolds near singular points. Therefore we obtain a local system along leaves of β„±{\cal F} with the fiber over pβˆˆπ’«p\in{\cal P} being a manifold Bp≃S2B_{p}\simeq S^{2} with the above 𝐙{\bf Z}-affine structure. In this way we get a homomorphism from Ο€1​(β„±p,p)\pi_{1}({\cal F}_{p},p) to A​u​t𝐙​P​L​(S2)Aut_{{\bf Z}PL}(S^{2}), where 𝐙​P​L{\bf Z}PL denotes the group of integral PL transformations of S2S^{2} equipped with the above 𝐙{\bf Z}-affine structure. We will return to this action in Section 6.7 where it will be compared with another PL action on the same space.

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