ScalingStacks

Proof. [05E1]

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

Proof.

Fix a δ<δ0\delta<\delta_{0}, there is a k1>k0k_{1}>k_{0} such that, for k>k1k>k_{1}, and any y∈BhE​(0,2​r)y\in B_{h_{E}}(0,2r),

‖𝔉k​(y,0)‖C0,α​(L,h)≤δ4​C¯,\|\mathfrak{F}_{k}(y,0)\|_{C^{0,\alpha}(L,h)}\leq\frac{\delta}{4\overline{C}},

by Lemma 4.2. By Theorem 2.3, Lemma 4.3 and 4.4, for any y∈BhE​(0,3​r2)y\in B_{h_{E}}(0,\frac{3r}{2}) and k>k1k>k_{1}, there is a unique σk​(y)∈𝔅1\sigma_{k}(y)\in\mathfrak{B}_{1} such that

(9) 𝔉k​(y,σk​(y))=0,‖σk​(y)‖C1,α​(L,h)≤δ,\mathfrak{F}_{k}(y,\sigma_{k}(y))=0,\ \ \ \|\sigma_{k}(y)\|_{C^{1,\alpha}(L,h)}\leq\delta,

which implies that L​(y,σk​(y))L(y,\sigma_{k}(y)) is a special lagrangian submanifold of (Y2​r,ωk,Ωk)(Y_{2r},\omega_{k},\Omega_{k}).

By (6) (7) and (8),

‖Dy​𝔉k​(y,σk)‖\displaystyle\|D_{y}\mathfrak{F}_{k}(y,\sigma_{k})\| ≤\displaystyle\leq C​‖(d​αk,d​βk)‖C1,α​(Y2​r,g)​(∑l=0,1,⋯,n‖σk‖C1,α​(L,h)l)\displaystyle C\|(d\alpha_{k},d\beta_{k})\|_{C^{1,\alpha}(Y_{2r},g)}(\sum_{l=0,1,\cdots,n}\|\sigma_{k}\|_{C^{1,\alpha}(L,h)}^{l})
≤\displaystyle\leq C​‖(d​αk,d​βk)‖C1,α​(Y2​r,g)​n​δ,\displaystyle C\|(d\alpha_{k},d\beta_{k})\|_{C^{1,\alpha}(Y_{2r},g)}n\delta,

for a constant CC independent of kk. By Theorem 2.3,

D​σk​(y)​y˙=−Dσ​𝔉k​(y,σk)−1​Dy​𝔉k​(y,σk)​y˙.D\sigma_{k}(y)\dot{y}=-D_{\sigma}\mathfrak{F}_{k}(y,\sigma_{k})^{-1}D_{y}\mathfrak{F}_{k}(y,\sigma_{k})\dot{y}.

We obtain the conclusion from Lemma 4.4. ∎

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