ScalingStacks

Lemma 3.2 . [03F5]

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

Lemma 3.2.

For any h∨>0h^{\vee}>0, small in the ν\nu-scale, the vector field 𝔛h∨\mathfrak{X}_{h^{\vee}} induces a (straight line/ray) foliation ℱh∨\mathcal{F}_{h^{\vee}} of ℝd\Δλ∨\mathbb{R}^{d}\backslash\Delta^{\vee}_{\lambda}, smooth over Σ\D{\Sigma\backslash D}, such that

  1. (1)

    𝔛h∨​(q)=w\mathfrak{X}_{h^{\vee}}(q)=w for q∈Vwβ∨q\in V_{w}^{\beta^{\vee}}.

  2. (2)

    The value of 𝔛h∨​(q)\mathfrak{X}_{h^{\vee}}(q) is in (carrier⁡σ)∨⊂∂Δ∨(\operatorname{carrier}\sigma)^{\vee}\subset\partial\Delta^{\vee} for q∈Fσ⊂∂Δλ∨q\in F_{\sigma}\subset\partial\Delta^{\vee}_{\lambda}. In particular, ⟨v,𝔛h∨⟩=1\langle v,\mathfrak{X}_{h^{\vee}}\rangle=1 in UvU_{v}.

  3. (3)

    For any q∈Σ\Dq\in{\Sigma\backslash D}, |∇𝔛h∨​(q)|≤C​|gi​j​(q)|h∨\left|\nabla\mathfrak{X}_{h^{\vee}}(q)\right|\leq\frac{C|g_{ij}(q)|}{h^{\vee}}, where CC is a constant independent of λ\lambda and ν\nu, and the gradient and the metric gi​jg_{ij} are taken in affine coordinates.

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