ScalingStacks

Conjecture 3.1 (Exponential decay lemma) . [05CQ]

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

Conjecture 3.1 (Exponential decay lemma).

Given a convex domain RR in ℝk×ℝl\mathbb{R}^{k}\times\mathbb{R}^{l} and a (σ,τ)(\sigma,\tau)-type solution V,WV,W of the split Monge-Ampère equation in RR there is a real one-parameter family of (σ,τ)(\sigma,\tau)-solutions Vλ,WλV_{\lambda},W_{\lambda} to the Gibbons-Hawking ansatz in λ​R×(S1)l\lambda R\times(S^{1})^{l} such that

  • •

    The diameter of the circles both in the fiber TnT^{n} and in the torus part (S1)l(S^{1})^{l} of the base away from the discriminant is roughly given by λ−1\lambda^{-1}.

  • •

    The zero Fourier modes of the GH solutions Vλ0​(u,x),Wλ0​(u,x)V_{\lambda}^{0}(u,x),W_{\lambda}^{0}(u,x) as functions of the rescaled variables s,ts,t, where u=λ​s,x=λ​tu=\lambda s,x=\lambda t, will converge (in some properly weighted norm on the function space) to V⁡(s,t),W⁡(s,t)V(s,t),W(s,t) as λ→∞\lambda\to\infty.

  • •

    The higher Fourier modes decay exponentially away from the discriminant Π⁡(τ)×Π⁡(σ)\Pi(\tau)\times\Pi(\sigma) in λ​R\lambda R, uniformly in λ\lambda. That is, if β⁡(u,x)\beta(u,x) denotes the Euclidean distance from the point (u,x)(u,x) to the discriminant, then

    |Vλm​(u,x)|≤C1​e−β⁡(u,x)​|m|,|Wλm​(u,x)|≤C2​e−β⁡(u,x)​|m|,|V_{\lambda}^{m}(u,x)|\leq C_{1}e^{-\beta(u,x)|m|},\quad|W_{\lambda}^{m}(u,x)|\leq C_{2}e^{-\beta(u,x)|m|},

    for some constants C1,C2C_{1},C_{2}, and large enough λ\lambda and β\beta.

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