ScalingStacks

Proof. [04PI]

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.

By Proposition 3.1.1 the integral affine structure on Star⁡(τCi)\Star(\tau_{C_{i}}) identifies (vDi−1,vDi,vD,vDi+1)(v_{D_{i-1}},v_{D_{i}},v_{D},v_{D_{i+1}}) with

(v0=(1,0),v1=(0,1),v2=(0,0),v∞=(−1,bi)),(v_{0}=(1,0),v_{1}=(0,1),v_{2}=(0,0),v_{\infty}=(-1,b_{i})),

while on Star⁡(τCi+1)\Star(\tau_{C_{i+1}}) identifies (vDi,vDi+1,vD,vDi+2)(v_{D_{i}},v_{D_{i}+1},v_{D},v_{D_{i+2}}) with

(v0=(1,0),v1=(0,1),v2=(0,0),v∞=(−1,bi+1)).(v_{0}=(1,0),v_{1}=(0,1),v_{2}=(0,0),v_{\infty}=(-1,b_{i+1})).

It follows that the transition map from the chart Star⁡(τCi)\Star(\tau_{C_{i}}) to Star⁡(τCi+1)\Star(\tau_{C_{i+1}}) of the integral affine structure on Star⁡(τCi)∩Star⁡(τCi+1)\Star(\tau_{C_{i}})\cap\Star(\tau_{C_{i+1}}) is given by the matrix (bi1−10)\left(\begin{matrix}b_{i}&1\\ -1&0\end{matrix}\right). Thus, the composition of such matrices gives the monodromy around vDv_{D}, along a loop oriented as the path connecting vD1,vD2,…,vDr,vD1v_{D_{1}},v_{D_{2}},\ldots,v_{D_{r}},v_{D_{1}}. ∎

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