ScalingStacks

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 γ1\gamma_{1} is represented by the orbits of the S1S^{1} action

−∫γ1​(b)η=b1,-\int_{\gamma_{1}(b)}\eta=b_{1},

which is continuous. We now prove that, for j=2,3j=2,3

αj(b)=−∫γj​(b)η\alpha_{j}(b)=-\int_{\gamma_{j}(b)}\eta (77)

extends continuously to points in Γd\Gamma_{d} or in Γe\Gamma_{e}. As we did in Proposition 4.11, we can think of αj​(b)\alpha_{j}(b) as

αj​(b)=∫Sω,\alpha_{j}(b)=\int_{S}\omega,

where SS is a surface spanned by the cycles γj​(b′)\gamma_{j}(b^{\prime}) as b′b^{\prime} moves along a curve joining b¯\bar{b} and bb. Suppose b∈Γeb\in\Gamma_{e} (or Γd\Gamma_{d}), then we need to show that αj​(b)\alpha_{j}(b) is independent of the curve from b¯\bar{b} to bb, or equivalently that

∫S1−S2ω=0,\int_{S_{1}-S_{2}}\omega=0,

where S1S_{1} and S2S_{2} are the surfaces corresponding to two different paths from b¯\bar{b} to bb. The boundary ∂(S1−S2)\partial(S_{1}-S_{2}) is determined by monodromy. It is easy to see that ∂(S1−S2)\partial(S_{1}-S_{2}) is a multiple of γ1​(b)\gamma_{1}(b), therefore for some integer kk we have

∫S1−S2ω=−∫∂(S1−S2)η=k∫γ1​(b)η=0,\int_{S_{1}-S_{2}}\omega=-\int_{\partial(S_{1}-S_{2})}\eta=k\int_{\gamma_{1}(b)}\eta=0,

where the last equality follows from the fact that b∈Γdb\in\Gamma_{d} or Γe\Gamma_{e}. To show that α\alpha extends continuously also to points of Δ\Delta we can argue that (77) makes sense also over singular fibres, since both η\eta and γj​(b)\gamma_{j}(b) are well defined when b∈Δb\in\Delta. ∎

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