ScalingStacks

Lemma 4.27 . [0467]

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 4.27.

For appropriate choices of constants 0≤θ31∞,θ32∞≤2​π0\leq\theta_{31}^{\infty},\theta_{32}^{\infty}\leq 2\pi, the T3T^{3}-periods of the holomorphic differentials

(4.28) {d​log⁡z3=ζ3−−1​(θ13∞​d​η1+θ23∞​d​η2)d​log⁡z4=ζ4+−1​(θ13∞​d​η1+θ23∞​d​η2)−(K1​(a)​d​η1−K2​(a)​d​η2)\begin{cases}d\log z_{3}=\zeta_{3}-\sqrt{-1}(\theta_{13}^{\infty}d\eta_{1}+\theta_{23}^{\infty}d\eta_{2})\\ d\log z_{4}=\zeta_{4}+\sqrt{-1}(\theta_{13}^{\infty}d\eta_{1}+\theta_{23}^{\infty}d\eta_{2})-(K_{1}(a)d\eta_{1}-K_{2}(a)d\eta_{2})\end{cases}

take values in 2​π​−1​ℤ2\pi\sqrt{-1}\mathbb{Z}; here Kp​(a)K_{p}(a) are the constants defined in Lemma 4.25. In particular, the holomorphic functions z3z_{3} and z4z_{4} are defined without multivalue issues. For a suitable choice of multiplicative normalisation on z3,z4z_{3},z_{4} we have the functional equation

(4.29) z3​z4=fS=1−z1−z2=1−e2​π​i​η1−e2​π​i​η2.z_{3}z_{4}=f_{S}=1-z_{1}-z_{2}=1-e^{2\pi i\eta_{1}}-e^{2\pi i\eta_{2}}.

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