ScalingStacks

Proposition 3.11 . [02BJ]

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

Proposition 3.11.

We can choose ψ~>0\tilde{\psi}>0 to the following effect. Suppose g,J,Λ,Ag,J,\Lambda,A are structures as above over U~\tilde{U}. Suppose that ‖g−g0‖U~,‖J−J0‖U~≤ψ~\|g-g_{0}\|_{\tilde{U}},\|J-J_{0}\|_{\tilde{U}}\leq\tilde{\psi}. Then we can find an integer tt with 1≤t≤m1\leq t\leq m such that the data μt∗​(t​g),μt∗​(J),μt∗​(Λt),μt∗​(A⊗t)\mu_{t}^{*}(tg),\mu_{t}^{*}(J),\mu_{t}^{*}(\Lambda^{t}),\mu_{t}^{*}(A^{\otimes t}) over UU has Property(H).

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