Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Source coverage notes Source fidelity gap: the original arXiv HTML omits an author TeX footnote attached to equation e:def-omega, including its reference to Remark r:error-function. The retained HTML is preserved as published; the original author TeX remains available. TeX correspondence is not complete. Complete original source context · Original author HTML
Lemma 3.4 .
In the above normal coordinates, we have the following expansions of the metric tensor g g of Q Q along the normal directions,
(3.18)
g α β | ( x , y ) \displaystyle g_{\alpha\beta}|_{(x,y)}
= δ α β − 1 3 Rm α γ ξ β | ( x , 0 ) y γ y ξ + O ~ ( r 3 ) , \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)
g i j | ( x , y ) \displaystyle g_{ij}|_{(x,y)}
= g i j P ( x ) + 2 II i j α | ( x , 0 ) y α − ( Rm i γ ξ j + ⟨ ∇ ∂ x i ∂ y γ , ∇ ∂ x j ∂ y ξ ⟩ ) | ( x , 0 ) y γ y ξ + O ~ ( r 3 ) , \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)
g i α | ( x , y ) \displaystyle g_{i\alpha}|_{(x,y)}
= ⟨ ∇ ∂ x i ∂ y γ , ∂ y α ⟩ | ( x , 0 ) y γ − 2 3 Rm i γ ξ α | ( x , 0 ) y γ y ξ + O ~ ( r 3 ) , \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 g P = ( g i j P ) g^{P}=(g^{P}_{ij}) denotes the restriction of the metric g g to U ⊂ P U\subset P , Rm \Rm denotes the Riemann curvature tensor of g g .