ScalingStacks

Proposition 6.1 . [03IJ]

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

Proposition 6.1.

There is a diffeomorphism

(6.18) Φ−N:(−T−,−T−+1,)×Nilb−3(ϵ,τ)→𝒩m04(−T−,−T−+1),\displaystyle\Phi^{N}_{-}:(-T_{-},-T_{-}+1,)\times\Nil^{3}_{b_{-}}(\epsilon,\tau)\rightarrow\mathcal{N}_{m_{0}}^{4}(-T_{-},-T_{-}+1),

which preserves the zz-coordinate, such that

(6.19) (Φ−N)∗​θ=θb−+O⁡(e−δN​T−),(\Phi^{N}_{-})^{*}\theta=\theta_{b_{-}}+O(e^{-\delta_{N}T_{-}}),

as T−→∞T_{-}\rightarrow\infty. Similarly, there is a diffeomorphism

(6.20) Φ+N:(T+−1,T+)×Nil−b+3⁡(ϵ,τ)→𝒩m04​(T+−1,T+),\displaystyle\Phi^{N}_{+}:(T_{+}-1,T_{+})\times\Nil^{3}_{-b_{+}}(\epsilon,\tau)\rightarrow\mathcal{N}_{m_{0}}^{4}(T_{+}-1,T_{+}),

which preserves the zz-coordinate, such that

(6.21) (Φ+N)∗​θ=θ−b++O⁡(e−δN​T+),(\Phi^{N}_{+})^{*}\theta=\theta_{-b_{+}}+O(e^{-\delta_{N}T_{+}}),

as T+→∞T_{+}\rightarrow\infty. Furthermore, there exist triples of 11-forms on the ends of the neck such that

(6.22) (Φ−N)∗​𝝎N−𝝎b−=d⁡(𝒂−N)\displaystyle(\Phi^{N}_{-})^{*}\bm{\omega}^{N}-\bm{\omega}_{b_{-}}=d(\bm{a}^{N}_{-})
(6.23) (Φ+N)∗​𝝎N−𝝎−b+=d⁡(𝒂+N),\displaystyle(\Phi^{N}_{+})^{*}\bm{\omega}^{N}-\bm{\omega}_{-b_{+}}=d(\bm{a}^{N}_{+}),

with

(6.24) |∇k𝒂±N|≤C​e−δN​|z|\displaystyle|\nabla^{k}\bm{a}^{N}_{\pm}|\leq Ce^{-\delta_{N}|z|}

for any integer k≥0k\geq 0 and ϵ>0\epsilon>0, where δN>0\delta_{N}>0 is a uniform constant in Proposition 3.4, 𝛚b−\bm{\omega}_{b_{-}} and 𝛚−b+\bm{\omega}_{-b_{+}} are the hyperkähler triples on the corresponding Calabi model spaces.

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