ScalingStacks

3.7.3. Modifying the Kähler ansatz II [043W]

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

3.7.3. Modifying the Kähler ansatz II

We make a second modification from (g~(3),ω~(3),Ω)(\tilde{g}^{(3)},\tilde{\omega}^{(3)},\Omega) to another new Kähler ansatz (g~(4),ω~(4),Ω)(\tilde{g}^{(4)},\tilde{\omega}^{(4)},\Omega) designed to match up with the Taub-NUT type metric (gℂ3,ωℂ3,Ωℂ3)(g_{\mathbb{C}^{3}},\omega_{\mathbb{C}^{3}},\Omega_{\mathbb{C}^{3}}) in Chapter 2.

Recall from Theorem 2.26 that there is a Kähler potential ϕℂ3\phi^{\mathbb{C}^{3}} such that

ωℂ3=ω(2)+−1∂∂¯ϕℂ3=ω(1)+−1∂∂¯ϕℂ3,for |μ→|a≳A−1/4,\omega_{\mathbb{C}^{3}}=\omega^{(2)}+\sqrt{-1}\partial\bar{\partial}\phi^{\mathbb{C}^{3}}=\omega^{(1)}+\sqrt{-1}\partial\bar{\partial}\phi^{\mathbb{C}^{3}},\quad\text{for }|\vec{\mu}|_{a}\gtrsim A^{-1/4},

with bound ‖dϕℂ3‖C−ϵ,−1+ϵk+1,α​(ℂ3)≤CA−1/4.\left\lVert d\phi^{\mathbb{C}^{3}}\right\rVert_{C^{k+1,\alpha}_{-\epsilon,-1+\epsilon}(\mathbb{C}^{3})}\leq CA^{-1/4}. We can impose a normalisation such that |ϕℂ3|≤CA−1/2+34ϵ|\phi^{\mathbb{C}^{3}}|\leq CA^{-1/2+\frac{3}{4}\epsilon} for 1100​A1/2≲|μ→|a≤13​A1/2.\frac{1}{100}A^{1/2}\lesssim|\vec{\mu}|_{a}\leq\frac{1}{3}A^{1/2}.

We then define a modified Kähler metric ansatz ω~(4)\tilde{\omega}^{(4)} on Mν+M^{+}_{\nu}. Take a standard cutoff function

χ⁡(s)={1s≤1,0s≥2,\chi(s)=\begin{cases}1\quad s\leq 1,\\ 0\quad s\geq 2,\end{cases}

and define

ω~(4)=ω~(3)+−1​∂∂¯​ϕ4,ϕ4=χ⁡(|μ→|a112​A1/2)​ϕℂ3−2​φ3.\tilde{\omega}^{(4)}=\tilde{\omega}^{(3)}+\sqrt{-1}\partial\bar{\partial}\phi_{4},\quad\phi_{4}=\chi(\frac{|\vec{\mu}|_{a}}{\frac{1}{12}A^{1/2}})\phi^{\mathbb{C}^{3}}-2\varphi_{3}.

In particular

{ω~(4)=ωℂ3−2−1∂∂¯φ3,|μ→|a≤112​A1/2,ω~(4)=ω~(3),|μ→|a≥13​A1/2.\begin{cases}\tilde{\omega}^{(4)}=\omega_{\mathbb{C}^{3}}-2\sqrt{-1}\partial\bar{\partial}\varphi_{3},\quad&|\vec{\mu}|_{a}\leq\frac{1}{12}A^{1/2},\\ \tilde{\omega}^{(4)}=\tilde{\omega}^{(3)},\quad&|\vec{\mu}|_{a}\geq\frac{1}{3}A^{1/2}.\end{cases}

The positive definiteness of ω~(4)\tilde{\omega}^{(4)} follows from the metric deviation estimate:

{‖∂∂¯φ3‖Ck,α0,0(ℂ3∩{|μ→|a≤13A1/2})≤CνA−3/4,‖∂∂¯​{χ⁡(|μ→|a112​A1/2)​ϕℂ3}‖C−1−ϵ,0k,α​(|μ→|a∼A1/2)≤C​A3/4​(−1+ϵ).\begin{cases}\left\lVert\partial\bar{\partial}\varphi_{3}\right\rVert_{C^{k,\alpha}_{0,0}(\mathbb{C}^{3}\cap\{|\vec{\mu}|_{a}\leq\frac{1}{3}A^{1/2}\})}\leq C\nu A^{-3/4},\\ \left\lVert\partial\bar{\partial}\{\chi(\frac{|\vec{\mu}|_{a}}{\frac{1}{12}A^{1/2}})\phi^{\mathbb{C}^{3}}\}\right\rVert_{C^{k,\alpha}_{-1-\epsilon,0}(|\vec{\mu}|_{a}\sim A^{1/2})}\leq CA^{3/4(-1+\epsilon)}.\end{cases}

Here φ3\varphi_{3} is inserted to approximately cancel the cutoff error Δa​φ3\Delta_{a}\varphi_{3} in the volume form error E~(3)\tilde{E}^{(3)} (cf. Lemma 3.28).

Lemma 3.30.

The volume form error for g~(4)\tilde{g}^{(4)} admits bound in {|μ→|a≤13A1/2}\{|\vec{\mu}|_{a}\leq\frac{1}{3}A^{1/2}\}:

E~(4)=43(ω~(4))3−1​Ω∧Ω¯−1,‖E~(4)‖Ck,α−1−ϵ,0(ℂ3∩{|μ→|a≤13A1/2})≤Cν2A3/4​(−1+ϵ).\tilde{E}^{(4)}=\frac{4}{3}\frac{(\tilde{\omega}^{(4)})^{3}}{\sqrt{-1}\Omega\wedge\overline{\Omega}}-1,\quad\left\lVert\tilde{E}^{(4)}\right\rVert_{C^{k,\alpha}_{-1-\epsilon,0}(\mathbb{C}^{3}\cap\{|\vec{\mu}|_{a}\leq\frac{1}{3}A^{1/2}\})}\leq C\nu^{2}A^{3/4(-1+\epsilon)}.

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