ScalingStacks

Lemma 3.10 . [042P]

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

Lemma 3.10.

For appropriate choices of θ1∞,θ2∞\theta^{\infty}_{1},\theta^{\infty}_{2}, the T3T^{3}-periods of the holomorphic differentials ζ~i\tilde{\zeta}_{i} take values in 2​π​−1​ℤ2\pi\sqrt{-1}\mathbb{Z}. In particular, the holomorphic functions

Zi=exp(∫ζ~i),i=0,1,2Z_{i}=\exp(\int\tilde{\zeta}_{i}),\quad i=0,1,2

are defined without multivalue issues. For a suitable choice of multiplicative normalisation on ZiZ_{i}, we have the functional equation

Z0​Z1​Z2=1−e2​π​−1​η.Z_{0}Z_{1}Z_{2}=1-e^{2\pi\sqrt{-1}\eta}.

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