Proof. [04LN]
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
Proof.
We apply a similar argument to the one used in the case of the positive fibre (see Proposition 4.11). Clearly, since is represented by the orbits of the action
which is continuous. We now prove that, for
| (77) |
extends continuously to points in or in . As we did in Proposition 4.11, we can think of as
where is a surface spanned by the cycles as moves along a curve joining and . Suppose (or ), then we need to show that is independent of the curve from to , or equivalently that
where and are the surfaces corresponding to two different paths from to . The boundary is determined by monodromy. It is easy to see that is a multiple of , therefore for some integer we have
where the last equality follows from the fact that or . To show that extends continuously also to points of we can argue that (77) makes sense also over singular fibres, since both and are well defined when . ∎