ScalingStacks

Proof. [04PN]

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.

We need to compute the parallel transport of the vectors

(u0,…,un−1)≔(vDi0−vDin,vDi1−vDin,…,vDin−1−vDin)(u_{0},\ldots,u_{n-1})\coloneqq(v_{D_{i_{0}}}-v_{D_{i_{n}}},v_{D_{i_{1}}}-v_{D_{i_{n}}},\ldots,v_{D_{i_{n-1}}}-v_{D_{i_{n}}})

along the loop γ\gamma. By Proposition 3.1.1 the ℤ\mathbb{Z}-affine structure on Star⁡(τC)\Star(\tau_{C}) induced by ρ𝒳\rho_{\mathscr{X}} is described by the chart which has the following vertices:

v0=(1,0,…,0)v_{0}=(1,0,\ldots,0), v1=(0,1,…,0),…,vn=0v_{1}=(0,1,\ldots,0),\,\ldots,\,v_{n}=0 and v∞=(−1,bi1,…,bin−1);v_{\infty}=(-1,b_{i_{1}},\ldots,b_{i_{n-1}});

while the ℤ\mathbb{Z}-affine structure induced by ρ𝒳′\rho_{\mathscr{X}^{\prime}} is given by:

v0′=(1,0,…,0)v^{\prime}_{0}=(1,0,\ldots,0), v1′=(0,1,…,0),…,vn′=0v^{\prime}_{1}=(0,1,\ldots,0),\,\ldots,\,v^{\prime}_{n}=0 and v∞′=(−1,bi1′,…,bin−1′).v^{\prime}_{\infty}=(-1,b^{\prime}_{i_{1}},\ldots,b^{\prime}_{i_{n-1}}).

Moreover, the vectors ulu_{l} correspond to the vectors vlv_{l} (resp. vl′v^{\prime}_{l}) in the chart for ρ𝒳\rho_{\mathscr{X}} (resp. ρ𝒳′\rho_{\mathscr{X}^{\prime}}). We now have v0=−v∞+∑l=1n−1bil​vlv_{0}=-v_{\infty}+\sum_{l=1}^{n-1}b_{i_{l}}v_{l}, so that the vectors we are transporting are written on τp∞\tau_{p_{\infty}}

(−v∞+∑l=1n−1bil​vl,v1,…,vn−1)(-v_{\infty}+\sum_{l=1}^{n-1}b_{i_{l}}v_{l}\,,v_{1},\ldots,v_{n-1})

in the chart for ρ𝒳\rho_{\mathscr{X}}. These are thus mapped to the tuple (−v∞′+∑l=1n−1bil​vl′,v1′,…,vn−1′)(-v^{\prime}_{\infty}+\sum_{l=1}^{n-1}b_{i_{l}}v^{\prime}_{l},v^{\prime}_{1},\ldots,v^{\prime}_{n-1}) by the chart for ρ𝒳′\rho_{\mathscr{X}^{\prime}}. We now transport back across τC\tau_{C} in the chart for ρ𝒳′\rho_{\mathscr{X}^{\prime}}, to get the tuple of vectors

(−v0′−∑l=1n−1bil′​vl′+∑l=1n−1bil​vl′,v1′,…,vn−1′)(-v^{\prime}_{0}-\sum_{l=1}^{n-1}b^{\prime}_{i_{l}}v^{\prime}_{l}+\sum_{l=1}^{n-1}b_{i_{l}}v^{\prime}_{l}\,,v^{\prime}_{1},\ldots,v^{\prime}_{n-1})

according to the relation −v∞′=−v0′−∑l=1n−1bil′​vl′-v^{\prime}_{\infty}=-v^{\prime}_{0}-\sum_{l=1}^{n-1}b^{\prime}_{i_{l}}v^{\prime}_{l}. We now see that after parallel transport the vectors (u0,…,un−1)(u_{0},\ldots,u_{n-1}) have changed to

(u0+∑l=1n−1(bil−bil′)​ul,u1,…,un−1),(u_{0}+\sum_{l=1}^{n-1}(b_{i_{l}}-b^{\prime}_{i_{l}})u_{l}\,,u_{1},\ldots,u_{n-1}),

hence the formula Eq. 3.2.3 for the monodromy matrix. ∎

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