Let , , and
be as in Example 6.18 and let be coordinates
on . Define
,
and
with projections , , and bundles
, ,
.
Suppose we are given integers , and sequences
,
and
satisfying
|
|
|
|
|
|
|
|
|
|
(60) |
|
|
|
|
|
Then there exists a smooth symplectic manifold and a stitched
Lagrangian fibration having the same monodromy
of Example 6.18 with respect to some basis
of
and satisfying the following
properties:
- (i)
the coordinates are action coordinates of with moment map ;
- (ii)
the periods , restricted to
correspond to the basis ;
- (iii)
there is a Lagrangian section of , such that , and are respectively the invariants of:
|
|
|
The fibration satisfying the above properties is unique up to
fibre preserving symplectomorphism.