ScalingStacks

Lemma 2.6 . [03ZX]

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

The Kähler structure (g(1),ω(1),J,Ω)(g^{(1)},\omega^{(1)},J,\Omega) extends smoothly over the region (2.14). The deviation from the model metric admits the estimates

{‖g(1)−gTaub‖C0,−1k,α≤C,‖ω(1)−ωTaub‖C0,−1k,α≤C,‖J−JTaub‖C0,−1k,α≤C,‖Ω−ΩTaub‖C0,−1k,α≤C.\begin{cases}\left\lVert g^{(1)}-g_{\text{Taub}}\right\rVert_{C^{k,\alpha}_{0,-1}}\leq C,\quad&\left\lVert\omega^{(1)}-\omega_{\text{Taub}}\right\rVert_{C^{k,\alpha}_{0,-1}}\leq C,\\ \left\lVert J-J_{\text{Taub}}\right\rVert_{C^{k,\alpha}_{0,-1}}\leq C,\quad&\left\lVert\Omega-\Omega_{\text{Taub}}\right\rVert_{C^{k,\alpha}_{0,-1}}\leq C.\end{cases}

In particular, if C1C_{1} is chosen large enough, then the magnitudes of the deviation

|g(1)−gTaub|≪1,|ω(1)−ωTaub|≪1,|Ω−ΩTaub|≪1,|J−JTaub|≪1.|g^{(1)}-g_{\text{Taub}}|\ll 1,\quad|\omega^{(1)}-\omega_{\text{Taub}}|\ll 1,\quad|\Omega-\Omega_{\text{Taub}}|\ll 1,\quad|J-J_{\text{Taub}}|\ll 1.

The volume form error function E(1)E^{(1)} satisfies

‖E(1)‖C−1,−1k,α≤C.\left\lVert E^{(1)}\right\rVert_{C^{k,\alpha}_{-1,-1}}\leq C.

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