ScalingStacks

Proof. [0468]

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.

This Lemma is parallel to Lemma 3.10, so we will only highlight the key issues. The constants θ13∞\theta_{13}^{\infty} and θ23∞\theta_{23}^{\infty} are the asymptotic holonomy as μ→+∞\mu\to+\infty of the S1S^{1}-connection ϑ\vartheta, along the S1S^{1}-cycles in the base corresponding to the x1x_{1} and x2x_{2} variables respectively. These are introduced in order to cancel the twist of ϑ\vartheta by a flat connection.

The functional equation follows from

log⁡z3+log⁡z4=(β13+β14−K1​(a))​d​η1+(β23+β24−K2​(a))​d​η2=−2​π​i​e2​π​i​η1​d​η1+e2​π​i​η2​d​η2fS=d​log⁡fS.\begin{split}\log z_{3}+\log z_{4}=&(\beta_{13}+\beta_{14}-K_{1}(a))d\eta_{1}+(\beta_{23}+\beta_{24}-K_{2}(a))d\eta_{2}\\ =&-2\pi i\frac{e^{2\pi i\eta_{1}}d\eta_{1}+e^{2\pi i\eta_{2}}d\eta_{2}}{f_{S}}\\ =&d\log f_{S}.\end{split}

which crucially uses Lemma 4.25. ∎

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