ScalingStacks

Lemma 2.20 . [040V]

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 2.20.

Let τ<1\tau<1 and 0<ϵ≪10<\epsilon\ll 1. Let ff be a T2T^{2}-invariant function supported on {distga(⋅,𝔇1)<C2}\{\text{dist}_{g_{a}}(\cdot,\mathfrak{D}_{1})<C_{2}\} inside the model space, with norm ‖f‖Cδ,τk,α=1\left\lVert f\right\rVert_{C^{k,\alpha}_{\delta,\tau}}=1, so that ‖f‖C0,τk,α≲1\left\lVert f\right\rVert_{C^{k,\alpha}_{0,\tau}}\lesssim 1. Then

{‖GTaubf‖C−1+ϵ,τk+2,α≤C,−1<τ<1−ϵ,‖GTaubf‖C0,−2+ϵk+2,α≤C,τ≤−1.\begin{cases}\left\lVert G_{\text{Taub}}f\right\rVert_{C^{k+2,\alpha}_{-1+\epsilon,\tau}}\leq C,\quad-1<\tau<1-\epsilon,\\ \left\lVert G_{\text{Taub}}f\right\rVert_{C^{k+2,\alpha}_{0,-2+\epsilon}}\leq C,\quad\tau\leq-1.\end{cases}

where the constant only depends on C2,δ,ϵ,τ,k,αC_{2},\delta,\epsilon,\tau,k,\alpha and the uniform ellipticity bound on ai​ja_{ij}. In particular if

{Either −1<τ<1,−3+2ϵ<δ≤0,or −2+ϵ<τ≤−1,δ+τ>−4+2ϵ,\begin{cases}\text{Either }-1<\tau<1,\quad-3+2\epsilon<\delta\leq 0,\\ \text{or }-2+\epsilon<\tau\leq-1,\quad\delta+\tau>-4+2\epsilon,\end{cases}

then ‖∇Taub2GTaub​f‖Cδ,τk,α≤C.\left\lVert\nabla_{\text{Taub}}^{2}G_{\text{Taub}}f\right\rVert_{C^{k,\alpha}_{\delta,\tau}}\leq C.

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