ScalingStacks

Proof. [0563]

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 involves only local discussion. By construction we get overlapping local holomorphic charts on ℂ​ℙn+1\mathbb{C}\mathbb{P}^{n+1} given by {v1,v2,ui​(i≥3)}\{v_{1},v_{2},u_{i}(i\geq 3)\} and {v1′,v2′,ui′​(i≥3)}\{v_{1}^{\prime},v_{2}^{\prime},u_{i}^{\prime}(i\geq 3)\}. Given a point in this overlap with coordinates (v1,v2,ui)(v_{1},v_{2},u_{i}) and (v1′,v2′,ui′)(v_{1}^{\prime},v_{2}^{\prime},u_{i}^{\prime}) in these two coordinate charts respectively, then we have

(7.102) {v1′=v1⋅Q1​(v1,v2,ui)v2′=v2⋅Q2​(v1,v2,ui)ui′=Ri′​(v1,v2,ui).\begin{cases}v_{1}^{\prime}=v_{1}\cdot Q_{1}(v_{1},v_{2},u_{i})\\ v_{2}^{\prime}=v_{2}\cdot Q_{2}(v_{1},v_{2},u_{i})\\ u_{i}^{\prime}=R_{i}^{\prime}(v_{1},v_{2},u_{i}).\end{cases}

where Q1,Q2Q_{1},Q_{2} are smooth and non-vanishing along DD. More precisely, we have

(7.103) Qi=(σβ′1/σβ1)di.Q_{i}=(\sigma_{\beta^{\prime}}^{1}/\sigma_{\beta}^{1})^{d_{i}}.

Correspondingly we obtain the transition maps on Uβ1∩Uβ′1U^{1}_{\beta}\cap U^{1}_{\beta^{\prime}} given by

(7.104) {v2′=v2⋅Q2​(v1,v2,ui);ζ3′=ζ3⋅Q2−1​(v1,v2,ui);ui′=Ri′​(v1,v2,ui);\begin{cases}v_{2}^{\prime}=v_{2}\cdot Q_{2}(v_{1},v_{2},u_{i});\\ \zeta_{3}^{\prime}=\zeta_{3}\cdot Q_{2}^{-1}(v_{1},v_{2},u_{i});\\ u_{i}^{\prime}=R_{i}^{\prime}(v_{1},v_{2},u_{i});\end{cases}

where using (7.22) we can write v1v_{1} implicitly as a function of v2,ζ3′v_{2},\zeta_{3}^{\prime} and uiu_{i}. In particular, we obtain the transition function of Y1∩Uβ1∩Uβ′1Y_{1}\cap U_{\beta}^{1}\cap U_{\beta^{\prime}}^{1} given by

(7.105) {v2′=v2⋅Q2​(0,v2,ui);ui′=Ri′​(0,v2,ui),\begin{cases}v_{2}^{\prime}=v_{2}\cdot Q_{2}(0,v_{2},u_{i});\\ u_{i}^{\prime}=R_{i}^{\prime}(0,v_{2},u_{i}),\end{cases}

and 𝒩∩Uβ1∩Uβ′1\mathcal{N}\cap U_{\beta}^{1}\cap U_{\beta^{\prime}}^{1} given by

(7.106) {ζ3′=ζ3⋅Q2−1​(v1,0,ui);ui′=Ri′​(v1,0,ui).\begin{cases}\zeta_{3}^{\prime}=\zeta_{3}\cdot Q_{2}^{-1}(v_{1},0,u_{i});\\ u_{i}^{\prime}=R_{i}^{\prime}(v_{1},0,u_{i}).\end{cases}

Then the conclusion follows by a direct calculation. ∎

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