ScalingStacks

Proposition 4.19 . [045M]

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

Proposition 4.19.

(Transverse Taub-NUT metric) Fix 0<α<10<\alpha<1. Under suitable gauge choices for the S1S^{1}-connection, the ansatz metric g(1)g^{(1)} over the local chart {r≲A1/4}\{r\lesssim A^{1/4}\} is approximated by the model metric:

{|Ψ∗g(1)−gNUT|gNUT≤CA−3/4max(log(A−1/4ϱ),1)+CA1/4|ξ2|,|∇gNUT(Ψ∗g(1)−gNUT)|C−1α​(r≲A1/4)≤CA−1/4max(log(A−1/4ϱ),1).\begin{cases}|\Psi^{*}g^{(1)}-g_{\text{NUT}}|_{g_{\text{NUT}}}\leq CA^{-3/4}\max(\log(A^{-1/4}\varrho),1)+CA^{1/4}|\xi_{2}|,\\ |\nabla_{g_{\text{NUT}}}(\Psi^{*}g^{(1)}-g_{\text{NUT}})|_{C^{\alpha}_{-1}(r\lesssim A^{1/4})}\leq CA^{-1/4}\max(\log(A^{-1/4}\varrho),1).\end{cases}

and

{|Ψ∗Ω(1)−ΩNUT|gNUT≤CA−3/4max(log(A−1/4ϱ),1)+CA1/4|ξ2|,|∇ΩNUT(Ψ∗g(1)−ΩNUT)|C−1α​(r≲A1/4)≤CA−1/4max(log(A−1/4ϱ),1).\begin{cases}|\Psi^{*}\Omega^{(1)}-\Omega_{\text{NUT}}|_{g_{\text{NUT}}}\leq CA^{-3/4}\max(\log(A^{-1/4}\varrho),1)+CA^{1/4}|\xi_{2}|,\\ |\nabla_{\Omega_{\text{NUT}}}(\Psi^{*}g^{(1)}-\Omega_{\text{NUT}})|_{C^{\alpha}_{-1}(r\lesssim A^{1/4})}\leq CA^{-1/4}\max(\log(A^{-1/4}\varrho),1).\end{cases}

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