ScalingStacks

4.7 Distance-like function [0244]

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

4.7 Distance-like function

For our later invocation of Hein’s package (cf. section 5.1), we need to know the existence of distance-like functions with gradient and complex Hessian control.

Define a smooth function

ρ~=(x12+x22+1)n+24​n.\tilde{\rho}=(x_{1}^{2}+x_{2}^{2}+1)^{\frac{n+2}{4n}}.

As discussed in section 2.6, the distance function to the origin is uniformly equivalent outside a compact set to |x|n+22​n,|x|^{\frac{n+2}{2n}}, and ρ~\tilde{\rho} can be viewed as a regularized version. An easy consequence of Lemma 4.7 is

Lemma 4.14.

The function ρ~\tilde{\rho} satisfies |d​ρ~|≤C|d\tilde{\rho}|\leq C and ρ~​|d​dc​ρ~|≤C.\tilde{\rho}|dd^{c}\tilde{\rho}|\leq C.

In terms of the distance-like function ρ~\tilde{\rho}, we can rewrite Cor. 4.13 as

‖E​r​r2‖k,α,l​o​c=O⁡(ρ~−2​n​(2​n−1)(n−1)​(n+2)).\left\lVert Err_{2}\right\rVert_{k,\alpha,loc}=O(\tilde{\rho}^{-\frac{2n(2n-1)}{(n-1)(n+2)}}). (37)

Crucially for our later purpose, this decay is faster than quadratic O⁡(ρ~−2)O(\tilde{\rho}^{-2}) to all orders of derivatives. Morever, the formula for the Ricci form

Ric=−−1∂∂¯log((d​dc​ϕg​l​u​e)nK0​−1n2​Ω∧Ω¯)Ric=-\sqrt{-1}\partial\bar{\partial}\log\left(\frac{(dd^{c}\phi_{glue})^{n}}{K_{0}\sqrt{-1}^{n^{2}}\Omega\wedge\overline{\Omega}}\right)

implies |R​i​c|=O⁡(ρ~−2)|Ric|=O(\tilde{\rho}^{-2}) for the glued ansatz.

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