ScalingStacks

Theorem 5.7 . [02CP]

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

Theorem 5.7.

There is a diffeomorphism F:B^∗→B∗F:\hat{B}^{*}\rightarrow B^{*} such that F∗​gF^{*}g extends to a smooth orbifold Riemannian metric on B^\hat{B}.

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