ScalingStacks

Proof. [041E]

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.

Using the metric deviation estimate, the Riemannian curvature is bounded. Morever if ℓ>2A−1/4\ell>2A^{-1/4}, then we can find a flat model gflatg_{\text{flat}} over a gag_{a}-ball of radius ∼ℓ/10\sim\ell/10, where ‖gflat−gℂ3‖C−1,0k,α≤C.\left\lVert g_{\text{flat}}-g_{\mathbb{C}^{3}}\right\rVert_{C^{k,\alpha}_{-1,0}}\leq C. Using this bound up to second order derivatives, the Christoffel symbols in the local flat coordinates are O(A−1/4ℓ−2)O(A^{-1/4}\ell^{-2}) and the Riemannian curvature is of order O(A−1/4ℓ−3)O(A^{-1/4}\ell^{-3}). ∎

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