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 carries a natural foliation such that the fundamental group of any leaf acts on the base space 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 has dimension , which is twice of the complex dimension of the space of polynomials modulo unimodular linear transformations. On the other hand, the miniversal family of representations (up to a conjugation)
such that the monodromy around each puncture is conjugate to , has dimension .
Thus, we obtain a foliation of of rank . It is defined by the following property: if we continuously vary parameters along leaves of then the conjugacy class of the monodromy representation remains unchanged.
Notice that in the local model described above we can move the position at which we start the cut. Then we have on the sphere a set of β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 -affine structure satisfying Fixed Point property (see Section 3.1) and preserving the conjugacy class of , corresponds to a movement of worms. 22 2 Notice that in our example is less than . 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 with the fiber over being a manifold with the above -affine structure. In this way we get a homomorphism from to , where denotes the group of integral PL transformations of equipped with the above -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.