A construction [04JU]
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
A construction
We now illustrate a general method to construct piecewise smooth Lagrangian fibrations using Proposition 5.2 and the observations about the reduced geometry with respect to the action as in (24).
Let be the map defined by
| (31) |
Clearly, the above map is a Lagrangian fibration with respect to the restriction of to . Moreover, it defines a trivial -bundle over . Let the map
be a smooth symplectomorphism of the standard . Let be the open and dense subsets of defined by
Denote, with slight abuse of notation,
Then examples of maps as in Proposition 5.2 can be defined by
This clearly makes sense also when . It is also clear that, for all fixed , is a Lagrangian fibration with respect to the reduced symplectic form (28). We summarize this in the following:
Proposition 5.4.
Let , and be as defined above. Let be the map given by
| (32) |
Then is defined on the dense open subset defined by
Letting be as in (26) and
with the standard symplectic form induced from , the map given by
is a piecewise smooth Lagrangian fibration of which fails to be smooth on the -dimensional subspace .
It is clear that all the singular fibres of must lie in . In fact, the singular fibres are all the lifts of fibres of in which intersect . The topology of the singularity depends on the topology of this intersection. The discriminant locus of the fibration is therefore the set given by
Given a point , the fibre looks like after the circles over all points in have been collapsed to points (cf. Figure 6).