Proof. [042Q]
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.
The periods along the generating cycles in the -fibres are straightforward:
and .
Computing the period along the other requires a special trick. As a preparatory subtle remark, the Kähler metric is not globally defined over the base due to incompleteness issues, but the quantities make sense globally. Consider the on the base defined by . If we attempt to lift this by parallel transport, in general we cannot get a closed loop, and this failure is measured by the holonomy of the -connection along the . When , due to the exponential decay of the -dependent part of , this holonomy converges to two real numbers modulo . In particular, if we twist by a flat -connection, then receive a corresponding twist so that is unaffected. Thus we can assume without loss of generality that , namely the asymptotic holonomy of is zero, so in the limit the cycle lifts to a closed loop, on which we can evaluate the period asymptotically.
By construction , and using from the proof of Lemma 3.7, we compute
From this we see the integrality condition on the periods, so the holomorphic functions are well defined without multivalue issues.
Notice the definition of for involve three unspecified multiplicative constants; by prescribing their product appropriately, the functional equation follows from Lemma 3.9. The remaining two free multiplicative constants will be fixed in later Sections. ∎