ScalingStacks

Verified tagged author-source HTML · 2007.01384v1 · cited publication edition alignment unverified.

We then modify hth_{t} into h~t=ht​e−2​ϕx\tilde{h}_{t}=h_{t}e^{-2\phi_{x}}, where x=Log𝒳​(z)x=\text{Log}_{\mathcal{X}}(z) on XtX_{t}. The metric asymptote (13) then implies that on Log𝒳−1​(Int​(ΔJ))⊂Xt\text{Log}_{\mathcal{X}}^{-1}(\text{Int}(\Delta_{J}))\subset X_{t} for |t|≪1|t|\ll 1, up to O⁡(1|log⁡|t||)O(\frac{1}{|\log|t||}) relative error,

−d​dc​log⁡h~t1/2∼∑1p∂2ϕ0∂xi​∂xj​1|log⁡|t||​−14​π​d​log⁡zi∧d​log⁡z¯j−d​dc​log⁡hℒ1/2+∑I∂u∂xi​d​dc​ϕi+d​dc​ϕx.\begin{split}-dd^{c}\log\tilde{h}_{t}^{1/2}\sim&\sum_{1}^{p}\frac{\partial^{2}\phi_{0}}{\partial x_{i}\partial x_{j}}\frac{1}{|\log|t||}\frac{\sqrt{-1}}{4\pi}d\log z_{i}\wedge d\log\bar{z}_{j}\\ &-dd^{c}\log h_{\mathcal{L}}^{1/2}+\sum_{I}\frac{\partial u}{\partial x_{i}}dd^{c}\phi_{i}+dd^{c}\phi_{x}.\end{split} (20)

The normalisation ambiguity on ϕx\phi_{x} is suppressed by O⁡(1|log⁡|t||)O(\frac{1}{|\log|t||}) relative to the term ∑1p∂2ϕ0∂xi​∂xj​1|log⁡|t||​−14​π​d​log⁡zi∧d​log⁡z¯j\sum_{1}^{p}\frac{\partial^{2}\phi_{0}}{\partial x_{i}\partial x_{j}}\frac{1}{|\log|t||}\frac{\sqrt{-1}}{4\pi}d\log z_{i}\wedge d\log\bar{z}_{j}. In particular, we see −d​dc​log⁡h~t1/2-dd^{c}\log\tilde{h}_{t}^{1/2} is positive definite, so defines a Kähler metric.

Original mathematics by the credited authors. Source collection and HTML conversion remain in progress.