ScalingStacks

Lemma 3.4 . [04ZH]

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

In the above normal coordinates, we have the following expansions of the metric tensor gg of QQ along the normal directions,

(3.18) gα​β|(x,y)\displaystyle g_{\alpha\beta}|_{(x,y)} =δα​β−13​Rmα​γ​ξ​β|(x,0)​yγ​yξ+O~​(r3),\displaystyle=\delta_{\alpha\beta}-\frac{1}{3}\Rm_{\alpha\gamma\xi\beta}\Big|_{(x,0)}y_{\gamma}y_{\xi}+\widetilde{O}(r^{3}),
(3.19) gi​j|(x,y)\displaystyle g_{ij}|_{(x,y)} =gi​jP(x)+2IIi​jα|(x,0)yα−(Rmi​γ​ξ​j+⟨∇∂xi∂yγ,∇∂xj∂yξ⟩)|(x,0)yγyξ+O~(r3),\displaystyle=g^{P}_{ij}(x)+2\IIs^{\alpha}_{ij}\Big|_{(x,0)}y_{\alpha}-(\Rm_{i\gamma\xi j}+\langle\nabla_{\partial_{x_{i}}}\partial_{y_{\gamma}},\nabla_{\partial_{x_{j}}}\partial_{y_{\xi}}\rangle)\Big|_{(x,0)}y_{\gamma}y_{\xi}+\widetilde{O}(r^{3}),
(3.20) gi​α|(x,y)\displaystyle g_{i\alpha}|_{(x,y)} =⟨∇∂xi∂yγ,∂yα⟩|(x,0)yγ−23Rmi​γ​ξ​α|(x,0)yγyξ+O~(r3),\displaystyle=\langle\nabla_{\partial_{x_{i}}}\partial_{y_{\gamma}},\partial_{y_{\alpha}}\rangle\Big|_{(x,0)}y_{\gamma}-\frac{2}{3}\Rm_{i\gamma\xi\alpha}\Big|_{(x,0)}y_{\gamma}y_{\xi}+\widetilde{O}(r^{3}),

where gP=(gi​jP)g^{P}=(g^{P}_{ij}) denotes the restriction of the metric gg to U⊂PU\subset P, Rm\Rm denotes the Riemann curvature tensor of gg.

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