ScalingStacks

Lemma 4.5 . [05E0]

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

For a fixed δ<δ0\delta<\delta_{0}, there is a k1>k0k_{1}>k_{0} such that, 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

𝔉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}). Furthermore,

‖D​σk​(y)‖≤2​n​δ​C¯​C​‖(d​αk,d​βk)‖C1,α​(Y2​r,g),\|D\sigma_{k}(y)\|\leq 2n\delta\overline{C}C\|(d\alpha_{k},d\beta_{k})\|_{C^{1,\alpha}(Y_{2r},g)},

for a constant CC independent of kk.

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