ScalingStacks

7.3.1. Matching between the parameters t and T [055Z]

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

7.3.1. Matching between the parameters tt and TT

The relationship between the parameters tt and TT can be determined by studying the matching between the Tian-Yau ends and the neck.

In our setting we need to first normalize the Tian-Yau metrics ωT​Y,i\omega_{TY,i} on ZiZ_{i} (as defined in Section 7.2). We define

(7.58) ω~T​Y,j=2−1n​n1n​d3−j−n−1n​ωT​Y,j.\tilde{\omega}_{TY,j}=2^{\frac{-1}{n}}n^{\frac{1}{n}}d_{3-j}^{-\frac{n-1}{n}}\omega_{TY,j}.

Then we have

(7.59) ω~T​Y,j=(−1)n22n​Γ0,j∧Γ¯0,j.\tilde{\omega}_{TY,j}=\frac{(\sqrt{-1})^{n^{2}}}{2^{n}}\Gamma_{0,j}\wedge\bar{\Gamma}_{0,j}.

By definition we can write

(7.60) ω~T​Y,j≡d​dc​ϕj=2​−1​∂∂¯​ϕj,\tilde{\omega}_{TY,j}\equiv dd^{c}\phi_{j}=2\sqrt{-1}\partial\bar{\partial}\phi_{j},

where

(7.61) ϕj=ηj+ψj,\phi_{j}=\eta_{j}+\psi_{j},

with

(7.62) ηj=1n+1⋅k3−j1−nn​nn+1n​(−log⁡|f3−j|)n+1n,\eta_{j}=\frac{1}{n+1}\cdot k_{3-j}^{\frac{1-n}{n}}n^{\frac{n+1}{n}}(-\log|f_{3-j}|)^{\frac{n+1}{n}},

and

(7.63) |∇kψ1|=O⁡(e−δ0​(−log⁡|f3−j|2)1/2),|\nabla^{k}\psi_{1}|=O(e^{-\delta_{0}(-\log|f_{3-j}|^{2})^{1/2}}),

for all k≥0k\geq 0, where the derivatives and norms are taken with respect to the Tian-Yau metric itself (which is equivalent to taking with respect to the metric ωZj\omega_{Z_{j}}).

Now on the neck ℳT\mathcal{M}_{T} we have the asymptotics of the Kähler potential given in Section 4.2. By the discussion there we identify ℳT\mathcal{M}_{T} with an open set in 𝒩0\mathcal{N}^{0}, and we can write

(7.64) Tn−2n​ωT=d​dc​ϕT,T^{\frac{n-2}{n}}\omega_{T}=dd^{c}\phi_{T},

with

(7.65) ϕT={ϕ−≡φ−+ψ−,z<0;ϕ+≡φ++ψ+,z>0,\phi_{T}=\begin{cases}\phi_{-}\equiv\varphi_{-}+\psi_{-},\ \ \ \ z<0;\\ \phi_{+}\equiv\varphi_{+}+\psi_{+},\ \ \ \ z>0,\end{cases}

where

(7.66) {φ−=1n+1​nn+1n​k−−n−1n​(A−−log⁡|s1/s3|);φ+=1n+1​nn+1n​(−k+)−n−1n​(A+−log⁡|s2/s3|),\begin{cases}\varphi_{-}=\frac{1}{n+1}n^{\frac{n+1}{n}}k_{-}^{-\frac{n-1}{n}}(A_{-}-\log|s_{1}/s_{3}|);\\ \varphi_{+}=\frac{1}{n+1}n^{\frac{n+1}{n}}(-k_{+})^{-\frac{n-1}{n}}(A_{+}-\log|s_{2}/s_{3}|),\end{cases}

and for |z|≥1|z|\geq 1 we have

(7.67) |ψ±|=ϵ⁡(z)+ϵT.|\psi_{\pm}|=\epsilon(z)+\epsilon_{T}.

Now on ℳT\mathcal{M}_{T} for |t||t| small

(7.68) td1​s1=s3​f2​(x)t^{d_{1}}s_{1}=s_{3}f_{2}(x)

which gives

(7.69) −d1​log|t|−log⁡|s1||s3|=log⁡|s3||s1|=−log⁡|f2|.-d_{1}\log|t|-\log\frac{|s_{1}|}{|s_{3}|}=\log\frac{|s_{3}|}{|s_{1}|}=-\log|f_{2}|.

So if we want to graft the metrics on the three components of X^0\widehat{X}_{0} to nearby X^t\widehat{X}_{t}, then we need

(7.70) d1​log⁡|t|=−A−.d_{1}\log|t|=-A_{-}.

Similarly at the positive end we need

(7.71) d2​log⁡|t|=−A+.d_{2}\log|t|=-A_{+}.

This suggests that we should choose

(7.72) |t|=e−1d1​A−=e−1d2​A+.|t|=e^{-\frac{1}{d_{1}}A_{-}}=e^{-\frac{1}{d_{2}}A_{+}}.

Given |t||t| small we can find TT big so that (7.72) holds. It is not necessary that TT is uniquely determined by tt, but we shall always fix a particular choice for each tt throughout this section so that (7.72) holds. With this choice it is easy to see that

(7.73) C−1​e−1d1​d2​n​T2≤|t|≤C​e−1d1​d2​n​T2.C^{-1}e^{-\frac{1}{d_{1}d_{2}n}T^{2}}\leq|t|\leq Ce^{-\frac{1}{d_{1}d_{2}n}T^{2}}.

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