ScalingStacks

Lemma 7.6 . [0562]

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

We have the following

  1. (1)

    On πβ1​(Uβ,t1∩Uβ′,t1)\pi^{1}_{\beta}(U^{1}_{\beta,t}\cap U^{1}_{\beta^{\prime},t}), we write πβ′1∘(πβ1)−1​(𝒙)=𝒙′\pi^{1}_{\beta^{\prime}}\circ(\pi^{1}_{\beta})^{-1}(\bm{x})=\bm{x}^{\prime}. Suppose 𝒙\bm{x} and 𝒙′\bm{x}^{\prime} have coordinates given by (v2,0,ui)(v_{2},0,u_{i}) and (v2′′,0,ui′′)(v_{2}^{\prime\prime},0,u_{i}^{\prime\prime}) in the chart Uβ,01∩Y1U^{1}_{\beta,0}\cap Y_{1}. Then we have

    (7.100) {v2′′=v2⋅(1+v1​F2)ui′′=ui+v1​Gi,\begin{cases}v_{2}^{\prime\prime}=v_{2}\cdot(1+v_{1}F_{2})\\ u_{i}^{\prime\prime}=u_{i}+v_{1}G_{i},\end{cases}

    where F2F_{2} and GiG_{i} are smooth functions in v1,v2,uiv_{1},v_{2},u_{i}, and v1v_{1} is implicitly determined by v2,uiv_{2},u_{i} and tt by the equation (7.22)

  2. (2)

    On πβ𝒩​(Uβ,t1∩Uβ′,t1)\pi^{\mathcal{N}}_{\beta}(U^{1}_{\beta,t}\cap U^{1}_{\beta^{\prime},t}), we write πβ′𝒩∘(πβ𝒩)−1​(q)=q′\pi^{\mathcal{N}}_{\beta^{\prime}}\circ(\pi^{\mathcal{N}}_{\beta})^{-1}(q)=q^{\prime}. Suppose qq and q′q^{\prime} have coordinates given by (0,ζ3,ui)(0,\zeta_{3},u_{i}) and (0,ζ3′′,ui′′)(0,\zeta_{3}^{\prime\prime},u_{i}^{\prime\prime}) in the chart Uβ,01∩𝒩U^{1}_{\beta,0}\cap\mathcal{N}. Then we have

    (7.101) {ζ3′′=ζ3⋅(1+v2​F~3)ui′′=ui+v2​G~i,\begin{cases}\zeta_{3}^{\prime\prime}=\zeta_{3}\cdot(1+v_{2}\tilde{F}_{3})\\ u_{i}^{\prime\prime}=u_{i}+v_{2}\tilde{G}_{i},\end{cases}

    where F~2\tilde{F}_{2} and G~i\tilde{G}_{i} are smooth functions in v1,v2,uiv_{1},v_{2},u_{i}, and v1v_{1} is implicitly determined by ζ3,ui\zeta_{3},u_{i} and tt by the equation (7.22).

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